Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006755191> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2006755191 endingPage "250" @default.
- W2006755191 startingPage "217" @default.
- W2006755191 abstract "Two representations of the language recognition problem for a theorem prover in first order logic are presented and contrasted. One of the representations is based on the familiar method of generating sentential forms of the language, and the other is based on the Cocke parsing algorithm. An augmented theorem prover is described which permits recognition of recursive languages. The state-transformation method developed by Cordell Green to construct problem solutions in resolution-based systems can be used to obtain the parse tree. In particular, the end-order traversal of the parse tree is derived in one of the representations. An inference system, termed the cycle inference system, is defined which makes it possible for the theorem prover to model the method on which the representation is based. The general applicability of the cycle inference system to state space problems is discussed. Given an unsatisfiable set S, where each clause has at most one positive literal, it is shown that there exists an input proof. The clauses for the two representations satisfy these conditions, as do many state space problems." @default.
- W2006755191 created "2016-06-24" @default.
- W2006755191 creator A5078013111 @default.
- W2006755191 creator A5084559527 @default.
- W2006755191 date "1974-09-01" @default.
- W2006755191 modified "2023-10-16" @default.
- W2006755191 title "Representations of the language recognition problem for a theorem prover" @default.
- W2006755191 cites W1969483458 @default.
- W2006755191 cites W1970961429 @default.
- W2006755191 cites W2040713190 @default.
- W2006755191 cites W2044919352 @default.
- W2006755191 cites W2058900023 @default.
- W2006755191 cites W2062022502 @default.
- W2006755191 cites W2062897452 @default.
- W2006755191 cites W2100738443 @default.
- W2006755191 cites W4236387090 @default.
- W2006755191 doi "https://doi.org/10.1007/bf00977256" @default.
- W2006755191 hasPublicationYear "1974" @default.
- W2006755191 type Work @default.
- W2006755191 sameAs 2006755191 @default.
- W2006755191 citedByCount "2" @default.
- W2006755191 crossrefType "journal-article" @default.
- W2006755191 hasAuthorship W2006755191A5078013111 @default.
- W2006755191 hasAuthorship W2006755191A5084559527 @default.
- W2006755191 hasBestOaLocation W20067551912 @default.
- W2006755191 hasConcept C108710211 @default.
- W2006755191 hasConcept C138885662 @default.
- W2006755191 hasConcept C159718280 @default.
- W2006755191 hasConcept C199343813 @default.
- W2006755191 hasConcept C199360897 @default.
- W2006755191 hasConcept C206880738 @default.
- W2006755191 hasConcept C2524010 @default.
- W2006755191 hasConcept C2777686260 @default.
- W2006755191 hasConcept C33923547 @default.
- W2006755191 hasConcept C41008148 @default.
- W2006755191 hasConcept C41895202 @default.
- W2006755191 hasConcept C71924100 @default.
- W2006755191 hasConceptScore W2006755191C108710211 @default.
- W2006755191 hasConceptScore W2006755191C138885662 @default.
- W2006755191 hasConceptScore W2006755191C159718280 @default.
- W2006755191 hasConceptScore W2006755191C199343813 @default.
- W2006755191 hasConceptScore W2006755191C199360897 @default.
- W2006755191 hasConceptScore W2006755191C206880738 @default.
- W2006755191 hasConceptScore W2006755191C2524010 @default.
- W2006755191 hasConceptScore W2006755191C2777686260 @default.
- W2006755191 hasConceptScore W2006755191C33923547 @default.
- W2006755191 hasConceptScore W2006755191C41008148 @default.
- W2006755191 hasConceptScore W2006755191C41895202 @default.
- W2006755191 hasConceptScore W2006755191C71924100 @default.
- W2006755191 hasIssue "3" @default.
- W2006755191 hasLocation W20067551911 @default.
- W2006755191 hasLocation W20067551912 @default.
- W2006755191 hasOpenAccess W2006755191 @default.
- W2006755191 hasPrimaryLocation W20067551911 @default.
- W2006755191 hasRelatedWork W1515169568 @default.
- W2006755191 hasRelatedWork W1555960401 @default.
- W2006755191 hasRelatedWork W1789702989 @default.
- W2006755191 hasRelatedWork W2206711905 @default.
- W2006755191 hasRelatedWork W2476186566 @default.
- W2006755191 hasRelatedWork W2538657014 @default.
- W2006755191 hasRelatedWork W2950961618 @default.
- W2006755191 hasRelatedWork W4245884879 @default.
- W2006755191 hasRelatedWork W898277466 @default.
- W2006755191 hasRelatedWork W94947182 @default.
- W2006755191 hasVolume "3" @default.
- W2006755191 isParatext "false" @default.
- W2006755191 isRetracted "false" @default.
- W2006755191 magId "2006755191" @default.
- W2006755191 workType "article" @default.