FRINK Linked Data Fragments server

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

• W2085444879 created "2016-06-24" @default.
• W2085444879 creator A5005271744 @default.
• W2085444879 date "1999-09-30" @default.
• W2085444879 modified "2023-10-14" @default.
• W2085444879 title "Formalising a Value-Passing Calculus in HOL" @default.
• W2085444879 cites W1488858096 @default.
• W2085444879 cites W1492683468 @default.
• W2085444879 cites W1498760855 @default.
• W2085444879 cites W1499481996 @default.
• W2085444879 cites W1503170978 @default.
• W2085444879 cites W1503973138 @default.
• W2085444879 cites W1504954428 @default.
• W2085444879 cites W1521083034 @default.
• W2085444879 cites W1531350193 @default.
• W2085444879 cites W1537015436 @default.
• W2085444879 cites W1543208154 @default.
• W2085444879 cites W1565996669 @default.
• W2085444879 cites W1586966546 @default.
• W2085444879 cites W1588934256 @default.
• W2085444879 cites W1728948300 @default.
• W2085444879 cites W1972478730 @default.
• W2085444879 cites W1977542171 @default.
• W2085444879 cites W1978469611 @default.
• W2085444879 cites W1985161650 @default.
• W2085444879 cites W1996404651 @default.
• W2085444879 cites W1996839827 @default.
• W2085444879 cites W2000586259 @default.
• W2085444879 cites W2006283215 @default.
• W2085444879 cites W2012961833 @default.
• W2085444879 cites W2016427594 @default.
• W2085444879 cites W2021553745 @default.
• W2085444879 cites W2024574878 @default.
• W2085444879 cites W2080267935 @default.
• W2085444879 cites W2106102830 @default.
• W2085444879 cites W2117189826 @default.
• W2085444879 cites W2136920408 @default.
• W2085444879 cites W2137467159 @default.
• W2085444879 cites W2137865376 @default.
• W2085444879 cites W2148579499 @default.
• W2085444879 cites W2164989576 @default.
• W2085444879 cites W2176882324 @default.
• W2085444879 cites W2290440408 @default.
• W2085444879 cites W2546854926 @default.
• W2085444879 cites W2912818154 @default.
• W2085444879 cites W2913663755 @default.
• W2085444879 cites W3144368627 @default.
• W2085444879 cites W98978725 @default.
• W2085444879 cites W1601745317 @default.
• W2085444879 doi "https://doi.org/10.1007/s001650050046" @default.
• W2085444879 hasPublicationYear "1999" @default.
• W2085444879 type Work @default.
• W2085444879 sameAs 2085444879 @default.
• W2085444879 citedByCount "12" @default.
• W2085444879 countsByYear W20854448792012 @default.
• W2085444879 countsByYear W20854448792017 @default.
• W2085444879 countsByYear W20854448792018 @default.
• W2085444879 countsByYear W20854448792020 @default.
• W2085444879 crossrefType "journal-article" @default.
• W2085444879 hasAuthorship W2085444879A5005271744 @default.
• W2085444879 hasConcept C108710211 @default.
• W2085444879 hasConcept C119857082 @default.
• W2085444879 hasConcept C17435882 @default.
• W2085444879 hasConcept C184337299 @default.
• W2085444879 hasConcept C199343813 @default.
• W2085444879 hasConcept C199360897 @default.
• W2085444879 hasConcept C203265346 @default.
• W2085444879 hasConcept C24858836 @default.
• W2085444879 hasConcept C2524010 @default.
• W2085444879 hasConcept C2776291640 @default.
• W2085444879 hasConcept C2777686260 @default.
• W2085444879 hasConcept C33923547 @default.
• W2085444879 hasConcept C41008148 @default.
• W2085444879 hasConcept C71924100 @default.
• W2085444879 hasConcept C80444323 @default.
• W2085444879 hasConcept C854659 @default.
• W2085444879 hasConceptScore W2085444879C108710211 @default.
• W2085444879 hasConceptScore W2085444879C119857082 @default.
• W2085444879 hasConceptScore W2085444879C17435882 @default.
• W2085444879 hasConceptScore W2085444879C184337299 @default.
• W2085444879 hasConceptScore W2085444879C199343813 @default.
• W2085444879 hasConceptScore W2085444879C199360897 @default.
• W2085444879 hasConceptScore W2085444879C203265346 @default.
• W2085444879 hasConceptScore W2085444879C24858836 @default.
• W2085444879 hasConceptScore W2085444879C2524010 @default.
• W2085444879 hasConceptScore W2085444879C2776291640 @default.
• W2085444879 hasConceptScore W2085444879C2777686260 @default.
• W2085444879 hasConceptScore W2085444879C33923547 @default.
• W2085444879 hasConceptScore W2085444879C41008148 @default.
• W2085444879 hasConceptScore W2085444879C71924100 @default.
• W2085444879 hasConceptScore W2085444879C80444323 @default.
• W2085444879 hasConceptScore W2085444879C854659 @default.
• W2085444879 hasLocation W20854448791 @default.
• W2085444879 hasOpenAccess W2085444879 @default.
• W2085444879 hasPrimaryLocation W20854448791 @default.
• W2085444879 hasRelatedWork W1483205556 @default.
• W2085444879 hasRelatedWork W1503973138 @default.
• W2085444879 hasRelatedWork W1515187593 @default.
• W2085444879 hasRelatedWork W1521083034 @default.
• W2085444879 hasRelatedWork W1537178853 @default.
• W2085444879 hasRelatedWork W1999421512 @default.

• next