{"entities":{"Q4598239":{"pageid":6627824,"ns":120,"title":"Item:Q4598239","lastrevid":58295316,"modified":"2026-04-04T14:54:52Z","type":"item","id":"Q4598239","labels":{"en":{"language":"en","value":"Computation tree logic for synchronization properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820287"}},"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":"Q4598239$C207CFC6-527C-4C79-A1F3-F4468F305ED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"089e2e6c24ea9f73f2e555f3fbd6a9067db9001a","datavalue":{"value":"1388.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$A1870B28-CF63-43BD-84FA-CFB53EB51CB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598239$3B1DEA4F-6115-4DB5-A76D-55F03A098F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598239$D93DF152-CA37-4418-94C0-E61C5B0F00D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598239$3478BA3D-2373-44AC-B181-F39D1CF87E09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b9938093d83851cd8747a08a022cbd47750bfa5","datavalue":{"value":"https://arxiv.org/abs/1604.06384","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598239$AA95A51B-AE8F-4A4C-B308-C03A4A898EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$6713A685-2F78-474D-B315-C13D9DA4A9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$60490725-03D8-43EB-B635-50736EE75A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$3202156E-ED1B-47C7-BE6F-C5E53553CC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$E893CD33-32F1-4DC3-9FB3-2A9CCCE3C85E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d6f16137c9a9d34797a875a70e2df828ff10183","datavalue":{"value":"6820287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$43959A56-F972-424B-8C7B-44FCAAD96959","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598239$036E73BA-D038-42D0-A7EE-7890A29D98F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598239$E207AC9B-C853-4046-9FA5-4B5B42225ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598239$C92D4733-FA8E-432E-B736-68F85473847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598239$91AD4041-CB51-47FC-83F8-055290A1F2F7","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":"Q4598239$6DFED058-4744-497C-B461-EDAA7C4E6684","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1734dd35459f84108b81a1d1d7c8bee97558a74","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598239$834E116C-5D8D-4ACC-918C-7C704F2EECAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22cfada1d9f02cab6d5b6fb6aaa04687a05b7a7c","datavalue":{"value":{"amount":"+0.8044346570968628","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":"Q4598239$D5576F2B-F0EA-4B91-9B2D-DF8659A91376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47164c707b446ceaeefed37028af512e0fc79a77","datavalue":{"value":{"amount":"+0.8005962371826172","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":"Q4598239$B70DAD62-243E-42B4-840E-DE85367101AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9db2c72d22fd142da3f7d900a5828360d43031","datavalue":{"value":{"entity-type":"item","numeric-id":1784962,"id":"Q1784962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e835a076b1f1e011103b125a65c76fc7f9fcbe3c","datavalue":{"value":{"amount":"+0.7689864039421082","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":"Q4598239$49DC1F5B-7129-400D-A0D9-A6DA8774B13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4e8c40262b9deeb111fe46390f5ffd8b169069","datavalue":{"value":{"amount":"+0.7642433643341064","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":"Q4598239$1643BECD-B4DB-4C8C-BCAE-7705BD36FF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431d7040cccd1fb6295469210816c44be11aba14","datavalue":{"value":{"entity-type":"item","numeric-id":5015276,"id":"Q5015276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db14920aa21336602269e5c327e476bc37c572da","datavalue":{"value":{"amount":"+0.7564293146133423","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":"Q4598239$B41F8BF7-97A6-4689-B3EF-0238305E41EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598239"}}}}}