{"entities":{"Q3393402":{"pageid":3404105,"ns":120,"title":"Item:Q3393402","lastrevid":50749214,"modified":"2026-01-15T00:55:01Z","type":"item","id":"Q3393402","labels":{"en":{"language":"en","value":"Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597350"}},"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":"Q3393402$AAF7AB88-FE7C-4B35-A52C-55B6F0AE0409","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c97f74ed567370c3214834f5b98111699769be9b","datavalue":{"value":{"text":"Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393402$3681C494-4C51-4E66-AD4E-BCDD521CB370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bebe3a9f73d1047d1166dc45d3c0c95a915957d0","datavalue":{"value":"1250.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$AFBE0D9A-4A5D-481E-B96F-D0E628E5FCE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4788befde53c7943d32409b9457a3fd16cc208f7","datavalue":{"value":"10.1007/978-3-642-03466-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$1C14E043-53DA-4154-8840-63EB77705FD3","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":"Q3393402$EE55897E-4C38-483B-8406-9415CAB16DA4","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":"Q3393402$74E98CC5-13C0-47BF-B79F-89218C60129B","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":"Q3393402$0BFDF518-8D67-4930-80C5-AAAA1CEE5870","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":"Q3393402$E3DE1120-3511-4E99-88A7-D0EEC7A3AE6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"240c8acd5191d2bc1617f9caad166826b772af1e","datavalue":{"value":{"entity-type":"item","numeric-id":3393396,"id":"Q3393396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393402$1F16FDCD-CCA0-4A3F-BEF2-B895A469051E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3393402$7DB7EB08-BB0F-40E6-BDA4-EF77BB7958C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$7977BC46-4228-4195-AE64-AC74C2432FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$BF144E9C-4A93-4A77-8606-B08E7B295F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$458D2D74-A8FD-4B89-BF8B-FDACA72D14B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ea6cac161e3bff7c48d90acb3cde4c157d2ed74","datavalue":{"value":"5597350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$4A68DB48-F956-4921-B006-3A9AB1C1B756","rank":"normal"}],"P1463":[{"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":"Q3393402$A6A979E9-7D78-490A-9301-6AB32A977C89","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":"Q3393402$21C4050A-14C2-4629-BA41-1E524D321247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fcabacc8e45bc264a8a9ebb143f4901befb7e3a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03466-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393402$EFA73AFE-961E-42FA-8877-57A795EBFC25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd0c2e5510c84e78a3c5e70ab176750da49afa00","datavalue":{"value":"W1594368577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393402$A820C260-237A-40D6-9808-4182E22A8F85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003dd4cb71b5558dcaf499217255d392a166a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":690504,"id":"Q690504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baed89e19f93e8ea6b54f1bb4f7ef1e933767e47","datavalue":{"value":{"amount":"+0.9786335229873656","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":"Q3393402$BDC143FB-49E5-46C0-8225-878AB44D3CAD","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":"126b5b4ab0dead739475bb4605c86bde5a19cd0f","datavalue":{"value":{"amount":"+0.8565166592597961","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":"Q3393402$AB61B28D-9ACE-45DB-A684-CDB82C268475","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":"6593dd4e45e7153b9acd0d827d0abe823ecd618c","datavalue":{"value":{"amount":"+0.8234775066375732","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":"Q3393402$6C27CBF9-6A86-4D50-9568-237DB9E91E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fedac2374420c26f94c6d0c4142bf94246149e","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0618ac2f06ed35114ef137fb481038b985df10","datavalue":{"value":{"amount":"+0.8206222057342529","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":"Q3393402$C6676205-8E1B-490F-AA15-6E104D9C9BD4","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":"70d74497239e28b92a09672671dfab1239ef7d97","datavalue":{"value":{"amount":"+0.8074491024017334","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":"Q3393402$ADDE478A-1B5E-4FD1-9226-E92CE950CDA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393402"}}}}}