Matches in SemOpenAlex for { <https://semopenalex.org/work/W179065745> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W179065745 created "2016-06-24" @default.
- W179065745 creator A5085337307 @default.
- W179065745 date "2002-01-01" @default.
- W179065745 modified "2023-09-26" @default.
- W179065745 title "HyloTab: theorem prover for hybrid logic" @default.
- W179065745 hasPublicationYear "2002" @default.
- W179065745 type Work @default.
- W179065745 sameAs 179065745 @default.
- W179065745 citedByCount "0" @default.
- W179065745 crossrefType "journal-article" @default.
- W179065745 hasAuthorship W179065745A5085337307 @default.
- W179065745 hasConcept C108710211 @default.
- W179065745 hasConcept C11413529 @default.
- W179065745 hasConcept C118615104 @default.
- W179065745 hasConcept C159718280 @default.
- W179065745 hasConcept C199343813 @default.
- W179065745 hasConcept C199360897 @default.
- W179065745 hasConcept C206880738 @default.
- W179065745 hasConcept C2524010 @default.
- W179065745 hasConcept C2777686260 @default.
- W179065745 hasConcept C33923547 @default.
- W179065745 hasConcept C41008148 @default.
- W179065745 hasConcept C71924100 @default.
- W179065745 hasConceptScore W179065745C108710211 @default.
- W179065745 hasConceptScore W179065745C11413529 @default.
- W179065745 hasConceptScore W179065745C118615104 @default.
- W179065745 hasConceptScore W179065745C159718280 @default.
- W179065745 hasConceptScore W179065745C199343813 @default.
- W179065745 hasConceptScore W179065745C199360897 @default.
- W179065745 hasConceptScore W179065745C206880738 @default.
- W179065745 hasConceptScore W179065745C2524010 @default.
- W179065745 hasConceptScore W179065745C2777686260 @default.
- W179065745 hasConceptScore W179065745C33923547 @default.
- W179065745 hasConceptScore W179065745C41008148 @default.
- W179065745 hasConceptScore W179065745C71924100 @default.
- W179065745 hasLocation W1790657451 @default.
- W179065745 hasOpenAccess W179065745 @default.
- W179065745 hasPrimaryLocation W1790657451 @default.
- W179065745 hasRelatedWork W120823771 @default.
- W179065745 hasRelatedWork W133949766 @default.
- W179065745 hasRelatedWork W134091217 @default.
- W179065745 hasRelatedWork W1499782681 @default.
- W179065745 hasRelatedWork W154368879 @default.
- W179065745 hasRelatedWork W1556427327 @default.
- W179065745 hasRelatedWork W1592672507 @default.
- W179065745 hasRelatedWork W17889614 @default.
- W179065745 hasRelatedWork W2055082904 @default.
- W179065745 hasRelatedWork W2158022092 @default.
- W179065745 hasRelatedWork W2319334257 @default.
- W179065745 hasRelatedWork W2401255201 @default.
- W179065745 hasRelatedWork W2914344498 @default.
- W179065745 hasRelatedWork W3004100840 @default.
- W179065745 hasRelatedWork W3204438756 @default.
- W179065745 hasRelatedWork W57682047 @default.
- W179065745 hasRelatedWork W593894321 @default.
- W179065745 hasRelatedWork W1155595021 @default.
- W179065745 hasRelatedWork W1542579875 @default.
- W179065745 hasRelatedWork W2192184199 @default.
- W179065745 isParatext "false" @default.
- W179065745 isRetracted "false" @default.
- W179065745 magId "179065745" @default.
- W179065745 workType "article" @default.