Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950567263> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2950567263 abstract "OTTER is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyperresolution, UR-resolution, and binary paramodulation. Some of its other abilities and features are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, evaluable functions and predicates, Knuth-Bendix completion, and the hints strategy. OTTER is coded in ANSI C, is free, and is portable to many different kinds of computer." @default.
- W2950567263 created "2019-06-27" @default.
- W2950567263 creator A5017037548 @default.
- W2950567263 date "2003-10-28" @default.
- W2950567263 modified "2023-09-27" @default.
- W2950567263 title "OTTER 3.3 Reference Manual" @default.
- W2950567263 cites W1494059412 @default.
- W2950567263 cites W1495433690 @default.
- W2950567263 cites W1510627098 @default.
- W2950567263 cites W1514729613 @default.
- W2950567263 cites W1530765221 @default.
- W2950567263 cites W1584374742 @default.
- W2950567263 cites W1600661924 @default.
- W2950567263 cites W1968386045 @default.
- W2950567263 cites W1972014769 @default.
- W2950567263 cites W1980473779 @default.
- W2950567263 cites W2011928646 @default.
- W2950567263 cites W2013434344 @default.
- W2950567263 cites W2024777931 @default.
- W2950567263 cites W2047356095 @default.
- W2950567263 cites W2099078002 @default.
- W2950567263 cites W2121757274 @default.
- W2950567263 cites W2253008277 @default.
- W2950567263 cites W3174107850 @default.
- W2950567263 cites W959963806 @default.
- W2950567263 cites W2141711768 @default.
- W2950567263 hasPublicationYear "2003" @default.
- W2950567263 type Work @default.
- W2950567263 sameAs 2950567263 @default.
- W2950567263 citedByCount "0" @default.
- W2950567263 crossrefType "posted-content" @default.
- W2950567263 hasAuthorship W2950567263A5017037548 @default.
- W2950567263 hasConcept C11413529 @default.
- W2950567263 hasConcept C126838900 @default.
- W2950567263 hasConcept C138268822 @default.
- W2950567263 hasConcept C183115368 @default.
- W2950567263 hasConcept C199343813 @default.
- W2950567263 hasConcept C199360897 @default.
- W2950567263 hasConcept C2776931103 @default.
- W2950567263 hasConcept C2777686260 @default.
- W2950567263 hasConcept C33923547 @default.
- W2950567263 hasConcept C41008148 @default.
- W2950567263 hasConcept C48372109 @default.
- W2950567263 hasConcept C505870484 @default.
- W2950567263 hasConcept C71924100 @default.
- W2950567263 hasConcept C86803240 @default.
- W2950567263 hasConcept C94375191 @default.
- W2950567263 hasConceptScore W2950567263C11413529 @default.
- W2950567263 hasConceptScore W2950567263C126838900 @default.
- W2950567263 hasConceptScore W2950567263C138268822 @default.
- W2950567263 hasConceptScore W2950567263C183115368 @default.
- W2950567263 hasConceptScore W2950567263C199343813 @default.
- W2950567263 hasConceptScore W2950567263C199360897 @default.
- W2950567263 hasConceptScore W2950567263C2776931103 @default.
- W2950567263 hasConceptScore W2950567263C2777686260 @default.
- W2950567263 hasConceptScore W2950567263C33923547 @default.
- W2950567263 hasConceptScore W2950567263C41008148 @default.
- W2950567263 hasConceptScore W2950567263C48372109 @default.
- W2950567263 hasConceptScore W2950567263C505870484 @default.
- W2950567263 hasConceptScore W2950567263C71924100 @default.
- W2950567263 hasConceptScore W2950567263C86803240 @default.
- W2950567263 hasConceptScore W2950567263C94375191 @default.
- W2950567263 hasLocation W29505672631 @default.
- W2950567263 hasOpenAccess W2950567263 @default.
- W2950567263 hasPrimaryLocation W29505672631 @default.
- W2950567263 hasRelatedWork W122118143 @default.
- W2950567263 hasRelatedWork W1484059545 @default.
- W2950567263 hasRelatedWork W1486232991 @default.
- W2950567263 hasRelatedWork W1549715025 @default.
- W2950567263 hasRelatedWork W159279589 @default.
- W2950567263 hasRelatedWork W1661099014 @default.
- W2950567263 hasRelatedWork W1937022991 @default.
- W2950567263 hasRelatedWork W1969202013 @default.
- W2950567263 hasRelatedWork W1998330152 @default.
- W2950567263 hasRelatedWork W2033513250 @default.
- W2950567263 hasRelatedWork W2073268071 @default.
- W2950567263 hasRelatedWork W2084417024 @default.
- W2950567263 hasRelatedWork W2116911055 @default.
- W2950567263 hasRelatedWork W2150903551 @default.
- W2950567263 hasRelatedWork W2159296510 @default.
- W2950567263 hasRelatedWork W2438025153 @default.
- W2950567263 hasRelatedWork W2760095861 @default.
- W2950567263 hasRelatedWork W2917669195 @default.
- W2950567263 hasRelatedWork W3003468493 @default.
- W2950567263 hasRelatedWork W77935731 @default.
- W2950567263 isParatext "false" @default.
- W2950567263 isRetracted "false" @default.
- W2950567263 magId "2950567263" @default.
- W2950567263 workType "article" @default.