Matches in SemOpenAlex for { <https://semopenalex.org/work/W154694026> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W154694026 endingPage "387" @default.
- W154694026 startingPage "383" @default.
- W154694026 abstract "A novel technique, called hereditary partitions, is Introduced. It permits the rigorous proof that, in a given axiomatization, certain states can never be reached. The technique is implemented in a computer program, DISPROVER, and is applied to robot worlds. DISPROVER cooperates with a path-finding program when the latter encounters difficulties." @default.
- W154694026 created "2016-06-24" @default.
- W154694026 creator A5049886178 @default.
- W154694026 creator A5055790457 @default.
- W154694026 date "1973-08-20" @default.
- W154694026 modified "2023-09-24" @default.
- W154694026 title "Proving the impossible is impossible is possible: disproofs based on hereditary partitions" @default.
- W154694026 cites W2337392266 @default.
- W154694026 cites W2468649867 @default.
- W154694026 hasPublicationYear "1973" @default.
- W154694026 type Work @default.
- W154694026 sameAs 154694026 @default.
- W154694026 citedByCount "9" @default.
- W154694026 crossrefType "proceedings-article" @default.
- W154694026 hasAuthorship W154694026A5049886178 @default.
- W154694026 hasAuthorship W154694026A5055790457 @default.
- W154694026 hasConcept C154945302 @default.
- W154694026 hasConcept C199360897 @default.
- W154694026 hasConcept C2777735758 @default.
- W154694026 hasConcept C41008148 @default.
- W154694026 hasConcept C80444323 @default.
- W154694026 hasConcept C90509273 @default.
- W154694026 hasConceptScore W154694026C154945302 @default.
- W154694026 hasConceptScore W154694026C199360897 @default.
- W154694026 hasConceptScore W154694026C2777735758 @default.
- W154694026 hasConceptScore W154694026C41008148 @default.
- W154694026 hasConceptScore W154694026C80444323 @default.
- W154694026 hasConceptScore W154694026C90509273 @default.
- W154694026 hasLocation W1546940261 @default.
- W154694026 hasOpenAccess W154694026 @default.
- W154694026 hasPrimaryLocation W1546940261 @default.
- W154694026 hasRelatedWork W1525482321 @default.
- W154694026 hasRelatedWork W1528431394 @default.
- W154694026 hasRelatedWork W1574173592 @default.
- W154694026 hasRelatedWork W185977500 @default.
- W154694026 hasRelatedWork W2020149918 @default.
- W154694026 hasRelatedWork W2062153083 @default.
- W154694026 hasRelatedWork W2140754281 @default.
- W154694026 hasRelatedWork W2171269531 @default.
- W154694026 hasRelatedWork W2230407200 @default.
- W154694026 hasRelatedWork W2337392266 @default.
- W154694026 hasRelatedWork W2338301088 @default.
- W154694026 hasRelatedWork W2463103337 @default.
- W154694026 hasRelatedWork W2601867360 @default.
- W154694026 hasRelatedWork W2808563004 @default.
- W154694026 hasRelatedWork W2810140051 @default.
- W154694026 hasRelatedWork W2892381217 @default.
- W154694026 hasRelatedWork W2921444855 @default.
- W154694026 hasRelatedWork W2998420931 @default.
- W154694026 hasRelatedWork W2999704486 @default.
- W154694026 hasRelatedWork W37212799 @default.
- W154694026 isParatext "false" @default.
- W154694026 isRetracted "false" @default.
- W154694026 magId "154694026" @default.
- W154694026 workType "article" @default.