Matches in SemOpenAlex for { <https://semopenalex.org/work/W1899861754> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1899861754 endingPage "33" @default.
- W1899861754 startingPage "18" @default.
- W1899861754 abstract "This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All procedures are defined and verified in the theorem prover Isabelle/HOL, are executable and can be applied to HOL formulae themselves (by reflection)." @default.
- W1899861754 created "2016-06-24" @default.
- W1899861754 creator A5062636889 @default.
- W1899861754 date "2008-08-29" @default.
- W1899861754 modified "2023-10-12" @default.
- W1899861754 title "Linear Quantifier Elimination" @default.
- W1899861754 cites W102301403 @default.
- W1899861754 cites W1510409711 @default.
- W1899861754 cites W1519123794 @default.
- W1899861754 cites W1532290481 @default.
- W1899861754 cites W1535229241 @default.
- W1899861754 cites W2013702670 @default.
- W1899861754 cites W2021592352 @default.
- W1899861754 cites W2104715607 @default.
- W1899861754 cites W2146104088 @default.
- W1899861754 cites W2161485500 @default.
- W1899861754 cites W2324483890 @default.
- W1899861754 cites W4250846042 @default.
- W1899861754 doi "https://doi.org/10.1007/978-3-540-71070-7_3" @default.
- W1899861754 hasPublicationYear "2008" @default.
- W1899861754 type Work @default.
- W1899861754 sameAs 1899861754 @default.
- W1899861754 citedByCount "24" @default.
- W1899861754 countsByYear W18998617542012 @default.
- W1899861754 countsByYear W18998617542013 @default.
- W1899861754 countsByYear W18998617542014 @default.
- W1899861754 countsByYear W18998617542015 @default.
- W1899861754 countsByYear W18998617542016 @default.
- W1899861754 countsByYear W18998617542017 @default.
- W1899861754 countsByYear W18998617542021 @default.
- W1899861754 countsByYear W18998617542023 @default.
- W1899861754 crossrefType "book-chapter" @default.
- W1899861754 hasAuthorship W1899861754A5062636889 @default.
- W1899861754 hasConcept C11413529 @default.
- W1899861754 hasConcept C118615104 @default.
- W1899861754 hasConcept C154945302 @default.
- W1899861754 hasConcept C160145156 @default.
- W1899861754 hasConcept C17435882 @default.
- W1899861754 hasConcept C199360897 @default.
- W1899861754 hasConcept C206880738 @default.
- W1899861754 hasConcept C2778523021 @default.
- W1899861754 hasConcept C32278780 @default.
- W1899861754 hasConcept C33923547 @default.
- W1899861754 hasConcept C41008148 @default.
- W1899861754 hasConcept C65682993 @default.
- W1899861754 hasConcept C94375191 @default.
- W1899861754 hasConcept C97137487 @default.
- W1899861754 hasConceptScore W1899861754C11413529 @default.
- W1899861754 hasConceptScore W1899861754C118615104 @default.
- W1899861754 hasConceptScore W1899861754C154945302 @default.
- W1899861754 hasConceptScore W1899861754C160145156 @default.
- W1899861754 hasConceptScore W1899861754C17435882 @default.
- W1899861754 hasConceptScore W1899861754C199360897 @default.
- W1899861754 hasConceptScore W1899861754C206880738 @default.
- W1899861754 hasConceptScore W1899861754C2778523021 @default.
- W1899861754 hasConceptScore W1899861754C32278780 @default.
- W1899861754 hasConceptScore W1899861754C33923547 @default.
- W1899861754 hasConceptScore W1899861754C41008148 @default.
- W1899861754 hasConceptScore W1899861754C65682993 @default.
- W1899861754 hasConceptScore W1899861754C94375191 @default.
- W1899861754 hasConceptScore W1899861754C97137487 @default.
- W1899861754 hasLocation W18998617541 @default.
- W1899861754 hasOpenAccess W1899861754 @default.
- W1899861754 hasPrimaryLocation W18998617541 @default.
- W1899861754 hasRelatedWork W121420253 @default.
- W1899861754 hasRelatedWork W1495147690 @default.
- W1899861754 hasRelatedWork W1971038681 @default.
- W1899861754 hasRelatedWork W2547751540 @default.
- W1899861754 hasRelatedWork W2675276594 @default.
- W1899861754 hasRelatedWork W3163374525 @default.
- W1899861754 hasRelatedWork W4287182868 @default.
- W1899861754 hasRelatedWork W4298054782 @default.
- W1899861754 hasRelatedWork W4312108796 @default.
- W1899861754 hasRelatedWork W4386363477 @default.
- W1899861754 isParatext "false" @default.
- W1899861754 isRetracted "false" @default.
- W1899861754 magId "1899861754" @default.
- W1899861754 workType "book-chapter" @default.