FRINK Linked Data Fragments server

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

• W2801537935 endingPage "8" @default.
• W2801537935 startingPage "1" @default.
• W2801537935 created "2018-05-17" @default.
• W2801537935 creator A5003483051 @default.
• W2801537935 creator A5051452087 @default.
• W2801537935 creator A5056561099 @default.
• W2801537935 creator A5064907118 @default.
• W2801537935 creator A5079200257 @default.
• W2801537935 creator A5086565312 @default.
• W2801537935 date "2018-05-11" @default.
• W2801537935 modified "2023-10-07" @default.
• W2801537935 title "Introduction to Milestones in Interactive Theorem Proving" @default.
• W2801537935 cites W1152827136 @default.
• W2801537935 cites W1494221669 @default.
• W2801537935 cites W1501535194 @default.
• W2801537935 cites W1546449686 @default.
• W2801537935 cites W1571196178 @default.
• W2801537935 cites W1579218062 @default.
• W2801537935 cites W1595209293 @default.
• W2801537935 cites W1599039905 @default.
• W2801537935 cites W1602296319 @default.
• W2801537935 cites W1692349883 @default.
• W2801537935 cites W1763095070 @default.
• W2801537935 cites W1881794246 @default.
• W2801537935 cites W1971038681 @default.
• W2801537935 cites W1980290268 @default.
• W2801537935 cites W1986585422 @default.
• W2801537935 cites W1989536180 @default.
• W2801537935 cites W2009825892 @default.
• W2801537935 cites W2011721441 @default.
• W2801537935 cites W2052429743 @default.
• W2801537935 cites W2052735108 @default.
• W2801537935 cites W2054754886 @default.
• W2801537935 cites W2075352622 @default.
• W2801537935 cites W2076409494 @default.
• W2801537935 cites W2107463944 @default.
• W2801537935 cites W2129384986 @default.
• W2801537935 cites W2282139525 @default.
• W2801537935 cites W2912901400 @default.
• W2801537935 cites W4230919050 @default.
• W2801537935 cites W4231257726 @default.
• W2801537935 cites W4250850800 @default.
• W2801537935 doi "https://doi.org/10.1007/s10817-018-9465-5" @default.
• W2801537935 hasPublicationYear "2018" @default.
• W2801537935 type Work @default.
• W2801537935 sameAs 2801537935 @default.
• W2801537935 citedByCount "2" @default.
• W2801537935 countsByYear W28015379352018 @default.
• W2801537935 countsByYear W28015379352021 @default.
• W2801537935 crossrefType "journal-article" @default.
• W2801537935 hasAuthorship W2801537935A5003483051 @default.
• W2801537935 hasAuthorship W2801537935A5051452087 @default.
• W2801537935 hasAuthorship W2801537935A5056561099 @default.
• W2801537935 hasAuthorship W2801537935A5064907118 @default.
• W2801537935 hasAuthorship W2801537935A5079200257 @default.
• W2801537935 hasAuthorship W2801537935A5086565312 @default.
• W2801537935 hasBestOaLocation W28015379351 @default.
• W2801537935 hasConcept C108710211 @default.
• W2801537935 hasConcept C115903868 @default.
• W2801537935 hasConcept C121684516 @default.
• W2801537935 hasConcept C145420912 @default.
• W2801537935 hasConcept C199343813 @default.
• W2801537935 hasConcept C199360897 @default.
• W2801537935 hasConcept C203265346 @default.
• W2801537935 hasConcept C206880738 @default.
• W2801537935 hasConcept C2524010 @default.
• W2801537935 hasConcept C2777686260 @default.
• W2801537935 hasConcept C33923547 @default.
• W2801537935 hasConcept C41008148 @default.
• W2801537935 hasConcept C71924100 @default.
• W2801537935 hasConceptScore W2801537935C108710211 @default.
• W2801537935 hasConceptScore W2801537935C115903868 @default.
• W2801537935 hasConceptScore W2801537935C121684516 @default.
• W2801537935 hasConceptScore W2801537935C145420912 @default.
• W2801537935 hasConceptScore W2801537935C199343813 @default.
• W2801537935 hasConceptScore W2801537935C199360897 @default.
• W2801537935 hasConceptScore W2801537935C203265346 @default.
• W2801537935 hasConceptScore W2801537935C206880738 @default.
• W2801537935 hasConceptScore W2801537935C2524010 @default.
• W2801537935 hasConceptScore W2801537935C2777686260 @default.
• W2801537935 hasConceptScore W2801537935C33923547 @default.
• W2801537935 hasConceptScore W2801537935C41008148 @default.
• W2801537935 hasConceptScore W2801537935C71924100 @default.
• W2801537935 hasIssue "1-4" @default.
• W2801537935 hasLocation W28015379351 @default.
• W2801537935 hasLocation W28015379352 @default.
• W2801537935 hasLocation W28015379353 @default.
• W2801537935 hasLocation W28015379354 @default.
• W2801537935 hasLocation W28015379355 @default.
• W2801537935 hasOpenAccess W2801537935 @default.
• W2801537935 hasPrimaryLocation W28015379351 @default.
• W2801537935 hasRelatedWork W1515169568 @default.
• W2801537935 hasRelatedWork W2100855196 @default.
• W2801537935 hasRelatedWork W2186727393 @default.
• W2801537935 hasRelatedWork W2277214925 @default.
• W2801537935 hasRelatedWork W2476186566 @default.
• W2801537935 hasRelatedWork W2606289262 @default.
• W2801537935 hasRelatedWork W2625594851 @default.
• W2801537935 hasRelatedWork W2950961618 @default.
• W2801537935 hasRelatedWork W42830828 @default.

• next