Matches in SemOpenAlex for { <https://semopenalex.org/work/W1799689325> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1799689325 abstract "We study several procedures for theorem proving based on the resolution principle. We consider (1) Davis Putnam procedure; (2) regular resolution; (3) unrestricted resolution; (4) resolution with extension; and (5) several versions of bounded resolution. The powers of these procedures are compared. Exponential lower bounds are proved for the run-time of some of them." @default.
- W1799689325 created "2016-06-24" @default.
- W1799689325 creator A5048955152 @default.
- W1799689325 date "1974-12-01" @default.
- W1799689325 modified "2023-09-27" @default.
- W1799689325 title "On the Complexity of Resolution Procedures for Theorem Proving" @default.
- W1799689325 hasPublicationYear "1974" @default.
- W1799689325 type Work @default.
- W1799689325 sameAs 1799689325 @default.
- W1799689325 citedByCount "1" @default.
- W1799689325 crossrefType "journal-article" @default.
- W1799689325 hasAuthorship W1799689325A5048955152 @default.
- W1799689325 hasConcept C118615104 @default.
- W1799689325 hasConcept C134306372 @default.
- W1799689325 hasConcept C138268822 @default.
- W1799689325 hasConcept C154945302 @default.
- W1799689325 hasConcept C199343813 @default.
- W1799689325 hasConcept C199360897 @default.
- W1799689325 hasConcept C2777686260 @default.
- W1799689325 hasConcept C2778029271 @default.
- W1799689325 hasConcept C33923547 @default.
- W1799689325 hasConcept C34388435 @default.
- W1799689325 hasConcept C41008148 @default.
- W1799689325 hasConcept C71924100 @default.
- W1799689325 hasConceptScore W1799689325C118615104 @default.
- W1799689325 hasConceptScore W1799689325C134306372 @default.
- W1799689325 hasConceptScore W1799689325C138268822 @default.
- W1799689325 hasConceptScore W1799689325C154945302 @default.
- W1799689325 hasConceptScore W1799689325C199343813 @default.
- W1799689325 hasConceptScore W1799689325C199360897 @default.
- W1799689325 hasConceptScore W1799689325C2777686260 @default.
- W1799689325 hasConceptScore W1799689325C2778029271 @default.
- W1799689325 hasConceptScore W1799689325C33923547 @default.
- W1799689325 hasConceptScore W1799689325C34388435 @default.
- W1799689325 hasConceptScore W1799689325C41008148 @default.
- W1799689325 hasConceptScore W1799689325C71924100 @default.
- W1799689325 hasLocation W17996893251 @default.
- W1799689325 hasOpenAccess W1799689325 @default.
- W1799689325 hasPrimaryLocation W17996893251 @default.
- W1799689325 hasRelatedWork W127232014 @default.
- W1799689325 hasRelatedWork W136318670 @default.
- W1799689325 hasRelatedWork W1497637857 @default.
- W1799689325 hasRelatedWork W1530837725 @default.
- W1799689325 hasRelatedWork W1577869834 @default.
- W1799689325 hasRelatedWork W1601094116 @default.
- W1799689325 hasRelatedWork W1967592514 @default.
- W1799689325 hasRelatedWork W1973258758 @default.
- W1799689325 hasRelatedWork W1976222700 @default.
- W1799689325 hasRelatedWork W2028664052 @default.
- W1799689325 hasRelatedWork W2037889370 @default.
- W1799689325 hasRelatedWork W2040884237 @default.
- W1799689325 hasRelatedWork W2048083479 @default.
- W1799689325 hasRelatedWork W2084029169 @default.
- W1799689325 hasRelatedWork W2122055721 @default.
- W1799689325 hasRelatedWork W2133085881 @default.
- W1799689325 hasRelatedWork W2143313747 @default.
- W1799689325 hasRelatedWork W2163839813 @default.
- W1799689325 hasRelatedWork W2464469338 @default.
- W1799689325 hasRelatedWork W1971665981 @default.
- W1799689325 isParatext "false" @default.
- W1799689325 isRetracted "false" @default.
- W1799689325 magId "1799689325" @default.
- W1799689325 workType "article" @default.