{"entities":{"Q1731830":{"pageid":1742571,"ns":120,"title":"Item:Q1731830","lastrevid":68922570,"modified":"2026-04-13T03:08:02Z","type":"item","id":"Q1731830","labels":{"en":{"language":"en","value":"Verification of asynchronous systems with an unspecified component"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036283"}},"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":"Q1731830$9D0944DF-403B-4D3E-8F5F-A7BC921F1915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3881d652706625a4ce040585ad2adda7f22f2074","datavalue":{"value":{"text":"Verification of asynchronous systems with an unspecified component","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1731830$C5203EB6-4E9E-4A4E-8F7E-C347B060000E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf1cf846b60ec59773aba7c14059aff06daf1951","datavalue":{"value":"1417.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731830$F6011AFF-ADE0-4498-AB7C-E917697B5A02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a858c491fcf2ce62d8e3f3bb447f496f6d21769","datavalue":{"value":{"entity-type":"item","numeric-id":1731829,"id":"Q1731829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$E8F79C61-2D54-44A6-9AC4-D77D2A2E5235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"385b211e0e41e7d5adbbc176626343fac3947555","datavalue":{"value":{"entity-type":"item","numeric-id":549192,"id":"Q549192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$AE58B7F8-26DD-464B-8097-5D38714994DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb2c98cc48d92198de150905693a5e5a9a27f57a","datavalue":{"value":{"entity-type":"item","numeric-id":1688556,"id":"Q1688556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$FCA625B7-ABE5-44CF-8648-A2C7755ED7CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$474BE5A6-5463-489C-B650-8E8451BD72D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df01aeeba31ce24d39703f591bf3026949b8c0f3","datavalue":{"value":{"time":"+2019-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1731830$02DA5400-821E-487D-9D10-6B20C00A0514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aca7b94d5004d09ec13ffaeaa835e3c5575041e","datavalue":{"value":"https://arxiv.org/abs/1709.03245","type":"string"},"datatype":"url"},"type":"statement","id":"Q1731830$1383F295-A6BB-4FF0-A685-74F12EC713C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731830$EAE8F823-E01A-416C-9064-9B38066ECA94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0872ec2884b158834198e599d5467c5a2b8ea1e2","datavalue":{"value":"7036283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731830$1A4D1286-8749-4CDB-8E6C-4DDD905B4DF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0796dff020ecc19363c324969842ad3967d31e3f","datavalue":{"value":{"entity-type":"item","numeric-id":40982,"id":"Q40982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$DA6FA84D-7A4D-40A3-AE66-23C72CB55351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abb4a71948df602bf10aaaa5b0211de7c4ba3271","datavalue":{"value":{"entity-type":"item","numeric-id":21404,"id":"Q21404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$ABF5F0CC-A7B2-4D7D-89A5-A080475AF693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2de592e7c332d7c936ca6697a09b20d0164a7954","datavalue":{"value":{"entity-type":"item","numeric-id":21405,"id":"Q21405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$69939FFE-0C15-405D-B5AE-303663C51B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$FF035DB3-CBA1-4052-9BA6-B118E7B1796E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4671e4cb1fd66747f3274867a94f211f7c97b3c","datavalue":{"value":{"entity-type":"item","numeric-id":21763,"id":"Q21763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$731F3B6C-9A59-444F-9A50-EAC684F286A2","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":"Q1731830$8F9E0DE9-6B38-47BA-B0E9-438B55F3CFB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"471ef704619aadaec16e67bf171a127703e4ad5d","datavalue":{"value":"W2963286331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731830$DB60673F-D66C-474F-A374-BFB6470570AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$6B7888CB-C289-4C6E-B09A-C782703C070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$15A6C732-137E-4F47-97C5-B07C744FCB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$E5FA7E28-3359-4080-B9CA-8E3F543A7D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$F990CB68-11BB-48CE-BEB9-8B423E165742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$20E1F0AB-8B3E-4DED-9B6A-54BF12655503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$1EB7E6AC-5F39-4BD3-AD7C-972532F4E0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$21CA086E-C13C-422A-BAE5-D8295C714777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b0055c738699970bbe7f3231dfee16eb3acecc","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$AB2A0B0D-7353-4672-B09D-78505FE3F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae33dd596208f5c3943515a7436de5ae9f7fb18","datavalue":{"value":{"entity-type":"item","numeric-id":1854499,"id":"Q1854499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$A5374908-0655-48D9-831C-B245AD3E37E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$E937A7F6-AD03-4211-98A4-C9024A0BE68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$4B7358F7-6BC3-4AF6-898F-14F1A593CEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76c83963daaf9dacc98c1875034105c6dbf9004","datavalue":{"value":{"entity-type":"item","numeric-id":5758116,"id":"Q5758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$F24C5154-2C7B-4286-AC91-01D920E65F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$C499A00B-A835-40DF-BD4C-EEE15377B88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$1D05B478-579D-44EE-AC76-AEF3247ECE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d033d6e7e20cf9b4476f51ef94d1ea2c294988d","datavalue":{"value":{"entity-type":"item","numeric-id":4802628,"id":"Q4802628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$59F90517-E3C5-41F6-9F80-9484185FAAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$046A5D8F-082C-4256-937F-BACBD32C80F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$D58BBF45-CEF5-49B1-817F-E1F9F6DA6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$51FF8E26-2CBC-4785-B795-32F0508B2A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8709853eed91c9a9472fde67bcf8acf2b7be0b","datavalue":{"value":{"entity-type":"item","numeric-id":3613429,"id":"Q3613429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$7028CBA7-50FA-421E-916F-3DA1EB4CEB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$355D0C28-7D5E-4309-8A43-5DFB21B14B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65dcbe496568d8acfd7675321a84644e35cdebc","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$7C88EB42-40EA-4934-8B5B-B03997CD869D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f850ff4198e30943295d63b6b343cc063b2d362f","datavalue":{"value":{"entity-type":"item","numeric-id":4395809,"id":"Q4395809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$F85F77D1-6339-47CD-ACD5-FCF09C813AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$EE23013F-3CD0-4AB9-9641-E6DB4B69E33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$636012B0-AA7A-45F6-A12B-F837B5010AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49fc362560a45220f5fe18fe80df4bf70395f3a","datavalue":{"value":{"entity-type":"item","numeric-id":3522903,"id":"Q3522903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$C2FDBDF1-9518-4EFA-99F2-B3416994F6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$8F0A6415-2067-481C-BAB5-BF47E576EEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e350fbdf52632f3facb41fcf375367d05fd38","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$EAF614E0-ABAD-4064-A155-59EB4A002905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938dcb73216715170662d858dae7976b67488904","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$BB492976-173B-4603-9340-D4063FE9FB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44eaa6bfd40b5e0487b3e3de938c404a6fed200","datavalue":{"value":{"entity-type":"item","numeric-id":4339719,"id":"Q4339719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$86449B02-5DE7-4411-A03F-880962FC224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$333247A2-820C-4B35-BF91-FE5162BC60D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$C85C41F5-2EA7-45D2-894C-76B2432E69EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1a3b4fb08237b3017f38d6db4160f7a4997209","datavalue":{"value":{"entity-type":"item","numeric-id":3222064,"id":"Q3222064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$9A72DC39-1692-42EA-BAE3-665883F4A2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$212FADDA-484F-461E-AC5F-449E31D50B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e59eb46c173b6e2b7279f895900b5fa92af7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$A40C1E67-FD33-4096-A65C-767B162C6008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b452ce4d1f95cf97b29e4fcf514310575ada4e9","datavalue":{"value":{"entity-type":"item","numeric-id":4417622,"id":"Q4417622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$AA47A95E-2D29-4C6D-8250-904EFB096F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a1bde388230da67a6934de109c0ed2de5e753","datavalue":{"value":{"entity-type":"item","numeric-id":4790350,"id":"Q4790350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731830$E4EE5E7A-B4ED-4501-82F0-328FDE9B4815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50d01a6c16bf0161e91666a0e6c6b97367b5dfa","datavalue":{"value":"10.1007/S00236-018-0317-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731830$D271E87E-BB25-48B0-BB46-F0C910A5DFC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41131544cf032f370a885e178f62681db5de798","datavalue":{"value":{"entity-type":"item","numeric-id":5710640,"id":"Q5710640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b020c639f7589ec30f7db7d2ae1a367d77d7f145","datavalue":{"value":{"amount":"+0.7550224661827087","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":"Q1731830$70CE8844-A8FD-47F8-8644-A10F9E11D706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24baa67ecda617c7ee4717a88ac2034f0c959c02","datavalue":{"value":{"entity-type":"item","numeric-id":1776590,"id":"Q1776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30290e3ff07d5b28b1f22c6f71393682454e427b","datavalue":{"value":{"amount":"+0.7194252610206604","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":"Q1731830$80136515-0601-428E-A7B0-5BCC3B0369D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5443a81df6783afc15aaa52e496b54fd8d7d0514","datavalue":{"value":{"entity-type":"item","numeric-id":3401955,"id":"Q3401955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd62cbcbd3623d606d95c3dc8d0613b1a608c4ad","datavalue":{"value":{"amount":"+0.7128581404685974","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":"Q1731830$3BFFC6A5-D7EE-48E7-81BC-C58E5188601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b07ca00abca46622bd4e53e35b3b3ca0d746ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d449614e8acfae82fdd488c5438488b290a43b13","datavalue":{"value":{"amount":"+0.7014517188072205","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":"Q1731830$EC37DCEE-E66C-46D4-89D4-9B3D2B89CDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79264fe77e26fac4dcc35a791fbbdac9750a9d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4600773,"id":"Q4600773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57e48c4ec8b9e810a9a014430d11dae67849b0c","datavalue":{"value":{"amount":"+0.6975438594818115","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":"Q1731830$9C726C90-2050-47F8-BD8B-B2253624392D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of asynchronous systems with an unspecified component","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_asynchronous_systems_with_an_unspecified_component"}}}}}