{"entities":{"Q3158515":{"pageid":3169231,"ns":120,"title":"Item:Q3158515","lastrevid":85938563,"modified":"2026-06-03T12:41:38Z","type":"item","id":"Q3158515","labels":{"en":{"language":"en","value":"Formal verification of complex coherence protocols using symbolic state models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131008"}},"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":"Q3158515$01F44161-2656-44DB-A1F9-03179B618B5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"693b6aa9ace2306d4fe9b38241a877cd72103f9d","datavalue":{"value":{"text":"Formal verification of complex coherence protocols using symbolic state models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3158515$31D363F2-9C6A-4CA1-81AE-E8040B5C6797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2f70f8cfc7bc18229b5a36c47fb386f412fdd26","datavalue":{"value":"1065.68586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$3F492FDA-AA7E-4DAE-8544-01C208692357","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85fccf709cc68180f660ca1e5a5ac2857ef46a8c","datavalue":{"value":"10.1145/285055.285057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$67AD6CF7-743D-4ECA-88C1-ECF0517BC3D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b015a119ecbeb58f336b78255fbddbe7bf6ab459","datavalue":{"value":{"entity-type":"item","numeric-id":3158514,"id":"Q3158514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158515$7307FDA7-3EAA-40CE-A6C5-B6A4B5A7C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7776fa314b6105ead35cfb1bf96f04f73ea2d162","datavalue":{"value":{"entity-type":"item","numeric-id":192227,"id":"Q192227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158515$D546F9D3-943F-404F-981C-36163C587993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158515$4E1AFF96-B4E2-4DA7-A955-46CCDFEC89A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3158515$6BDB8017-61B7-4215-AD75-7E0A037EAFAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$811A6995-B4F1-4E1F-AC9C-8E56FA3583CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$BD18DFED-30F1-40D3-9DCE-7FEC363B54D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$46612A30-4D1C-46FF-A23C-B2B852E05191","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da9e6fc79bd6f936d1776824e7221313b9bb8ee3","datavalue":{"value":"2131008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$EC6772BB-6024-4E30-AB13-F8B7712532DC","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":"Q3158515$D5D5405B-7253-4817-B90A-5DA20A9AAC0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa8583adabaf105e5de92054ff268a6d47d797e6","datavalue":{"value":"https://doi.org/10.1145/285055.285057","type":"string"},"datatype":"url"},"type":"statement","id":"Q3158515$30899CE4-5D91-4CC2-98C6-DF004B5882B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbbc82533b820509619b8416fbfa7cf52038af32","datavalue":{"value":"W2063124005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$3DE14538-ECA9-4762-B127-133982DC0839","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"64e3afb9ab87a62fb0add008486bb7a270d567ce","datavalue":{"value":"Q131130487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158515$F1895118-54A2-4632-8839-A7AC456ECC72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f926ad9f8829debbd7a43dc393730f177621549","datavalue":{"value":{"entity-type":"item","numeric-id":2999248,"id":"Q2999248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b82ca61f82f98b50bcbb519a772460fdb0aa525","datavalue":{"value":{"amount":"+0.85218173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3158515$318FD3A1-77C0-4744-B8C0-8D03265DA0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf75666767ce362a3efaaba34ed275ce92616a66","datavalue":{"value":{"entity-type":"item","numeric-id":3386298,"id":"Q3386298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac46ca9f7a1f693aaac1bc48b82f1a1949ee9d9","datavalue":{"value":{"amount":"+0.84926313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3158515$308A5144-1B88-4E39-9CD1-12B7F0080896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07047b2197714a8819b934f0de4fdb4e050e5c62","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7760693c8dbc7b989168a88b27278fe481833d3f","datavalue":{"value":{"amount":"+0.84613824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3158515$59558827-6933-4FE0-83C6-75B2D068EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c62e4c0270bdc3e76fa7d765ae0f3d1cf537d8","datavalue":{"value":{"entity-type":"item","numeric-id":5015189,"id":"Q5015189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5291ba749f6b954af06dc3f41c5e3ba93020f3b3","datavalue":{"value":{"amount":"+0.8459769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3158515$06F29BC2-D8C6-4B93-85C6-CBF44B3B48C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a1d4e9d942de3d33fa55da69b940dcd63cbdf6","datavalue":{"value":{"amount":"+0.84529746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3158515$24024118-CE6E-4361-925F-B8B7688DBF61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of complex coherence protocols using symbolic state models","badges":[]}}}}}