{"entities":{"Q5170725":{"pageid":7200297,"ns":120,"title":"Item:Q5170725","lastrevid":52047110,"modified":"2026-01-20T20:08:25Z","type":"item","id":"Q5170725","labels":{"en":{"language":"en","value":"The impact of including model update operators in modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320279"}},"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":"Q5170725$DE87A946-8494-4B25-BCFA-2D7270087FBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe18d56377d232df7c26cddba41f68708728921","datavalue":{"value":{"text":"The Impact of Including Model Update Operators in Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170725$F8F2704B-56C7-4B4B-BDD8-876957A3A3D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aac43b5d2a7d58904917286e50a259afd6c5d0bd","datavalue":{"value":"1417.03149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170725$8C3EF2F1-E181-4930-A10D-F436ABCD70E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6d0329425058b0a05f5a55aa6d7ad4de83c8a0e","datavalue":{"value":"10.1007/978-3-662-44116-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170725$4832EB7C-421E-44B8-8CC0-D8BA9F849310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170725$2A8957D5-D7C3-42F0-B457-46203CADE37D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4fdcc8690e6bbf24922948da5ed95a48c19fd949","datavalue":{"value":{"entity-type":"item","numeric-id":5170723,"id":"Q5170723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170725$2E1B9B65-D657-49F7-8ED9-CD636430AEC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170725$B2710445-B250-45BC-9C24-BB459CC05706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170725$298A5CE5-60A9-4E4E-8C10-8D2684E51A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170725$8128834D-B36E-416A-AB96-7D5BDF60B098","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91bf8035143e6aaec0b8f770e362dbb6a4196ec9","datavalue":{"value":"6320279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170725$EE92439A-68CA-431D-B0FC-9D38CD37237D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170725$737B6813-0096-42FD-B87F-253BE3C8953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b576d2b7b4e38efa5ef2f715a1800e729925fe4a","datavalue":{"value":"model updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170725$1D69DDBB-18B8-46B4-BBEB-031A7A5CD492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170725$BF0BBA1A-0E55-4DC6-BC50-8F2D80B9C708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170725$9071E33C-1483-4558-83E3-AE1C0517C0AD","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":"Q5170725$ACA9571C-A8C5-4EB3-B092-DBB9C8E62620","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff215e4f4e3e8385a6c53627f6e169e5d7b33fd8","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44116-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170725$35E5C6D3-8308-4954-A80E-D3847FBA0268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a107488a73f58a3ecf84771e642b90878e9110","datavalue":{"value":"W94562101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170725$B5A2DDEC-A864-4124-9528-851B2292D2E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa4c48e9e3153570dbf712f277e18bccc31d457","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91d259fb13f841a9eb1aef9243244976110a703","datavalue":{"value":{"amount":"+0.799441397190094","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":"Q5170725$99F395E3-897D-4A6B-B0C1-7DB6B1F06AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8b8c507b4fdca7707058c2b696210f951a5436","datavalue":{"value":{"entity-type":"item","numeric-id":3094016,"id":"Q3094016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d37db02d0c7ab09694436e7b1387b04f2a7e05","datavalue":{"value":{"amount":"+0.7717660069465637","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":"Q5170725$12239C3B-A187-4BC1-9700-13C915F8F60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7352c3e34771af3e7b1498a5a5f325adf25ddb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4820467,"id":"Q4820467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45609b7e628409b5e80f084d4bf9b8e4d899c7e7","datavalue":{"value":{"amount":"+0.7518893480300903","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":"Q5170725$981419A5-56D3-4A0E-9347-586E1057BBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2468ee55d3320e670a6e9fe234772e543ef4c0","datavalue":{"value":{"entity-type":"item","numeric-id":5176675,"id":"Q5176675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a1772b8ce87b0dc08d63cd435a5c988cfff112","datavalue":{"value":{"amount":"+0.7507902383804321","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":"Q5170725$B730E109-D83A-4FB9-8E4D-2A9EB789497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743fc4cac311a3cf1bfc4476c68beadd1492fbdd","datavalue":{"value":{"entity-type":"item","numeric-id":2915023,"id":"Q2915023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53db0f03de920c84f9208db57f5934aa48637fe","datavalue":{"value":{"amount":"+0.749855101108551","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":"Q5170725$A2A0FCCD-5064-4FC9-977E-A4455EECB57F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170725","badges":[]}}}}}