{"entities":{"Q3648705":{"pageid":5678611,"ns":120,"title":"Item:Q3648705","lastrevid":90441860,"modified":"2026-06-04T20:11:59Z","type":"item","id":"Q3648705","labels":{"en":{"language":"en","value":"A framework for compositional verification of multi-valued systems via abstraction-refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640943"}},"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":"Q3648705$C56122A7-E428-45B0-BE0C-7A4E300DC343","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd07efd57a41cfa2d310dbeb8153eca2ec8f3783","datavalue":{"value":{"text":"A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648705$8ACF4552-971C-4100-9F8D-CE797A47AF17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1278e0a9614a000bf75b5c3e0d6838a096298b25","datavalue":{"value":"1262.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648705$D4F671CD-3A70-4ACB-B379-82EE5983885E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fa3002dbd14c1d3255d11bef1a0891734a61f4f","datavalue":{"value":"10.1007/978-3-642-04761-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648705$32E6DEFC-3AEB-460D-A54F-836795E46D95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f473f95360f21f7c44f079c665f94f6b69a50d","datavalue":{"value":{"entity-type":"item","numeric-id":259062,"id":"Q259062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648705$6411DA68-627E-4BE0-856B-EA5D06B7AF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648705$BED67434-EE6C-46EE-8853-97DBB85A31A2","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":"Q3648705$B5CF66B6-DCB6-4188-A62C-20503E95326C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648705$2C006624-A1E2-4CAB-AA96-AB64B9FA1642","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648705$3992FB60-69E6-48D1-B8BB-CD8407662C9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648705$A1AB2973-A587-4DB6-A98F-13772254035B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50f3433ed72e6a8b60e4d01b0d9cb996aba81be9","datavalue":{"value":"5640943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648705$B67949BE-FA4E-4BB5-86AB-AB5961031AE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49c5c39569fd0ed2872b7f9aefbae8dce402c98d","datavalue":{"value":{"entity-type":"item","numeric-id":21453,"id":"Q21453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648705$63CE3544-87D0-44DB-9A45-677FFEF22EC5","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":"Q3648705$35ED7C71-694E-41AA-847C-8786832862C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bed6519aeeecbb56c194f7b0dd8df2ff6dd08111","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04761-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648705$0706A5D4-BCF6-40D2-B577-2D2D47BD0D58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63f9584aacf0b5c03cdaa1a39f567fa649779a84","datavalue":{"value":"W1574267655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648705$9B02E4BA-C3D3-4611-9FD2-CA4AD0FB9D74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1878bbd191b2694809928739d08806c640ffe2d6","datavalue":{"value":{"entity-type":"item","numeric-id":259065,"id":"Q259065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f5c21620971f6c0038219cb095ffd52529f7d8","datavalue":{"value":{"amount":"+0.9785260558128356","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":"Q3648705$9A63E42A-AC41-490D-929C-29036EFF3B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66b4fe52dca4fb899cd55869b801f54a5f2104","datavalue":{"value":{"entity-type":"item","numeric-id":3648707,"id":"Q3648707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da03d7df31e2c7b0b5fb5fe560c66bddae5ef3a7","datavalue":{"value":{"amount":"+0.8206838965415955","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":"Q3648705$E3F6143F-3234-4B4E-BF2C-5CAC752CB8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ae64bc0ad5b394ee7031366335e4d9211bed2d","datavalue":{"value":{"entity-type":"item","numeric-id":3611995,"id":"Q3611995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400fc7f94df108d96d159d11d8ad6998915983a7","datavalue":{"value":{"amount":"+0.777218222618103","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":"Q3648705$715C15D5-3839-4601-9294-D792FB683257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5efdc6ae8041aeba2da4f8b379e9cd4087e37568","datavalue":{"value":{"entity-type":"item","numeric-id":2266991,"id":"Q2266991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c24ebaa6e556c087f0df8dd23695019f5bc6a7","datavalue":{"value":{"amount":"+0.7742318511009216","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":"Q3648705$3990367E-F158-42F3-B139-E39958860461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae6e3221df0ff4a1b5b8b6246bdcae05f1271c8","datavalue":{"value":{"entity-type":"item","numeric-id":3060979,"id":"Q3060979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bf6ab15ea54e10285dad119c0b3c5561e33088","datavalue":{"value":{"amount":"+0.7637084126472473","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":"Q3648705$A665A90E-148D-4AB6-A731-5100C290234A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for compositional verification of multi-valued systems via abstraction-refinement (scientific article; zbMATH DE number 5640943)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_compositional_verification_of_multi-valued_systems_via_abstraction-refinement_(scientific_article;_zbMATH_DE_number_5640943)"}}}}}