FRINK Linked Data Fragments server

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

• W1489401424 endingPage "234" @default.
• W1489401424 startingPage "213" @default.
• W1489401424 created "2016-06-24" @default.
• W1489401424 creator A5010375037 @default.
• W1489401424 creator A5082464674 @default.
• W1489401424 date "2007-08-17" @default.
• W1489401424 modified "2023-09-25" @default.
• W1489401424 title "Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms" @default.
• W1489401424 cites W1486283458 @default.
• W1489401424 cites W1570218811 @default.
• W1489401424 cites W1572892291 @default.
• W1489401424 cites W1909544667 @default.
• W1489401424 cites W1973872655 @default.
• W1489401424 cites W1987150355 @default.
• W1489401424 cites W1993994360 @default.
• W1489401424 cites W1996958808 @default.
• W1489401424 cites W2020516462 @default.
• W1489401424 cites W2031385999 @default.
• W1489401424 cites W2048438387 @default.
• W1489401424 cites W2052001696 @default.
• W1489401424 cites W2056774266 @default.
• W1489401424 cites W2057086674 @default.
• W1489401424 cites W2088721436 @default.
• W1489401424 cites W2096167494 @default.
• W1489401424 cites W2101939036 @default.
• W1489401424 cites W2110568694 @default.
• W1489401424 cites W2151943351 @default.
• W1489401424 cites W2295541535 @default.
• W1489401424 cites W3022794709 @default.
• W1489401424 cites W4236824789 @default.
• W1489401424 cites W4246703498 @default.
• W1489401424 doi "https://doi.org/10.1007/978-3-540-73147-4_11" @default.
• W1489401424 hasPublicationYear "2007" @default.
• W1489401424 type Work @default.
• W1489401424 sameAs 1489401424 @default.
• W1489401424 citedByCount "3" @default.
• W1489401424 crossrefType "book-chapter" @default.
• W1489401424 hasAuthorship W1489401424A5010375037 @default.
• W1489401424 hasAuthorship W1489401424A5082464674 @default.
• W1489401424 hasConcept C108710211 @default.
• W1489401424 hasConcept C111498074 @default.
• W1489401424 hasConcept C11413529 @default.
• W1489401424 hasConcept C151730666 @default.
• W1489401424 hasConcept C159718280 @default.
• W1489401424 hasConcept C162324750 @default.
• W1489401424 hasConcept C199360897 @default.
• W1489401424 hasConcept C206880738 @default.
• W1489401424 hasConcept C2524010 @default.
• W1489401424 hasConcept C2777303404 @default.
• W1489401424 hasConcept C2779343474 @default.
• W1489401424 hasConcept C33923547 @default.
• W1489401424 hasConcept C41008148 @default.
• W1489401424 hasConcept C50522688 @default.
• W1489401424 hasConcept C55439883 @default.
• W1489401424 hasConcept C75606506 @default.
• W1489401424 hasConcept C80444323 @default.
• W1489401424 hasConcept C86803240 @default.
• W1489401424 hasConceptScore W1489401424C108710211 @default.
• W1489401424 hasConceptScore W1489401424C111498074 @default.
• W1489401424 hasConceptScore W1489401424C11413529 @default.
• W1489401424 hasConceptScore W1489401424C151730666 @default.
• W1489401424 hasConceptScore W1489401424C159718280 @default.
• W1489401424 hasConceptScore W1489401424C162324750 @default.
• W1489401424 hasConceptScore W1489401424C199360897 @default.
• W1489401424 hasConceptScore W1489401424C206880738 @default.
• W1489401424 hasConceptScore W1489401424C2524010 @default.
• W1489401424 hasConceptScore W1489401424C2777303404 @default.
• W1489401424 hasConceptScore W1489401424C2779343474 @default.
• W1489401424 hasConceptScore W1489401424C33923547 @default.
• W1489401424 hasConceptScore W1489401424C41008148 @default.
• W1489401424 hasConceptScore W1489401424C50522688 @default.
• W1489401424 hasConceptScore W1489401424C55439883 @default.
• W1489401424 hasConceptScore W1489401424C75606506 @default.
• W1489401424 hasConceptScore W1489401424C80444323 @default.
• W1489401424 hasConceptScore W1489401424C86803240 @default.
• W1489401424 hasLocation W14894014241 @default.
• W1489401424 hasOpenAccess W1489401424 @default.
• W1489401424 hasPrimaryLocation W14894014241 @default.
• W1489401424 hasRelatedWork W1033578884 @default.
• W1489401424 hasRelatedWork W114103911 @default.
• W1489401424 hasRelatedWork W1593404182 @default.
• W1489401424 hasRelatedWork W1608891104 @default.
• W1489401424 hasRelatedWork W1903646270 @default.
• W1489401424 hasRelatedWork W2101001750 @default.
• W1489401424 hasRelatedWork W2230407200 @default.
• W1489401424 hasRelatedWork W2332368621 @default.
• W1489401424 hasRelatedWork W2338301088 @default.
• W1489401424 hasRelatedWork W2400995082 @default.
• W1489401424 hasRelatedWork W2483392883 @default.
• W1489401424 hasRelatedWork W2770908924 @default.
• W1489401424 hasRelatedWork W2808563004 @default.
• W1489401424 hasRelatedWork W2951537756 @default.
• W1489401424 hasRelatedWork W2964806919 @default.
• W1489401424 hasRelatedWork W2969740638 @default.
• W1489401424 hasRelatedWork W3023384121 @default.
• W1489401424 hasRelatedWork W3044960660 @default.
• W1489401424 hasRelatedWork W54044857 @default.
• W1489401424 hasRelatedWork W573590694 @default.
• W1489401424 isParatext "false" @default.
• W1489401424 isRetracted "false" @default.

• next