Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230825093> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4230825093 created "2022-05-11" @default.
- W4230825093 creator A5048868515 @default.
- W4230825093 date "2021-03-24" @default.
- W4230825093 modified "2023-10-14" @default.
- W4230825093 title "Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers" @default.
- W4230825093 doi "https://doi.org/10.26226/morressier.604907f41a80aac83ca25d3d" @default.
- W4230825093 hasPublicationYear "2021" @default.
- W4230825093 type Work @default.
- W4230825093 citedByCount "0" @default.
- W4230825093 crossrefType "posted-content" @default.
- W4230825093 hasAuthorship W4230825093A5048868515 @default.
- W4230825093 hasConcept C100481476 @default.
- W4230825093 hasConcept C10138342 @default.
- W4230825093 hasConcept C102993220 @default.
- W4230825093 hasConcept C118615104 @default.
- W4230825093 hasConcept C132525143 @default.
- W4230825093 hasConcept C144791301 @default.
- W4230825093 hasConcept C162324750 @default.
- W4230825093 hasConcept C169896238 @default.
- W4230825093 hasConcept C182306322 @default.
- W4230825093 hasConcept C199343813 @default.
- W4230825093 hasConcept C199360897 @default.
- W4230825093 hasConcept C206880738 @default.
- W4230825093 hasConcept C2777686260 @default.
- W4230825093 hasConcept C33923547 @default.
- W4230825093 hasConcept C41008148 @default.
- W4230825093 hasConcept C71924100 @default.
- W4230825093 hasConcept C80444323 @default.
- W4230825093 hasConceptScore W4230825093C100481476 @default.
- W4230825093 hasConceptScore W4230825093C10138342 @default.
- W4230825093 hasConceptScore W4230825093C102993220 @default.
- W4230825093 hasConceptScore W4230825093C118615104 @default.
- W4230825093 hasConceptScore W4230825093C132525143 @default.
- W4230825093 hasConceptScore W4230825093C144791301 @default.
- W4230825093 hasConceptScore W4230825093C162324750 @default.
- W4230825093 hasConceptScore W4230825093C169896238 @default.
- W4230825093 hasConceptScore W4230825093C182306322 @default.
- W4230825093 hasConceptScore W4230825093C199343813 @default.
- W4230825093 hasConceptScore W4230825093C199360897 @default.
- W4230825093 hasConceptScore W4230825093C206880738 @default.
- W4230825093 hasConceptScore W4230825093C2777686260 @default.
- W4230825093 hasConceptScore W4230825093C33923547 @default.
- W4230825093 hasConceptScore W4230825093C41008148 @default.
- W4230825093 hasConceptScore W4230825093C71924100 @default.
- W4230825093 hasConceptScore W4230825093C80444323 @default.
- W4230825093 hasLocation W42308250931 @default.
- W4230825093 hasOpenAccess W4230825093 @default.
- W4230825093 hasPrimaryLocation W42308250931 @default.
- W4230825093 hasRelatedWork W10447511 @default.
- W4230825093 hasRelatedWork W12297171 @default.
- W4230825093 hasRelatedWork W1383945 @default.
- W4230825093 hasRelatedWork W1656258 @default.
- W4230825093 hasRelatedWork W3549170 @default.
- W4230825093 hasRelatedWork W7048289 @default.
- W4230825093 hasRelatedWork W8806750 @default.
- W4230825093 hasRelatedWork W8916610 @default.
- W4230825093 hasRelatedWork W9401168 @default.
- W4230825093 hasRelatedWork W5616595 @default.
- W4230825093 isParatext "false" @default.
- W4230825093 isRetracted "false" @default.
- W4230825093 workType "article" @default.