FRINK Linked Data Fragments server

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

• W180202015 endingPage "212" @default.
• W180202015 startingPage "194" @default.
• W180202015 created "2016-06-24" @default.
• W180202015 creator A5009343703 @default.
• W180202015 creator A5080971624 @default.
• W180202015 date "2013-01-01" @default.
• W180202015 modified "2023-10-18" @default.
• W180202015 title "Simplifying the Verification of Quantified Array Assertions via Code Transformation" @default.
• W180202015 cites W1503677488 @default.
• W180202015 cites W1511737804 @default.
• W180202015 cites W1517192598 @default.
• W180202015 cites W1558061996 @default.
• W180202015 cites W1562679818 @default.
• W180202015 cites W1582008002 @default.
• W180202015 cites W1606177908 @default.
• W180202015 cites W1711276981 @default.
• W180202015 cites W171295454 @default.
• W180202015 cites W1951162889 @default.
• W180202015 cites W2112350720 @default.
• W180202015 cites W2127524911 @default.
• W180202015 cites W2136877520 @default.
• W180202015 cites W2152567582 @default.
• W180202015 cites W2987907651 @default.
• W180202015 cites W2999818597 @default.
• W180202015 cites W3003421191 @default.
• W180202015 cites W3017130541 @default.
• W180202015 cites W3020568625 @default.
• W180202015 cites W3033487978 @default.
• W180202015 cites W4243167850 @default.
• W180202015 cites W4252150051 @default.
• W180202015 cites W2127725806 @default.
• W180202015 doi "https://doi.org/10.1007/978-3-642-38197-3_13" @default.
• W180202015 hasPublicationYear "2013" @default.
• W180202015 type Work @default.
• W180202015 sameAs 180202015 @default.
• W180202015 citedByCount "4" @default.
• W180202015 countsByYear W1802020152020 @default.
• W180202015 countsByYear W1802020152021 @default.
• W180202015 countsByYear W1802020152022 @default.
• W180202015 crossrefType "book-chapter" @default.
• W180202015 hasAuthorship W180202015A5009343703 @default.
• W180202015 hasAuthorship W180202015A5080971624 @default.
• W180202015 hasConcept C104317684 @default.
• W180202015 hasConcept C111472728 @default.
• W180202015 hasConcept C111498074 @default.
• W180202015 hasConcept C113775141 @default.
• W180202015 hasConcept C11413529 @default.
• W180202015 hasConcept C127413603 @default.
• W180202015 hasConcept C138885662 @default.
• W180202015 hasConcept C159985019 @default.
• W180202015 hasConcept C177264268 @default.
• W180202015 hasConcept C185592680 @default.
• W180202015 hasConcept C186846655 @default.
• W180202015 hasConcept C192562407 @default.
• W180202015 hasConcept C199360897 @default.
• W180202015 hasConcept C201995342 @default.
• W180202015 hasConcept C204241405 @default.
• W180202015 hasConcept C204323151 @default.
• W180202015 hasConcept C2776760102 @default.
• W180202015 hasConcept C2777904410 @default.
• W180202015 hasConcept C2778361913 @default.
• W180202015 hasConcept C2780451532 @default.
• W180202015 hasConcept C2780586882 @default.
• W180202015 hasConcept C33054407 @default.
• W180202015 hasConcept C40422974 @default.
• W180202015 hasConcept C41008148 @default.
• W180202015 hasConcept C529173508 @default.
• W180202015 hasConcept C55493867 @default.
• W180202015 hasConcept C62460635 @default.
• W180202015 hasConcept C80444323 @default.
• W180202015 hasConceptScore W180202015C104317684 @default.
• W180202015 hasConceptScore W180202015C111472728 @default.
• W180202015 hasConceptScore W180202015C111498074 @default.
• W180202015 hasConceptScore W180202015C113775141 @default.
• W180202015 hasConceptScore W180202015C11413529 @default.
• W180202015 hasConceptScore W180202015C127413603 @default.
• W180202015 hasConceptScore W180202015C138885662 @default.
• W180202015 hasConceptScore W180202015C159985019 @default.
• W180202015 hasConceptScore W180202015C177264268 @default.
• W180202015 hasConceptScore W180202015C185592680 @default.
• W180202015 hasConceptScore W180202015C186846655 @default.
• W180202015 hasConceptScore W180202015C192562407 @default.
• W180202015 hasConceptScore W180202015C199360897 @default.
• W180202015 hasConceptScore W180202015C201995342 @default.
• W180202015 hasConceptScore W180202015C204241405 @default.
• W180202015 hasConceptScore W180202015C204323151 @default.
• W180202015 hasConceptScore W180202015C2776760102 @default.
• W180202015 hasConceptScore W180202015C2777904410 @default.
• W180202015 hasConceptScore W180202015C2778361913 @default.
• W180202015 hasConceptScore W180202015C2780451532 @default.
• W180202015 hasConceptScore W180202015C2780586882 @default.
• W180202015 hasConceptScore W180202015C33054407 @default.
• W180202015 hasConceptScore W180202015C40422974 @default.
• W180202015 hasConceptScore W180202015C41008148 @default.
• W180202015 hasConceptScore W180202015C529173508 @default.
• W180202015 hasConceptScore W180202015C55493867 @default.
• W180202015 hasConceptScore W180202015C62460635 @default.
• W180202015 hasConceptScore W180202015C80444323 @default.
• W180202015 hasLocation W1802020151 @default.
• W180202015 hasOpenAccess W180202015 @default.

• next