{"entities":{"Q2915064":{"pageid":2925784,"ns":120,"title":"Item:Q2915064","lastrevid":84994139,"modified":"2026-06-03T05:28:34Z","type":"item","id":"Q2915064","labels":{"en":{"language":"en","value":"The complexity of one-agent refinement modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084937"}},"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":"Q2915064$C7DF0B23-4666-4A1A-B12F-FED73597DFA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56707dd7832daf147a95eeac57a65f959855631f","datavalue":{"value":{"text":"The Complexity of One-Agent Refinement Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915064$A101FD5C-5333-4A00-926D-6021E33D4600","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c94d617f9a5feca25f267b5f367c673e6f82cab","datavalue":{"value":"1361.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$09661B49-7A56-47E7-B3F6-6A5DEF99B475","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8ec7b02ae2727685ff2759c0bb0baa3287e89ff","datavalue":{"value":"10.1007/978-3-642-33353-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$0A5069D1-1D93-4592-84AF-E5328A041B68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$6490ABC3-A10B-4CD6-A097-953A634C893E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$75FDBB91-2354-44F3-A50E-E27471E281E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$2C26B13C-8FCF-43CC-A551-716E2C513AEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$C723B437-C68C-419C-B306-257E8F193ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915064$8E17EF4E-5844-45C0-A005-3A88C9ACADFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$384A01FB-63A8-43F5-BFDF-E3DCCDF5AEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$2137EBDB-1E79-4B41-AD47-D45D3023A99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$7A72FC0A-D050-4C28-AFA2-259F996E8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$8D58D458-C3C7-4925-A442-24A1DDC33BD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38f9d42c4e8c34ad2014d71b14a9ebb97f9a6e70","datavalue":{"value":"6084937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$D1655169-58D4-446E-93B2-CDFE9DF73D51","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":"Q2915064$F0E5DDCC-2CB4-4E21-9E14-79454D358F5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe8f9918664d72cfc01680d5161bc624346e510a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33353-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915064$FA1FA4A6-1981-49DD-A50C-E712DBB4E59F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"953944f9e044eb3789477f344e8cd0b1367aabca","datavalue":{"value":"W1557270390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915064$5C2A2307-223E-42AC-8E28-ED6132EB670C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$DB676C7F-A356-4CF3-86EB-E6833C3BCCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$FB0728B3-92BF-4CCD-8048-A5F038937104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$853799C0-A3ED-4FA5-8DA4-7C605B5340E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$188D0F91-77A7-4F38-B805-A95EA7B78570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$2CC567B1-D3EE-4CE1-B3BD-3E5ACC98B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$16835F88-041B-41DB-A386-1B74A63AC57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80d509ece8a9f441b09d5d8e0d6351b224bfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$0092779F-7087-4F7E-9E54-3FF036AFE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$81E6A8A4-0781-40F1-A7A7-5080A0CC160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec9ba6e99d0b988d6ab1227e6bdd591bb955386","datavalue":{"value":{"entity-type":"item","numeric-id":1577354,"id":"Q1577354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$2C10CB5D-B609-4D82-B387-7BEA456562A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$2B5AFF7D-EA70-487E-9E93-2AE241AEA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$C2536867-4CC3-49BD-8FD4-7784E1544E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8072f505c73f10095962efdd22fa881d5ec0299e","datavalue":{"value":{"entity-type":"item","numeric-id":3510800,"id":"Q3510800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$996A7044-639C-4046-88DE-C82C64C87456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ab04b8ef56dde32a7e6eae1bb96098c740931e","datavalue":{"value":{"entity-type":"item","numeric-id":4449214,"id":"Q4449214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$671F0E63-940C-4249-847F-BA7F8FFABF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38977d123654853ace0c471d6d8409e75d61283c","datavalue":{"value":{"entity-type":"item","numeric-id":3644777,"id":"Q3644777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$7A6F538D-80B6-4C2A-A3A6-BDAC20BD826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d1e1720b0b673fbc764e367ee2e3654b30011","datavalue":{"value":{"entity-type":"item","numeric-id":2904048,"id":"Q2904048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915064$5A52F82D-7D10-4FFB-A7AE-EE9147D39D0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835e80ad5ae2f19a0a1ae0600f891347cf8fd66e","datavalue":{"value":{"entity-type":"item","numeric-id":744988,"id":"Q744988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046dcb868d763c331dca2b17d1e7518bad955638","datavalue":{"value":{"amount":"+0.994834005832672","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":"Q2915064$5D446B25-B6A9-4447-AEDE-51AD97B01A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cdec68ad48dcca04e5687945f144ad6e1f672b","datavalue":{"value":{"amount":"+0.8324354290962219","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":"Q2915064$CEAA3806-9EDB-4D11-AC74-1851E34B2538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1519f4043748fba84530f4d06621c91709b0c597","datavalue":{"value":{"entity-type":"item","numeric-id":2825410,"id":"Q2825410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc1beb4c1cb63d274e3814750b08a17d1e47617","datavalue":{"value":{"amount":"+0.7438530325889587","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":"Q2915064$F08F8704-F75B-45D9-BA90-28D87F192253","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":"29cef967b73045270e7808dc0823014ab5427594","datavalue":{"value":{"amount":"+0.7257676720619202","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":"Q2915064$E7EBD1B6-1EDC-419D-8EF5-D688129F194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70976d17168dc5f0f4226a67e8a9563827eae7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4934251,"id":"Q4934251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e419761e62c55147ec511622a67aa2f1a432fb","datavalue":{"value":{"amount":"+0.723532497882843","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":"Q2915064$6145C53F-A871-431B-981F-92CDF645D5D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of one-agent refinement modal logic (scientific article; zbMATH DE number 6084937)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_one-agent_refinement_modal_logic_(scientific_article;_zbMATH_DE_number_6084937)"}}}}}