{"entities":{"Q5937824":{"pageid":8114626,"ns":120,"title":"Item:Q5937824","lastrevid":47641702,"modified":"2026-01-02T07:15:23Z","type":"item","id":"Q5937824","labels":{"en":{"language":"en","value":"Semi-contraction: Axioms and construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620819"}},"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":"Q5937824$B9687E3B-405B-4E63-846E-D54A5D607A70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c564e15f97ec845d62de0e5c4dd9738050065555","datavalue":{"value":{"text":"Semi-contraction: Axioms and construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937824$45D9E6E5-08A6-4D13-9EDE-AF97BCAC6D4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d7b68e4b6beee4a14d6d3470d8cbd40d72d9ef5","datavalue":{"value":"0972.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$7C765CB4-3896-42DC-BD2F-B959AB68642A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddd2a774cb1a0e30d1e219ac95d6c64b158654b","datavalue":{"value":{"entity-type":"item","numeric-id":1387801,"id":"Q1387801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$0BE0F2DF-2FDD-4A21-9CFF-3244BF07897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2880a57423a89c8ca95583376a053981c38d8460","datavalue":{"value":{"entity-type":"item","numeric-id":1601883,"id":"Q1601883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$C1077BDD-B032-4A83-ACAF-79660155198A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$DFCDF802-B20D-4E08-A7E0-8544794D50C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937824$16D35B4A-7B54-4C1B-8B5F-CA20174D3775","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32055ce52e66147a8174248521e1094cd5aaf8f4","datavalue":{"value":"In the context of AGM (Alchourr\u00f3n-G\u00e4rdenfors-Makinson) logic of belief revision, recovery is the postulate of the AGM account of belief contraction that provoked most criticism. Contraction functions that satisfy the AGM basic contraction postulates, except recovery, are known as withdrawal functions. The first author defined (1998) semi-contraction as a withdrawal function that allows satisfaction of both principles of minimal loss of information and of minimal loss of information value (I. Levi; 1991, 1997). Now, the three-fold purpose of this paper may be stated as follows: (a) To propose an axiomatic characterization of semi-contraction. (b) To introduce a constructive approach to semi-contraction, based on semi-saturable sets inspired by Levi's saturable sets (1991). (c) To define and investigate a special kind of semi-contraction which is based on an interpolated semi- contraction function and satisfies the interpolation thesis of S. Lindstr\u00f6m and W. Rabinowicz (1991).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$A05A5508-06C4-4A5D-8E62-65215BD43676","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$7C169215-CFE5-47E6-9C22-212CB6C5AA3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$436539A9-1AD9-488B-B181-80F570DEB340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$F736E141-114A-4C11-800E-D43A540B5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$E981C507-9E53-49CA-876B-6F1EE3493110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a3b659912dd08a211fb72cd5da0c71617f301da","datavalue":{"value":"1620819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$0BEAE295-1CFF-48A9-BBD6-DA41EE825B72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"973c7a17a9ccad182ee43974cb5108ea0d545e86","datavalue":{"value":"recovery axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$34C02FDB-475A-4068-AD5C-510EB85D8A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9a7c8283b1f84c3af089b8fb5adef3c38e1d17","datavalue":{"value":"logic of belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$6E9B099A-2389-40E6-8885-9C6F7ED63379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9bc3c53b461384cdd3a7d8e85e3b6a04afef4ad","datavalue":{"value":"belief contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$0DE4A4EF-9099-4052-B15A-1D2E6B6E5CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d701a12f64ac71204c09ead161efa08ae3e9f1eb","datavalue":{"value":"withdrawal functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$9BF42802-1ECC-43B9-8E69-334BE8A48DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157950c17786e1fbad12aceb6c52bcb17c5a2127","datavalue":{"value":"constructive approach to semi-contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$E137535E-8EF3-47B3-B6C0-06B4028CB2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a833fbfb447d0ddcbb71ab02c298e983f9a123","datavalue":{"value":"semi-saturable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$11DEE496-516C-4C60-84D9-92DDF1D7FECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937824$2C774E3B-7784-4A30-A852-A196A0EFE0F9","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":"Q5937824$FBC6F8B9-1872-416E-B5E6-011ADF886C1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42aad61537d1e5638da65d6af660807ea45af96f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039182250","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937824$41F93E72-B307-4ECE-95AD-84411479993A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"645e724b917731e49e708ce793e3e43b69d4c4cb","datavalue":{"value":"W2019562109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$E64FFF8A-7AEA-4221-A5E4-CB7B4F13E660","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9f4515b2467f5a1db2a169090ddf111eec642770","datavalue":{"value":"Q62045372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$14E430E4-F639-49C2-8AB7-2BEC23923AC3","rank":"normal"}],"P223":[{"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":"Q5937824$2154396B-0CAE-440A-BA4A-CB73E9542AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b148f23a3b566b437d31045b1a43179f002ba","datavalue":{"value":{"entity-type":"item","numeric-id":3039305,"id":"Q3039305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$42B8046E-CF3E-43C5-B3C0-F91964C0F1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b170446f0a3aa7afa1691066001321ff0d142a00","datavalue":{"value":{"entity-type":"item","numeric-id":1387802,"id":"Q1387802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$5471BA20-C860-432A-9184-1E713BBD2F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657e8a3bbc1ea35801e1aa5e43e0071e3c3d3235","datavalue":{"value":{"entity-type":"item","numeric-id":4222185,"id":"Q4222185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$3EEFE1FB-B4AB-4E76-B3B4-D27C52443851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e5c4ddc2a46fcfc0ee5274876889d7606c8ca2","datavalue":{"value":{"entity-type":"item","numeric-id":1314509,"id":"Q1314509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$10DC9C7D-8B20-4BE4-8CB8-61C83E92B22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a577e0da01ec1adc44266e1d896fae0d9ab7207","datavalue":{"value":{"entity-type":"item","numeric-id":3107917,"id":"Q3107917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$C056636B-F48F-459D-BF3B-D28FF529B587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf83d9ffe43be1e2ee556b30047ca18fa3be49b","datavalue":{"value":{"entity-type":"item","numeric-id":3495345,"id":"Q3495345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$F74A0CEB-8F24-4E77-BB5F-F3624097DD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b8fe49b3cccec1632b53b1b50ed0fe903f8693","datavalue":{"value":{"entity-type":"item","numeric-id":1100194,"id":"Q1100194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$7095D113-B51A-4609-A6F4-3133FCEE8B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f181050130bf2807b7b09a1c80f24b482ab259b","datavalue":{"value":{"entity-type":"item","numeric-id":1322437,"id":"Q1322437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$9096DFF1-19CE-4875-8964-B596EEDEFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$B5C479E8-B7A7-4EF4-B371-28E4806670A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216096257a7f1c65254e89807ec33635e7e9d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903580,"id":"Q1903580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$FE1839D4-526E-4E9E-B8A9-175121A0063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$7D19AAC8-F456-4486-A323-4E15EE476A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88aaee332cbc5459f1d8ac6ae3c35126dbbd54db","datavalue":{"value":{"entity-type":"item","numeric-id":4260397,"id":"Q4260397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$ACB0FD46-45E0-4121-9B36-E294ECFF6AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2138e2326f0165f70dc93154bfd6a582bd73c336","datavalue":{"value":{"entity-type":"item","numeric-id":1095131,"id":"Q1095131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$A2B891F9-949B-4FC1-B1FF-08BC9689E171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53804e030752919bb9f1409090781a1a685be1b5","datavalue":{"value":{"entity-type":"item","numeric-id":757343,"id":"Q757343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937824$EA783DC0-90FE-4117-8CD0-3AE98CAC141A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eee9ec64b8ae5bcbd63936360e4c0733dda35781","datavalue":{"value":"10.1305/NDJFL/1039182250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937824$6A1E6BDE-DCF3-4F4E-AA8C-4B7B14EFBC9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07de918ac1924dbf22373142fe839c989f66de20","datavalue":{"value":{"entity-type":"item","numeric-id":1387802,"id":"Q1387802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558950a184b69479139ea1abd5891f42e8f4c23c","datavalue":{"value":{"amount":"+0.8824281692504883","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":"Q5937824$4DF24DF7-D10C-47A9-A198-25665E87A998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b19f58c3b8e4e099517551f0eb42f2b4d4d373","datavalue":{"value":{"entity-type":"item","numeric-id":1818381,"id":"Q1818381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558950a184b69479139ea1abd5891f42e8f4c23c","datavalue":{"value":{"amount":"+0.8824281692504883","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":"Q5937824$028FB07B-BF24-4418-B16C-28859CDC6499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e5266f40af5895039f77b0529c981f3b792b90","datavalue":{"value":{"entity-type":"item","numeric-id":1903580,"id":"Q1903580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e176e16c12a7ed2e40d621fccf3dc6bfb5d946","datavalue":{"value":{"amount":"+0.8501504063606262","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":"Q5937824$A51D67C2-E3D6-451F-9126-97A9C0041696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e393e0303775552b4fe02905f3ad241f744dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3138015,"id":"Q3138015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1308d47fa6e2a7b5711d02a644c4942ea7c6f1a","datavalue":{"value":{"amount":"+0.8501147627830505","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":"Q5937824$384BDAA3-6C0F-4099-BC65-DE4845B3AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281c2ad72aa8a54a343afdf0730611d22f094bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1181487,"id":"Q1181487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a26a02359e0051aa4c4ebaa703cae9406447edb","datavalue":{"value":{"amount":"+0.8401269316673279","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":"Q5937824$25EFF735-5EB1-4813-8C8C-C9869A28B8CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937824"}}}}}