Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572383833> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1572383833 created "2016-06-24" @default.
- W1572383833 creator A5068456836 @default.
- W1572383833 creator A5071048212 @default.
- W1572383833 date "2003-01-01" @default.
- W1572383833 modified "2023-09-26" @default.
- W1572383833 title "Proving “make” Correct: I/O Proofs in Two Functional Languages" @default.
- W1572383833 cites W1567780099 @default.
- W1572383833 cites W157724896 @default.
- W1572383833 cites W2037984920 @default.
- W1572383833 cites W2062950667 @default.
- W1572383833 cites W2148238464 @default.
- W1572383833 cites W2909261212 @default.
- W1572383833 hasPublicationYear "2003" @default.
- W1572383833 type Work @default.
- W1572383833 sameAs 1572383833 @default.
- W1572383833 citedByCount "0" @default.
- W1572383833 crossrefType "journal-article" @default.
- W1572383833 hasAuthorship W1572383833A5068456836 @default.
- W1572383833 hasAuthorship W1572383833A5071048212 @default.
- W1572383833 hasConcept C108710211 @default.
- W1572383833 hasConcept C138885662 @default.
- W1572383833 hasConcept C199343813 @default.
- W1572383833 hasConcept C199360897 @default.
- W1572383833 hasConcept C2524010 @default.
- W1572383833 hasConcept C2777686260 @default.
- W1572383833 hasConcept C33923547 @default.
- W1572383833 hasConcept C41008148 @default.
- W1572383833 hasConcept C41895202 @default.
- W1572383833 hasConcept C71924100 @default.
- W1572383833 hasConceptScore W1572383833C108710211 @default.
- W1572383833 hasConceptScore W1572383833C138885662 @default.
- W1572383833 hasConceptScore W1572383833C199343813 @default.
- W1572383833 hasConceptScore W1572383833C199360897 @default.
- W1572383833 hasConceptScore W1572383833C2524010 @default.
- W1572383833 hasConceptScore W1572383833C2777686260 @default.
- W1572383833 hasConceptScore W1572383833C33923547 @default.
- W1572383833 hasConceptScore W1572383833C41008148 @default.
- W1572383833 hasConceptScore W1572383833C41895202 @default.
- W1572383833 hasConceptScore W1572383833C71924100 @default.
- W1572383833 hasLocation W15723838331 @default.
- W1572383833 hasOpenAccess W1572383833 @default.
- W1572383833 hasPrimaryLocation W15723838331 @default.
- W1572383833 hasRelatedWork W1511360918 @default.
- W1572383833 hasRelatedWork W1858809161 @default.
- W1572383833 hasRelatedWork W1969319414 @default.
- W1572383833 hasRelatedWork W2002184363 @default.
- W1572383833 hasRelatedWork W2108457775 @default.
- W1572383833 hasRelatedWork W2112122837 @default.
- W1572383833 hasRelatedWork W2166505334 @default.
- W1572383833 hasRelatedWork W2177173368 @default.
- W1572383833 hasRelatedWork W2463700520 @default.
- W1572383833 hasRelatedWork W2475407203 @default.
- W1572383833 hasRelatedWork W2794108423 @default.
- W1572383833 hasRelatedWork W2811365892 @default.
- W1572383833 hasRelatedWork W2953246618 @default.
- W1572383833 hasRelatedWork W2990104578 @default.
- W1572383833 hasRelatedWork W2990118777 @default.
- W1572383833 hasRelatedWork W3021771922 @default.
- W1572383833 hasRelatedWork W3030614832 @default.
- W1572383833 hasRelatedWork W3088258979 @default.
- W1572383833 hasRelatedWork W3157478331 @default.
- W1572383833 hasRelatedWork W9401168 @default.
- W1572383833 isParatext "false" @default.
- W1572383833 isRetracted "false" @default.
- W1572383833 magId "1572383833" @default.
- W1572383833 workType "article" @default.