Matches in SemOpenAlex for { <https://semopenalex.org/work/W1810972023> ?p ?o ?g. }
- W1810972023 endingPage "351" @default.
- W1810972023 startingPage "334" @default.
- W1810972023 abstract "This paper gives an account of Stålmarck’s method for validity checking of propositional-logic formulas, and explains each of the key components in terms of concepts from the field of abstract interpretation. We then use these insights to present a framework for propositional-logic validity-checking algorithms that is parametrized by an abstract domain and operations on that domain. Stålmarck’s method is one instantiation of the framework; other instantiations lead to new decision procedures for propositional logic." @default.
- W1810972023 created "2016-06-24" @default.
- W1810972023 creator A5029756316 @default.
- W1810972023 creator A5066155126 @default.
- W1810972023 date "2012-01-01" @default.
- W1810972023 modified "2023-09-23" @default.
- W1810972023 title "A Generalization of Stålmarck’s Method" @default.
- W1810972023 cites W1567887689 @default.
- W1810972023 cites W1574646631 @default.
- W1810972023 cites W1752750514 @default.
- W1810972023 cites W190752300 @default.
- W1810972023 cites W1908449836 @default.
- W1810972023 cites W2014764321 @default.
- W1810972023 cites W2043100293 @default.
- W1810972023 cites W2072490653 @default.
- W1810972023 cites W2124587220 @default.
- W1810972023 cites W2142785340 @default.
- W1810972023 cites W2147897801 @default.
- W1810972023 cites W2154687874 @default.
- W1810972023 cites W4253854487 @default.
- W1810972023 doi "https://doi.org/10.1007/978-3-642-33125-1_23" @default.
- W1810972023 hasPublicationYear "2012" @default.
- W1810972023 type Work @default.
- W1810972023 sameAs 1810972023 @default.
- W1810972023 citedByCount "22" @default.
- W1810972023 countsByYear W18109720232012 @default.
- W1810972023 countsByYear W18109720232013 @default.
- W1810972023 countsByYear W18109720232014 @default.
- W1810972023 countsByYear W18109720232015 @default.
- W1810972023 countsByYear W18109720232016 @default.
- W1810972023 countsByYear W18109720232018 @default.
- W1810972023 crossrefType "book-chapter" @default.
- W1810972023 hasAuthorship W1810972023A5029756316 @default.
- W1810972023 hasAuthorship W1810972023A5066155126 @default.
- W1810972023 hasBestOaLocation W18109720232 @default.
- W1810972023 hasConcept C102993220 @default.
- W1810972023 hasConcept C110039528 @default.
- W1810972023 hasConcept C110251889 @default.
- W1810972023 hasConcept C11413529 @default.
- W1810972023 hasConcept C134306372 @default.
- W1810972023 hasConcept C14523651 @default.
- W1810972023 hasConcept C177148314 @default.
- W1810972023 hasConcept C191222856 @default.
- W1810972023 hasConcept C199343813 @default.
- W1810972023 hasConcept C199360897 @default.
- W1810972023 hasConcept C203659156 @default.
- W1810972023 hasConcept C26517878 @default.
- W1810972023 hasConcept C2777686260 @default.
- W1810972023 hasConcept C2780654840 @default.
- W1810972023 hasConcept C33203268 @default.
- W1810972023 hasConcept C33923547 @default.
- W1810972023 hasConcept C36503486 @default.
- W1810972023 hasConcept C38652104 @default.
- W1810972023 hasConcept C41008148 @default.
- W1810972023 hasConcept C527412718 @default.
- W1810972023 hasConcept C69562738 @default.
- W1810972023 hasConcept C71924100 @default.
- W1810972023 hasConcept C74640108 @default.
- W1810972023 hasConcept C80444323 @default.
- W1810972023 hasConceptScore W1810972023C102993220 @default.
- W1810972023 hasConceptScore W1810972023C110039528 @default.
- W1810972023 hasConceptScore W1810972023C110251889 @default.
- W1810972023 hasConceptScore W1810972023C11413529 @default.
- W1810972023 hasConceptScore W1810972023C134306372 @default.
- W1810972023 hasConceptScore W1810972023C14523651 @default.
- W1810972023 hasConceptScore W1810972023C177148314 @default.
- W1810972023 hasConceptScore W1810972023C191222856 @default.
- W1810972023 hasConceptScore W1810972023C199343813 @default.
- W1810972023 hasConceptScore W1810972023C199360897 @default.
- W1810972023 hasConceptScore W1810972023C203659156 @default.
- W1810972023 hasConceptScore W1810972023C26517878 @default.
- W1810972023 hasConceptScore W1810972023C2777686260 @default.
- W1810972023 hasConceptScore W1810972023C2780654840 @default.
- W1810972023 hasConceptScore W1810972023C33203268 @default.
- W1810972023 hasConceptScore W1810972023C33923547 @default.
- W1810972023 hasConceptScore W1810972023C36503486 @default.
- W1810972023 hasConceptScore W1810972023C38652104 @default.
- W1810972023 hasConceptScore W1810972023C41008148 @default.
- W1810972023 hasConceptScore W1810972023C527412718 @default.
- W1810972023 hasConceptScore W1810972023C69562738 @default.
- W1810972023 hasConceptScore W1810972023C71924100 @default.
- W1810972023 hasConceptScore W1810972023C74640108 @default.
- W1810972023 hasConceptScore W1810972023C80444323 @default.
- W1810972023 hasLocation W18109720231 @default.
- W1810972023 hasLocation W18109720232 @default.
- W1810972023 hasOpenAccess W1810972023 @default.
- W1810972023 hasPrimaryLocation W18109720231 @default.
- W1810972023 hasRelatedWork W204584499 @default.
- W1810972023 hasRelatedWork W2059817658 @default.
- W1810972023 hasRelatedWork W2140514306 @default.
- W1810972023 hasRelatedWork W2270830817 @default.
- W1810972023 hasRelatedWork W2502080888 @default.
- W1810972023 hasRelatedWork W2552077341 @default.
- W1810972023 hasRelatedWork W2944882207 @default.
- W1810972023 hasRelatedWork W3047936693 @default.
- W1810972023 hasRelatedWork W80801749 @default.
- W1810972023 hasRelatedWork W98855598 @default.
- W1810972023 isParatext "false" @default.