Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147225983> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W3147225983 endingPage "27" @default.
- W3147225983 startingPage "19" @default.
- W3147225983 created "2021-04-13" @default.
- W3147225983 creator A5041509261 @default.
- W3147225983 date "2011-01-01" @default.
- W3147225983 modified "2023-09-24" @default.
- W3147225983 title "Interpolants from Z3 proofs" @default.
- W3147225983 hasPublicationYear "2011" @default.
- W3147225983 type Work @default.
- W3147225983 sameAs 3147225983 @default.
- W3147225983 citedByCount "1" @default.
- W3147225983 countsByYear W31472259832015 @default.
- W3147225983 crossrefType "proceedings-article" @default.
- W3147225983 hasAuthorship W3147225983A5041509261 @default.
- W3147225983 hasConcept C108710211 @default.
- W3147225983 hasConcept C199343813 @default.
- W3147225983 hasConcept C199360897 @default.
- W3147225983 hasConcept C2524010 @default.
- W3147225983 hasConcept C2777686260 @default.
- W3147225983 hasConcept C33923547 @default.
- W3147225983 hasConcept C41008148 @default.
- W3147225983 hasConcept C71924100 @default.
- W3147225983 hasConceptScore W3147225983C108710211 @default.
- W3147225983 hasConceptScore W3147225983C199343813 @default.
- W3147225983 hasConceptScore W3147225983C199360897 @default.
- W3147225983 hasConceptScore W3147225983C2524010 @default.
- W3147225983 hasConceptScore W3147225983C2777686260 @default.
- W3147225983 hasConceptScore W3147225983C33923547 @default.
- W3147225983 hasConceptScore W3147225983C41008148 @default.
- W3147225983 hasConceptScore W3147225983C71924100 @default.
- W3147225983 hasLocation W31472259831 @default.
- W3147225983 hasOpenAccess W3147225983 @default.
- W3147225983 hasPrimaryLocation W31472259831 @default.
- W3147225983 hasRelatedWork W1523853150 @default.
- W3147225983 hasRelatedWork W1582116296 @default.
- W3147225983 hasRelatedWork W1588872712 @default.
- W3147225983 hasRelatedWork W1858809161 @default.
- W3147225983 hasRelatedWork W1975629096 @default.
- W3147225983 hasRelatedWork W1988444941 @default.
- W3147225983 hasRelatedWork W2002184363 @default.
- W3147225983 hasRelatedWork W202861734 @default.
- W3147225983 hasRelatedWork W2056365917 @default.
- W3147225983 hasRelatedWork W2059353311 @default.
- W3147225983 hasRelatedWork W2078618964 @default.
- W3147225983 hasRelatedWork W2079460904 @default.
- W3147225983 hasRelatedWork W2137657593 @default.
- W3147225983 hasRelatedWork W2157638043 @default.
- W3147225983 hasRelatedWork W2327212446 @default.
- W3147225983 hasRelatedWork W2484729803 @default.
- W3147225983 hasRelatedWork W2980304096 @default.
- W3147225983 hasRelatedWork W3105570133 @default.
- W3147225983 hasRelatedWork W3177102357 @default.
- W3147225983 hasRelatedWork W2109125543 @default.
- W3147225983 isParatext "false" @default.
- W3147225983 isRetracted "false" @default.
- W3147225983 magId "3147225983" @default.
- W3147225983 workType "article" @default.