SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1513012150> ?p ?o ?g. }

Showing items 1 to 100 of ±105 with 100 items per page.

W1513012150 created "2016-06-24" @default.
W1513012150 creator A5076302130 @default.
W1513012150 date "2005-07-01" @default.
W1513012150 modified "2023-09-27" @default.
W1513012150 title "Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain" @default.
W1513012150 cites W1484512593 @default.
W1513012150 cites W1491003784 @default.
W1513012150 cites W1498302502 @default.
W1513012150 cites W1500471361 @default.
W1513012150 cites W1503244304 @default.
W1513012150 cites W1507224217 @default.
W1513012150 cites W1512768899 @default.
W1513012150 cites W1523205540 @default.
W1513012150 cites W154008952 @default.
W1513012150 cites W1568252098 @default.
W1513012150 cites W1578866112 @default.
W1513012150 cites W1579868061 @default.
W1513012150 cites W1592652287 @default.
W1513012150 cites W1601874263 @default.
W1513012150 cites W1603641563 @default.
W1513012150 cites W1606604604 @default.
W1513012150 cites W1654887066 @default.
W1513012150 cites W1821199070 @default.
W1513012150 cites W1957139882 @default.
W1513012150 cites W1975889376 @default.
W1513012150 cites W1990100773 @default.
W1513012150 cites W1990625148 @default.
W1513012150 cites W1995945562 @default.
W1513012150 cites W2010013526 @default.
W1513012150 cites W2031472277 @default.
W1513012150 cites W2033687820 @default.
W1513012150 cites W2056098697 @default.
W1513012150 cites W2067705970 @default.
W1513012150 cites W2077378514 @default.
W1513012150 cites W2098482879 @default.
W1513012150 cites W2114909485 @default.
W1513012150 cites W2124258650 @default.
W1513012150 cites W2126770007 @default.
W1513012150 cites W2150069692 @default.
W1513012150 cites W2151850716 @default.
W1513012150 cites W2203341826 @default.
W1513012150 cites W2229025459 @default.
W1513012150 cites W2324798387 @default.
W1513012150 cites W2326972230 @default.
W1513012150 cites W2729631498 @default.
W1513012150 cites W2807933834 @default.
W1513012150 cites W2889034219 @default.
W1513012150 cites W2912445413 @default.
W1513012150 cites W2912691530 @default.
W1513012150 cites W566822638 @default.
W1513012150 cites W60164462 @default.
W1513012150 cites W83748355 @default.
W1513012150 cites W2169409496 @default.
W1513012150 hasPublicationYear "2005" @default.
W1513012150 type Work @default.
W1513012150 sameAs 1513012150 @default.
W1513012150 citedByCount "8" @default.
W1513012150 countsByYear W15130121502014 @default.
W1513012150 crossrefType "dissertation" @default.
W1513012150 hasAuthorship W1513012150A5076302130 @default.
W1513012150 hasConcept C106624574 @default.
W1513012150 hasConcept C134306372 @default.
W1513012150 hasConcept C199343813 @default.
W1513012150 hasConcept C199360897 @default.
W1513012150 hasConcept C2777686260 @default.
W1513012150 hasConcept C33923547 @default.
W1513012150 hasConcept C36503486 @default.
W1513012150 hasConcept C41008148 @default.
W1513012150 hasConcept C71924100 @default.
W1513012150 hasConceptScore W1513012150C106624574 @default.
W1513012150 hasConceptScore W1513012150C134306372 @default.
W1513012150 hasConceptScore W1513012150C199343813 @default.
W1513012150 hasConceptScore W1513012150C199360897 @default.
W1513012150 hasConceptScore W1513012150C2777686260 @default.
W1513012150 hasConceptScore W1513012150C33923547 @default.
W1513012150 hasConceptScore W1513012150C36503486 @default.
W1513012150 hasConceptScore W1513012150C41008148 @default.
W1513012150 hasConceptScore W1513012150C71924100 @default.
W1513012150 hasLocation W15130121501 @default.
W1513012150 hasOpenAccess W1513012150 @default.
W1513012150 hasPrimaryLocation W15130121501 @default.
W1513012150 hasRelatedWork W126568564 @default.
W1513012150 hasRelatedWork W1516599971 @default.
W1513012150 hasRelatedWork W1576768088 @default.
W1513012150 hasRelatedWork W1580177913 @default.
W1513012150 hasRelatedWork W1594393861 @default.
W1513012150 hasRelatedWork W1821199070 @default.
W1513012150 hasRelatedWork W1933657216 @default.
W1513012150 hasRelatedWork W2051694194 @default.
W1513012150 hasRelatedWork W2134567445 @default.
W1513012150 hasRelatedWork W2283907753 @default.
W1513012150 hasRelatedWork W2326972230 @default.
W1513012150 hasRelatedWork W2598408477 @default.
W1513012150 hasRelatedWork W2952409637 @default.
W1513012150 hasRelatedWork W3146850033 @default.
W1513012150 hasRelatedWork W3158633990 @default.
W1513012150 hasRelatedWork W3208924914 @default.
W1513012150 hasRelatedWork W587228181 @default.
W1513012150 hasRelatedWork W59585444 @default.
W1513012150 hasRelatedWork W2646533441 @default.