Matches in SemOpenAlex for { <https://semopenalex.org/work/W2508698834> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2508698834 created "2016-09-16" @default.
- W2508698834 creator A5005169031 @default.
- W2508698834 date "2009-01-01" @default.
- W2508698834 modified "2023-09-27" @default.
- W2508698834 title "Embedding proof-carrying components into Isabelle" @default.
- W2508698834 cites W1573258001 @default.
- W2508698834 cites W1649645444 @default.
- W2508698834 cites W1885955018 @default.
- W2508698834 cites W2002816392 @default.
- W2508698834 cites W2027642766 @default.
- W2508698834 cites W2051632385 @default.
- W2508698834 cites W2103953153 @default.
- W2508698834 cites W2106192381 @default.
- W2508698834 cites W2155374739 @default.
- W2508698834 cites W2161825580 @default.
- W2508698834 cites W3021647841 @default.
- W2508698834 cites W69024957 @default.
- W2508698834 doi "https://doi.org/10.3929/ethz-a-005763266" @default.
- W2508698834 hasPublicationYear "2009" @default.
- W2508698834 type Work @default.
- W2508698834 sameAs 2508698834 @default.
- W2508698834 citedByCount "1" @default.
- W2508698834 crossrefType "dissertation" @default.
- W2508698834 hasAuthorship W2508698834A5005169031 @default.
- W2508698834 hasConcept C154945302 @default.
- W2508698834 hasConcept C199360897 @default.
- W2508698834 hasConcept C41008148 @default.
- W2508698834 hasConcept C41608201 @default.
- W2508698834 hasConceptScore W2508698834C154945302 @default.
- W2508698834 hasConceptScore W2508698834C199360897 @default.
- W2508698834 hasConceptScore W2508698834C41008148 @default.
- W2508698834 hasConceptScore W2508698834C41608201 @default.
- W2508698834 hasLocation W25086988341 @default.
- W2508698834 hasOpenAccess W2508698834 @default.
- W2508698834 hasPrimaryLocation W25086988341 @default.
- W2508698834 hasRelatedWork W1573740498 @default.
- W2508698834 hasRelatedWork W1642730893 @default.
- W2508698834 hasRelatedWork W2087375971 @default.
- W2508698834 hasRelatedWork W2185315061 @default.
- W2508698834 hasRelatedWork W2246085417 @default.
- W2508698834 hasRelatedWork W2469809741 @default.
- W2508698834 hasRelatedWork W2489215766 @default.
- W2508698834 hasRelatedWork W2492486872 @default.
- W2508698834 hasRelatedWork W2574583469 @default.
- W2508698834 hasRelatedWork W2620459449 @default.
- W2508698834 hasRelatedWork W267683037 @default.
- W2508698834 hasRelatedWork W2739092470 @default.
- W2508698834 hasRelatedWork W2784029123 @default.
- W2508698834 hasRelatedWork W2919091410 @default.
- W2508698834 hasRelatedWork W3088690692 @default.
- W2508698834 hasRelatedWork W3113692010 @default.
- W2508698834 hasRelatedWork W397236386 @default.
- W2508698834 hasRelatedWork W1540426477 @default.
- W2508698834 hasRelatedWork W3093110704 @default.
- W2508698834 hasRelatedWork W3159048922 @default.
- W2508698834 isParatext "false" @default.
- W2508698834 isRetracted "false" @default.
- W2508698834 magId "2508698834" @default.
- W2508698834 workType "dissertation" @default.