FRINK Linked Data Fragments server

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

• W1553653783 endingPage "223" @default.
• W1553653783 startingPage "214" @default.
• W1553653783 created "2016-06-24" @default.
• W1553653783 creator A5020810091 @default.
• W1553653783 creator A5043936415 @default.
• W1553653783 date "2005-11-19" @default.
• W1553653783 modified "2023-09-24" @default.
• W1553653783 title "The modular framework of computer-aided verification" @default.
• W1553653783 cites W1513149292 @default.
• W1553653783 cites W2087718129 @default.
• W1553653783 cites W2117189826 @default.
• W1553653783 cites W2130025446 @default.
• W1553653783 cites W2130427919 @default.
• W1553653783 cites W2137865376 @default.
• W1553653783 cites W2911335075 @default.
• W1553653783 cites W4249808431 @default.
• W1553653783 doi "https://doi.org/10.1007/bfb0023735" @default.
• W1553653783 hasPublicationYear "2005" @default.
• W1553653783 type Work @default.
• W1553653783 sameAs 1553653783 @default.
• W1553653783 citedByCount "11" @default.
• W1553653783 countsByYear W15536537832014 @default.
• W1553653783 countsByYear W15536537832015 @default.
• W1553653783 countsByYear W15536537832023 @default.
• W1553653783 crossrefType "book-chapter" @default.
• W1553653783 hasAuthorship W1553653783A5020810091 @default.
• W1553653783 hasAuthorship W1553653783A5043936415 @default.
• W1553653783 hasBestOaLocation W15536537831 @default.
• W1553653783 hasConcept C101468663 @default.
• W1553653783 hasConcept C115903868 @default.
• W1553653783 hasConcept C118524514 @default.
• W1553653783 hasConcept C199360897 @default.
• W1553653783 hasConcept C41008148 @default.
• W1553653783 hasConceptScore W1553653783C101468663 @default.
• W1553653783 hasConceptScore W1553653783C115903868 @default.
• W1553653783 hasConceptScore W1553653783C118524514 @default.
• W1553653783 hasConceptScore W1553653783C199360897 @default.
• W1553653783 hasConceptScore W1553653783C41008148 @default.
• W1553653783 hasLocation W15536537831 @default.
• W1553653783 hasOpenAccess W1553653783 @default.
• W1553653783 hasPrimaryLocation W15536537831 @default.
• W1553653783 hasRelatedWork W1015688197 @default.
• W1553653783 hasRelatedWork W140640489 @default.
• W1553653783 hasRelatedWork W1498760855 @default.
• W1553653783 hasRelatedWork W1583165871 @default.
• W1553653783 hasRelatedWork W1593428110 @default.
• W1553653783 hasRelatedWork W184890046 @default.
• W1553653783 hasRelatedWork W2080267935 @default.
• W1553653783 hasRelatedWork W2117189826 @default.
• W1553653783 hasRelatedWork W2130025446 @default.
• W1553653783 hasRelatedWork W2136931969 @default.
• W1553653783 hasRelatedWork W2137467159 @default.
• W1553653783 hasRelatedWork W2238621239 @default.
• W1553653783 hasRelatedWork W2297029380 @default.
• W1553653783 hasRelatedWork W2592178772 @default.
• W1553653783 hasRelatedWork W2803770270 @default.
• W1553653783 hasRelatedWork W2964440234 @default.
• W1553653783 hasRelatedWork W2996665901 @default.
• W1553653783 hasRelatedWork W3013050274 @default.
• W1553653783 hasRelatedWork W595687601 @default.
• W1553653783 hasRelatedWork W1748734867 @default.
• W1553653783 isParatext "false" @default.
• W1553653783 isRetracted "false" @default.
• W1553653783 magId "1553653783" @default.
• W1553653783 workType "book-chapter" @default.