Matches in SemOpenAlex for { <https://semopenalex.org/work/W162868652> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W162868652 endingPage "169" @default.
- W162868652 startingPage "160" @default.
- W162868652 abstract "Traditional formal proof systems have been found unusable by those working on such applications of logic as program verification. They demand too much from the proof generator and too little from the proof checker. The notion of proof sketch or informal proof is an unsatisfactory substitute both because it is imprecise and because it treats the symptom rather than the disease. We propose to replace axiomatic proof systems by algorithmic proof systems, which explicitly incorporate a quantitative notion of computational complexity. This proposal depends on the existence of tractable decision procedures for many substantial fragments of logic, the easy fragments.KeywordsInference RuleProof SystemAxiom SystemDecision MethodTractable InferenceThese 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.
- W162868652 created "2016-06-24" @default.
- W162868652 creator A5052139381 @default.
- W162868652 date "1979-01-01" @default.
- W162868652 modified "2023-09-27" @default.
- W162868652 title "Axioms or algorithms" @default.
- W162868652 cites W2017893768 @default.
- W162868652 cites W2039744511 @default.
- W162868652 cites W2094912919 @default.
- W162868652 cites W2129495578 @default.
- W162868652 cites W4236825351 @default.
- W162868652 doi "https://doi.org/10.1007/3-540-09526-8_12" @default.
- W162868652 hasPublicationYear "1979" @default.
- W162868652 type Work @default.
- W162868652 sameAs 162868652 @default.
- W162868652 citedByCount "4" @default.
- W162868652 countsByYear W1628686522018 @default.
- W162868652 crossrefType "book-chapter" @default.
- W162868652 hasAuthorship W162868652A5052139381 @default.
- W162868652 hasConcept C105605280 @default.
- W162868652 hasConcept C108710211 @default.
- W162868652 hasConcept C111919701 @default.
- W162868652 hasConcept C11413529 @default.
- W162868652 hasConcept C121332964 @default.
- W162868652 hasConcept C124978682 @default.
- W162868652 hasConcept C163258240 @default.
- W162868652 hasConcept C167729594 @default.
- W162868652 hasConcept C173613240 @default.
- W162868652 hasConcept C195653647 @default.
- W162868652 hasConcept C203265346 @default.
- W162868652 hasConcept C206880738 @default.
- W162868652 hasConcept C2318724 @default.
- W162868652 hasConcept C2524010 @default.
- W162868652 hasConcept C2779231336 @default.
- W162868652 hasConcept C2780992000 @default.
- W162868652 hasConcept C33923547 @default.
- W162868652 hasConcept C41008148 @default.
- W162868652 hasConcept C62520636 @default.
- W162868652 hasConcept C80444323 @default.
- W162868652 hasConcept C94461902 @default.
- W162868652 hasConceptScore W162868652C105605280 @default.
- W162868652 hasConceptScore W162868652C108710211 @default.
- W162868652 hasConceptScore W162868652C111919701 @default.
- W162868652 hasConceptScore W162868652C11413529 @default.
- W162868652 hasConceptScore W162868652C121332964 @default.
- W162868652 hasConceptScore W162868652C124978682 @default.
- W162868652 hasConceptScore W162868652C163258240 @default.
- W162868652 hasConceptScore W162868652C167729594 @default.
- W162868652 hasConceptScore W162868652C173613240 @default.
- W162868652 hasConceptScore W162868652C195653647 @default.
- W162868652 hasConceptScore W162868652C203265346 @default.
- W162868652 hasConceptScore W162868652C206880738 @default.
- W162868652 hasConceptScore W162868652C2318724 @default.
- W162868652 hasConceptScore W162868652C2524010 @default.
- W162868652 hasConceptScore W162868652C2779231336 @default.
- W162868652 hasConceptScore W162868652C2780992000 @default.
- W162868652 hasConceptScore W162868652C33923547 @default.
- W162868652 hasConceptScore W162868652C41008148 @default.
- W162868652 hasConceptScore W162868652C62520636 @default.
- W162868652 hasConceptScore W162868652C80444323 @default.
- W162868652 hasConceptScore W162868652C94461902 @default.
- W162868652 hasLocation W1628686521 @default.
- W162868652 hasOpenAccess W162868652 @default.
- W162868652 hasPrimaryLocation W1628686521 @default.
- W162868652 hasRelatedWork W112168304 @default.
- W162868652 hasRelatedWork W1188080205 @default.
- W162868652 hasRelatedWork W1479802113 @default.
- W162868652 hasRelatedWork W1504859349 @default.
- W162868652 hasRelatedWork W1587012427 @default.
- W162868652 hasRelatedWork W1844803781 @default.
- W162868652 hasRelatedWork W1975850471 @default.
- W162868652 hasRelatedWork W2015336142 @default.
- W162868652 hasRelatedWork W205472424 @default.
- W162868652 hasRelatedWork W2107280992 @default.
- W162868652 hasRelatedWork W2256446987 @default.
- W162868652 hasRelatedWork W2283022833 @default.
- W162868652 hasRelatedWork W2608886415 @default.
- W162868652 hasRelatedWork W2780008341 @default.
- W162868652 hasRelatedWork W3029162146 @default.
- W162868652 hasRelatedWork W3046591311 @default.
- W162868652 hasRelatedWork W3155435928 @default.
- W162868652 hasRelatedWork W3194464091 @default.
- W162868652 hasRelatedWork W77879984 @default.
- W162868652 hasRelatedWork W169363831 @default.
- W162868652 isParatext "false" @default.
- W162868652 isRetracted "false" @default.
- W162868652 magId "162868652" @default.
- W162868652 workType "book-chapter" @default.