Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488698733> ?p ?o ?g. }
- W1488698733 endingPage "233" @default.
- W1488698733 startingPage "224" @default.
- W1488698733 created "2016-06-24" @default.
- W1488698733 creator A5016943210 @default.
- W1488698733 creator A5077944122 @default.
- W1488698733 date "2010-09-08" @default.
- W1488698733 modified "2023-09-23" @default.
- W1488698733 title "Reasoning and inference rules in basic linear temporal logic BLTL" @default.
- W1488698733 cites W1488267121 @default.
- W1488698733 cites W1506588809 @default.
- W1488698733 cites W1512310098 @default.
- W1488698733 cites W1516806823 @default.
- W1488698733 cites W1521991348 @default.
- W1488698733 cites W1540180001 @default.
- W1488698733 cites W1540180960 @default.
- W1488698733 cites W1573056557 @default.
- W1488698733 cites W1591857789 @default.
- W1488698733 cites W1982890778 @default.
- W1488698733 cites W2003227046 @default.
- W1488698733 cites W2011674996 @default.
- W1488698733 cites W2019740327 @default.
- W1488698733 cites W2023712626 @default.
- W1488698733 cites W2027924374 @default.
- W1488698733 cites W2032229737 @default.
- W1488698733 cites W2046526482 @default.
- W1488698733 cites W2049821930 @default.
- W1488698733 cites W2075172817 @default.
- W1488698733 cites W2077311448 @default.
- W1488698733 cites W2077847391 @default.
- W1488698733 cites W2079375603 @default.
- W1488698733 cites W2080542786 @default.
- W1488698733 cites W2081160992 @default.
- W1488698733 cites W2083186217 @default.
- W1488698733 cites W2090382436 @default.
- W1488698733 cites W2093916942 @default.
- W1488698733 cites W2093974031 @default.
- W1488698733 cites W2102729667 @default.
- W1488698733 cites W2107725559 @default.
- W1488698733 cites W2108252992 @default.
- W1488698733 cites W2108756969 @default.
- W1488698733 cites W2111570288 @default.
- W1488698733 cites W2112687509 @default.
- W1488698733 cites W2114011141 @default.
- W1488698733 cites W2124876285 @default.
- W1488698733 cites W2126852230 @default.
- W1488698733 cites W2157319504 @default.
- W1488698733 cites W2159310931 @default.
- W1488698733 cites W2159753366 @default.
- W1488698733 cites W2164389533 @default.
- W1488698733 cites W2168026495 @default.
- W1488698733 cites W2168410054 @default.
- W1488698733 cites W2170146694 @default.
- W1488698733 cites W2211959939 @default.
- W1488698733 cites W61355775 @default.
- W1488698733 cites W633803211 @default.
- W1488698733 hasPublicationYear "2010" @default.
- W1488698733 type Work @default.
- W1488698733 sameAs 1488698733 @default.
- W1488698733 citedByCount "1" @default.
- W1488698733 countsByYear W14886987332013 @default.
- W1488698733 crossrefType "proceedings-article" @default.
- W1488698733 hasAuthorship W1488698733A5016943210 @default.
- W1488698733 hasAuthorship W1488698733A5077944122 @default.
- W1488698733 hasConcept C11413529 @default.
- W1488698733 hasConcept C12426560 @default.
- W1488698733 hasConcept C154945302 @default.
- W1488698733 hasConcept C195344581 @default.
- W1488698733 hasConcept C25016198 @default.
- W1488698733 hasConcept C2524010 @default.
- W1488698733 hasConcept C2776214188 @default.
- W1488698733 hasConcept C2778112365 @default.
- W1488698733 hasConcept C33923547 @default.
- W1488698733 hasConcept C3746660 @default.
- W1488698733 hasConcept C41008148 @default.
- W1488698733 hasConcept C4777664 @default.
- W1488698733 hasConcept C54355233 @default.
- W1488698733 hasConcept C80444323 @default.
- W1488698733 hasConcept C86803240 @default.
- W1488698733 hasConceptScore W1488698733C11413529 @default.
- W1488698733 hasConceptScore W1488698733C12426560 @default.
- W1488698733 hasConceptScore W1488698733C154945302 @default.
- W1488698733 hasConceptScore W1488698733C195344581 @default.
- W1488698733 hasConceptScore W1488698733C25016198 @default.
- W1488698733 hasConceptScore W1488698733C2524010 @default.
- W1488698733 hasConceptScore W1488698733C2776214188 @default.
- W1488698733 hasConceptScore W1488698733C2778112365 @default.
- W1488698733 hasConceptScore W1488698733C33923547 @default.
- W1488698733 hasConceptScore W1488698733C3746660 @default.
- W1488698733 hasConceptScore W1488698733C41008148 @default.
- W1488698733 hasConceptScore W1488698733C4777664 @default.
- W1488698733 hasConceptScore W1488698733C54355233 @default.
- W1488698733 hasConceptScore W1488698733C80444323 @default.
- W1488698733 hasConceptScore W1488698733C86803240 @default.
- W1488698733 hasLocation W14886987331 @default.
- W1488698733 hasOpenAccess W1488698733 @default.
- W1488698733 hasPrimaryLocation W14886987331 @default.
- W1488698733 hasRelatedWork W105113360 @default.
- W1488698733 hasRelatedWork W146952150 @default.
- W1488698733 hasRelatedWork W1495132700 @default.
- W1488698733 hasRelatedWork W1504805937 @default.