{"entities":{"Q5452710":{"pageid":7482269,"ns":120,"title":"Item:Q5452710","lastrevid":50327345,"modified":"2026-01-13T20:11:59Z","type":"item","id":"Q5452710","labels":{"en":{"language":"en","value":"Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259559"}},"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":"Q5452710$31CF20EE-E205-4E7D-89B3-FE9B657F545F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14555c793222d8884cbb2b742cecb06a3027ebc3","datavalue":{"value":{"text":"Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452710$1648A2C4-BC31-49D7-AB89-4F12C6884D83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad64d74f1d17ec273b5dbe6f35d489fa659baf57","datavalue":{"value":"1138.68445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$36E47241-9B11-41D1-B251-DA34BB8D2DB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08291ebe8565c1fc3b34b582d63509fa12ad2aa3","datavalue":{"value":"10.1007/978-3-540-78163-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$FE8912E6-4679-43FA-8561-771F0777D2B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452710$E07E2EB7-ADDC-4150-B205-0D610E3989EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452710$E1B443EC-CA2D-4AF5-A9D1-B945C0DCF7FB","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":"Q5452710$8FFAA0B6-DA67-4340-A009-B3AAD23E47EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452710$C1371851-9A6A-4949-A737-2F569B3A0FA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f3332eccc78e5cbd22f5d70dfe2e454fb27a9f9","datavalue":{"value":"http://eprints.whiterose.ac.uk/156483/1/vmcai08.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452710$F78F4EC0-7BAE-4B95-B6DD-17B0FCB97A80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$0D46A97F-0F49-417B-A5B7-E4907F1579E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$21CBDFFF-6668-4970-874A-DB27250A8012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$B668A246-EBA2-404E-8CC4-8A15F91AD5D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccd4cfcca780c808ac12079624a0fee861b4a75d","datavalue":{"value":"5259559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$DFFA5A3E-1B09-4819-9D24-5B6740D558B1","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":"Q5452710$2CCD801F-A04C-469F-BAEF-EBB3FE158DC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97ce715fa5c2b0cea7e9e4887c11a8a12d378f25","datavalue":{"value":"W2097809697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452710$F5C23954-D189-44B4-B3F1-50CA70E9EC42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf3824886570dc01d42f52eac80351c401019a7","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baf01b2f1cd437ae00d0623067c529bbad5b440","datavalue":{"value":{"amount":"+0.7962132692337036","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":"Q5452710$AE98529E-F116-49D1-98C9-C8812738CADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35471693b9b81aca4d54d85b5e7a7d84e4829dbd","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa8a3b9025f3515d213c739e9916c162ec75795","datavalue":{"value":{"amount":"+0.7307016849517822","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":"Q5452710$FA7409F2-41A6-4EE5-AFF9-088AEBE25378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30c511d4b0fa24c84dec4563cb8a15f072b4126","datavalue":{"value":{"entity-type":"item","numeric-id":2796043,"id":"Q2796043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940c51845f1393a8ad1d92d514c0d84e6850cd65","datavalue":{"value":{"amount":"+0.7156750559806824","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":"Q5452710$0D5D1C24-7B8A-4705-AE2F-7AAB0101E2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d94b91462e7a7231526a824c8ee4d2f1e39a07","datavalue":{"value":{"amount":"+0.7060139775276184","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":"Q5452710$13D0BFE4-1913-45BF-B03B-C885CE1BE93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bb06957b79b3d90d78c6c75dabc90365ce6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4608669,"id":"Q4608669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e4998ed871a428c17714a169a11e940823f32b","datavalue":{"value":{"amount":"+0.7045167684555054","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":"Q5452710$C1BD301F-62EC-46BE-8942-4C973BE2B6C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452710"}}}}}