{"entities":{"Q2848424":{"pageid":2859144,"ns":120,"title":"Item:Q2848424","lastrevid":51834098,"modified":"2026-01-20T06:49:27Z","type":"item","id":"Q2848424","labels":{"en":{"language":"en","value":"Towards a unifying CSP approach to hierarchical verification of asynchronous hardware"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211916"}},"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":"Q2848424$CE272937-D668-41F7-BAC0-7C18D6C42999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"361b22fe3673fde81ac224740ed47135a976dd6b","datavalue":{"value":"1272.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848424$6F6AAB9D-E822-47E8-8FF6-05AB14CD3939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848424$E13F7871-132E-4366-85C5-F1FA31A414B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2013deee1be0f95afe518302c4c0fc6dbe0832c3","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610500246X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848424$9A9BB48F-D687-448B-B34A-DD15DFDCEAD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848424$C83E50B7-6F67-42F6-8E13-D02B8718BAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164be519b1c81701f8750065404e0fa33819b058","datavalue":{"value":"6211916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848424$9BFB098A-508D-44F6-91D7-D0724F053157","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":"Q2848424$7665A630-1B83-49EC-BC29-438472E26FD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ba413d292f7b6fa375ce4205d55ab082f005f","datavalue":{"value":{"entity-type":"item","numeric-id":1708706,"id":"Q1708706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848424$E0F05BEB-696A-4690-B18C-E422EFBD6022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848424$7847C041-F22A-4B89-B6CD-15D2AC412BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d3c71df4822812657b8df9c7c089df3f9d59a9","datavalue":{"value":{"entity-type":"item","numeric-id":666028,"id":"Q666028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848424$9E8B81F0-B224-4AAD-B612-1245041E1313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be3f408fa01c40d13468d0e388511044a7e827e","datavalue":{"value":{"entity-type":"item","numeric-id":6772910,"id":"Q6772910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848424$B8DFA388-852A-450E-AC00-5C8E4DB954F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb0f2b8e765e001f4f5e9300623bde906228c2b3","datavalue":{"value":{"text":"Towards a unifying CSP approach to hierarchical verification of asynchronous hardware","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848424$47F14F19-3348-4CD3-94AC-FF07F5847A88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c0698470c46bd1ae97fcd495baa6356b030e","datavalue":{"value":{"entity-type":"item","numeric-id":1329086,"id":"Q1329086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420bbe42d1cf5fea0debfbb2e519f1bb29f799b0","datavalue":{"value":{"amount":"+0.7932306528091431","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":"Q2848424$F8048E95-B6B7-4CCC-903A-F2996D2B3C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49da0cdabfdc101e79ac28316a6419c8cf31b85","datavalue":{"value":{"entity-type":"item","numeric-id":3840911,"id":"Q3840911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d20ffa98e87c497ca177d353eddc97353d93df","datavalue":{"value":{"amount":"+0.785400927066803","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":"Q2848424$A933B825-B46A-405F-971C-9D79255DC5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cee5d9fabe03aeab4e9fdd7f9e1e9604515583c","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698ee6ee5e6c1368ec14a93f0c39985a856dbc53","datavalue":{"value":{"amount":"+0.7845078706741333","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":"Q2848424$DDE79028-5FB5-4121-9EB4-32F0902D2A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e2a78d24a98ed5fedafd4396d248f9c2629319","datavalue":{"value":{"amount":"+0.7780937552452087","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":"Q2848424$F4F5D34D-893F-4CA1-AEB5-8D418BE2906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f22eb12c7540f8a6fc47a3fe3a5a56408bf64","datavalue":{"value":{"entity-type":"item","numeric-id":5431924,"id":"Q5431924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfe70fdc16ef3a877abc08fc04a6c0d829753ae","datavalue":{"value":{"amount":"+0.7709901332855225","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":"Q2848424$E7041ADF-F3E2-453E-A572-37B3595139A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848424"}}}}}