Matches in SemOpenAlex for { <https://semopenalex.org/work/W1509667191> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1509667191 endingPage "235" @default.
- W1509667191 startingPage "235" @default.
- W1509667191 created "2016-06-24" @default.
- W1509667191 creator A5051882974 @default.
- W1509667191 date "2000-01-01" @default.
- W1509667191 modified "2023-09-23" @default.
- W1509667191 title "Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice" @default.
- W1509667191 doi "https://doi.org/10.1007/10721959_18" @default.
- W1509667191 hasPublicationYear "2000" @default.
- W1509667191 type Work @default.
- W1509667191 sameAs 1509667191 @default.
- W1509667191 citedByCount "0" @default.
- W1509667191 crossrefType "book-chapter" @default.
- W1509667191 hasAuthorship W1509667191A5051882974 @default.
- W1509667191 hasConcept C110251889 @default.
- W1509667191 hasConcept C111472728 @default.
- W1509667191 hasConcept C111498074 @default.
- W1509667191 hasConcept C111919701 @default.
- W1509667191 hasConcept C134306372 @default.
- W1509667191 hasConcept C138885662 @default.
- W1509667191 hasConcept C170130773 @default.
- W1509667191 hasConcept C17744445 @default.
- W1509667191 hasConcept C199360897 @default.
- W1509667191 hasConcept C199539241 @default.
- W1509667191 hasConcept C206880738 @default.
- W1509667191 hasConcept C2524010 @default.
- W1509667191 hasConcept C2777026412 @default.
- W1509667191 hasConcept C28719098 @default.
- W1509667191 hasConcept C33923547 @default.
- W1509667191 hasConcept C36503486 @default.
- W1509667191 hasConcept C41008148 @default.
- W1509667191 hasConcept C55439883 @default.
- W1509667191 hasConcept C63882131 @default.
- W1509667191 hasConcept C80444323 @default.
- W1509667191 hasConcept C84211073 @default.
- W1509667191 hasConceptScore W1509667191C110251889 @default.
- W1509667191 hasConceptScore W1509667191C111472728 @default.
- W1509667191 hasConceptScore W1509667191C111498074 @default.
- W1509667191 hasConceptScore W1509667191C111919701 @default.
- W1509667191 hasConceptScore W1509667191C134306372 @default.
- W1509667191 hasConceptScore W1509667191C138885662 @default.
- W1509667191 hasConceptScore W1509667191C170130773 @default.
- W1509667191 hasConceptScore W1509667191C17744445 @default.
- W1509667191 hasConceptScore W1509667191C199360897 @default.
- W1509667191 hasConceptScore W1509667191C199539241 @default.
- W1509667191 hasConceptScore W1509667191C206880738 @default.
- W1509667191 hasConceptScore W1509667191C2524010 @default.
- W1509667191 hasConceptScore W1509667191C2777026412 @default.
- W1509667191 hasConceptScore W1509667191C28719098 @default.
- W1509667191 hasConceptScore W1509667191C33923547 @default.
- W1509667191 hasConceptScore W1509667191C36503486 @default.
- W1509667191 hasConceptScore W1509667191C41008148 @default.
- W1509667191 hasConceptScore W1509667191C55439883 @default.
- W1509667191 hasConceptScore W1509667191C63882131 @default.
- W1509667191 hasConceptScore W1509667191C80444323 @default.
- W1509667191 hasConceptScore W1509667191C84211073 @default.
- W1509667191 hasLocation W15096671911 @default.
- W1509667191 hasOpenAccess W1509667191 @default.
- W1509667191 hasPrimaryLocation W15096671911 @default.
- W1509667191 hasRelatedWork W1480678306 @default.
- W1509667191 hasRelatedWork W1501686914 @default.
- W1509667191 hasRelatedWork W1528431394 @default.
- W1509667191 hasRelatedWork W1764512891 @default.
- W1509667191 hasRelatedWork W1859039449 @default.
- W1509667191 hasRelatedWork W1903646270 @default.
- W1509667191 hasRelatedWork W1979811304 @default.
- W1509667191 hasRelatedWork W1994879909 @default.
- W1509667191 hasRelatedWork W2101001750 @default.
- W1509667191 hasRelatedWork W2123461729 @default.
- W1509667191 hasRelatedWork W2153589395 @default.
- W1509667191 hasRelatedWork W2170345902 @default.
- W1509667191 hasRelatedWork W2230407200 @default.
- W1509667191 hasRelatedWork W2285156239 @default.
- W1509667191 hasRelatedWork W2483392883 @default.
- W1509667191 hasRelatedWork W2770908924 @default.
- W1509667191 hasRelatedWork W2786716769 @default.
- W1509667191 hasRelatedWork W3146695734 @default.
- W1509667191 hasRelatedWork W326552015 @default.
- W1509667191 hasRelatedWork W93453024 @default.
- W1509667191 isParatext "false" @default.
- W1509667191 isRetracted "false" @default.
- W1509667191 magId "1509667191" @default.
- W1509667191 workType "book-chapter" @default.