1 - 100 of total 8725 results for type:Question in 2.257999897003174 seconds
indexlabeltypemoresourcemodifiedindexed
1!y in E, y in range of R (X to Y) iff ?x in D : in RQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/SET/SET681+3/question.owl2008-04-142008-07-24
2((b.a).b).b) = a, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP135-1.005/question.owl2008-07-082008-07-23
3"The old dirty white Chevy" problem 2Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP002-1/question.owl2008-07-112008-07-23
4"The old dirty white Chevy" problem 19Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP019+1/question.owl2008-07-112008-07-23
5(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-8.004/question.owl2008-07-082008-07-23
6(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-1.004/question.owl2008-07-082008-07-23
7(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-2.005/question.owl2008-07-082008-07-23
8"The old dirty white Chevy" problem 15Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP015+1/question.owl2008-07-112008-07-23
9"The old dirty white Chevy" problem 14Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP014+1/question.owl2008-07-112008-07-23
10((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-1.004/question.owl2008-07-082008-07-23
11"The old dirty white Chevy" problem 4Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP004-1/question.owl2008-07-112008-07-23
12(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-7.005/question.owl2008-07-082008-07-23
13"The old dirty white Chevy" problemQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP001+1/question.owl2008-07-112008-07-23
14(-X = -Y)=>(X = Y) => BooleanQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/ROB/ROB021-1/question.owl2008-07-112008-07-23
15(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-1.005/question.owl2008-07-082008-07-23
16! - ! = 0Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM368+1/question.owl2008-07-122008-07-23
17"The old dirty white Chevy" problem 9Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP009+1/question.owl2008-07-112008-07-23
18"The old dirty white Chevy" problem 16Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP016-1/question.owl2008-07-112008-07-23
19((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-2.006/question.owl2008-07-082008-07-23
20"The old dirty white Chevy" problem 13Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP013-1/question.owl2008-07-112008-07-23
21"The old dirty white Chevy" problem 5Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP005+1/question.owl2008-07-112008-07-23
22(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-7.004/question.owl2008-07-082008-07-23
23"The old dirty white Chevy" problemQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP001-1/question.owl2008-07-112008-07-23
24(-X*Y) + (X*Y) = additive_identityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/RNG/RNG005-1/question.owl2008-07-112008-07-23
25(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-4.005/question.owl2008-07-082008-07-23
26"The old dirty white Chevy" problem 9Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP009-1/question.owl2008-07-112008-07-23
27(3,1,2) conjugate orthogonality, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP132-1.002/question.owl2008-07-082008-07-23
28"The old dirty white Chevy" problem 18Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP018+1/question.owl2008-07-112008-07-23
29((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-4.004/question.owl2008-07-082008-07-23
30"The old dirty white Chevy" problem 5Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP005-1/question.owl2008-07-112008-07-23
31(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-9.005/question.owl2008-07-082008-07-23
32"The old dirty white Chevy" problem 11Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP011+1/question.owl2008-07-112008-07-23
33"The old dirty white Chevy" problem 8Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP008+1/question.owl2008-07-112008-07-23
34(-X*Y) + (X*Y) = additive_identityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/RNG/RNG005-2/question.owl2008-07-112008-07-23
35"The old dirty white Chevy" problem 22Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP022+1/question.owl2008-07-112008-07-23
36(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-1.005/question.owl2008-07-082008-07-23
37"The old dirty white Chevy" problem 19Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP019-1/question.owl2008-07-112008-07-23
38(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-6.005/question.owl2008-07-082008-07-23
39"The old dirty white Chevy" problem 15Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP015-1/question.owl2008-07-112008-07-23
40"The old dirty white Chevy" problem 14Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP014-1/question.owl2008-07-112008-07-23
41((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-2.005/question.owl2008-07-082008-07-23
42(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-3.005/question.owl2008-07-082008-07-23
43!XY (X+Y = 8) => X - Y = 0Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM362+1/question.owl2008-07-122008-07-23
44!XY (X+Y = 8) => X - Y = 1,Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM361+1/question.owl2008-07-122008-07-23
45"The old dirty white Chevy" problem 6Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP006-1/question.owl2008-07-112008-07-23
46(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-7.003/question.owl2008-07-082008-07-23
47(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-9.004/question.owl2008-07-082008-07-23
48"The old dirty white Chevy" problem 21Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP021+1/question.owl2008-07-112008-07-23
49(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-6.003/question.owl2008-07-082008-07-23
50(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-8.004/question.owl2008-07-082008-07-23
51"The old dirty white Chevy" problem 17Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP017+1/question.owl2008-07-112008-07-23
52!XY, (X + X) = YQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM350+1/question.owl2008-07-122008-07-23
53"The old dirty white Chevy" problem 22Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP022-1/question.owl2008-07-112008-07-23
54((b.a).b).b) = a, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP135-1.002/question.owl2008-07-082008-07-23
55!XY (X + Y > X - Y)Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM364+1/question.owl2008-07-122008-07-23
56(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-9.004/question.owl2008-07-082008-07-23
57"The old dirty white Chevy" problem 12Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP012+1/question.owl2008-07-112008-07-23
58"The old dirty white Chevy" problem 6Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP006+1/question.owl2008-07-112008-07-23
59(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-3.004/question.owl2008-07-082008-07-23
60"The old dirty white Chevy" problem 21Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP021-1/question.owl2008-07-112008-07-23
61(3,1,2) conjugate orthogonality, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP132-2.005/question.owl2008-07-082008-07-23
62n/aQuestionbrowser2http://inference-web.org/proofs/wines/question.owl2007-11-142008-07-24
63((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-3.005/question.owl2008-07-082008-07-23
64"The old dirty white Chevy" problem 7Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP007+1/question.owl2008-07-112008-07-23
65!x in D : x in domain of R (X to Y) ? y in E : y in range of RQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/SET/SET682+3/question.owl2008-04-142008-07-24
66(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-2.004/question.owl2008-07-082008-07-23
67"The old dirty white Chevy" problem 18Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP018-1/question.owl2008-07-112008-07-23
68!XY (X - Y > X + Y)Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM365+1/question.owl2008-07-122008-07-23
69"The old dirty white Chevy" problem 3Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP003-1/question.owl2008-07-112008-07-23
70"The old dirty white Chevy" problem 20Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP020-1/question.owl2008-07-112008-07-23
71(2 + 3) + 6 = 2 + (3 + 6)Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM332+1/question.owl2008-07-122008-07-23
72(3,1,2) conjugate orthogonality, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP132-2.002/question.owl2008-07-082008-07-23
73(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-8.005/question.owl2008-07-082008-07-23
74"The old dirty white Chevy" problem 8Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP008-1/question.owl2008-07-112008-07-23
75!x in D, x the domain of R (X to Y) iff ?y in E : in RQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/SET/SET680+3/question.owl2008-04-142008-07-24
76(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-4.003/question.owl2008-07-082008-07-23
77"The old dirty white Chevy" problem 3Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP003+1/question.owl2008-07-112008-07-23
78!X (X + X != X)Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM359+1/question.owl2008-07-122008-07-23
79"The old dirty white Chevy" problem 16Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP016+1/question.owl2008-07-112008-07-23
80((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-4.005/question.owl2008-07-082008-07-23
81(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-6.005/question.owl2008-07-082008-07-23
82"The old dirty white Chevy" problem 20Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP020+1/question.owl2008-07-112008-07-23
83"The old dirty white Chevy" problem 13Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP013+1/question.owl2008-07-112008-07-23
84((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-3.004/question.owl2008-07-082008-07-23
85(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-4.004/question.owl2008-07-082008-07-23
86(3,2,1) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP123-7.005/question.owl2008-07-082008-07-23
87((b.a).b).b) = a, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP135-2.005/question.owl2008-07-082008-07-23
88"The old dirty white Chevy" problem 4Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP004+1/question.owl2008-07-112008-07-23
89(3,1,2) conjugate orthogonality, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP132-1.005/question.owl2008-07-082008-07-23
90"The old dirty white Chevy" problem 17Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP017-1/question.owl2008-07-112008-07-23
91((b.a).b).b) = a, no idempotenceQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP135-2.002/question.owl2008-07-082008-07-23
92!y in E : y in range of R (X to Y) ?x in D : x in domain of RQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/SET/SET683+3/question.owl2008-04-142008-07-24
93!X (X + X = X)Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM358+1/question.owl2008-07-122008-07-23
94(3,1,2) conjugate orthogonalityQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP124-6.004/question.owl2008-07-082008-07-23
95"The old dirty white Chevy" problem 11Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP011-1/question.owl2008-07-112008-07-23
96"The old dirty white Chevy" problem 12Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP012-1/question.owl2008-07-112008-07-23
97"The old dirty white Chevy" problem 7Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP007-1/question.owl2008-07-112008-07-23
98"The old dirty white Chevy" problem 2Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NLP/NLP002+1/question.owl2008-07-112008-07-23
99! + 0 = !Questionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/NUM/NUM369+1/question.owl2008-07-122008-07-23
100((b.a).b).b) = aQuestionbrowser2 , browsehttp://inference-web.org/proofs/tptp/Problems/GRP/GRP127-1.005/question.owl2008-07-082008-07-23