Matches in SemOpenAlex for { <https://semopenalex.org/work/W165430929> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W165430929 endingPage "96" @default.
- W165430929 startingPage "90" @default.
- W165430929 created "2016-06-24" @default.
- W165430929 creator A5038089766 @default.
- W165430929 date "1993-06-01" @default.
- W165430929 modified "2023-09-27" @default.
- W165430929 title "The analytic tableaux for linear miniscoped temporal logic" @default.
- W165430929 hasPublicationYear "1993" @default.
- W165430929 type Work @default.
- W165430929 sameAs 165430929 @default.
- W165430929 citedByCount "0" @default.
- W165430929 crossrefType "proceedings-article" @default.
- W165430929 hasAuthorship W165430929A5038089766 @default.
- W165430929 hasConcept C11413529 @default.
- W165430929 hasConcept C25016198 @default.
- W165430929 hasConcept C41008148 @default.
- W165430929 hasConcept C4777664 @default.
- W165430929 hasConcept C80444323 @default.
- W165430929 hasConceptScore W165430929C11413529 @default.
- W165430929 hasConceptScore W165430929C25016198 @default.
- W165430929 hasConceptScore W165430929C41008148 @default.
- W165430929 hasConceptScore W165430929C4777664 @default.
- W165430929 hasConceptScore W165430929C80444323 @default.
- W165430929 hasLocation W1654309291 @default.
- W165430929 hasOpenAccess W165430929 @default.
- W165430929 hasPrimaryLocation W1654309291 @default.
- W165430929 hasRelatedWork W128389813 @default.
- W165430929 hasRelatedWork W134559046 @default.
- W165430929 hasRelatedWork W1493359825 @default.
- W165430929 hasRelatedWork W1526201648 @default.
- W165430929 hasRelatedWork W1593736894 @default.
- W165430929 hasRelatedWork W1627656828 @default.
- W165430929 hasRelatedWork W164905765 @default.
- W165430929 hasRelatedWork W173390059 @default.
- W165430929 hasRelatedWork W18135104 @default.
- W165430929 hasRelatedWork W1987845295 @default.
- W165430929 hasRelatedWork W20552653 @default.
- W165430929 hasRelatedWork W2114226999 @default.
- W165430929 hasRelatedWork W2407995128 @default.
- W165430929 hasRelatedWork W2569556459 @default.
- W165430929 hasRelatedWork W2612967991 @default.
- W165430929 hasRelatedWork W283627692 @default.
- W165430929 hasRelatedWork W2941935300 @default.
- W165430929 hasRelatedWork W43147964 @default.
- W165430929 hasRelatedWork W93110370 @default.
- W165430929 hasRelatedWork W170215294 @default.
- W165430929 isParatext "false" @default.
- W165430929 isRetracted "false" @default.
- W165430929 magId "165430929" @default.
- W165430929 workType "article" @default.