Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208373457> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W3208373457 endingPage "12" @default.
- W3208373457 startingPage "7" @default.
- W3208373457 created "2021-11-08" @default.
- W3208373457 creator A5015702335 @default.
- W3208373457 creator A5045151425 @default.
- W3208373457 creator A5070497827 @default.
- W3208373457 date "2021-01-01" @default.
- W3208373457 modified "2023-09-26" @default.
- W3208373457 title "BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker." @default.
- W3208373457 cites W1549166962 @default.
- W3208373457 cites W1982302236 @default.
- W3208373457 cites W2003227046 @default.
- W3208373457 cites W2053231467 @default.
- W3208373457 cites W2568050379 @default.
- W3208373457 cites W2806619258 @default.
- W3208373457 cites W3034562037 @default.
- W3208373457 hasPublicationYear "2021" @default.
- W3208373457 type Work @default.
- W3208373457 sameAs 3208373457 @default.
- W3208373457 citedByCount "0" @default.
- W3208373457 crossrefType "journal-article" @default.
- W3208373457 hasAuthorship W3208373457A5015702335 @default.
- W3208373457 hasAuthorship W3208373457A5045151425 @default.
- W3208373457 hasAuthorship W3208373457A5070497827 @default.
- W3208373457 hasConcept C110251889 @default.
- W3208373457 hasConcept C11413529 @default.
- W3208373457 hasConcept C168773769 @default.
- W3208373457 hasConcept C199360897 @default.
- W3208373457 hasConcept C41008148 @default.
- W3208373457 hasConcept C80444323 @default.
- W3208373457 hasConceptScore W3208373457C110251889 @default.
- W3208373457 hasConceptScore W3208373457C11413529 @default.
- W3208373457 hasConceptScore W3208373457C168773769 @default.
- W3208373457 hasConceptScore W3208373457C199360897 @default.
- W3208373457 hasConceptScore W3208373457C41008148 @default.
- W3208373457 hasConceptScore W3208373457C80444323 @default.
- W3208373457 hasLocation W32083734571 @default.
- W3208373457 hasOpenAccess W3208373457 @default.
- W3208373457 hasPrimaryLocation W32083734571 @default.
- W3208373457 hasRelatedWork W1573354578 @default.
- W3208373457 hasRelatedWork W1591515441 @default.
- W3208373457 hasRelatedWork W174710947 @default.
- W3208373457 hasRelatedWork W2001487918 @default.
- W3208373457 hasRelatedWork W2071515011 @default.
- W3208373457 hasRelatedWork W2092744187 @default.
- W3208373457 hasRelatedWork W2134056608 @default.
- W3208373457 hasRelatedWork W2160838104 @default.
- W3208373457 hasRelatedWork W2290772557 @default.
- W3208373457 hasRelatedWork W2339781719 @default.
- W3208373457 hasRelatedWork W2395269769 @default.
- W3208373457 hasRelatedWork W2484669807 @default.
- W3208373457 hasRelatedWork W2568050379 @default.
- W3208373457 hasRelatedWork W2774415564 @default.
- W3208373457 hasRelatedWork W2956582956 @default.
- W3208373457 hasRelatedWork W3198453946 @default.
- W3208373457 hasRelatedWork W61606928 @default.
- W3208373457 hasRelatedWork W755951666 @default.
- W3208373457 hasRelatedWork W1015146240 @default.
- W3208373457 hasRelatedWork W2835033224 @default.
- W3208373457 isParatext "false" @default.
- W3208373457 isRetracted "false" @default.
- W3208373457 magId "3208373457" @default.
- W3208373457 workType "article" @default.