{"entities":{"Q3577742":{"pageid":5607646,"ns":120,"title":"Item:Q3577742","lastrevid":87393785,"modified":"2026-06-04T11:34:18Z","type":"item","id":"Q3577742","labels":{"en":{"language":"en","value":"Some completeness theorems in the dynamic doxastic logic of iterated belief revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5759968"}},"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":"Q3577742$C656DD17-A25A-470E-B365-3B2791EA9F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9c8f61643c074668c3bfe5d6b651e192cae7914","datavalue":{"value":{"text":"SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3577742$E182B517-6AEF-4FC1-9CC7-B639EA0DBD57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11ce3cb4df9c9d2c182275f14cb1bfb10a3e98c9","datavalue":{"value":"1208.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577742$A91FDB1B-F09A-4F47-A764-76A4F128E4E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f113e8b7091fa0356c92f1a7d82797518a50bf2","datavalue":{"value":"10.1017/S1755020309990384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577742$B687E1A6-9D17-4710-B183-6B1C600CD410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3577742$2AE25183-DBC7-4C6B-A116-A68B909C0A7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3577742$CB559914-8D56-4BD9-84BC-037EADADEC64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a461836fd92ea0493faa3675322153d43cb12527","datavalue":{"value":{"time":"+2010-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3577742$A1123A6B-4DA9-446E-B1F4-E0CD842F8F0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577742$4DEC4F5C-2533-4F17-9D97-BE49075D55E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577742$9DFA03CB-298E-4124-B931-37E24610CB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9824ee2d99090d019b0f13ad7cbbc6f7598a7cb","datavalue":{"value":"5759968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577742$E924E661-1F37-4CBC-8DD4-708C052F9ACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3577742$3A8B89BE-CEDC-437D-9617-DDAACC8455C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3577742$75540D3B-83BF-4641-BB14-294EA3B3A941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418aa9467dade11737f711c082b5156d9159554b","datavalue":{"value":"doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3577742$8ED41262-01DD-4C81-84E2-E4DA1E116006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q3577742$469D9186-A47C-4018-AFCE-BB78AD4DC3EE","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":"Q3577742$3F638DE3-FEB0-4397-9B57-223AD96A8EA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd685a194efaee92b4d001dce54b38629015c163","datavalue":{"value":{"entity-type":"item","numeric-id":3647267,"id":"Q3647267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3577742$6511205A-A930-4EC8-B1F3-F375B340AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3577742$8CCB5FA0-8BDE-4D1F-887F-1AB6FECC2A41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56310730f25f0d735b8d3e8dece4f45244c8f893","datavalue":{"value":{"entity-type":"item","numeric-id":4546696,"id":"Q4546696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04e157dcd326f738820423fa93c44172d51c607","datavalue":{"value":{"amount":"+0.8604730367660522","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":"Q3577742$E18DB636-757F-453A-808D-33172370A615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90d402756f974e0a3030b7688f494a83b3f2d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4847368,"id":"Q4847368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773cfc8e48da8c0b3df756532ddcaec89ec15baa","datavalue":{"value":{"amount":"+0.8353312015533447","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":"Q3577742$1C028D7F-B1B7-47DB-AF48-C703F7E34C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0903bd8a54655e0d8cf0bbefc4a5e75f90b336b8","datavalue":{"value":{"entity-type":"item","numeric-id":421352,"id":"Q421352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773cfc8e48da8c0b3df756532ddcaec89ec15baa","datavalue":{"value":{"amount":"+0.8353312015533447","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":"Q3577742$E4C705C6-4701-4937-80ED-72A5D2F90AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f1d65314f99cc36f61759ce23c2d2257ad2167","datavalue":{"value":{"entity-type":"item","numeric-id":814462,"id":"Q814462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99bb0d8c79dbc22f25802687c827c28bcfab81c","datavalue":{"value":{"amount":"+0.8224808573722839","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":"Q3577742$326E97E3-C9D5-4852-84C1-C648195CDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5845719263ed7e826dd3138d2d568bd6da2dc793","datavalue":{"value":{"entity-type":"item","numeric-id":4982655,"id":"Q4982655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195b36fdca76a155f49417da6f8eaa4fbe034e3a","datavalue":{"value":{"amount":"+0.8044295310974121","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":"Q3577742$D3FFD7DD-DF25-45A9-BA9C-AB1D81B0D74F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some completeness theorems in the dynamic doxastic logic of iterated belief revision","badges":[]}}}}}