Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740900434> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2740900434 endingPage "126" @default.
- W2740900434 startingPage "114" @default.
- W2740900434 abstract "The current state of a Theorem Proving System (The Markgraf Karl Refutation Procedure) at the University of Karlsruhe is presented. The goal of this project can be summarized by the following three claims: it is possible to program a theorem prover (TP) and augment it by appropriate heuristics and domain-specific knowledge such that(i) it will display an 'active' and directed behaviour in its striving for a proof, rather than the 'passive' combinatorial search through very large search spaces, which was the characteristic behaviour of the TPs of the past. Consequently(ii) it will not generate a search space of many thousands of irrelevant clauses, but will find a proof with comparatively few redundant derivation steps.(iii) Such a TP will establish an unprecedented leap in performance over previous TPs expressed in terms of the difficulty of the theorems it can prove.The results obtained thus far corroborate the first two claims." @default.
- W2740900434 created "2017-08-08" @default.
- W2740900434 creator A5044203427 @default.
- W2740900434 creator A5060098656 @default.
- W2740900434 creator A5070748284 @default.
- W2740900434 creator A5071791166 @default.
- W2740900434 creator A5073707150 @default.
- W2740900434 date "1980-07-01" @default.
- W2740900434 modified "2023-09-29" @default.
- W2740900434 title "The Markgraf Karl refutation procedure" @default.
- W2740900434 cites W1525644138 @default.
- W2740900434 cites W1590828018 @default.
- W2740900434 cites W1963804765 @default.
- W2740900434 cites W1970045008 @default.
- W2740900434 cites W1974462798 @default.
- W2740900434 cites W1996158986 @default.
- W2740900434 cites W2038634728 @default.
- W2740900434 cites W2062315995 @default.
- W2740900434 cites W2075155148 @default.
- W2740900434 cites W2098036931 @default.
- W2740900434 cites W2914936697 @default.
- W2740900434 cites W422238433 @default.
- W2740900434 hasPublicationYear "1980" @default.
- W2740900434 type Work @default.
- W2740900434 sameAs 2740900434 @default.
- W2740900434 citedByCount "3" @default.
- W2740900434 crossrefType "journal-article" @default.
- W2740900434 hasAuthorship W2740900434A5044203427 @default.
- W2740900434 hasAuthorship W2740900434A5060098656 @default.
- W2740900434 hasAuthorship W2740900434A5070748284 @default.
- W2740900434 hasAuthorship W2740900434A5071791166 @default.
- W2740900434 hasAuthorship W2740900434A5073707150 @default.
- W2740900434 hasConcept C108710211 @default.
- W2740900434 hasConcept C111919701 @default.
- W2740900434 hasConcept C11413529 @default.
- W2740900434 hasConcept C126255220 @default.
- W2740900434 hasConcept C127705205 @default.
- W2740900434 hasConcept C134306372 @default.
- W2740900434 hasConcept C159718280 @default.
- W2740900434 hasConcept C199343813 @default.
- W2740900434 hasConcept C206880738 @default.
- W2740900434 hasConcept C2524010 @default.
- W2740900434 hasConcept C2777686260 @default.
- W2740900434 hasConcept C2778572836 @default.
- W2740900434 hasConcept C33923547 @default.
- W2740900434 hasConcept C36503486 @default.
- W2740900434 hasConcept C41008148 @default.
- W2740900434 hasConcept C71924100 @default.
- W2740900434 hasConceptScore W2740900434C108710211 @default.
- W2740900434 hasConceptScore W2740900434C111919701 @default.
- W2740900434 hasConceptScore W2740900434C11413529 @default.
- W2740900434 hasConceptScore W2740900434C126255220 @default.
- W2740900434 hasConceptScore W2740900434C127705205 @default.
- W2740900434 hasConceptScore W2740900434C134306372 @default.
- W2740900434 hasConceptScore W2740900434C159718280 @default.
- W2740900434 hasConceptScore W2740900434C199343813 @default.
- W2740900434 hasConceptScore W2740900434C206880738 @default.
- W2740900434 hasConceptScore W2740900434C2524010 @default.
- W2740900434 hasConceptScore W2740900434C2777686260 @default.
- W2740900434 hasConceptScore W2740900434C2778572836 @default.
- W2740900434 hasConceptScore W2740900434C33923547 @default.
- W2740900434 hasConceptScore W2740900434C36503486 @default.
- W2740900434 hasConceptScore W2740900434C41008148 @default.
- W2740900434 hasConceptScore W2740900434C71924100 @default.
- W2740900434 hasLocation W27409004341 @default.
- W2740900434 hasOpenAccess W2740900434 @default.
- W2740900434 hasPrimaryLocation W27409004341 @default.
- W2740900434 hasRelatedWork W1413051680 @default.
- W2740900434 hasRelatedWork W1484868172 @default.
- W2740900434 hasRelatedWork W1522573548 @default.
- W2740900434 hasRelatedWork W1525483008 @default.
- W2740900434 hasRelatedWork W1584539716 @default.
- W2740900434 hasRelatedWork W1599030381 @default.
- W2740900434 hasRelatedWork W184402934 @default.
- W2740900434 hasRelatedWork W1946255743 @default.
- W2740900434 hasRelatedWork W1987672986 @default.
- W2740900434 hasRelatedWork W1994693829 @default.
- W2740900434 hasRelatedWork W1996158986 @default.
- W2740900434 hasRelatedWork W201022009 @default.
- W2740900434 hasRelatedWork W2142739009 @default.
- W2740900434 hasRelatedWork W2296014359 @default.
- W2740900434 hasRelatedWork W2322071946 @default.
- W2740900434 hasRelatedWork W260563712 @default.
- W2740900434 hasRelatedWork W287250049 @default.
- W2740900434 hasRelatedWork W3146980381 @default.
- W2740900434 hasRelatedWork W643320397 @default.
- W2740900434 hasRelatedWork W73507083 @default.
- W2740900434 isParatext "false" @default.
- W2740900434 isRetracted "false" @default.
- W2740900434 magId "2740900434" @default.
- W2740900434 workType "article" @default.