Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582162693> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1582162693 endingPage "99" @default.
- W1582162693 startingPage "82" @default.
- W1582162693 abstract "We explain St?lmarck's proof procedure for classical propositional logic. The method is implemented in a commercial tool that has been used successfully in real industrial verification projects. Here, we present the proof system underlying the method, and motivate the various design decisions that have resulted in a system that copes well with the large formulas encountered in industrial-scale verification. We also discuss possible applications in Computer Aided Design of electronic circuits." @default.
- W1582162693 created "2016-06-24" @default.
- W1582162693 creator A5037308838 @default.
- W1582162693 creator A5069086225 @default.
- W1582162693 date "1998-01-01" @default.
- W1582162693 modified "2023-10-16" @default.
- W1582162693 title "A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic" @default.
- W1582162693 cites W2036265926 @default.
- W1582162693 cites W2039977878 @default.
- W1582162693 cites W2049600101 @default.
- W1582162693 cites W2057361103 @default.
- W1582162693 cites W2062897452 @default.
- W1582162693 cites W2080267935 @default.
- W1582162693 cites W2147897801 @default.
- W1582162693 cites W4236364473 @default.
- W1582162693 doi "https://doi.org/10.1007/3-540-49519-3_7" @default.
- W1582162693 hasPublicationYear "1998" @default.
- W1582162693 type Work @default.
- W1582162693 sameAs 1582162693 @default.
- W1582162693 citedByCount "55" @default.
- W1582162693 countsByYear W15821626932013 @default.
- W1582162693 countsByYear W15821626932014 @default.
- W1582162693 countsByYear W15821626932015 @default.
- W1582162693 countsByYear W15821626932018 @default.
- W1582162693 countsByYear W15821626932020 @default.
- W1582162693 countsByYear W15821626932022 @default.
- W1582162693 countsByYear W15821626932023 @default.
- W1582162693 crossrefType "book-chapter" @default.
- W1582162693 hasAuthorship W1582162693A5037308838 @default.
- W1582162693 hasAuthorship W1582162693A5069086225 @default.
- W1582162693 hasConcept C102993220 @default.
- W1582162693 hasConcept C110039528 @default.
- W1582162693 hasConcept C14523651 @default.
- W1582162693 hasConcept C191222856 @default.
- W1582162693 hasConcept C199343813 @default.
- W1582162693 hasConcept C199360897 @default.
- W1582162693 hasConcept C203659156 @default.
- W1582162693 hasConcept C2777686260 @default.
- W1582162693 hasConcept C33203268 @default.
- W1582162693 hasConcept C33923547 @default.
- W1582162693 hasConcept C3845977 @default.
- W1582162693 hasConcept C41008148 @default.
- W1582162693 hasConcept C69562738 @default.
- W1582162693 hasConcept C71924100 @default.
- W1582162693 hasConceptScore W1582162693C102993220 @default.
- W1582162693 hasConceptScore W1582162693C110039528 @default.
- W1582162693 hasConceptScore W1582162693C14523651 @default.
- W1582162693 hasConceptScore W1582162693C191222856 @default.
- W1582162693 hasConceptScore W1582162693C199343813 @default.
- W1582162693 hasConceptScore W1582162693C199360897 @default.
- W1582162693 hasConceptScore W1582162693C203659156 @default.
- W1582162693 hasConceptScore W1582162693C2777686260 @default.
- W1582162693 hasConceptScore W1582162693C33203268 @default.
- W1582162693 hasConceptScore W1582162693C33923547 @default.
- W1582162693 hasConceptScore W1582162693C3845977 @default.
- W1582162693 hasConceptScore W1582162693C41008148 @default.
- W1582162693 hasConceptScore W1582162693C69562738 @default.
- W1582162693 hasConceptScore W1582162693C71924100 @default.
- W1582162693 hasLocation W15821626931 @default.
- W1582162693 hasOpenAccess W1582162693 @default.
- W1582162693 hasPrimaryLocation W15821626931 @default.
- W1582162693 hasRelatedWork W1987118140 @default.
- W1582162693 hasRelatedWork W2015640848 @default.
- W1582162693 hasRelatedWork W2025571074 @default.
- W1582162693 hasRelatedWork W2333225732 @default.
- W1582162693 hasRelatedWork W2504340839 @default.
- W1582162693 hasRelatedWork W4229552940 @default.
- W1582162693 hasRelatedWork W4251854500 @default.
- W1582162693 hasRelatedWork W54977314 @default.
- W1582162693 hasRelatedWork W1581635148 @default.
- W1582162693 hasRelatedWork W2187885897 @default.
- W1582162693 isParatext "false" @default.
- W1582162693 isRetracted "false" @default.
- W1582162693 magId "1582162693" @default.
- W1582162693 workType "book-chapter" @default.