Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074163046> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2074163046 endingPage "190" @default.
- W2074163046 startingPage "171" @default.
- W2074163046 created "2016-06-24" @default.
- W2074163046 creator A5019821870 @default.
- W2074163046 date "1986-06-01" @default.
- W2074163046 modified "2023-09-27" @default.
- W2074163046 title "A decision procedure for combinations of propositional temporal logic and other specialized theories" @default.
- W2074163046 cites W1526331441 @default.
- W2074163046 cites W1582550893 @default.
- W2074163046 cites W1987119124 @default.
- W2074163046 cites W2003227046 @default.
- W2074163046 cites W2023808162 @default.
- W2074163046 cites W2025113826 @default.
- W2074163046 cites W2040127143 @default.
- W2074163046 cites W2048355938 @default.
- W2074163046 cites W2072887965 @default.
- W2074163046 cites W2075920544 @default.
- W2074163046 cites W2084910510 @default.
- W2074163046 cites W2101982422 @default.
- W2074163046 cites W2153131284 @default.
- W2074163046 cites W2164778826 @default.
- W2074163046 cites W4233253115 @default.
- W2074163046 doi "https://doi.org/10.1007/bf02432150" @default.
- W2074163046 hasPublicationYear "1986" @default.
- W2074163046 type Work @default.
- W2074163046 sameAs 2074163046 @default.
- W2074163046 citedByCount "19" @default.
- W2074163046 countsByYear W20741630462013 @default.
- W2074163046 countsByYear W20741630462014 @default.
- W2074163046 crossrefType "journal-article" @default.
- W2074163046 hasAuthorship W2074163046A5019821870 @default.
- W2074163046 hasConcept C102993220 @default.
- W2074163046 hasConcept C110039528 @default.
- W2074163046 hasConcept C11413529 @default.
- W2074163046 hasConcept C118615104 @default.
- W2074163046 hasConcept C14523651 @default.
- W2074163046 hasConcept C162670838 @default.
- W2074163046 hasConcept C199343813 @default.
- W2074163046 hasConcept C199360897 @default.
- W2074163046 hasConcept C203659156 @default.
- W2074163046 hasConcept C25016198 @default.
- W2074163046 hasConcept C2777686260 @default.
- W2074163046 hasConcept C33203268 @default.
- W2074163046 hasConcept C33923547 @default.
- W2074163046 hasConcept C41008148 @default.
- W2074163046 hasConcept C4777664 @default.
- W2074163046 hasConcept C55166926 @default.
- W2074163046 hasConcept C69562738 @default.
- W2074163046 hasConcept C71924100 @default.
- W2074163046 hasConcept C80444323 @default.
- W2074163046 hasConceptScore W2074163046C102993220 @default.
- W2074163046 hasConceptScore W2074163046C110039528 @default.
- W2074163046 hasConceptScore W2074163046C11413529 @default.
- W2074163046 hasConceptScore W2074163046C118615104 @default.
- W2074163046 hasConceptScore W2074163046C14523651 @default.
- W2074163046 hasConceptScore W2074163046C162670838 @default.
- W2074163046 hasConceptScore W2074163046C199343813 @default.
- W2074163046 hasConceptScore W2074163046C199360897 @default.
- W2074163046 hasConceptScore W2074163046C203659156 @default.
- W2074163046 hasConceptScore W2074163046C25016198 @default.
- W2074163046 hasConceptScore W2074163046C2777686260 @default.
- W2074163046 hasConceptScore W2074163046C33203268 @default.
- W2074163046 hasConceptScore W2074163046C33923547 @default.
- W2074163046 hasConceptScore W2074163046C41008148 @default.
- W2074163046 hasConceptScore W2074163046C4777664 @default.
- W2074163046 hasConceptScore W2074163046C55166926 @default.
- W2074163046 hasConceptScore W2074163046C69562738 @default.
- W2074163046 hasConceptScore W2074163046C71924100 @default.
- W2074163046 hasConceptScore W2074163046C80444323 @default.
- W2074163046 hasIssue "2" @default.
- W2074163046 hasLocation W20741630461 @default.
- W2074163046 hasOpenAccess W2074163046 @default.
- W2074163046 hasPrimaryLocation W20741630461 @default.
- W2074163046 hasRelatedWork W1849580669 @default.
- W2074163046 hasRelatedWork W1963842936 @default.
- W2074163046 hasRelatedWork W1982302236 @default.
- W2074163046 hasRelatedWork W2016310740 @default.
- W2074163046 hasRelatedWork W2023723270 @default.
- W2074163046 hasRelatedWork W2041170190 @default.
- W2074163046 hasRelatedWork W2074163046 @default.
- W2074163046 hasRelatedWork W2140749318 @default.
- W2074163046 hasRelatedWork W2157005730 @default.
- W2074163046 hasRelatedWork W2191371975 @default.
- W2074163046 hasVolume "2" @default.
- W2074163046 isParatext "false" @default.
- W2074163046 isRetracted "false" @default.
- W2074163046 magId "2074163046" @default.
- W2074163046 workType "article" @default.