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