FRINK Linked Data Fragments server

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

• W2893134816 created "2018-10-05" @default.
• W2893134816 creator A5000761707 @default.
• W2893134816 creator A5036792191 @default.
• W2893134816 creator A5037309489 @default.
• W2893134816 creator A5066816851 @default.
• W2893134816 date "2018-09-29" @default.
• W2893134816 modified "2023-09-27" @default.
• W2893134816 title "Formal Verification of mCWQ Using Extended Hoare Logic" @default.
• W2893134816 cites W119570465 @default.
• W2893134816 cites W124434858 @default.
• W2893134816 cites W1451511196 @default.
• W2893134816 cites W1483980066 @default.
• W2893134816 cites W1560886219 @default.
• W2893134816 cites W1596261052 @default.
• W2893134816 cites W175116481 @default.
• W2893134816 cites W1828298072 @default.
• W2893134816 cites W1972478730 @default.
• W2893134816 cites W2005864143 @default.
• W2893134816 cites W2007809070 @default.
• W2893134816 cites W2008979299 @default.
• W2893134816 cites W2013747113 @default.
• W2893134816 cites W2042562411 @default.
• W2893134816 cites W2047749307 @default.
• W2893134816 cites W2048916023 @default.
• W2893134816 cites W2056267966 @default.
• W2893134816 cites W2070249810 @default.
• W2893134816 cites W2084245236 @default.
• W2893134816 cites W2084918693 @default.
• W2893134816 cites W2090309908 @default.
• W2893134816 cites W2099574482 @default.
• W2893134816 cites W2110846749 @default.
• W2893134816 cites W2111819951 @default.
• W2893134816 cites W2112717427 @default.
• W2893134816 cites W2121029475 @default.
• W2893134816 cites W2121478264 @default.
• W2893134816 cites W2126815079 @default.
• W2893134816 cites W2131373949 @default.
• W2893134816 cites W2132761501 @default.
• W2893134816 cites W2134801513 @default.
• W2893134816 cites W2137865376 @default.
• W2893134816 cites W2148135143 @default.
• W2893134816 cites W2168452204 @default.
• W2893134816 cites W2294716431 @default.
• W2893134816 cites W2411931905 @default.
• W2893134816 cites W2569787747 @default.
• W2893134816 cites W2754476132 @default.
• W2893134816 cites W2987907651 @default.
• W2893134816 cites W4244204472 @default.
• W2893134816 doi "https://doi.org/10.1007/s11036-018-1142-8" @default.
• W2893134816 hasPublicationYear "2018" @default.
• W2893134816 type Work @default.
• W2893134816 sameAs 2893134816 @default.
• W2893134816 citedByCount "2" @default.
• W2893134816 countsByYear W28931348162019 @default.
• W2893134816 countsByYear W28931348162022 @default.
• W2893134816 crossrefType "journal-article" @default.
• W2893134816 hasAuthorship W2893134816A5000761707 @default.
• W2893134816 hasAuthorship W2893134816A5036792191 @default.
• W2893134816 hasAuthorship W2893134816A5037309489 @default.
• W2893134816 hasAuthorship W2893134816A5066816851 @default.
• W2893134816 hasConcept C104949639 @default.
• W2893134816 hasConcept C108710211 @default.
• W2893134816 hasConcept C127413603 @default.
• W2893134816 hasConcept C199360897 @default.
• W2893134816 hasConcept C24590314 @default.
• W2893134816 hasConcept C2524010 @default.
• W2893134816 hasConcept C31258907 @default.
• W2893134816 hasConcept C33923547 @default.
• W2893134816 hasConcept C40422974 @default.
• W2893134816 hasConcept C41008148 @default.
• W2893134816 hasConcept C55439883 @default.
• W2893134816 hasConcept C62611344 @default.
• W2893134816 hasConcept C66938386 @default.
• W2893134816 hasConcept C80444323 @default.
• W2893134816 hasConceptScore W2893134816C104949639 @default.
• W2893134816 hasConceptScore W2893134816C108710211 @default.
• W2893134816 hasConceptScore W2893134816C127413603 @default.
• W2893134816 hasConceptScore W2893134816C199360897 @default.
• W2893134816 hasConceptScore W2893134816C24590314 @default.
• W2893134816 hasConceptScore W2893134816C2524010 @default.
• W2893134816 hasConceptScore W2893134816C31258907 @default.
• W2893134816 hasConceptScore W2893134816C33923547 @default.
• W2893134816 hasConceptScore W2893134816C40422974 @default.
• W2893134816 hasConceptScore W2893134816C41008148 @default.
• W2893134816 hasConceptScore W2893134816C55439883 @default.
• W2893134816 hasConceptScore W2893134816C62611344 @default.
• W2893134816 hasConceptScore W2893134816C66938386 @default.
• W2893134816 hasConceptScore W2893134816C80444323 @default.
• W2893134816 hasLocation W28931348161 @default.
• W2893134816 hasOpenAccess W2893134816 @default.
• W2893134816 hasPrimaryLocation W28931348161 @default.
• W2893134816 hasRelatedWork W1492008767 @default.
• W2893134816 hasRelatedWork W1543469746 @default.
• W2893134816 hasRelatedWork W1983083941 @default.
• W2893134816 hasRelatedWork W2100424584 @default.
• W2893134816 hasRelatedWork W2132251340 @default.
• W2893134816 hasRelatedWork W2135755146 @default.
• W2893134816 hasRelatedWork W249665729 @default.
• W2893134816 hasRelatedWork W2898221686 @default.
• W2893134816 hasRelatedWork W2912001071 @default.

• next