FRINK Linked Data Fragments server

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

• W2295217343 endingPage "65" @default.
• W2295217343 startingPage "47" @default.
• W2295217343 created "2016-06-24" @default.
• W2295217343 creator A5012948241 @default.
• W2295217343 creator A5035489181 @default.
• W2295217343 creator A5089639449 @default.
• W2295217343 date "2015-01-01" @default.
• W2295217343 modified "2023-10-13" @default.
• W2295217343 title "Hoare Logic for Disjunctive Information Flow" @default.
• W2295217343 cites W1586448612 @default.
• W2295217343 cites W1677369896 @default.
• W2295217343 cites W1725973462 @default.
• W2295217343 cites W1966354044 @default.
• W2295217343 cites W1993302007 @default.
• W2295217343 cites W2032277118 @default.
• W2295217343 cites W2063825888 @default.
• W2295217343 cites W2071748540 @default.
• W2295217343 cites W2111619838 @default.
• W2295217343 cites W2120191680 @default.
• W2295217343 cites W2129278597 @default.
• W2295217343 cites W2133808322 @default.
• W2295217343 cites W2150174204 @default.
• W2295217343 cites W2154564703 @default.
• W2295217343 cites W2158062279 @default.
• W2295217343 cites W2158642393 @default.
• W2295217343 cites W4237990977 @default.
• W2295217343 doi "https://doi.org/10.1007/978-3-319-25527-9_6" @default.
• W2295217343 hasPublicationYear "2015" @default.
• W2295217343 type Work @default.
• W2295217343 sameAs 2295217343 @default.
• W2295217343 citedByCount "7" @default.
• W2295217343 countsByYear W22952173432015 @default.
• W2295217343 countsByYear W22952173432016 @default.
• W2295217343 countsByYear W22952173432017 @default.
• W2295217343 countsByYear W22952173432019 @default.
• W2295217343 countsByYear W22952173432020 @default.
• W2295217343 countsByYear W22952173432021 @default.
• W2295217343 crossrefType "book-chapter" @default.
• W2295217343 hasAuthorship W2295217343A5012948241 @default.
• W2295217343 hasAuthorship W2295217343A5035489181 @default.
• W2295217343 hasAuthorship W2295217343A5089639449 @default.
• W2295217343 hasConcept C104949639 @default.
• W2295217343 hasConcept C138885662 @default.
• W2295217343 hasConcept C146206909 @default.
• W2295217343 hasConcept C154945302 @default.
• W2295217343 hasConcept C156325763 @default.
• W2295217343 hasConcept C160191386 @default.
• W2295217343 hasConcept C173856430 @default.
• W2295217343 hasConcept C176359209 @default.
• W2295217343 hasConcept C184337299 @default.
• W2295217343 hasConcept C199360897 @default.
• W2295217343 hasConcept C207648694 @default.
• W2295217343 hasConcept C2775924081 @default.
• W2295217343 hasConcept C2779136372 @default.
• W2295217343 hasConcept C34165917 @default.
• W2295217343 hasConcept C39920170 @default.
• W2295217343 hasConcept C41008148 @default.
• W2295217343 hasConcept C41895202 @default.
• W2295217343 hasConcept C489000 @default.
• W2295217343 hasConcept C50033165 @default.
• W2295217343 hasConcept C55439883 @default.
• W2295217343 hasConcept C58041814 @default.
• W2295217343 hasConcept C77088390 @default.
• W2295217343 hasConcept C80444323 @default.
• W2295217343 hasConceptScore W2295217343C104949639 @default.
• W2295217343 hasConceptScore W2295217343C138885662 @default.
• W2295217343 hasConceptScore W2295217343C146206909 @default.
• W2295217343 hasConceptScore W2295217343C154945302 @default.
• W2295217343 hasConceptScore W2295217343C156325763 @default.
• W2295217343 hasConceptScore W2295217343C160191386 @default.
• W2295217343 hasConceptScore W2295217343C173856430 @default.
• W2295217343 hasConceptScore W2295217343C176359209 @default.
• W2295217343 hasConceptScore W2295217343C184337299 @default.
• W2295217343 hasConceptScore W2295217343C199360897 @default.
• W2295217343 hasConceptScore W2295217343C207648694 @default.
• W2295217343 hasConceptScore W2295217343C2775924081 @default.
• W2295217343 hasConceptScore W2295217343C2779136372 @default.
• W2295217343 hasConceptScore W2295217343C34165917 @default.
• W2295217343 hasConceptScore W2295217343C39920170 @default.
• W2295217343 hasConceptScore W2295217343C41008148 @default.
• W2295217343 hasConceptScore W2295217343C41895202 @default.
• W2295217343 hasConceptScore W2295217343C489000 @default.
• W2295217343 hasConceptScore W2295217343C50033165 @default.
• W2295217343 hasConceptScore W2295217343C55439883 @default.
• W2295217343 hasConceptScore W2295217343C58041814 @default.
• W2295217343 hasConceptScore W2295217343C77088390 @default.
• W2295217343 hasConceptScore W2295217343C80444323 @default.
• W2295217343 hasLocation W22952173431 @default.
• W2295217343 hasOpenAccess W2295217343 @default.
• W2295217343 hasPrimaryLocation W22952173431 @default.
• W2295217343 hasRelatedWork W1501715400 @default.
• W2295217343 hasRelatedWork W1545100927 @default.
• W2295217343 hasRelatedWork W1918806322 @default.
• W2295217343 hasRelatedWork W1979753046 @default.
• W2295217343 hasRelatedWork W2295217343 @default.
• W2295217343 hasRelatedWork W2297946074 @default.
• W2295217343 hasRelatedWork W2901281245 @default.
• W2295217343 hasRelatedWork W2951744246 @default.
• W2295217343 hasRelatedWork W564852913 @default.
• W2295217343 hasRelatedWork W89732893 @default.

• next