Matches in SemOpenAlex for { <https://semopenalex.org/work/W4321360133> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4321360133 endingPage "660" @default.
- W4321360133 startingPage "649" @default.
- W4321360133 created "2023-02-20" @default.
- W4321360133 creator A5062447638 @default.
- W4321360133 creator A5082436525 @default.
- W4321360133 date "2022-12-01" @default.
- W4321360133 modified "2023-10-05" @default.
- W4321360133 title "Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic" @default.
- W4321360133 cites W1498203978 @default.
- W4321360133 cites W1498781683 @default.
- W4321360133 cites W1506588809 @default.
- W4321360133 cites W1513400763 @default.
- W4321360133 cites W1547589162 @default.
- W4321360133 cites W1982129592 @default.
- W4321360133 cites W2023808162 @default.
- W4321360133 cites W2039529128 @default.
- W4321360133 cites W2050398281 @default.
- W4321360133 cites W2069709605 @default.
- W4321360133 cites W2084910510 @default.
- W4321360133 cites W2145394419 @default.
- W4321360133 cites W2157319504 @default.
- W4321360133 cites W2167907675 @default.
- W4321360133 cites W2206596198 @default.
- W4321360133 cites W2261362537 @default.
- W4321360133 cites W2796510948 @default.
- W4321360133 cites W2806619258 @default.
- W4321360133 cites W2869244158 @default.
- W4321360133 cites W2898369211 @default.
- W4321360133 cites W4210386754 @default.
- W4321360133 doi "https://doi.org/10.3103/s0146411622070057" @default.
- W4321360133 hasPublicationYear "2022" @default.
- W4321360133 type Work @default.
- W4321360133 citedByCount "0" @default.
- W4321360133 crossrefType "journal-article" @default.
- W4321360133 hasAuthorship W4321360133A5062447638 @default.
- W4321360133 hasAuthorship W4321360133A5082436525 @default.
- W4321360133 hasConcept C110251889 @default.
- W4321360133 hasConcept C112505250 @default.
- W4321360133 hasConcept C11413529 @default.
- W4321360133 hasConcept C127413603 @default.
- W4321360133 hasConcept C146978453 @default.
- W4321360133 hasConcept C152062344 @default.
- W4321360133 hasConcept C162670838 @default.
- W4321360133 hasConcept C165464430 @default.
- W4321360133 hasConcept C168773769 @default.
- W4321360133 hasConcept C198008173 @default.
- W4321360133 hasConcept C199360897 @default.
- W4321360133 hasConcept C25016198 @default.
- W4321360133 hasConcept C2778029271 @default.
- W4321360133 hasConcept C311688 @default.
- W4321360133 hasConcept C41008148 @default.
- W4321360133 hasConcept C4777664 @default.
- W4321360133 hasConcept C64543145 @default.
- W4321360133 hasConcept C80444323 @default.
- W4321360133 hasConceptScore W4321360133C110251889 @default.
- W4321360133 hasConceptScore W4321360133C112505250 @default.
- W4321360133 hasConceptScore W4321360133C11413529 @default.
- W4321360133 hasConceptScore W4321360133C127413603 @default.
- W4321360133 hasConceptScore W4321360133C146978453 @default.
- W4321360133 hasConceptScore W4321360133C152062344 @default.
- W4321360133 hasConceptScore W4321360133C162670838 @default.
- W4321360133 hasConceptScore W4321360133C165464430 @default.
- W4321360133 hasConceptScore W4321360133C168773769 @default.
- W4321360133 hasConceptScore W4321360133C198008173 @default.
- W4321360133 hasConceptScore W4321360133C199360897 @default.
- W4321360133 hasConceptScore W4321360133C25016198 @default.
- W4321360133 hasConceptScore W4321360133C2778029271 @default.
- W4321360133 hasConceptScore W4321360133C311688 @default.
- W4321360133 hasConceptScore W4321360133C41008148 @default.
- W4321360133 hasConceptScore W4321360133C4777664 @default.
- W4321360133 hasConceptScore W4321360133C64543145 @default.
- W4321360133 hasConceptScore W4321360133C80444323 @default.
- W4321360133 hasIssue "7" @default.
- W4321360133 hasLocation W43213601331 @default.
- W4321360133 hasOpenAccess W4321360133 @default.
- W4321360133 hasPrimaryLocation W43213601331 @default.
- W4321360133 hasRelatedWork W1514330492 @default.
- W4321360133 hasRelatedWork W1527462432 @default.
- W4321360133 hasRelatedWork W1546948343 @default.
- W4321360133 hasRelatedWork W1968148067 @default.
- W4321360133 hasRelatedWork W2037416037 @default.
- W4321360133 hasRelatedWork W2110468917 @default.
- W4321360133 hasRelatedWork W2758505267 @default.
- W4321360133 hasRelatedWork W3177466645 @default.
- W4321360133 hasRelatedWork W4200153695 @default.
- W4321360133 hasRelatedWork W4362564437 @default.
- W4321360133 hasVolume "56" @default.
- W4321360133 isParatext "false" @default.
- W4321360133 isRetracted "false" @default.
- W4321360133 workType "article" @default.