{"entities":{"Q5897071":{"pageid":7937664,"ns":120,"title":"Item:Q5897071","lastrevid":50898725,"modified":"2026-01-15T15:50:14Z","type":"item","id":"Q5897071","labels":{"en":{"language":"en","value":"Exact and efficient verification of parameterized cache coherence protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667308"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897071$173882DE-D5C0-454F-8076-2904868D7762","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c8f2d2ec76da52bc4ad5fba0da16b149a776d5","datavalue":{"value":{"text":"Correct Hardware Design and Verification Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897071$CBAD791E-DDD2-49E2-81E4-F9863B7B8491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c657de9d7994fa6ca3b2184bf06d6c5f4e59fdf","datavalue":{"value":"1179.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897071$7FC1375E-A0FD-4D4F-A257-1B47CF9BFA98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dccd13a2e71c75b860bf298c2386cebf24a966","datavalue":{"value":{"entity-type":"item","numeric-id":2723422,"id":"Q2723422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897071$ACABA384-8C04-46BD-BC19-6609A98A6C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897071$DC237F63-C1AC-4715-AFC6-569E57CDA698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897071$F0863E3D-44AB-4C3F-B1DF-885E1F0FE7AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897071$2EFB4051-9C52-40D3-BE3C-FE9BC82EA37E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897071$DF262F6B-4FFA-488C-A58D-78DDF3916B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897071$B2E82A69-B797-406E-9474-CD3572C41017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6c4d781d77a3f2464fbc1eaf3e62e464c66d4f7","datavalue":{"value":"5667308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897071$7117BB1B-3C1E-4559-B2C7-9D8429BBD626","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82d3620cb1bdd3eae8bcbd4d228bfa8814220ff9","datavalue":{"value":{"entity-type":"item","numeric-id":16562,"id":"Q16562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897071$499F54E6-3BD1-4E2C-AD7B-D6F4F5EB64A3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897071$0CD15F4A-1792-4F17-8C69-76425894C714","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8c5cde1231ec6becb5c8cd63c3722e801c9211","datavalue":{"value":"https://doi.org/10.1007/b93958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897071$B311A806-1B46-47D3-9F52-0F184AC5284E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897071$1E8BF4BA-4DEE-43F5-9E75-469012140CC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897071$EC7CB22B-0036-4026-9417-FCD1C0EEE361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7f45ed6f782e6606b5640136bb887dd7e95df7","datavalue":{"value":{"entity-type":"item","numeric-id":4417919,"id":"Q4417919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3f0b56daad0c06d2d24a7f975f5494fc6c140c","datavalue":{"value":{"amount":"+0.9188393354415894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897071$F6FB7461-251E-4E6E-B329-02957ECF5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bd84c02a46d66ff9c3c5b0be6224db5193a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c6c7aed9d92b5408583c38b56191d7c73fda41","datavalue":{"value":{"amount":"+0.8694131970405579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897071$C21B82F5-1B43-4AAB-8923-B45080BD5DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf0b7f07b6c87891bec7fd15adbcf2ce333b100","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ce0d55c8459d0a7cb9ce2795b62fb75661946a","datavalue":{"value":{"amount":"+0.8665183186531067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897071$C90F21D7-2D58-43F4-9E11-31E449895777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3818c045e3f2fdf09ca3271bb3e2cdfe43a40ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962c61760a267bffc0ed43033037e7ab06701dd3","datavalue":{"value":{"amount":"+0.8571614027023315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897071$C27A6D61-689D-4147-A15A-16385EA6788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76befcee79a6665f72658b8548f2dd599013566","datavalue":{"value":{"entity-type":"item","numeric-id":3460561,"id":"Q3460561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc00d3363366ce6cb83ad728341359707d04a2f1","datavalue":{"value":{"amount":"+0.8239138126373291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897071$FA95D08A-D35E-4A7E-89AC-FF1AD13DFC36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897071"}}}}}