Matches in SemOpenAlex for { <https://semopenalex.org/work/W27697238> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W27697238 endingPage "48" @default.
- W27697238 startingPage "37" @default.
- W27697238 abstract "The paper presents a general method by which various natural decision problems for programs in PROLOG and extensions of PROLOG can easily be shown to be recursively unsolvable. A particularly interesting application of this method gives an affirmative answer to Flannagan's [1985] conjecture that the floundering property for queries with respect to MU-PROLOG programs is undecidable.KeywordsLogic ProgramSelection RuleAtomic FormulaDeductive DatabaseProlog ProgramThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W27697238 created "2016-06-24" @default.
- W27697238 creator A5021020828 @default.
- W27697238 date "1987-01-01" @default.
- W27697238 modified "2023-09-27" @default.
- W27697238 title "Unsolvable decision problems for PROLOG programs" @default.
- W27697238 cites W1514620164 @default.
- W27697238 cites W1766332311 @default.
- W27697238 cites W2041706386 @default.
- W27697238 cites W2057124712 @default.
- W27697238 cites W2061970672 @default.
- W27697238 cites W2064581668 @default.
- W27697238 cites W2083971779 @default.
- W27697238 cites W2094542439 @default.
- W27697238 doi "https://doi.org/10.1007/3-540-18170-9_152" @default.
- W27697238 hasPublicationYear "1987" @default.
- W27697238 type Work @default.
- W27697238 sameAs 27697238 @default.
- W27697238 citedByCount "7" @default.
- W27697238 crossrefType "book-chapter" @default.
- W27697238 hasAuthorship W27697238A5021020828 @default.
- W27697238 hasConcept C111472728 @default.
- W27697238 hasConcept C118615104 @default.
- W27697238 hasConcept C128838566 @default.
- W27697238 hasConcept C138885662 @default.
- W27697238 hasConcept C153269930 @default.
- W27697238 hasConcept C189950617 @default.
- W27697238 hasConcept C192034797 @default.
- W27697238 hasConcept C199360897 @default.
- W27697238 hasConcept C2780990831 @default.
- W27697238 hasConcept C2987117450 @default.
- W27697238 hasConcept C33923547 @default.
- W27697238 hasConcept C41008148 @default.
- W27697238 hasConcept C80444323 @default.
- W27697238 hasConcept C81721847 @default.
- W27697238 hasConceptScore W27697238C111472728 @default.
- W27697238 hasConceptScore W27697238C118615104 @default.
- W27697238 hasConceptScore W27697238C128838566 @default.
- W27697238 hasConceptScore W27697238C138885662 @default.
- W27697238 hasConceptScore W27697238C153269930 @default.
- W27697238 hasConceptScore W27697238C189950617 @default.
- W27697238 hasConceptScore W27697238C192034797 @default.
- W27697238 hasConceptScore W27697238C199360897 @default.
- W27697238 hasConceptScore W27697238C2780990831 @default.
- W27697238 hasConceptScore W27697238C2987117450 @default.
- W27697238 hasConceptScore W27697238C33923547 @default.
- W27697238 hasConceptScore W27697238C41008148 @default.
- W27697238 hasConceptScore W27697238C80444323 @default.
- W27697238 hasConceptScore W27697238C81721847 @default.
- W27697238 hasLocation W276972381 @default.
- W27697238 hasOpenAccess W27697238 @default.
- W27697238 hasPrimaryLocation W276972381 @default.
- W27697238 hasRelatedWork W1492032611 @default.
- W27697238 hasRelatedWork W1493824320 @default.
- W27697238 hasRelatedWork W1523208061 @default.
- W27697238 hasRelatedWork W1537913501 @default.
- W27697238 hasRelatedWork W1541434994 @default.
- W27697238 hasRelatedWork W1597221440 @default.
- W27697238 hasRelatedWork W1598230960 @default.
- W27697238 hasRelatedWork W1607346335 @default.
- W27697238 hasRelatedWork W1641679873 @default.
- W27697238 hasRelatedWork W1766332311 @default.
- W27697238 hasRelatedWork W1891438468 @default.
- W27697238 hasRelatedWork W1898423558 @default.
- W27697238 hasRelatedWork W1903938722 @default.
- W27697238 hasRelatedWork W2097589612 @default.
- W27697238 hasRelatedWork W2147972318 @default.
- W27697238 hasRelatedWork W2183567905 @default.
- W27697238 hasRelatedWork W2408109107 @default.
- W27697238 hasRelatedWork W2488916437 @default.
- W27697238 hasRelatedWork W2621490813 @default.
- W27697238 hasRelatedWork W2899216748 @default.
- W27697238 isParatext "false" @default.
- W27697238 isRetracted "false" @default.
- W27697238 magId "27697238" @default.
- W27697238 workType "book-chapter" @default.