Matches in SemOpenAlex for { <https://semopenalex.org/work/W18461166> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W18461166 abstract "Given formula F and axioms, theorem proving methods try to prove F. If F is provable, the proof obtained provides an explanation of the fact that F is a theorem. It may happen that F is FALSE or, for some reason, that we fail to prove F. Several theorem proving methods provide different kinds of the so-called formulae. The failure formulae explain why the proof of F failed." @default.
- W18461166 created "2016-06-24" @default.
- W18461166 creator A5073241923 @default.
- W18461166 date "1990-01-01" @default.
- W18461166 modified "2023-10-17" @default.
- W18461166 title "Constructive matching — Explanation based methodology for inductive theorem proving" @default.
- W18461166 cites W2012436850 @default.
- W18461166 cites W2045323411 @default.
- W18461166 cites W2054358146 @default.
- W18461166 cites W4237600180 @default.
- W18461166 doi "https://doi.org/10.1007/3-540-53414-8_36" @default.
- W18461166 hasPublicationYear "1990" @default.
- W18461166 type Work @default.
- W18461166 sameAs 18461166 @default.
- W18461166 citedByCount "1" @default.
- W18461166 crossrefType "book-chapter" @default.
- W18461166 hasAuthorship W18461166A5073241923 @default.
- W18461166 hasConcept C105605280 @default.
- W18461166 hasConcept C105795698 @default.
- W18461166 hasConcept C108710211 @default.
- W18461166 hasConcept C11413529 @default.
- W18461166 hasConcept C118615104 @default.
- W18461166 hasConcept C136119220 @default.
- W18461166 hasConcept C165064840 @default.
- W18461166 hasConcept C167729594 @default.
- W18461166 hasConcept C171636804 @default.
- W18461166 hasConcept C194886279 @default.
- W18461166 hasConcept C199343813 @default.
- W18461166 hasConcept C199360897 @default.
- W18461166 hasConcept C202444582 @default.
- W18461166 hasConcept C202854965 @default.
- W18461166 hasConcept C206880738 @default.
- W18461166 hasConcept C2318724 @default.
- W18461166 hasConcept C2524010 @default.
- W18461166 hasConcept C2777686260 @default.
- W18461166 hasConcept C2778701210 @default.
- W18461166 hasConcept C33923547 @default.
- W18461166 hasConcept C41008148 @default.
- W18461166 hasConcept C45962547 @default.
- W18461166 hasConcept C71924100 @default.
- W18461166 hasConcept C98045186 @default.
- W18461166 hasConceptScore W18461166C105605280 @default.
- W18461166 hasConceptScore W18461166C105795698 @default.
- W18461166 hasConceptScore W18461166C108710211 @default.
- W18461166 hasConceptScore W18461166C11413529 @default.
- W18461166 hasConceptScore W18461166C118615104 @default.
- W18461166 hasConceptScore W18461166C136119220 @default.
- W18461166 hasConceptScore W18461166C165064840 @default.
- W18461166 hasConceptScore W18461166C167729594 @default.
- W18461166 hasConceptScore W18461166C171636804 @default.
- W18461166 hasConceptScore W18461166C194886279 @default.
- W18461166 hasConceptScore W18461166C199343813 @default.
- W18461166 hasConceptScore W18461166C199360897 @default.
- W18461166 hasConceptScore W18461166C202444582 @default.
- W18461166 hasConceptScore W18461166C202854965 @default.
- W18461166 hasConceptScore W18461166C206880738 @default.
- W18461166 hasConceptScore W18461166C2318724 @default.
- W18461166 hasConceptScore W18461166C2524010 @default.
- W18461166 hasConceptScore W18461166C2777686260 @default.
- W18461166 hasConceptScore W18461166C2778701210 @default.
- W18461166 hasConceptScore W18461166C33923547 @default.
- W18461166 hasConceptScore W18461166C41008148 @default.
- W18461166 hasConceptScore W18461166C45962547 @default.
- W18461166 hasConceptScore W18461166C71924100 @default.
- W18461166 hasConceptScore W18461166C98045186 @default.
- W18461166 hasLocation W184611661 @default.
- W18461166 hasOpenAccess W18461166 @default.
- W18461166 hasPrimaryLocation W184611661 @default.
- W18461166 hasRelatedWork W1506268296 @default.
- W18461166 hasRelatedWork W1546824363 @default.
- W18461166 hasRelatedWork W1586813864 @default.
- W18461166 hasRelatedWork W195307534 @default.
- W18461166 hasRelatedWork W2100065142 @default.
- W18461166 hasRelatedWork W2107153842 @default.
- W18461166 hasRelatedWork W2108813616 @default.
- W18461166 hasRelatedWork W2285888105 @default.
- W18461166 hasRelatedWork W2294984609 @default.
- W18461166 hasRelatedWork W2590752118 @default.
- W18461166 hasRelatedWork W2909229158 @default.
- W18461166 hasRelatedWork W2911676042 @default.
- W18461166 hasRelatedWork W2948179623 @default.
- W18461166 hasRelatedWork W3006605088 @default.
- W18461166 hasRelatedWork W3030164044 @default.
- W18461166 hasRelatedWork W3082739651 @default.
- W18461166 hasRelatedWork W3124682000 @default.
- W18461166 hasRelatedWork W321028994 @default.
- W18461166 hasRelatedWork W165422478 @default.
- W18461166 hasRelatedWork W3142520689 @default.
- W18461166 isParatext "false" @default.
- W18461166 isRetracted "false" @default.
- W18461166 magId "18461166" @default.
- W18461166 workType "book-chapter" @default.