{"entities":{"Q1285661":{"pageid":1296411,"ns":120,"title":"Item:Q1285661","lastrevid":70583994,"modified":"2026-04-13T15:35:16Z","type":"item","id":"Q1285661","labels":{"en":{"language":"en","value":"A compositional \\(\\mu\\)-calculus proof system for statecharts processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281130"}},"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":"Q1285661$B4BC9D72-5271-4BC0-97A6-6B705500533E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46e4d7953a0dafb01b2a3a8bbb57aca4b1527269","datavalue":{"value":{"text":"A compositional \\(\\mu\\)-calculus proof system for statecharts processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285661$255F308F-3AB7-48D7-851B-D2F41F7EDDEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"775351aa00aea73ce97e9f3aeeb431b26bfec910","datavalue":{"value":"0914.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285661$DFFE4A82-CB7D-4197-B3D5-B63493D838D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f39c1763e8addba1850db296a06916d3dfdf6d4b","datavalue":{"value":"10.1016/S0304-3975(97)00245-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285661$E97E2B19-1B6F-411C-BAC7-F6F5A9B52C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$16FC2BE4-D4EB-4610-9203-D860C3811514","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$94655534-06EE-4348-B0D4-3C5A0A16B722","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285661$1BDCC0EF-7DF8-4668-9863-41425EDC07B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285661$A6D6D63B-3F41-44E0-8CF9-3DEDFBB88114","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a7565f8a7d87ce9c98ccb1393176755dfbf8c8d","datavalue":{"value":"1281130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285661$3CBA7A9D-4071-46BA-8210-F29AD119979D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ee2ee1f99900c06084df1cd10d6861052e75b6","datavalue":{"value":"statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285661$2FE7078B-C33E-47DE-8A5A-DBF3AEF00DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285661$92CAA42F-6A31-4154-9AAE-31E24570F9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285661$4054EC6C-E20C-4933-8AA5-14C98C64645A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$BEABE7E4-DAAC-4624-BC60-8773EC9EFF82","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":"Q1285661$BDED6338-73A5-4AB1-91E7-193704CAABC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$E3EA46CD-ED4E-4A58-A9CF-62A262AFA2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c657f64cb04d23c3481d9e8fcddc3fcde2626cf","datavalue":{"value":{"entity-type":"item","numeric-id":685107,"id":"Q685107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$3C46FAD0-ACD6-4FC2-B984-11E31CA571FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$CB1A5390-97CC-4A6E-8BF8-E3C5305B6B69","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":"Q1285661$C0EAEBBD-118E-4C1A-953E-1DE5A15E7A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$E8561A62-7817-4995-A692-4033D1BDA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$E4D209EC-915F-4B42-8B10-37B77239F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d844e9b0bbca57d84dcca816adb08449eb3aee72","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$20BF39C9-E930-487D-ADBF-79C53CE1FA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b407c1db27f4fbab214a00dacb554c06694941d","datavalue":{"value":{"entity-type":"item","numeric-id":3792222,"id":"Q3792222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$F502D3B8-DD80-4ABA-B03C-1F2B9059A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$F4BD38A8-2A00-4323-9F61-F24EB9B2669A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$0696C0B3-43BC-48C4-BF60-BF155940D947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0236c27b44b1d5ff87db3c624b16ad39c44b9863","datavalue":{"value":{"entity-type":"item","numeric-id":4038716,"id":"Q4038716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$72B31D71-1ADB-4D41-976C-384C5BB84181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a06553f731cdc6000b61af3aacbba3f2d92b43","datavalue":{"value":{"entity-type":"item","numeric-id":4952304,"id":"Q4952304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$AB36A162-0B7F-452D-B680-71A3F50A1C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe3c0282ca08e17e502d48783c1032c53cc1aff","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$6EBB6750-0D04-4722-BE90-530DCB7D3715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$F40B299B-35EE-4A6E-AE2D-095B97676E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$E232B6DD-895B-4B46-B36C-DFB122FBE17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$0FC997FB-2BF8-4FA7-8A76-D85481C87CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82cf9bb4f5bde68e99ec2bc8ae649afd63e8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285661$FD120665-658F-4025-A356-A3012CB1FE6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf0d310421e211dc2198d1bc043ab0f7c85fdcd","datavalue":{"value":{"entity-type":"item","numeric-id":4529488,"id":"Q4529488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7144f71b951fd3d3285216e06b0c6359e99ce1b","datavalue":{"value":{"amount":"+0.8458569645881653","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":"Q1285661$59B035E9-1D43-49F4-A8AB-6FDD5CA63218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd538dfa943142275c84c51b53b5311f7e6b33cf","datavalue":{"value":{"entity-type":"item","numeric-id":4952304,"id":"Q4952304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a882113c110612b6371f9fc6f13e891238b94e","datavalue":{"value":{"amount":"+0.8254902362823486","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":"Q1285661$FC278AF0-3838-48A1-9935-3546C31FC333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f57b854aea5d8ecd364019527d4466271dd3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeb7192960cd6ac05ce08ac35c81e25ac8ddbd6","datavalue":{"value":{"amount":"+0.8142550587654114","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":"Q1285661$67CAD339-F8DC-4084-B7B7-5933744155F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec14e4901ea245bd8ce158b1e1e23774b01fe852","datavalue":{"value":{"entity-type":"item","numeric-id":4511273,"id":"Q4511273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe1c9cda89d9ec90135f27499c11101668b5355","datavalue":{"value":{"amount":"+0.7795873880386353","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":"Q1285661$E13D6B73-6171-4115-9DD8-2FCB6634F028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14769bb0b35d33367daf96f9521194d625b8bb12","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fbd31653f08755692db6998c10b5cffb20f696","datavalue":{"value":{"amount":"+0.7640319466590881","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":"Q1285661$5EA21A79-65CF-44D2-AB6E-FF32812A5FE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional \\(\\mu\\)-calculus proof system for statecharts processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_%5C(%5Cmu%5C)-calculus_proof_system_for_statecharts_processes"}}}}}