Matches in SemOpenAlex for { <https://semopenalex.org/work/W2939253489> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2939253489 endingPage "264" @default.
- W2939253489 startingPage "249" @default.
- W2939253489 created "2019-04-25" @default.
- W2939253489 creator A5027510583 @default.
- W2939253489 creator A5054584529 @default.
- W2939253489 creator A5076924318 @default.
- W2939253489 date "2001-01-01" @default.
- W2939253489 modified "2023-09-24" @default.
- W2939253489 title "Refinement calculus for logic programming in Isabelle/HOL" @default.
- W2939253489 hasPublicationYear "2001" @default.
- W2939253489 type Work @default.
- W2939253489 sameAs 2939253489 @default.
- W2939253489 citedByCount "0" @default.
- W2939253489 crossrefType "journal-article" @default.
- W2939253489 hasAuthorship W2939253489A5027510583 @default.
- W2939253489 hasAuthorship W2939253489A5054584529 @default.
- W2939253489 hasAuthorship W2939253489A5076924318 @default.
- W2939253489 hasConcept C151730666 @default.
- W2939253489 hasConcept C154945302 @default.
- W2939253489 hasConcept C168773036 @default.
- W2939253489 hasConcept C17435882 @default.
- W2939253489 hasConcept C199360897 @default.
- W2939253489 hasConcept C2779343474 @default.
- W2939253489 hasConcept C41008148 @default.
- W2939253489 hasConcept C41608201 @default.
- W2939253489 hasConcept C80444323 @default.
- W2939253489 hasConcept C86803240 @default.
- W2939253489 hasConcept C90483712 @default.
- W2939253489 hasConceptScore W2939253489C151730666 @default.
- W2939253489 hasConceptScore W2939253489C154945302 @default.
- W2939253489 hasConceptScore W2939253489C168773036 @default.
- W2939253489 hasConceptScore W2939253489C17435882 @default.
- W2939253489 hasConceptScore W2939253489C199360897 @default.
- W2939253489 hasConceptScore W2939253489C2779343474 @default.
- W2939253489 hasConceptScore W2939253489C41008148 @default.
- W2939253489 hasConceptScore W2939253489C41608201 @default.
- W2939253489 hasConceptScore W2939253489C80444323 @default.
- W2939253489 hasConceptScore W2939253489C86803240 @default.
- W2939253489 hasConceptScore W2939253489C90483712 @default.
- W2939253489 hasLocation W29392534891 @default.
- W2939253489 hasOpenAccess W2939253489 @default.
- W2939253489 hasPrimaryLocation W29392534891 @default.
- W2939253489 hasRelatedWork W143880918 @default.
- W2939253489 hasRelatedWork W1503526015 @default.
- W2939253489 hasRelatedWork W1511826042 @default.
- W2939253489 hasRelatedWork W159533833 @default.
- W2939253489 hasRelatedWork W185714012 @default.
- W2939253489 hasRelatedWork W1995349365 @default.
- W2939253489 hasRelatedWork W2006419260 @default.
- W2939253489 hasRelatedWork W2010273585 @default.
- W2939253489 hasRelatedWork W2033328719 @default.
- W2939253489 hasRelatedWork W2064074798 @default.
- W2939253489 hasRelatedWork W2104072291 @default.
- W2939253489 hasRelatedWork W2122573903 @default.
- W2939253489 hasRelatedWork W2166343916 @default.
- W2939253489 hasRelatedWork W2234482668 @default.
- W2939253489 hasRelatedWork W2339645850 @default.
- W2939253489 hasRelatedWork W2343581823 @default.
- W2939253489 hasRelatedWork W2414648896 @default.
- W2939253489 hasRelatedWork W2417291013 @default.
- W2939253489 hasRelatedWork W2999767359 @default.
- W2939253489 hasRelatedWork W3120562436 @default.
- W2939253489 hasVolume "2152" @default.
- W2939253489 isParatext "false" @default.
- W2939253489 isRetracted "false" @default.
- W2939253489 magId "2939253489" @default.
- W2939253489 workType "article" @default.