FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2579490695> ?p ?o ?g. }

• W2579490695 endingPage "956" @default.
• W2579490695 startingPage "950" @default.
• W2579490695 abstract "The paper presents Leviathan, an LTL satisfiability checking tool based on a novel one-pass, treelike tableau system, which is way simpler than existing solutions. Despite the simplicity of the algorithm, the tool has performance comparable in speed and memory consumption with other tools on a number of standard benchmark sets, and, in various cases, it outperforms the other tableau-based tools." @default.
• W2579490695 created "2017-01-26" @default.
• W2579490695 creator A5015702335 @default.
• W2579490695 creator A5036930915 @default.
• W2579490695 creator A5070497827 @default.
• W2579490695 creator A5078340695 @default.
• W2579490695 date "2016-07-09" @default.
• W2579490695 modified "2023-09-26" @default.
• W2579490695 title "Leviathan: a new LTL satisfiability checking tool based on a one-pass tree-shaped tableau" @default.
• W2579490695 cites W1489391022 @default.
• W2579490695 cites W1492929237 @default.
• W2579490695 cites W1507805823 @default.
• W2579490695 cites W1514845090 @default.
• W2579490695 cites W1527982431 @default.
• W2579490695 cites W1539868891 @default.
• W2579490695 cites W1540180001 @default.
• W2579490695 cites W1552135236 @default.
• W2579490695 cites W1573805454 @default.
• W2579490695 cites W1602995535 @default.
• W2579490695 cites W1810595877 @default.
• W2579490695 cites W182632105 @default.
• W2579490695 cites W1993457892 @default.
• W2579490695 cites W2003227046 @default.
• W2579490695 cites W2023808162 @default.
• W2579490695 cites W2025995266 @default.
• W2579490695 cites W2031157814 @default.
• W2579490695 cites W2130988355 @default.
• W2579490695 cites W2131225255 @default.
• W2579490695 cites W2151958719 @default.
• W2579490695 cites W2159191524 @default.
• W2579490695 cites W2336757246 @default.
• W2579490695 cites W2913459036 @default.
• W2579490695 cites W333834217 @default.
• W2579490695 hasPublicationYear "2016" @default.
• W2579490695 type Work @default.
• W2579490695 sameAs 2579490695 @default.
• W2579490695 citedByCount "1" @default.
• W2579490695 countsByYear W25794906952017 @default.
• W2579490695 crossrefType "proceedings-article" @default.
• W2579490695 hasAuthorship W2579490695A5015702335 @default.
• W2579490695 hasAuthorship W2579490695A5036930915 @default.
• W2579490695 hasAuthorship W2579490695A5070497827 @default.
• W2579490695 hasAuthorship W2579490695A5078340695 @default.
• W2579490695 hasConcept C110251889 @default.
• W2579490695 hasConcept C111472728 @default.
• W2579490695 hasConcept C113174947 @default.
• W2579490695 hasConcept C11413529 @default.
• W2579490695 hasConcept C114614502 @default.
• W2579490695 hasConcept C13280743 @default.
• W2579490695 hasConcept C138885662 @default.
• W2579490695 hasConcept C168773769 @default.
• W2579490695 hasConcept C185798385 @default.
• W2579490695 hasConcept C199360897 @default.
• W2579490695 hasConcept C205649164 @default.
• W2579490695 hasConcept C2776372474 @default.
• W2579490695 hasConcept C2778049125 @default.
• W2579490695 hasConcept C33923547 @default.
• W2579490695 hasConcept C38652104 @default.
• W2579490695 hasConcept C41008148 @default.
• W2579490695 hasConcept C6943359 @default.
• W2579490695 hasConcept C80444323 @default.
• W2579490695 hasConceptScore W2579490695C110251889 @default.
• W2579490695 hasConceptScore W2579490695C111472728 @default.
• W2579490695 hasConceptScore W2579490695C113174947 @default.
• W2579490695 hasConceptScore W2579490695C11413529 @default.
• W2579490695 hasConceptScore W2579490695C114614502 @default.
• W2579490695 hasConceptScore W2579490695C13280743 @default.
• W2579490695 hasConceptScore W2579490695C138885662 @default.
• W2579490695 hasConceptScore W2579490695C168773769 @default.
• W2579490695 hasConceptScore W2579490695C185798385 @default.
• W2579490695 hasConceptScore W2579490695C199360897 @default.
• W2579490695 hasConceptScore W2579490695C205649164 @default.
• W2579490695 hasConceptScore W2579490695C2776372474 @default.
• W2579490695 hasConceptScore W2579490695C2778049125 @default.
• W2579490695 hasConceptScore W2579490695C33923547 @default.
• W2579490695 hasConceptScore W2579490695C38652104 @default.
• W2579490695 hasConceptScore W2579490695C41008148 @default.
• W2579490695 hasConceptScore W2579490695C6943359 @default.
• W2579490695 hasConceptScore W2579490695C80444323 @default.
• W2579490695 hasLocation W25794906951 @default.
• W2579490695 hasOpenAccess W2579490695 @default.
• W2579490695 hasPrimaryLocation W25794906951 @default.
• W2579490695 hasRelatedWork W1489391022 @default.
• W2579490695 hasRelatedWork W1508631477 @default.
• W2579490695 hasRelatedWork W1512529696 @default.
• W2579490695 hasRelatedWork W1514845090 @default.
• W2579490695 hasRelatedWork W1517244811 @default.
• W2579490695 hasRelatedWork W1527982431 @default.
• W2579490695 hasRelatedWork W1585696877 @default.
• W2579490695 hasRelatedWork W1790879952 @default.
• W2579490695 hasRelatedWork W1810595877 @default.
• W2579490695 hasRelatedWork W182632105 @default.
• W2579490695 hasRelatedWork W1983677280 @default.
• W2579490695 hasRelatedWork W2023808162 @default.
• W2579490695 hasRelatedWork W2031157814 @default.
• W2579490695 hasRelatedWork W2159623305 @default.
• W2579490695 hasRelatedWork W2370295989 @default.
• W2579490695 hasRelatedWork W2736628975 @default.

• next