{"entities":{"Q2225108":{"pageid":2235851,"ns":120,"title":"Item:Q2225108","lastrevid":57793959,"modified":"2026-04-02T13:39:45Z","type":"item","id":"Q2225108","labels":{"en":{"language":"en","value":"Parameterized verification of systems with global synchronization and guards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306416"}},"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":"Q2225108$279557BB-6EE6-483A-94D3-83E0D536A244","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b672e60ba7b04f282735e7977d7e5ceceea1c62","datavalue":{"value":{"text":"Parameterized verification of systems with global synchronization and guards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225108$175CE299-1003-4229-92B7-5563C1E09D36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef79e2172115bce4ac61719e101aa7bed9246b68","datavalue":{"value":"1478.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225108$356C42D9-3A84-4FD3-822F-EFB2AB59F32E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7176d9d3b687dcf0403b9efde591dd75e744d2e8","datavalue":{"value":"10.1007/978-3-030-53288-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225108$CD626526-FCA3-4800-A503-08D2B5FFF55E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225108$65D0CE3D-5690-41FA-99E9-479C0454CF78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-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":"Q2225108$4D84DE8E-B400-4399-8D58-1AA98EBFDA05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cccf7ad4dd4d8f6b473c2fd35573b9959b7e1034","datavalue":{"value":"https://arxiv.org/abs/2004.04896","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225108$CA8F04A7-09FB-476C-9052-7130C002E75B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225108$955284C9-41D7-413C-BCD5-724254F2FEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225108$E11F8950-B08F-445D-80DD-31AE05BAAF2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80da878743239128bc8fb0c7ab47f9ad41522ff6","datavalue":{"value":"7306416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225108$E0EEABB9-A970-401D-B4D9-2D4ADA38E18F","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":"Q2225108$29ADB85B-556F-4367-A126-C04BC6A4C500","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84a8042b8952b79816c949b12342183fd3811cf2","datavalue":{"value":"W3043232031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225108$267F8126-D385-43D5-AA0C-1324B4B3A768","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7ccf7c06992f9e23ee017b5eff8d29c5ac3e95","datavalue":{"value":{"amount":"+0.8151188492774963","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":"Q2225108$24CCC5D8-F8D2-4953-A598-ECB3D86CF2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db94289257b6c6449f35674ee6cf3b3e1d5c9196","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5523fafc115e518fe05b33ac75f3057cf1b4c1","datavalue":{"value":{"amount":"+0.7892217636108398","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":"Q2225108$2F462871-5CD5-46F0-ABDE-58444509A73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49018e64e9135cb631b988e91c29e26af9ac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":5452704,"id":"Q5452704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209616937e84ec2f13e866fda873fdeb74750889","datavalue":{"value":{"amount":"+0.7767073512077332","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":"Q2225108$FBE7401D-1BC7-498C-B30C-1B9432F998ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd16e4c5935785cbd899ae9e46f18fd199afd4de","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aec5d9690517293b1e4a70d9b8167ba10eaa701","datavalue":{"value":{"amount":"+0.7764587998390198","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":"Q2225108$25B442CF-05AC-4DB5-9FFF-B0A6D5459888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df35576f0fbcf2c3db0c096a0d6c7be2659c212c","datavalue":{"value":{"entity-type":"item","numeric-id":3296331,"id":"Q3296331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc49d84b81d47d4af277a8aca471024423d203e","datavalue":{"value":{"amount":"+0.7763612866401672","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":"Q2225108$8DBB3518-5C15-4701-9255-658F07A21AF8","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":"Q2225108$34C59914-0C22-4A8F-BB98-15243B3BDD8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225108"}}}}}