FRINK Linked Data Fragments server

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

• W2005344510 endingPage "269" @default.
• W2005344510 startingPage "245" @default.
• W2005344510 created "2016-06-24" @default.
• W2005344510 creator A5012421568 @default.
• W2005344510 creator A5046673609 @default.
• W2005344510 creator A5068991400 @default.
• W2005344510 creator A5084447019 @default.
• W2005344510 date "2008-03-14" @default.
• W2005344510 modified "2023-09-27" @default.
• W2005344510 title "A Mechanical Analysis of Program Verification Strategies" @default.
• W2005344510 cites W120333500 @default.
• W2005344510 cites W140959013 @default.
• W2005344510 cites W1496551897 @default.
• W2005344510 cites W1551363727 @default.
• W2005344510 cites W1553511155 @default.
• W2005344510 cites W1604320210 @default.
• W2005344510 cites W1965662337 @default.
• W2005344510 cites W1986658425 @default.
• W2005344510 cites W1994586366 @default.
• W2005344510 cites W2000178662 @default.
• W2005344510 cites W2012213337 @default.
• W2005344510 cites W2021081188 @default.
• W2005344510 cites W2034711041 @default.
• W2005344510 cites W2037779985 @default.
• W2005344510 cites W2075350371 @default.
• W2005344510 cites W2084715426 @default.
• W2005344510 cites W2111619838 @default.
• W2005344510 cites W2142018213 @default.
• W2005344510 cites W2153763119 @default.
• W2005344510 cites W2169051420 @default.
• W2005344510 cites W2169102479 @default.
• W2005344510 cites W2987907651 @default.
• W2005344510 cites W3023216518 @default.
• W2005344510 cites W3032775210 @default.
• W2005344510 cites W4238474662 @default.
• W2005344510 cites W850599559 @default.
• W2005344510 doi "https://doi.org/10.1007/s10817-008-9098-1" @default.
• W2005344510 hasPublicationYear "2008" @default.
• W2005344510 type Work @default.
• W2005344510 sameAs 2005344510 @default.
• W2005344510 citedByCount "12" @default.
• W2005344510 countsByYear W20053445102014 @default.
• W2005344510 countsByYear W20053445102017 @default.
• W2005344510 countsByYear W20053445102019 @default.
• W2005344510 countsByYear W20053445102020 @default.
• W2005344510 countsByYear W20053445102022 @default.
• W2005344510 crossrefType "journal-article" @default.
• W2005344510 hasAuthorship W2005344510A5012421568 @default.
• W2005344510 hasAuthorship W2005344510A5046673609 @default.
• W2005344510 hasAuthorship W2005344510A5068991400 @default.
• W2005344510 hasAuthorship W2005344510A5084447019 @default.
• W2005344510 hasConcept C108710211 @default.
• W2005344510 hasConcept C11413529 @default.
• W2005344510 hasConcept C134306372 @default.
• W2005344510 hasConcept C156325763 @default.
• W2005344510 hasConcept C159718280 @default.
• W2005344510 hasConcept C17231256 @default.
• W2005344510 hasConcept C173856430 @default.
• W2005344510 hasConcept C17435882 @default.
• W2005344510 hasConcept C184337299 @default.
• W2005344510 hasConcept C199360897 @default.
• W2005344510 hasConcept C206880738 @default.
• W2005344510 hasConcept C207648694 @default.
• W2005344510 hasConcept C2524010 @default.
• W2005344510 hasConcept C33923547 @default.
• W2005344510 hasConcept C39920170 @default.
• W2005344510 hasConcept C41008148 @default.
• W2005344510 hasConcept C55439883 @default.
• W2005344510 hasConcept C58041814 @default.
• W2005344510 hasConcept C80444323 @default.
• W2005344510 hasConceptScore W2005344510C108710211 @default.
• W2005344510 hasConceptScore W2005344510C11413529 @default.
• W2005344510 hasConceptScore W2005344510C134306372 @default.
• W2005344510 hasConceptScore W2005344510C156325763 @default.
• W2005344510 hasConceptScore W2005344510C159718280 @default.
• W2005344510 hasConceptScore W2005344510C17231256 @default.
• W2005344510 hasConceptScore W2005344510C173856430 @default.
• W2005344510 hasConceptScore W2005344510C17435882 @default.
• W2005344510 hasConceptScore W2005344510C184337299 @default.
• W2005344510 hasConceptScore W2005344510C199360897 @default.
• W2005344510 hasConceptScore W2005344510C206880738 @default.
• W2005344510 hasConceptScore W2005344510C207648694 @default.
• W2005344510 hasConceptScore W2005344510C2524010 @default.
• W2005344510 hasConceptScore W2005344510C33923547 @default.
• W2005344510 hasConceptScore W2005344510C39920170 @default.
• W2005344510 hasConceptScore W2005344510C41008148 @default.
• W2005344510 hasConceptScore W2005344510C55439883 @default.
• W2005344510 hasConceptScore W2005344510C58041814 @default.
• W2005344510 hasConceptScore W2005344510C80444323 @default.
• W2005344510 hasIssue "4" @default.
• W2005344510 hasLocation W20053445101 @default.
• W2005344510 hasOpenAccess W2005344510 @default.
• W2005344510 hasPrimaryLocation W20053445101 @default.
• W2005344510 hasRelatedWork W1509296872 @default.
• W2005344510 hasRelatedWork W1522873391 @default.
• W2005344510 hasRelatedWork W1979753046 @default.
• W2005344510 hasRelatedWork W2005344510 @default.
• W2005344510 hasRelatedWork W2031111340 @default.
• W2005344510 hasRelatedWork W2579160749 @default.
• W2005344510 hasRelatedWork W2957722170 @default.

• next