{"entities":{"Q596025":{"pageid":597801,"ns":120,"title":"Item:Q596025","lastrevid":63023520,"modified":"2026-04-11T09:46:20Z","type":"item","id":"Q596025","labels":{"en":{"language":"en","value":"Towards the hierarchical verification of reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085473"}},"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":"Q596025$922AACF4-1481-450E-B52C-BF612468DF98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"833d2f9e73d299fe8a8a92d7c4938f74b2f55594","datavalue":{"value":{"text":"Towards the hierarchical verification of reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q596025$F90A0AE0-8217-427E-BE50-D9F43F33231F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"538c5be9d96cc6bb8942bed42772fa53cf6c0443","datavalue":{"value":"1071.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596025$B42C5321-A2F8-4CF9-B90C-FEE8E225D95E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"890b6cbf38a493b9160c8569b5f094a52bda7cca","datavalue":{"value":{"entity-type":"item","numeric-id":596024,"id":"Q596024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$7802942C-5E30-4770-BBAE-4745B34C22BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$148646C4-6C93-4AAC-A080-5708477D01F3","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":"Q596025$6869F6CC-33A1-43EB-8C83-DB32D7828BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e0adf53a19cddd0f150137b2408eb7868ef6930","datavalue":{"value":{"time":"+2004-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q596025$BC997942-7BEC-4924-9B0C-015D440E4D7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596025$5C0A6305-CFBD-485C-B3AE-D0E428F4D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596025$E31F5A64-2854-434B-9F76-95ADB9F26C7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d5e18a65207743b411ce011eab9be809dba699","datavalue":{"value":"2085473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596025$2B9FECC4-B1C4-4BE9-B829-A8ED786DFFCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f371187a5ea65b84d0b56e09c00f21964cedd1a9","datavalue":{"value":"Reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q596025$E119557D-76C6-42FB-8A1B-D1D34DD00A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q596025$E06BF125-B1AA-4F7B-9D2B-E03F493B736D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8303e7be0f09ad62ec86c537a3da8fbcc163b00a","datavalue":{"value":"Syntactic action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q596025$E553AB2F-A001-415B-BF4B-F1F8EAC4BDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac72b7d30a5e6217cde0f76a00b9b77334b047fc","datavalue":{"value":"Modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q596025$AC0F1646-5842-44B3-8298-2BA859A08AA6","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":"Q596025$5038D154-A4D4-4A18-8C76-9284F9813B51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e56f4af1f949a06773d9848b62888ced0dbea1f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q596025$7DD68C95-C97D-46ED-86B4-5232C88661B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f6d83cfe0bb85b747555e7f8fbc5e80be5a873f","datavalue":{"value":"W2046950395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596025$86BAF5D2-8EE9-4309-AF21-30CDDBC729F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22009a794e4c840afcc799d53edc162b0101c3","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$2B201206-AD95-42EA-9733-3740ABDFB628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9c17dafe917a58d7c315fe6b1c33e877b27032","datavalue":{"value":{"entity-type":"item","numeric-id":1323346,"id":"Q1323346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$98B99945-C72F-4039-AD1E-5D7E08029F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$55B46E8B-8F13-4FE5-A076-2DBB739A6165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$1E642470-003B-4AB8-B02B-68AE0C3D6AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$180D5D9E-CCD1-42FD-9A8B-1383C247AE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$46F571EF-4E1C-48FE-8162-E705388A0C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$20871F5B-2739-4257-97A7-C95F6F9265C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5354bbc72b7463906a1eb99270f6a5441bebefc","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$CF7C9268-C032-4153-ACAF-A92A299756C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$EECD4479-05FF-4224-8AD3-8E01E6E5DBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$1D945EF8-F3ED-4F3A-A7C0-74DE7340A8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a27ea9c6097e6dfed4ead51e72029fd24f7d35","datavalue":{"value":{"entity-type":"item","numeric-id":4518414,"id":"Q4518414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$650F6E60-94A6-4574-8F5C-E0D77D3E2090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2b108e51a9b4eb5389f20e9af0e62be989b9d","datavalue":{"value":{"entity-type":"item","numeric-id":1917085,"id":"Q1917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$106CC132-4C8F-4170-A30F-FE8160929EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e016121a20972b54628162e32384a16ea24af92","datavalue":{"value":{"entity-type":"item","numeric-id":2760253,"id":"Q2760253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$2A940200-311B-469E-8A52-BF8096BBB408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$A3D0F771-854B-4ED1-A8BF-CDC2023E7192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b08464fbc5808cb0d5ea17ed1cced807b8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":6162110,"id":"Q6162110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$42BB3F83-6E0A-4F82-B90D-1E1BAC0CE92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326ee7c83e69f923a1b5f6b3983f6244ac77a978","datavalue":{"value":{"entity-type":"item","numeric-id":4229096,"id":"Q4229096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$F2D055B9-3542-4DAA-BF3F-81E082370D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d998e779464769c994bf4083df4730d2e49eb02","datavalue":{"value":{"entity-type":"item","numeric-id":1350215,"id":"Q1350215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$45CC9B0A-C679-4655-9B5F-108CF76258EF","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":"Q596025$BE30EB89-4699-4B82-8544-FDDCFFC4590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5643f66c7c082be8bd56dbaf0654be51518f85a9","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$81251FD8-3DCD-49D2-BFCD-BA0CC3D18934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fca1acefb6ba720094148c13794011a516402df","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$1BC9B101-F6FF-4532-984E-4CEA74D86C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a798458443696fedee01695a0dac0699f40c996","datavalue":{"value":{"entity-type":"item","numeric-id":596025,"id":"Q596025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$2B71B994-ABC4-44F6-997D-102C694F3A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51f6ba84a9a5d2446af2554e7d94e298966eca4","datavalue":{"value":{"entity-type":"item","numeric-id":2753759,"id":"Q2753759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$19093DCC-392F-42F0-BDAD-0A9AABC02584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$FCAE91E5-5095-450B-9140-4AE66853A18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$D2F306D5-E69A-4108-A336-FF56EE82444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe75b8cbbfc44ecf04b4beef7258bd5c8404219","datavalue":{"value":{"entity-type":"item","numeric-id":3030243,"id":"Q3030243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$11C35AFD-895D-45B1-ACA8-AB3154EDF397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$93A6AD5E-9012-47CF-8CD2-900395885BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52283afa92165e645eef43fab90db48c7f1d5fd1","datavalue":{"value":{"entity-type":"item","numeric-id":1854462,"id":"Q1854462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$6CB5CE46-BF36-48E5-BCEC-CA981805026D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1e88c59e967c9d93293a22c53fd0e4784e564d","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$9DD1281A-2659-4FE5-BC7D-94EDF098034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$DF9EDE79-0B96-41E2-8ECA-8222DD0FA95A","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":"Q596025$D173A7C0-9334-47B7-BA8D-504D95E7DC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$C3C234F5-C90E-408D-B448-CC871FB51A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596025$D2F700DD-2C1C-4A37-8BE3-A41CABCF7689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"741e7e55a9dd8cc49505a1adef94ee1306b97ebe","datavalue":{"value":"10.1016/J.TCS.2003.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596025$67458CDB-E266-4E0E-BD8E-017786E3FFAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96d719f239a0e92b4346d5f1cf4886afc7db888","datavalue":{"value":{"entity-type":"item","numeric-id":4414393,"id":"Q4414393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c48d308296d19ff301970c5f1604e179731c32d","datavalue":{"value":{"amount":"+0.8842647075653076","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":"Q596025$437C6B5B-E64D-442A-A38E-82B2D0BC8CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9eae3bc183b98b2ee6c03736a2fe3f3b349049b","datavalue":{"value":{"entity-type":"item","numeric-id":5896943,"id":"Q5896943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f12b6a1650532a5904680ec86ea7680cb122fd7","datavalue":{"value":{"amount":"+0.8631900548934937","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":"Q596025$7A6DF5B0-EB5B-4FA1-A1F6-FB2CC6EFA26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f023995df5f51186dac2357ccaa6ca94650f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2753759,"id":"Q2753759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d204c15ab84cdbca8405d13b15694d2940e7c51","datavalue":{"value":{"amount":"+0.8339709639549255","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":"Q596025$6F68C2CD-C85E-47BD-84C6-4A828C979F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4225dcb4148da8240a3cb9b59e0e7e51d5e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":1019017,"id":"Q1019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df820d806209a92f45612dd9b35f056e07889007","datavalue":{"value":{"amount":"+0.7809892892837524","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":"Q596025$074EDCA9-FECB-44AD-8F9F-ADF514DD5C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5ccdee488b559d44cd464c636c8a8339e298b9","datavalue":{"value":{"entity-type":"item","numeric-id":685407,"id":"Q685407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1da6632a10a4494f029f7d2a003bba5009527a9","datavalue":{"value":{"amount":"+0.7688356637954712","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":"Q596025$BC54E2E6-61E1-4236-8C38-405A166D4A78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards the hierarchical verification of reactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_the_hierarchical_verification_of_reactive_systems"}}}}}