{"entities":{"Q5168410":{"pageid":7197982,"ns":120,"title":"Item:Q5168410","lastrevid":100491059,"modified":"2026-06-05T22:16:21Z","type":"item","id":"Q5168410","labels":{"en":{"language":"en","value":"Compositional verification of the generalized nonblocking property using abstraction and canonical automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313569"}},"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":"Q5168410$7ED3F6F5-E7DF-412B-8A27-4C698A06FD3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f42f6e192cabec82e2f5ca9b02c95f961fee30fb","datavalue":{"value":{"text":"COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168410$293B96C7-A212-4234-A356-0C38DB3233E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba82da0744a896b4174ca9f02d4f11ebf572d5e1","datavalue":{"value":"1291.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$766134F8-5BB6-48F3-B69A-8969D7E17E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a97baf52260d17e11e968fd7716b678f48ae28","datavalue":{"value":"10.1142/S0129054113500287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$E3BF166A-2203-410A-8BE3-1B2826C6A978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a706262969d030d597019b5318adb55bb32c8480","datavalue":{"value":{"entity-type":"item","numeric-id":351735,"id":"Q351735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$33E379B7-8E68-41C1-AA7C-6518888CE701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$55732B80-0A7F-4C86-B709-87D2B620CD63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$B7C35E69-365B-4E0E-A1C7-40CB3F5014AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"528fd4e4e62279625069f1dc7f195683c614a8fc","datavalue":{"value":{"time":"+2014-07-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":"Q5168410$9E6DE676-F6AA-427D-89FD-DA21AEB5A9E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$ECF20D24-7BBB-4E49-9EF0-B402FF198D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$A26B14BB-6288-41FE-A183-9FC7B34C0A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$603F4315-110B-4BDE-A5CC-7FDAC8E5E546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9da4d0c9a827e3ac49da0e25f9dd6f71ecacc1fe","datavalue":{"value":"6313569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$C117B377-F323-4B62-8F70-750D848235C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ff8d9100fe4023ebe9b3aaea4870e2a981efb7","datavalue":{"value":"finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168410$19DB0372-210B-4239-BA70-B45B132B1126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057cb898325b280e778249a25e11e8f49b1ebc7a","datavalue":{"value":"process-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168410$DF6B83AF-9495-44C7-A011-1C82531FBC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168410$48843C20-AE8C-4F10-AFD1-D28497E44D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4588dabd08163972eef8c79d1133151daf9e8f70","datavalue":{"value":"nonblocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168410$04DB4EEF-D1F4-48F8-9886-A8AF30DA519C","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":"Q5168410$E6C77CD1-E692-4E4E-858B-84F3F8FE5BA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$79612F48-5B4A-43B4-858D-8F2F478E3B17","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":"Q5168410$6034CE0B-33EC-4CE6-9692-C3295A82DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$A8CA5329-BBDA-480D-A4D6-41EADF275E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814223f4bd4da30f448d5d1b2c41b51941fa97b6","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$2B88AB18-43E9-435B-AEFA-36BDDA32C85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e76407dbf6417ecc2d7078267d9ef5214e71eed","datavalue":{"value":{"entity-type":"item","numeric-id":5353290,"id":"Q5353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$8E238D56-3286-4D8A-8947-E03BC3111638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad1a6cca27b95e332a2f784b23a5cb646393672","datavalue":{"value":{"entity-type":"item","numeric-id":5484903,"id":"Q5484903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$E5D9AC7C-B914-43FF-BFF9-61F93F2788E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4366277a2fe4e97290661f51304ea6c2e2625","datavalue":{"value":{"entity-type":"item","numeric-id":976261,"id":"Q976261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168410$868FEEAD-8D1E-4F2D-B68E-D021B95B7BB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a627ac7c908095e28b6a4b5e6b77ac5e33f29dcd","datavalue":{"value":"https://doi.org/10.1142/s0129054113500287","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168410$DB786A8F-2BD0-403E-8B45-E2F16A6F9026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82b852e6acae9d397d5af0df746972421d53887a","datavalue":{"value":"W1970310659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168410$415526E4-C34D-4C9F-AB46-395E6C58F972","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6162fd6992b1106acd53b8e130c7b0a5f8c0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28011350b9aa12aedf4598fdc9caf6d03b55a39b","datavalue":{"value":{"amount":"+0.7766456007957458","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":"Q5168410$3B19D633-C519-4B5A-A20B-54391DCD36B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f3fcf3ddd52feccb4ba9a43bd3b394c8d30caf","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563702280df5e1537639c3d9fc2d0127ef61b8c7","datavalue":{"value":{"amount":"+0.7630296349525452","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":"Q5168410$7FB54F70-E832-4E6F-B043-6442939400B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b924f33539a420787b9c1bbc73132b6e70028d","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beead10a82c3c5f6bd937cb46a3b4d80dbd8e768","datavalue":{"value":{"amount":"+0.7494699954986572","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":"Q5168410$46B0F68A-E713-41B8-9FD2-A7831A50F389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810532ffefc738503b6b80d839efd0bafd6c36ce","datavalue":{"value":{"amount":"+0.7431619167327881","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":"Q5168410$3C159506-03AA-4014-B3B6-833A48C19383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7548d57b50949bf03e81fba57f5006ed70af6fd0","datavalue":{"value":{"amount":"+0.7415270805358887","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":"Q5168410$5E44BA52-CB90-479C-B5B3-4FDC6FD9FA4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification of the generalized nonblocking property using abstraction and canonical automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_of_the_generalized_nonblocking_property_using_abstraction_and_canonical_automata"}}}}}