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