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