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