Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995500085> ?p ?o ?g. }
- W1995500085 endingPage "302" @default.
- W1995500085 startingPage "279" @default.
- W1995500085 created "2016-06-24" @default.
- W1995500085 creator A5036930915 @default.
- W1995500085 date "1996-10-01" @default.
- W1995500085 modified "2023-10-02" @default.
- W1995500085 title "Axiomatising first-order temporal logic: Until and since over linear time" @default.
- W1995500085 cites W1506588809 @default.
- W1995500085 cites W1980256915 @default.
- W1995500085 cites W2008960163 @default.
- W1995500085 cites W2015571575 @default.
- W1995500085 cites W2057934303 @default.
- W1995500085 cites W2074329619 @default.
- W1995500085 cites W2074899782 @default.
- W1995500085 cites W2127464101 @default.
- W1995500085 cites W2157319504 @default.
- W1995500085 cites W4213219346 @default.
- W1995500085 doi "https://doi.org/10.1007/bf00370836" @default.
- W1995500085 hasPublicationYear "1996" @default.
- W1995500085 type Work @default.
- W1995500085 sameAs 1995500085 @default.
- W1995500085 citedByCount "15" @default.
- W1995500085 countsByYear W19955000852013 @default.
- W1995500085 countsByYear W19955000852014 @default.
- W1995500085 countsByYear W19955000852020 @default.
- W1995500085 countsByYear W19955000852023 @default.
- W1995500085 crossrefType "journal-article" @default.
- W1995500085 hasAuthorship W1995500085A5036930915 @default.
- W1995500085 hasConcept C100481476 @default.
- W1995500085 hasConcept C102993220 @default.
- W1995500085 hasConcept C11413529 @default.
- W1995500085 hasConcept C118615104 @default.
- W1995500085 hasConcept C121332964 @default.
- W1995500085 hasConcept C134306372 @default.
- W1995500085 hasConcept C136119220 @default.
- W1995500085 hasConcept C144791301 @default.
- W1995500085 hasConcept C154945302 @default.
- W1995500085 hasConcept C162670838 @default.
- W1995500085 hasConcept C165801399 @default.
- W1995500085 hasConcept C167729594 @default.
- W1995500085 hasConcept C169896238 @default.
- W1995500085 hasConcept C17231256 @default.
- W1995500085 hasConcept C172385210 @default.
- W1995500085 hasConcept C200116569 @default.
- W1995500085 hasConcept C202444582 @default.
- W1995500085 hasConcept C203659156 @default.
- W1995500085 hasConcept C25016198 @default.
- W1995500085 hasConcept C2524010 @default.
- W1995500085 hasConcept C2777212361 @default.
- W1995500085 hasConcept C2777796570 @default.
- W1995500085 hasConcept C33923547 @default.
- W1995500085 hasConcept C41008148 @default.
- W1995500085 hasConcept C4777664 @default.
- W1995500085 hasConcept C62520636 @default.
- W1995500085 hasConcept C80444323 @default.
- W1995500085 hasConceptScore W1995500085C100481476 @default.
- W1995500085 hasConceptScore W1995500085C102993220 @default.
- W1995500085 hasConceptScore W1995500085C11413529 @default.
- W1995500085 hasConceptScore W1995500085C118615104 @default.
- W1995500085 hasConceptScore W1995500085C121332964 @default.
- W1995500085 hasConceptScore W1995500085C134306372 @default.
- W1995500085 hasConceptScore W1995500085C136119220 @default.
- W1995500085 hasConceptScore W1995500085C144791301 @default.
- W1995500085 hasConceptScore W1995500085C154945302 @default.
- W1995500085 hasConceptScore W1995500085C162670838 @default.
- W1995500085 hasConceptScore W1995500085C165801399 @default.
- W1995500085 hasConceptScore W1995500085C167729594 @default.
- W1995500085 hasConceptScore W1995500085C169896238 @default.
- W1995500085 hasConceptScore W1995500085C17231256 @default.
- W1995500085 hasConceptScore W1995500085C172385210 @default.
- W1995500085 hasConceptScore W1995500085C200116569 @default.
- W1995500085 hasConceptScore W1995500085C202444582 @default.
- W1995500085 hasConceptScore W1995500085C203659156 @default.
- W1995500085 hasConceptScore W1995500085C25016198 @default.
- W1995500085 hasConceptScore W1995500085C2524010 @default.
- W1995500085 hasConceptScore W1995500085C2777212361 @default.
- W1995500085 hasConceptScore W1995500085C2777796570 @default.
- W1995500085 hasConceptScore W1995500085C33923547 @default.
- W1995500085 hasConceptScore W1995500085C41008148 @default.
- W1995500085 hasConceptScore W1995500085C4777664 @default.
- W1995500085 hasConceptScore W1995500085C62520636 @default.
- W1995500085 hasConceptScore W1995500085C80444323 @default.
- W1995500085 hasIssue "2-3" @default.
- W1995500085 hasLocation W19955000851 @default.
- W1995500085 hasOpenAccess W1995500085 @default.
- W1995500085 hasPrimaryLocation W19955000851 @default.
- W1995500085 hasRelatedWork W1542943188 @default.
- W1995500085 hasRelatedWork W1581699872 @default.
- W1995500085 hasRelatedWork W2023251419 @default.
- W1995500085 hasRelatedWork W204539619 @default.
- W1995500085 hasRelatedWork W2057354456 @default.
- W1995500085 hasRelatedWork W2064994844 @default.
- W1995500085 hasRelatedWork W2146914143 @default.
- W1995500085 hasRelatedWork W2161814552 @default.
- W1995500085 hasRelatedWork W2234817167 @default.
- W1995500085 hasRelatedWork W2385436975 @default.
- W1995500085 hasVolume "57" @default.
- W1995500085 isParatext "false" @default.
- W1995500085 isRetracted "false" @default.
- W1995500085 magId "1995500085" @default.