{"entities":{"Q6154883":{"pageid":13289279,"ns":120,"title":"Item:Q6154883","lastrevid":58720803,"modified":"2026-04-06T11:25:11Z","type":"item","id":"Q6154883","labels":{"en":{"language":"en","value":"Verification of threshold-based distributed algorithms by decomposition to decidable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805827"}},"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":"Q6154883$54D5F389-BBF6-437E-8ACC-12A291486DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aa1bae4a6f3ae3a1fc4f4cdcd80343b19c7d8cd","datavalue":{"value":{"text":"Verification of threshold-based distributed algorithms by decomposition to decidable logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154883$FE41E03C-AAC6-4EDB-9917-9A291BB47B80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d000296bd25baaaf537f72e9c0ce70f75067c0f","datavalue":{"value":"10.1007/978-3-030-25543-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154883$D7A0E503-9840-42EB-863F-3E79BB51B69B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f54b47c32a173f62da70bfefcdcf83e7a113254","datavalue":{"value":{"entity-type":"item","numeric-id":6154882,"id":"Q6154882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$BCD16F15-8703-4FAC-98B3-CDCD0E7EECFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3390664854ab3bfed5984f3463fadd4cf70e1a76","datavalue":{"value":{"entity-type":"item","numeric-id":314479,"id":"Q314479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$D32B5B81-4634-4036-A6DB-D3B01EA407EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd983151fba49333be5972b0a83901c4eeb4fff0","datavalue":{"value":{"entity-type":"item","numeric-id":2232587,"id":"Q2232587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$E727103F-88A2-4A1E-9305-E82F55DF71B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af28c01640955d451ab13d8ae854a3ea0fd656ad","datavalue":{"value":{"entity-type":"item","numeric-id":2044195,"id":"Q2044195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$EB1AE87A-9073-4509-B534-625153FF6FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$2DCAF931-0BA4-43AA-93A4-2FE5A76FD247","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$25022F1E-3255-488B-A9E5-8F348B621004","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154883$87421344-7024-4BD8-B6C8-1A251C3E8175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc14fb03d12f02d8a5d3ecb5c379a151879287e","datavalue":{"value":"https://arxiv.org/abs/1905.07805","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154883$DDFC3933-A9B0-4D44-96F3-3153C1420F51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154883$B0054601-02CA-4CC5-A6BD-CA2525EE7837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154883$DA764B8E-B88A-414B-9CA8-3EB24AF5B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154883$A3B24F57-78C6-4432-B3AB-27E9CA28D700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154883$06DFC13F-0601-4F2D-84B3-1B9A0E813CF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5715ae900677ace1a8f19aff5e4a5a425d6dc89","datavalue":{"value":"7805827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154883$6B9EA28F-18E3-4D71-B88D-CD3FB3ED2A50","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":"Q6154883$35F1263B-BBDE-4799-8320-EE61FC72FC80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a655aa69fc21cd5192c58d1ea16adec6edf4c8","datavalue":{"value":{"entity-type":"item","numeric-id":5883751,"id":"Q5883751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9267239d3bbb0aa84f09a7402d9455cdf6104ffc","datavalue":{"value":{"amount":"+0.7717554569244385","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":"Q6154883$6DF0D0F3-AF57-4D8F-B0C1-F803FA33FBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e486acaa1bbc513587170d97c059342864ba6609","datavalue":{"value":{"entity-type":"item","numeric-id":2938065,"id":"Q2938065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f164cf2678077c5f0241cc6ec8e6f09a13015be6","datavalue":{"value":{"amount":"+0.765788733959198","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":"Q6154883$5474A87A-8207-46B5-893A-CC692291391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a76ea5e8a8c13ff0ac422a5a4f20a073532ec2","datavalue":{"value":{"entity-type":"item","numeric-id":6485862,"id":"Q6485862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a45c24baaae1ae49546663dd323a1e741177258","datavalue":{"value":{"amount":"+0.7568870186805725","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":"Q6154883$9ADDB9FD-A35F-45E9-8164-A5F49FF80529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c672cd16f0c368fe2c21573e6335ee67e44dda4","datavalue":{"value":{"entity-type":"item","numeric-id":2234072,"id":"Q2234072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998edcec8be078b792885c6332c8a7f08aa32c22","datavalue":{"value":{"amount":"+0.7493085265159607","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":"Q6154883$1F7A2596-0F4F-427B-946F-B144AA692E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa41eeafaa4d7fbec3f727a469bea4c6d2a6784d","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29984d5ca285a154279c418563d0763b9550a352","datavalue":{"value":{"amount":"+0.7418010234832764","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":"Q6154883$89C5210E-3764-478C-839A-40BAEC797B11","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154883$9184C07F-6B7A-4013-908E-EBD948EB60AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154883"}}}}}