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