{"entities":{"Q3003826":{"pageid":3014550,"ns":120,"title":"Item:Q3003826","lastrevid":79801001,"modified":"2026-05-06T14:44:21Z","type":"item","id":"Q3003826","labels":{"en":{"language":"en","value":"A sound and complete temporal logic for belief revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5902338"}},"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":"Q3003826$F456A772-B32D-435E-8AC8-8A16A6900B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a000a918d1a8cf03f01085401ce377fbef328259","datavalue":{"value":"1227.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003826$80F97D34-CB32-43C8-ABA2-20BB8E4FCBDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb53f24d617843aca5185d782f1b6233ac186c7","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003826$6D885C26-F7C2-45A9-8E09-8E201C44DC57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fad9e66134bb431a5ce183a1b3c2f5a020fa1ea2","datavalue":{"value":{"time":"+2011-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003826$07C15984-8CEC-4C2C-9667-D27530125161","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003826$367C57B7-DD3C-4FBF-8883-12BAB4B0A8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003826$F18E4295-EF96-4E0D-9E7E-D74E1895B0D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7e3a8350df84bfdd592333c0bc237cc99f03e63","datavalue":{"value":"5902338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003826$62651CB1-8A0E-4D9A-A88C-AD4EFC3F1EFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003826$F1671AD0-FF67-4DBF-AA6D-11159D7052A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003826$A3A7D728-9846-43C3-80A7-13AA0D8B854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b8f2ff301d5cbd960be7aabe82795c1cab551","datavalue":{"value":"AGM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003826$F6E80726-557E-4990-98D5-1AF5629FBB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f975c70cb8412a56f5180bc60e2800fe2c5a9fd3","datavalue":{"value":"temporal-doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003826$0D994B71-2701-4AB2-BA63-C3FA29868C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003826$88E10FAA-30B0-4B92-BA7B-FD4AC53A6F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003826$D9C97D64-63E4-4002-9204-7C801BC837A2","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":"Q3003826$D39D2AD1-6CE9-4718-91C9-69248174CA4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f274244123a8e2ea3a5b530932c1cff8e6b72b","datavalue":{"value":{"entity-type":"item","numeric-id":1028901,"id":"Q1028901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9f5bef7cfa2e91ae0e327240fe19aab9c87a31","datavalue":{"value":{"amount":"+0.8315364122390747","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":"Q3003826$5A3B259A-0247-454F-8E26-0EEB64D5C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f680b45274e9c369eb5f9a35a691b51e44ecf1d9","datavalue":{"value":{"entity-type":"item","numeric-id":4599504,"id":"Q4599504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4538fb3c399babaa73de904928d114e32da3651f","datavalue":{"value":{"amount":"+0.8161248564720154","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":"Q3003826$7D59A28E-ACD6-46ED-A6B1-14525B082C8C","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":"4de328af2bf382066b9d18096632d5e258b1a26f","datavalue":{"value":{"amount":"+0.8052650094032288","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":"Q3003826$6F28CBBF-EEE9-4FCE-A6E0-78C31DFA8435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d284d736f01038d26fbc1dabc13d7c490f098f","datavalue":{"value":{"entity-type":"item","numeric-id":813422,"id":"Q813422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de328af2bf382066b9d18096632d5e258b1a26f","datavalue":{"value":{"amount":"+0.8052650094032288","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":"Q3003826$7FCA6B98-0F63-4FA2-99CB-CAC6CFF0B140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3fb0f3307041652d527cbd8d97acae6954101b","datavalue":{"value":{"entity-type":"item","numeric-id":3577742,"id":"Q3577742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796417493a67ff637c724e412a58f3416f4e6b62","datavalue":{"value":{"amount":"+0.794387936592102","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":"Q3003826$C3DDBABE-7370-44F6-B091-059654401293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound and complete temporal logic for belief revision","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sound_and_complete_temporal_logic_for_belief_revision"}}}}}