Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005090804> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2005090804 endingPage "251" @default.
- W2005090804 startingPage "236" @default.
- W2005090804 abstract "A proof procedure based on a theorem of Herbrand and utilizing the matching technique of Prawitz is presented. In general, Herbrand-type proof procedures proceed by generating over increasing numbers of candidates for the truth-functionally contradictory statement the procedures seek. A trial is successful when some candidate is in fact a contradictory statement. In procedures to date the number of candidates developed before a contradictory statement is found (if one is found) varies roughly exponentially with the size of the contradictory statement. (“Size” might be measured by the number of clauses in the conjunctive normal form of the contradictory statement.) Although basically subject to the same rate of growth, the procedure introduced here attempts to drastically trim the number of candidates at an intermediate level of development. This is done by retaining beyond a certain level only candidates already “partially contradictory.” The major task usually is finding the partially contradictory sets. However, the number of candidate sets required to find these subsets of the contradictory set is generally much smaller than the number required to find the full contradictory set." @default.
- W2005090804 created "2016-06-24" @default.
- W2005090804 creator A5009682295 @default.
- W2005090804 date "1968-04-01" @default.
- W2005090804 modified "2023-09-30" @default.
- W2005090804 title "Mechanical Theorem-Proving by Model Elimination" @default.
- W2005090804 cites W1968605571 @default.
- W2005090804 cites W1972956465 @default.
- W2005090804 cites W2068792980 @default.
- W2005090804 cites W2097038024 @default.
- W2005090804 cites W2100738443 @default.
- W2005090804 doi "https://doi.org/10.1145/321450.321456" @default.
- W2005090804 hasPublicationYear "1968" @default.
- W2005090804 type Work @default.
- W2005090804 sameAs 2005090804 @default.
- W2005090804 citedByCount "181" @default.
- W2005090804 countsByYear W20050908042012 @default.
- W2005090804 countsByYear W20050908042013 @default.
- W2005090804 countsByYear W20050908042014 @default.
- W2005090804 countsByYear W20050908042015 @default.
- W2005090804 countsByYear W20050908042017 @default.
- W2005090804 countsByYear W20050908042018 @default.
- W2005090804 countsByYear W20050908042020 @default.
- W2005090804 countsByYear W20050908042023 @default.
- W2005090804 crossrefType "journal-article" @default.
- W2005090804 hasAuthorship W2005090804A5009682295 @default.
- W2005090804 hasBestOaLocation W20050908041 @default.
- W2005090804 hasConcept C105795698 @default.
- W2005090804 hasConcept C111472728 @default.
- W2005090804 hasConcept C11413529 @default.
- W2005090804 hasConcept C118615104 @default.
- W2005090804 hasConcept C138885662 @default.
- W2005090804 hasConcept C144237770 @default.
- W2005090804 hasConcept C161191863 @default.
- W2005090804 hasConcept C162324750 @default.
- W2005090804 hasConcept C165064840 @default.
- W2005090804 hasConcept C177264268 @default.
- W2005090804 hasConcept C187736073 @default.
- W2005090804 hasConcept C199343813 @default.
- W2005090804 hasConcept C199360897 @default.
- W2005090804 hasConcept C2777026412 @default.
- W2005090804 hasConcept C2777686260 @default.
- W2005090804 hasConcept C2777855551 @default.
- W2005090804 hasConcept C2780451532 @default.
- W2005090804 hasConcept C33923547 @default.
- W2005090804 hasConcept C41008148 @default.
- W2005090804 hasConcept C71924100 @default.
- W2005090804 hasConceptScore W2005090804C105795698 @default.
- W2005090804 hasConceptScore W2005090804C111472728 @default.
- W2005090804 hasConceptScore W2005090804C11413529 @default.
- W2005090804 hasConceptScore W2005090804C118615104 @default.
- W2005090804 hasConceptScore W2005090804C138885662 @default.
- W2005090804 hasConceptScore W2005090804C144237770 @default.
- W2005090804 hasConceptScore W2005090804C161191863 @default.
- W2005090804 hasConceptScore W2005090804C162324750 @default.
- W2005090804 hasConceptScore W2005090804C165064840 @default.
- W2005090804 hasConceptScore W2005090804C177264268 @default.
- W2005090804 hasConceptScore W2005090804C187736073 @default.
- W2005090804 hasConceptScore W2005090804C199343813 @default.
- W2005090804 hasConceptScore W2005090804C199360897 @default.
- W2005090804 hasConceptScore W2005090804C2777026412 @default.
- W2005090804 hasConceptScore W2005090804C2777686260 @default.
- W2005090804 hasConceptScore W2005090804C2777855551 @default.
- W2005090804 hasConceptScore W2005090804C2780451532 @default.
- W2005090804 hasConceptScore W2005090804C33923547 @default.
- W2005090804 hasConceptScore W2005090804C41008148 @default.
- W2005090804 hasConceptScore W2005090804C71924100 @default.
- W2005090804 hasIssue "2" @default.
- W2005090804 hasLocation W20050908041 @default.
- W2005090804 hasOpenAccess W2005090804 @default.
- W2005090804 hasPrimaryLocation W20050908041 @default.
- W2005090804 hasRelatedWork W1493324536 @default.
- W2005090804 hasRelatedWork W2081647779 @default.
- W2005090804 hasRelatedWork W2114121601 @default.
- W2005090804 hasRelatedWork W2748952813 @default.
- W2005090804 hasRelatedWork W3168844675 @default.
- W2005090804 hasRelatedWork W3183860258 @default.
- W2005090804 hasRelatedWork W3186570879 @default.
- W2005090804 hasRelatedWork W3209221908 @default.
- W2005090804 hasRelatedWork W4237750775 @default.
- W2005090804 hasRelatedWork W88370528 @default.
- W2005090804 hasVolume "15" @default.
- W2005090804 isParatext "false" @default.
- W2005090804 isRetracted "false" @default.
- W2005090804 magId "2005090804" @default.
- W2005090804 workType "article" @default.