1 - 100 of total 79408 results for type:DeclarativeRule in 3.1559998989105225 seconds
indexlabeltypemoresourcemodifiedindexed
1EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT044-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
2ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET194+3/Vampire---9.0/answer.owl2008-04-142008-07-23
3CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET108+1/SNARK---20070805r041/answer.owl2008-04-142008-07-23
4CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP344-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
5ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET577+3/Vampire---9.0/answer.owl2008-04-142008-07-23
6CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP304-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
7ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET583+3/Vampire---9.0/answer.owl2008-04-142008-07-23
8AtomDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Atom.owl2008-06-292008-07-31
9CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP276-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
10ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET586+3/Vampire---9.0/answer.owl2008-04-142008-07-23
11EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT011-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
12ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET083+1/Vampire---9.0/answer.owl2008-04-142008-07-23
13DPLL unit clauses eliminationDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/UNIT-CLAUSES.owl2008-06-292008-07-31
14Direct assertionDeclarativeRulebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/RUL/Told.owl2008-04-212008-07-23
15EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT040-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
16ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET095+1/Vampire---9.0/answer.owl2008-04-142008-07-23
17ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET148+4/Vampire---9.0/answer.owl2008-04-142008-07-23
18CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP291-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
19CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT327+1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
20CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP261-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
21AssumptionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Assumption.owl2008-06-292008-07-31
22CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP267-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
23ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET097+1/Vampire---9.0/answer.owl2008-04-142008-07-23
24ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET169+3/Vampire---9.0/answer.owl2008-04-142008-07-23
25DPLL atomic formulas eliminationDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/AtomicFormulas.owl2008-06-292008-07-31
26DemodulationDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Demod.owl2008-06-292008-07-31
27CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP250-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
28ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET574+3/Vampire---9.0/answer.owl2008-04-142008-07-23
29ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET099+1/Vampire---9.0/answer.owl2008-04-142008-07-23
30EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT160-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
31BodyDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Body.owl2008-06-292008-07-31
32CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP279-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
33CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP298-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
34CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SEU/SEU154+1/SNARK---20070805r041/answer.owl2008-04-152008-07-23
35Direct assertionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Told.owl2008-06-292008-07-31
36ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET098+1/Vampire---9.0/answer.owl2008-04-142008-07-23
37EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT009-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
38ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET117+1/Vampire---9.0/answer.owl2008-04-142008-07-23
39Bottom Level TaskDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/BottomLevelTask.owl2008-06-292008-07-31
40ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET081+1/Vampire---9.0/answer.owl2008-04-142008-07-23
41CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP333-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
42EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT143-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
43ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET588+3/Vampire---9.0/answer.owl2008-04-142008-07-23
44CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET047+1/SNARK---20070805r041/answer.owl2008-04-142008-07-23
45CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP226-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
46EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT010-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
47Direct assertionDeclarativeRulebrowser2 , browsehttp://cedarweb.hao.ucar.edu/spcdis/registry/RUL/Told.owl2008-05-302008-07-24
48ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET095+4/Vampire---9.0/answer.owl2008-04-142008-07-23
49ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET101+1/Vampire---9.0/answer.owl2008-04-142008-07-23
50EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET619+3/SNARK---20070805r041/answer.owl2008-04-142008-07-24
51CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP285-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
52ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET082+1/Vampire---9.0/answer.owl2008-04-142008-07-23
53ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET573+3/Vampire---9.0/answer.owl2008-04-142008-07-23
54CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SEU/SEU267+2/SNARK---20070805r041/answer.owl2008-04-152008-07-23
55ConjunctionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Conjunction.owl2008-06-292008-07-31
56ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET103+1/Vampire---9.0/answer.owl2008-04-142008-07-23
57CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP229-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
58CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET616+3/SNARK---20070805r041/answer.owl2008-04-142008-07-24
59EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT005-4/SNARK---20070805r041/answer.owl2008-04-132008-07-23
60ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET169+4/Vampire---9.0/answer.owl2008-04-142008-07-23
61ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET347+4/Vampire---9.0/answer.owl2008-04-142008-07-23
62CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP313-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
63ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET162+3/Vampire---9.0/answer.owl2008-04-142008-07-23
64ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET584+3/Vampire---9.0/answer.owl2008-04-142008-07-23
65CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SEU/SEU267+1/SNARK---20070805r041/answer.owl2008-04-152008-07-23
66CWM-built-in functionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/CWM_Builtin.owl2008-06-292008-07-31
67EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT021-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
68CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP306-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
69Binary ResolutionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Bi-Resolution.owl2008-06-292008-07-31
70EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT168-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
71CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP354-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
72CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP300-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
73ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET084+1/Vampire---9.0/answer.owl2008-04-142008-07-23
74CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP253-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
75CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP274-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
76ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET201+3/Vampire---9.0/answer.owl2008-04-142008-07-23
77ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET094+1/Vampire---9.0/answer.owl2008-04-142008-07-23
78ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET076+1/Vampire---9.0/answer.owl2008-04-142008-07-23
79CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT305+1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
80CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET047-5/SNARK---20070805r041/answer.owl2008-04-142008-07-23
81EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT142-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
82ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET578+3/Vampire---9.0/answer.owl2008-04-142008-07-23
83Atom2DeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Atom2.owl2008-06-292008-07-31
84DPLL affirmative-negative ruleDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/AFFIR-NEG.owl2008-06-292008-07-31
85CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET962+1/SNARK---20070805r041/answer.owl2008-04-152008-07-24
86CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP355-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
87ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET096+1/Vampire---9.0/answer.owl2008-04-142008-07-23
88EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT171-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
89ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET143+3/Vampire---9.0/answer.owl2008-04-142008-07-23
90ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET102+1/Vampire---9.0/answer.owl2008-04-142008-07-23
91CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP292-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
92Defeasible RuleDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/DefeasibleRule.owl2008-06-292008-07-31
93CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT313+1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
94EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT043-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
95Atom1DeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Atom1.owl2008-06-292008-07-31
96CutDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Cut.owl2008-06-292008-07-31
97ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET086+1/Vampire---9.0/answer.owl2008-04-142008-07-23
98EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT032-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
99CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP348-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
100CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET788+1/SNARK---20070805r041/answer.owl2008-04-142008-07-24