Revision history for BP1242
|
Displaying 1-25 of 41 results found.
|
page 1 2
|
|
Edits shown per page: 25.
|
|
|
|
|
| |
| |
|
|
?DATA
|
EX9882 |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9881 cannot fit on the left hand side as well. |
|
CROSSREFS
|
The left hand side implies the left hand side of BP1116.
The right hand side does not imply the right hand side of BP1116. (EX9881 is meant to be a counterexample.) |
|
|
|
|
| |
| |
|
|
-DATA
|
EX9881 |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9877 cannot fit on the left hand side as well.
Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added to fix this? |
|
|
|
|
| |
| |
|
|
?DATA
|
EX9877 |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
The left hand side implies the left hand side of BP1116. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9877 cannot fit on the left hand side as well. |
|
CROSSREFS
|
The left hand side implies the left hand side of BP1116.
The right hand side does not imply the right hand side of BP1116. (EX9877 are examples that fit right here but fit left in BP1116.) |
|
|
|
|
| |
| |
|
|
?DATA
|
EX9876 |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9876 and EX9877 cannot fit on the left hand side as well. |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
The left hand side implies the left hand side of BP1116.
The right hand side does not imply the right hand side of BP1116. (EX9876 and EX9877 are examples that fit right here but fit left in BP1116.) |
|
|
|
|
| |
| |
|
|
-DATA
|
EX9877 |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well. |
|
CROSSREFS
|
The left hand side implies the left hand side of BP1116.
The right hand side does not imply the right hand side of BP1116. (EX9876 is an example of something that fits right here but fits left in BP1116.) |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.
EX9876 is an example of something that fits right here but fits left in BP1116. |
|
|
|
|
| |
| |
|
|
-DATA
|
EX9876 |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
The left hand side implies the left hand side of BP1116. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.
Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added to fix this? |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.
Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added so that this isn't so? |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.
Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added so that this isn't the case? |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.
Currently, the solution is overridden by BP1241. (See @overriddensolution.) Can more examples be added so that this isn't the case? |
|
|
|
|
| |
| |
|
|
-DATA
|
EX9875 |
|
|
|
|
| |
| |
|
|
-DATA
|
EX9868 |
|
|
|
|
| |
| |
|
|
?DATA
|
EX9867 |
|
|
|
|
| |
| |
|
|
-DATA
|
EX9065 |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well. |
|
|
|
|
| |
| |
|
|
+DATA
|
EX9866 |
|
|
|