Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543956712> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1543956712 abstract "We develop an approach for lemma handling in automated theorem provers for query-answering in default logics. This work builds on the concept of so-called lemma default rules. We show how different forms of such lemmas can be incorporated for reducing computational efforts." @default.
- W1543956712 created "2016-06-24" @default.
- W1543956712 creator A5040256280 @default.
- W1543956712 creator A5058467603 @default.
- W1543956712 date "1995-01-01" @default.
- W1543956712 modified "2023-10-03" @default.
- W1543956712 title "Lemma handling in default logic theorem provers" @default.
- W1543956712 cites W1495396426 @default.
- W1543956712 cites W1543956712 @default.
- W1543956712 cites W1566892080 @default.
- W1543956712 cites W157785659 @default.
- W1543956712 cites W1999242656 @default.
- W1543956712 cites W2013153283 @default.
- W1543956712 cites W2090172107 @default.
- W1543956712 cites W2155322595 @default.
- W1543956712 doi "https://doi.org/10.1007/3-540-60112-0_33" @default.
- W1543956712 hasPublicationYear "1995" @default.
- W1543956712 type Work @default.
- W1543956712 sameAs 1543956712 @default.
- W1543956712 citedByCount "14" @default.
- W1543956712 crossrefType "book-chapter" @default.
- W1543956712 hasAuthorship W1543956712A5040256280 @default.
- W1543956712 hasAuthorship W1543956712A5058467603 @default.
- W1543956712 hasConcept C11413529 @default.
- W1543956712 hasConcept C136119220 @default.
- W1543956712 hasConcept C18903297 @default.
- W1543956712 hasConcept C199360897 @default.
- W1543956712 hasConcept C202444582 @default.
- W1543956712 hasConcept C206880738 @default.
- W1543956712 hasConcept C2777759810 @default.
- W1543956712 hasConcept C33923547 @default.
- W1543956712 hasConcept C41008148 @default.
- W1543956712 hasConcept C46757340 @default.
- W1543956712 hasConcept C80444323 @default.
- W1543956712 hasConcept C86803240 @default.
- W1543956712 hasConceptScore W1543956712C11413529 @default.
- W1543956712 hasConceptScore W1543956712C136119220 @default.
- W1543956712 hasConceptScore W1543956712C18903297 @default.
- W1543956712 hasConceptScore W1543956712C199360897 @default.
- W1543956712 hasConceptScore W1543956712C202444582 @default.
- W1543956712 hasConceptScore W1543956712C206880738 @default.
- W1543956712 hasConceptScore W1543956712C2777759810 @default.
- W1543956712 hasConceptScore W1543956712C33923547 @default.
- W1543956712 hasConceptScore W1543956712C41008148 @default.
- W1543956712 hasConceptScore W1543956712C46757340 @default.
- W1543956712 hasConceptScore W1543956712C80444323 @default.
- W1543956712 hasConceptScore W1543956712C86803240 @default.
- W1543956712 hasLocation W15439567121 @default.
- W1543956712 hasOpenAccess W1543956712 @default.
- W1543956712 hasPrimaryLocation W15439567121 @default.
- W1543956712 hasRelatedWork W1505806930 @default.
- W1543956712 hasRelatedWork W1545424768 @default.
- W1543956712 hasRelatedWork W1560566120 @default.
- W1543956712 hasRelatedWork W157785659 @default.
- W1543956712 hasRelatedWork W1598572838 @default.
- W1543956712 hasRelatedWork W1758843996 @default.
- W1543956712 hasRelatedWork W1999242656 @default.
- W1543956712 hasRelatedWork W2013153283 @default.
- W1543956712 hasRelatedWork W2060014458 @default.
- W1543956712 hasRelatedWork W2078926321 @default.
- W1543956712 hasRelatedWork W2085184180 @default.
- W1543956712 hasRelatedWork W2097589034 @default.
- W1543956712 hasRelatedWork W2155322595 @default.
- W1543956712 hasRelatedWork W2169944201 @default.
- W1543956712 hasRelatedWork W2170421223 @default.
- W1543956712 hasRelatedWork W2505757016 @default.
- W1543956712 hasRelatedWork W2913356905 @default.
- W1543956712 hasRelatedWork W9606810 @default.
- W1543956712 hasRelatedWork W1574793289 @default.
- W1543956712 hasRelatedWork W2734898230 @default.
- W1543956712 isParatext "false" @default.
- W1543956712 isRetracted "false" @default.
- W1543956712 magId "1543956712" @default.
- W1543956712 workType "book-chapter" @default.