{"entities":{"Q690504":{"pageid":692353,"ns":120,"title":"Item:Q690504","lastrevid":63650841,"modified":"2026-04-11T14:36:58Z","type":"item","id":"Q690504","labels":{"en":{"language":"en","value":"EXPTIME-completeness of thorough refinement on modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110712"}},"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":"Q690504$F48DC865-9DD9-4825-952E-ED3BD04C410D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfbe16b2cceb8fae18152f7b19d0ac0f42762a55","datavalue":{"value":{"text":"EXPTIME-completeness of thorough refinement on modal transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690504$C027D9EF-6848-49C6-A996-570A024EA748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1179f31c14393a6adbb05f241ab54b285304bf21","datavalue":{"value":"1282.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690504$6343AB7B-E1BC-4B9C-8075-53F4EB1E31F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$69E170DF-6F69-486B-9AE1-5099F47D365D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$B8C82CCF-F8B3-4818-BBAB-E66C64434A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$962789B2-8252-4F6E-8310-4F47EBD9D367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$236A0BB6-2049-4A0B-99ED-D76833F7CCBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$501DA9B0-D057-4285-B092-DBA07C94F153","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690504$6CC770B6-B87A-4E5A-8FCD-334D18A7AF2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690504$2A030898-F1CB-43E0-9BB6-31962B5CCCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690504$29CB2FFF-AE4F-4D5A-AC31-16573C17B340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb777af4f3c240d6edd2622154c25f2112f4a732","datavalue":{"value":"6110712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690504$9443B48B-B080-40BC-A4F9-8760E551DC72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q690504$176FF929-C5EF-4781-B38D-F853C7545443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q690504$03B089C6-8247-44A6-9A45-1A307181C75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q690504$5BB3FEBF-C8B4-4078-90F0-D77713B3FFFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$46D2C805-F678-42DA-B6FA-3D9B8B42C1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efeed52009f72e31f44ab5bfde530f4a91fb82be","datavalue":{"value":{"entity-type":"item","numeric-id":21756,"id":"Q21756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$71D5DD69-3165-444D-85FC-A99F336FA675","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":"Q690504$735D53D2-66BC-4802-91B3-EB0CA1817788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d56eb71320f3ced02a13b2eaf030165dbc4de6e1","datavalue":{"value":"https://doi.org/10.1016/j.ic.2012.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q690504$4F0CBD52-CAD8-4177-AEE9-93827EA19D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"686a0908d362b05c1da341f102e9934389faa8e9","datavalue":{"value":"W2021472259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690504$780A2AC1-A5BD-4497-9834-9EBFB6F39CE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$5ACB78FE-A75A-4CD2-8319-D1BBF5033484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88638e4b60d05022da4de7c6bddc71ac604ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5458354,"id":"Q5458354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$A743C90A-A214-4606-8B77-EF6DA6700BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6caf3588e4a0482bfce570bcdb2ab8899f78530b","datavalue":{"value":{"entity-type":"item","numeric-id":3550702,"id":"Q3550702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$FFFB13FF-8037-48F5-8858-9F752D087DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$0904BFDB-6F16-4342-8025-834C7CF8E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9025c5e5cd65e45de7ef9a05b354bfa439bf450e","datavalue":{"value":{"entity-type":"item","numeric-id":3557076,"id":"Q3557076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$CB28CEE9-207D-4C5D-95DE-77525DDE0D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392863b139e29c8eb41e9bab67000bdc80e8a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$291EC02E-3292-4E89-AFE0-1C840B322ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e0a8fa34c561ec3bb6683c480f912515cd050c","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$6718B23A-7B58-430F-8F0E-3C5743438F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900bc7997e7deaa287902f2ad93d9def7be50e2","datavalue":{"value":{"entity-type":"item","numeric-id":953529,"id":"Q953529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$DC05A418-F831-454D-B416-71A2DA50D299","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":"Q690504$A51B648B-AD57-412A-B5AE-93B1CAB67FC1","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":"Q690504$83D85B16-9655-473A-A5BE-A4D00AC7543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$C80A9C55-C9E3-4FD3-9817-A8A7502DBF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ba1e452efdf2a13c2fd0b50268b1e02d16eef5","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$CA9203D5-0F79-4360-A5E3-4844DF199104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d60acd2371885d349952307da6978502740c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$D1A7D194-02F6-4DDE-9CA8-40FCAD494B16","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":"Q690504$259582C3-0C9C-40AA-9164-725EFA51CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218a39adee85051748a211c291a293352f4c6d50","datavalue":{"value":{"entity-type":"item","numeric-id":3424633,"id":"Q3424633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$340E5C8B-D58E-4100-B489-D67A4578A047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0675e37b0a5f7582a0e2bf97e8c023673cba9ae","datavalue":{"value":{"entity-type":"item","numeric-id":2266991,"id":"Q2266991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$100AE3ED-51D2-4365-9DDF-BDE15837D236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$8CD79A9D-DE3E-4B0A-998C-1A72340BC9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a95fee3414a851b207d4fabdcc4eef881c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":3600485,"id":"Q3600485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690504$2F4AF627-0340-4137-A0C7-924CD9B9CBFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd84cb78ed1826f6e8c90c878169229c147bdb3b","datavalue":{"value":"10.1016/J.IC.2012.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690504$DF21C45F-D8BB-4B8F-B897-FC40969596B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787ffef6b585ebdab1454c5bf702b9b1531216ad","datavalue":{"value":{"entity-type":"item","numeric-id":3393402,"id":"Q3393402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c045d39e2327d22ad4050909b5e4b976b5ce81b","datavalue":{"value":{"amount":"+0.9559181","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":"Q690504$3A378BE9-1143-49A7-B4AB-665965E36E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107f3ec122b133003532e01ee566fc188418f7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5170664,"id":"Q5170664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5d877e5af6aea900a995e43794bd92d0a9dcea","datavalue":{"value":{"amount":"+0.88203335","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":"Q690504$32484DAC-E74F-4C48-8D81-99C0BF94F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6920ad3ec6d4a15b214a79ea7b4068d40052b0c9","datavalue":{"value":{"entity-type":"item","numeric-id":2851908,"id":"Q2851908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903db4f73c53fcd6fbd716b7e86a283a01420275","datavalue":{"value":{"amount":"+0.8752731","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":"Q690504$6F006E87-C5D7-41B3-9D3E-7E207A8A3E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdaa4cc02c0f0248e256200fa60fb3d5734aa4a7","datavalue":{"value":{"entity-type":"item","numeric-id":4438121,"id":"Q4438121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79db72a9bec495bfae9706f7b31b4ec7372466a6","datavalue":{"value":{"amount":"+0.8745678","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":"Q690504$49936485-EDB6-4CA2-9874-633A6BD125EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ec441c3d44fca65d57104a393f9283143df5c7","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68056c0e563978d859c7bb03b5f6443eac33b816","datavalue":{"value":{"amount":"+0.87212265","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":"Q690504$717392AE-F6D8-4823-8B7D-52855A79B114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe49fb9742ac33082f565499de147c1748d09a0","datavalue":{"value":{"entity-type":"item","numeric-id":3406454,"id":"Q3406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b2b4ab8183e48bc4ec6baa74e69df97f15bc1d","datavalue":{"value":{"amount":"+0.8703867","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":"Q690504$6C33A568-4917-4907-840A-34230847E6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062ce89ec1163db1ba1c778f8e56fc268e119410","datavalue":{"value":{"entity-type":"item","numeric-id":490672,"id":"Q490672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66b9b5fd5ef605057ea48b050bbfeccf00c04b7","datavalue":{"value":{"amount":"+0.8657656","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":"Q690504$6C94B8CC-2383-4700-8087-5AA891C08C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f504f28226a77744271ba572881082cd8a5d76","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0448addb4e10247d05576649957427fb5c9d7af","datavalue":{"value":{"amount":"+0.8641219","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":"Q690504$FD4FC1DE-45D6-40FC-8E48-99E64D955E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bd70e188512922fdaa05a3967e05b31b7cdc7d","datavalue":{"value":{"entity-type":"item","numeric-id":283762,"id":"Q283762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ad8451efd0b6b86849eb2364e4e55a2c081485","datavalue":{"value":{"amount":"+0.8635942","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":"Q690504$B6A1FE9F-D63B-4295-A282-BDE5E4D78A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbbb71926e36a3f4eb65a1d114ff7f9df459918","datavalue":{"value":{"amount":"+0.86299664","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":"Q690504$E8FC7C08-8C0A-4B8E-BC6F-EE548D4DE38E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EXPTIME-completeness of thorough refinement on modal transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EXPTIME-completeness_of_thorough_refinement_on_modal_transition_systems"}}}}}