FRINK Linked Data Fragments server

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

• W62603474 endingPage "190" @default.
• W62603474 startingPage "173" @default.
• W62603474 created "2016-06-24" @default.
• W62603474 creator A5026224896 @default.
• W62603474 creator A5042138172 @default.
• W62603474 creator A5054490285 @default.
• W62603474 date "2014-01-01" @default.
• W62603474 modified "2023-10-16" @default.
• W62603474 title "Automated Verification of Relational While-Programs" @default.
• W62603474 cites W1249704292 @default.
• W62603474 cites W1495228235 @default.
• W62603474 cites W1503466517 @default.
• W62603474 cites W152230201 @default.
• W62603474 cites W1536773907 @default.
• W62603474 cites W1540527391 @default.
• W62603474 cites W1570812424 @default.
• W62603474 cites W1579700228 @default.
• W62603474 cites W1762364904 @default.
• W62603474 cites W1804812175 @default.
• W62603474 cites W1968191809 @default.
• W62603474 cites W1970275691 @default.
• W62603474 cites W1978606295 @default.
• W62603474 cites W2003141394 @default.
• W62603474 cites W2006006495 @default.
• W62603474 cites W2010804773 @default.
• W62603474 cites W2018944629 @default.
• W62603474 cites W2041921559 @default.
• W62603474 cites W2063123613 @default.
• W62603474 cites W2066210260 @default.
• W62603474 cites W206758492 @default.
• W62603474 cites W2108661280 @default.
• W62603474 cites W4206522629 @default.
• W62603474 cites W4239603411 @default.
• W62603474 doi "https://doi.org/10.1007/978-3-319-06251-8_11" @default.
• W62603474 hasPublicationYear "2014" @default.
• W62603474 type Work @default.
• W62603474 sameAs 62603474 @default.
• W62603474 citedByCount "9" @default.
• W62603474 countsByYear W626034742014 @default.
• W62603474 countsByYear W626034742015 @default.
• W62603474 countsByYear W626034742016 @default.
• W62603474 countsByYear W626034742018 @default.
• W62603474 countsByYear W626034742019 @default.
• W62603474 countsByYear W626034742020 @default.
• W62603474 crossrefType "book-chapter" @default.
• W62603474 hasAuthorship W62603474A5026224896 @default.
• W62603474 hasAuthorship W62603474A5042138172 @default.
• W62603474 hasAuthorship W62603474A5054490285 @default.
• W62603474 hasConcept C111498074 @default.
• W62603474 hasConcept C11413529 @default.
• W62603474 hasConcept C114614502 @default.
• W62603474 hasConcept C116253237 @default.
• W62603474 hasConcept C118615104 @default.
• W62603474 hasConcept C124101348 @default.
• W62603474 hasConcept C128896722 @default.
• W62603474 hasConcept C149091818 @default.
• W62603474 hasConcept C156103551 @default.
• W62603474 hasConcept C186846655 @default.
• W62603474 hasConcept C191399111 @default.
• W62603474 hasConcept C199360897 @default.
• W62603474 hasConcept C206880738 @default.
• W62603474 hasConcept C25343380 @default.
• W62603474 hasConcept C2777691520 @default.
• W62603474 hasConcept C2777904410 @default.
• W62603474 hasConcept C33054407 @default.
• W62603474 hasConcept C33923547 @default.
• W62603474 hasConcept C40422974 @default.
• W62603474 hasConcept C41008148 @default.
• W62603474 hasConcept C5655090 @default.
• W62603474 hasConcept C62460635 @default.
• W62603474 hasConcept C80444323 @default.
• W62603474 hasConcept C95916125 @default.
• W62603474 hasConceptScore W62603474C111498074 @default.
• W62603474 hasConceptScore W62603474C11413529 @default.
• W62603474 hasConceptScore W62603474C114614502 @default.
• W62603474 hasConceptScore W62603474C116253237 @default.
• W62603474 hasConceptScore W62603474C118615104 @default.
• W62603474 hasConceptScore W62603474C124101348 @default.
• W62603474 hasConceptScore W62603474C128896722 @default.
• W62603474 hasConceptScore W62603474C149091818 @default.
• W62603474 hasConceptScore W62603474C156103551 @default.
• W62603474 hasConceptScore W62603474C186846655 @default.
• W62603474 hasConceptScore W62603474C191399111 @default.
• W62603474 hasConceptScore W62603474C199360897 @default.
• W62603474 hasConceptScore W62603474C206880738 @default.
• W62603474 hasConceptScore W62603474C25343380 @default.
• W62603474 hasConceptScore W62603474C2777691520 @default.
• W62603474 hasConceptScore W62603474C2777904410 @default.
• W62603474 hasConceptScore W62603474C33054407 @default.
• W62603474 hasConceptScore W62603474C33923547 @default.
• W62603474 hasConceptScore W62603474C40422974 @default.
• W62603474 hasConceptScore W62603474C41008148 @default.
• W62603474 hasConceptScore W62603474C5655090 @default.
• W62603474 hasConceptScore W62603474C62460635 @default.
• W62603474 hasConceptScore W62603474C80444323 @default.
• W62603474 hasConceptScore W62603474C95916125 @default.
• W62603474 hasLocation W626034741 @default.
• W62603474 hasOpenAccess W62603474 @default.
• W62603474 hasPrimaryLocation W626034741 @default.
• W62603474 hasRelatedWork W128837028 @default.

• next