{"entities":{"Q3613064":{"pageid":5642970,"ns":120,"title":"Item:Q3613064","lastrevid":88531250,"modified":"2026-06-04T14:46:28Z","type":"item","id":"Q3613064","labels":{"en":{"language":"en","value":"Automatic Synthesis of Assumptions for Compositional Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527872"}},"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":"Q3613064$AF8CF443-ADE1-4112-952A-1673DEBEDCF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c04ca97b253606af341648c2e7dc05663e6e1063","datavalue":{"value":{"text":"Automatic Synthesis of Assumptions for Compositional Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613064$61E125E1-F070-4BC5-84C2-654F81D81ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2a93d50d985f10ffa8c19f1a065ae977a8fc22f","datavalue":{"value":"1225.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613064$665D2271-AE6E-4C80-8CB7-359E7285EBB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e25f932f7c8aa19238ce0f4b4c3eb10b63b2602a","datavalue":{"value":"10.1007/11888116_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613064$9A718310-7C0C-4581-9CD9-9314DF6FC2ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$0D7F76FD-3BF2-4E6A-BACB-5ABF55B7B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$AD542F55-F56F-4099-BF63-BFEC1011753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5244daf19dc5754447ef15576b175f67e96266c8","datavalue":{"value":{"entity-type":"item","numeric-id":3613063,"id":"Q3613063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$09929748-3E81-486D-AE4B-57B8B13A64C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$73CAE626-2231-46EE-BD56-2BC1C56256B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613064$DCA88C37-59D4-4BA9-AAA2-90F137C3B68C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613064$83F02EA9-D7BD-49DC-803C-4BB9324E596A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613064$2321ED16-B071-40D6-BE0C-1ACAC333CA76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2b4f340da519aef40568c4f19f66d3cbdc61a2","datavalue":{"value":"5527872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613064$AB307382-4FC0-41BC-84AB-DD3C8F0C566C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$87EDDCDF-C11B-4821-8EB1-1E3158BAFD27","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":"Q3613064$33C1A82D-576A-4DC1-B018-E98020897CBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af585b435d0abedd83ef61de771bc7fdaee5e0dc","datavalue":{"value":"https://doi.org/10.1007/11888116_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613064$E3C160DB-900F-4A18-AB8A-DD5ABDB6F581","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79bbc89cb0898f3c4fbd8e77d0ea613f62d4f627","datavalue":{"value":"W1593205213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613064$F4228CCC-832B-41DA-B7D3-AE21F23B6E49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$BC2E57A1-BA20-473B-8C9D-7877B7AFCB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$50E9C738-444C-48CE-BC62-16CE3D65E401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$C211AA1D-F342-4E86-89B5-13D955B84AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$E7C6CC51-8BE7-484E-8E0C-C3D602755988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$0676B729-6C79-4C2C-98C4-DC4F82BBC1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$9E670D6B-AA91-4238-93A5-95655BCD0227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$FCFFF987-66E4-4660-A71E-73E32EA34493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$A1996CFB-5605-4AAC-80B9-9207DC3D82C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50f615061ac96c9799cb135176c9735a55599c3","datavalue":{"value":{"entity-type":"item","numeric-id":2754080,"id":"Q2754080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$2B2A72F3-47E0-4AFD-B945-EA2748FA785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613064$DD3E321C-FBB9-4093-B27E-24FED1C971FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe2444a3b5e0acb64469f4c04985c58c021c5de","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a6dd50f9ab7d32d1d35fa3c7d6d776e17e3d88","datavalue":{"value":{"amount":"+0.9615413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$F52EA485-F252-4853-ABB1-3EEC6657BC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1288dd38b700c94fa32fcc9b76bf94f1ce6e1965","datavalue":{"value":{"entity-type":"item","numeric-id":934710,"id":"Q934710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a6dd50f9ab7d32d1d35fa3c7d6d776e17e3d88","datavalue":{"value":{"amount":"+0.9615413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$9F499CA1-5B55-4236-92B7-B78868EC0F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19aec3eb0dc71125a18dc75b1c1518f5aa36449","datavalue":{"value":{"amount":"+0.92443895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$76683FB5-9DC0-4C31-BBCB-80E311133457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e839ff61245dc772a2bdd2caf4d898f2a071f9","datavalue":{"value":{"amount":"+0.9080048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$A8361685-0826-4469-810F-27BD07DE4FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c20a31812942ccb59cf9cfcfdf0c1a94cef26d","datavalue":{"value":{"amount":"+0.9020795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$3FCD4B5B-822E-44DE-995C-A8DFFB18E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a4a999b2bd650f4e1f96aa089d84d9a0909606","datavalue":{"value":{"amount":"+0.8985428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$7065B1AA-DA1A-4AFA-91D2-D38166FA254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6795641e95021be4e5de7beddbd3542952c0cbd9","datavalue":{"value":{"entity-type":"item","numeric-id":2754093,"id":"Q2754093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2fa89deead6e889e507a378f5a51efd8406b12","datavalue":{"value":{"amount":"+0.8912186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$28CB8474-7740-4A60-96EF-50D7AE1466DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bd702f24d3fa38f3b154036b5b7d787e344fbf","datavalue":{"value":{"amount":"+0.8898232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$56F891D9-1BF7-4122-8E8E-345C61B6802B","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":"9e6949c46ce426c157f2dbdda96d5cdf7f780847","datavalue":{"value":{"amount":"+0.8870259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613064$BD6187AF-562F-47F7-B0F7-6C1B16063711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Synthesis of Assumptions for Compositional Model Checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_Synthesis_of_Assumptions_for_Compositional_Model_Checking"}}}}}