FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W19022151> ?p ?o ?g. }

• W19022151 endingPage "63" @default.
• W19022151 startingPage "44" @default.
• W19022151 abstract "We use second-order intuitionistic logic for two purposes in this paper: first, to formulate a large class of circumscriptive queries about logic programs; and second, to formulate a class of induction schemata that can be used to answer these queries. Then, applying the techniques of intuitionistic logic programming, we develop an interpreter (written in PROLOG) that constructs inductive proofs and answers circumscriptive queries automatically. As an illustration, we prove the symmetry of ‘Reverse’, the associativity of ‘Plus’ and the commutativity of ‘Times’." @default.
• W19022151 created "2016-06-24" @default.
• W19022151 creator A5029577038 @default.
• W19022151 date "1993-08-16" @default.
• W19022151 modified "2023-09-23" @default.
• W19022151 title "Proving inductive properties of PROLOG programs in second-order intuitionistic logic" @default.
• W19022151 cites W100944563 @default.
• W19022151 cites W111135156 @default.
• W19022151 cites W1490842383 @default.
• W19022151 cites W1498861602 @default.
• W19022151 cites W1499154644 @default.
• W19022151 cites W1532420827 @default.
• W19022151 cites W1564327923 @default.
• W19022151 cites W1581847324 @default.
• W19022151 cites W1590828018 @default.
• W19022151 cites W1600851604 @default.
• W19022151 cites W17242155 @default.
• W19022151 cites W1741698332 @default.
• W19022151 cites W175328012 @default.
• W19022151 cites W1766332311 @default.
• W19022151 cites W1967187961 @default.
• W19022151 cites W1986404405 @default.
• W19022151 cites W1998363560 @default.
• W19022151 cites W2034500240 @default.
• W19022151 cites W2052436826 @default.
• W19022151 cites W2053332596 @default.
• W19022151 cites W2093111544 @default.
• W19022151 cites W2099078002 @default.
• W19022151 cites W2124798629 @default.
• W19022151 cites W2127659271 @default.
• W19022151 cites W2128057448 @default.
• W19022151 cites W2913309218 @default.
• W19022151 cites W2945259913 @default.
• W19022151 cites W52106679 @default.
• W19022151 hasPublicationYear "1993" @default.
• W19022151 type Work @default.
• W19022151 sameAs 19022151 @default.
• W19022151 citedByCount "2" @default.
• W19022151 crossrefType "proceedings-article" @default.
• W19022151 hasAuthorship W19022151A5029577038 @default.
• W19022151 hasConcept C108710211 @default.
• W19022151 hasConcept C118615104 @default.
• W19022151 hasConcept C122783720 @default.
• W19022151 hasConcept C128838566 @default.
• W19022151 hasConcept C154945302 @default.
• W19022151 hasConcept C159423971 @default.
• W19022151 hasConcept C178421362 @default.
• W19022151 hasConcept C183778304 @default.
• W19022151 hasConcept C189790780 @default.
• W19022151 hasConcept C199360897 @default.
• W19022151 hasConcept C202444582 @default.
• W19022151 hasConcept C2524010 @default.
• W19022151 hasConcept C2777212361 @default.
• W19022151 hasConcept C2779382394 @default.
• W19022151 hasConcept C2987117450 @default.
• W19022151 hasConcept C33923547 @default.
• W19022151 hasConcept C41008148 @default.
• W19022151 hasConcept C69562738 @default.
• W19022151 hasConcept C80444323 @default.
• W19022151 hasConcept C81721847 @default.
• W19022151 hasConceptScore W19022151C108710211 @default.
• W19022151 hasConceptScore W19022151C118615104 @default.
• W19022151 hasConceptScore W19022151C122783720 @default.
• W19022151 hasConceptScore W19022151C128838566 @default.
• W19022151 hasConceptScore W19022151C154945302 @default.
• W19022151 hasConceptScore W19022151C159423971 @default.
• W19022151 hasConceptScore W19022151C178421362 @default.
• W19022151 hasConceptScore W19022151C183778304 @default.
• W19022151 hasConceptScore W19022151C189790780 @default.
• W19022151 hasConceptScore W19022151C199360897 @default.
• W19022151 hasConceptScore W19022151C202444582 @default.
• W19022151 hasConceptScore W19022151C2524010 @default.
• W19022151 hasConceptScore W19022151C2777212361 @default.
• W19022151 hasConceptScore W19022151C2779382394 @default.
• W19022151 hasConceptScore W19022151C2987117450 @default.
• W19022151 hasConceptScore W19022151C33923547 @default.
• W19022151 hasConceptScore W19022151C41008148 @default.
• W19022151 hasConceptScore W19022151C69562738 @default.
• W19022151 hasConceptScore W19022151C80444323 @default.
• W19022151 hasConceptScore W19022151C81721847 @default.
• W19022151 hasLocation W190221511 @default.
• W19022151 hasOpenAccess W19022151 @default.
• W19022151 hasPrimaryLocation W190221511 @default.
• W19022151 hasRelatedWork W1497109150 @default.
• W19022151 hasRelatedWork W1508667711 @default.
• W19022151 hasRelatedWork W1528781612 @default.
• W19022151 hasRelatedWork W1528927668 @default.
• W19022151 hasRelatedWork W2003546572 @default.
• W19022151 hasRelatedWork W2006339381 @default.
• W19022151 hasRelatedWork W2021824907 @default.
• W19022151 hasRelatedWork W2055558461 @default.
• W19022151 hasRelatedWork W2072873942 @default.
• W19022151 hasRelatedWork W2074283846 @default.
• W19022151 hasRelatedWork W2083186217 @default.
• W19022151 hasRelatedWork W2094276247 @default.
• W19022151 hasRelatedWork W2108922266 @default.
• W19022151 hasRelatedWork W2185755248 @default.
• W19022151 hasRelatedWork W2278496466 @default.

• next