Matches in SemOpenAlex for { <https://semopenalex.org/work/W2521321451> ?p ?o ?g. }
- W2521321451 created "2016-09-30" @default.
- W2521321451 creator A5085918141 @default.
- W2521321451 date "2015-01-01" @default.
- W2521321451 modified "2023-09-27" @default.
- W2521321451 title "Type-Intertwined Separation Logic" @default.
- W2521321451 cites W144372381 @default.
- W2521321451 cites W1508811155 @default.
- W2521321451 cites W157156687 @default.
- W2521321451 cites W1584475357 @default.
- W2521321451 cites W1710734607 @default.
- W2521321451 cites W1773735832 @default.
- W2521321451 cites W1809751277 @default.
- W2521321451 cites W1874682220 @default.
- W2521321451 cites W1964976097 @default.
- W2521321451 cites W1968678619 @default.
- W2521321451 cites W1973186567 @default.
- W2521321451 cites W1974165492 @default.
- W2521321451 cites W1974265510 @default.
- W2521321451 cites W2003383232 @default.
- W2521321451 cites W2005192022 @default.
- W2521321451 cites W2009489720 @default.
- W2521321451 cites W2013050211 @default.
- W2521321451 cites W2014764321 @default.
- W2521321451 cites W2030697178 @default.
- W2521321451 cites W2031006315 @default.
- W2521321451 cites W2031373197 @default.
- W2521321451 cites W2043100293 @default.
- W2521321451 cites W2044590882 @default.
- W2521321451 cites W2046434103 @default.
- W2521321451 cites W2046699259 @default.
- W2521321451 cites W2050969390 @default.
- W2521321451 cites W2053155313 @default.
- W2521321451 cites W2069139220 @default.
- W2521321451 cites W2074937108 @default.
- W2521321451 cites W2091514183 @default.
- W2521321451 cites W2095115578 @default.
- W2521321451 cites W2096449544 @default.
- W2521321451 cites W2097698142 @default.
- W2521321451 cites W2101085206 @default.
- W2521321451 cites W2101512909 @default.
- W2521321451 cites W2105357036 @default.
- W2521321451 cites W2106142143 @default.
- W2521321451 cites W2108185070 @default.
- W2521321451 cites W2108827856 @default.
- W2521321451 cites W2113709047 @default.
- W2521321451 cites W2114771706 @default.
- W2521321451 cites W2116409384 @default.
- W2521321451 cites W2122142025 @default.
- W2521321451 cites W2125357166 @default.
- W2521321451 cites W2127745558 @default.
- W2521321451 cites W2128963089 @default.
- W2521321451 cites W2129133667 @default.
- W2521321451 cites W2130162474 @default.
- W2521321451 cites W2131135493 @default.
- W2521321451 cites W2132661148 @default.
- W2521321451 cites W2132761501 @default.
- W2521321451 cites W2134840436 @default.
- W2521321451 cites W2135163511 @default.
- W2521321451 cites W2137628566 @default.
- W2521321451 cites W2139866833 @default.
- W2521321451 cites W2140895066 @default.
- W2521321451 cites W2141210774 @default.
- W2521321451 cites W2142837069 @default.
- W2521321451 cites W2142871322 @default.
- W2521321451 cites W2144551802 @default.
- W2521321451 cites W2146178292 @default.
- W2521321451 cites W2147492162 @default.
- W2521321451 cites W2149237601 @default.
- W2521321451 cites W2149469095 @default.
- W2521321451 cites W2151996389 @default.
- W2521321451 cites W2152686702 @default.
- W2521321451 cites W2154236932 @default.
- W2521321451 cites W2154985136 @default.
- W2521321451 cites W2163732854 @default.
- W2521321451 cites W2164487084 @default.
- W2521321451 cites W2164726441 @default.
- W2521321451 cites W2166091242 @default.
- W2521321451 cites W2166822586 @default.
- W2521321451 cites W2167363133 @default.
- W2521321451 cites W2171685273 @default.
- W2521321451 cites W2171733626 @default.
- W2521321451 cites W2240698759 @default.
- W2521321451 cites W2294680933 @default.
- W2521321451 cites W2295903414 @default.
- W2521321451 cites W2295923951 @default.
- W2521321451 cites W2478146632 @default.
- W2521321451 cites W2738047202 @default.
- W2521321451 cites W3106729728 @default.
- W2521321451 cites W3137596000 @default.
- W2521321451 cites W3146075203 @default.
- W2521321451 cites W3158747708 @default.
- W2521321451 hasPublicationYear "2015" @default.
- W2521321451 type Work @default.
- W2521321451 sameAs 2521321451 @default.
- W2521321451 citedByCount "0" @default.
- W2521321451 crossrefType "journal-article" @default.
- W2521321451 hasAuthorship W2521321451A5085918141 @default.
- W2521321451 hasConcept C41008148 @default.
- W2521321451 hasConceptScore W2521321451C41008148 @default.
- W2521321451 hasLocation W25213214511 @default.