{"entities":{"Q1387804":{"pageid":1398544,"ns":120,"title":"Item:Q1387804","lastrevid":68599722,"modified":"2026-04-13T00:50:15Z","type":"item","id":"Q1387804","labels":{"en":{"language":"en","value":"A note on partial meet package contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1160510"}},"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":"Q1387804$1686B5CA-6A17-4822-8645-AE1594AE569B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4d5c9baa148b3c0e9610639ef7646b6e324c43a","datavalue":{"value":{"text":"A note on partial meet package contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1387804$51840A36-3BC7-4262-A227-765918AD5289","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dd239d2b170f6100a3abc8cdcbe13b21df3b2ce","datavalue":{"value":"0921.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$09382C57-04BB-4424-AE6F-09765E628B02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34c19acf9c5fda34f306b9bef69f22e1113cd09c","datavalue":{"value":"10.1023/A:1008274907099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$F649B0D0-93E5-4157-BA5D-DB9CF01396BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77eb002a4c3451bb6f849861f368a695f14cb15d","datavalue":{"value":{"entity-type":"item","numeric-id":1387803,"id":"Q1387803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387804$61943698-EA20-4D7E-A418-AD67DEFF520D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387804$02FDD603-DA2A-4C92-AF37-C8C9905EDB0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec2443ff209285a956ca794883324a907a1d35a","datavalue":{"value":{"time":"+1999-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1387804$BDBD3D39-5911-4F0B-80F0-AE47C742B599","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1bb9dae88c70aeb30ca2cab7934e7cc89c75e4c","datavalue":{"value":"For any two sets \\(A\\) and \\(B\\) of sentences, let \\(A\\perp B\\) denote the set of inclusion-maximal subsets of \\(A\\) not implying any element of \\(B\\). It was shown by \\textit{C. E. Alchourr\u00f3n} and \\textit{D. Makinson} [``On the logic of theory change: Contraction functions and their associated revision functions'', Theoria 48, 13-37 (1982; Zbl 0525.03001)] that if \\(A\\) is closed under logical consequence and \\(B\\) has exactly one element, then \\(A\\subseteq \\text{Cn} (\\cap(A\\perp B)\\cup B)\\). The reviewer [\\textit{S. O. Hansson}, ``New operators for theory change'', Theoria 55, 114-132 (1989; Zbl 0722.03028)] generalized this result to the case when \\(B\\) has any finite number of elements. Here it is shown by way of an elegant example that the property does not hold in general if \\(B\\) is infinite. This result is important for the generalization of partial meet contraction to multiple inputs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$2B6E7900-3467-44EC-93CD-ED7698A95CB7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"440928a9ec45514fba01f19644dbabf878c9d665","datavalue":{"value":{"entity-type":"item","numeric-id":253981,"id":"Q253981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387804$72D1EB6D-8332-464B-9555-D51C26717FC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$5ECE206E-9BA4-4D34-905D-B190084D6E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$87FDB59C-1767-49D0-9E6A-565AA326457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$AF71E27B-0A55-46F9-9875-452EE8ED7B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cc6d0c0123bf68e81de7093d4148243acfe1568","datavalue":{"value":"1160510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$38F158F9-BB01-48AE-8EF2-82D67FC9C8CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$696AA319-1414-4CF2-BADE-5ABF8EFE395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6b5892832f186ac278799d4ceab05932d0fe9f","datavalue":{"value":"multiple revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$3AA9EF5F-EAB1-4522-A8F1-B567DB46BD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6596d58d1b2368a8dc514510fc83890b54d82c","datavalue":{"value":"recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$C86956A2-A36D-4478-82E0-3FAB4F677409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9612ac0cd1a0aed318c1aea3d77838752b12fd","datavalue":{"value":"theory change","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$C41FD92C-E07A-4C80-AE09-33706EFB6F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86331598f0f274ca5d6a7a6a3bfe37fab405b11","datavalue":{"value":"partial meet contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$EEE1F837-F04A-44EE-9485-73101A2146B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c9d357c4ba8facf0ed313786d046d6c1a2d89d","datavalue":{"value":"multiple inputs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387804$CC0057EB-E531-41B7-8B5C-1E90B7C1B549","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":"Q1387804$D172DF2F-6096-460A-B2A7-098712223196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2052ca4478a7ab127f546ff5f14fa71c25d52606","datavalue":{"value":"https://doi.org/10.1023/a:1008274907099","type":"string"},"datatype":"url"},"type":"statement","id":"Q1387804$7CBC94AD-F8DD-4AE9-98EB-1D5A0487D587","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad1524747a1c76eda7d29890d05354cc48416bc1","datavalue":{"value":"W1483770917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387804$AFC56C8B-FD18-4BDE-A15D-D0A605EF3A34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d185757ff8e71a2c2a7cff87b39669830d6d3ae8","datavalue":{"value":{"entity-type":"item","numeric-id":417121,"id":"Q417121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2aac4f562cff33ddaaedaf3f96e98252a4b0b35","datavalue":{"value":{"amount":"+0.8005468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$8987F7CA-6C5E-4823-AD0A-057AD057BD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c997554e0a44fab14aa5e957403fe68b030f347d","datavalue":{"value":{"entity-type":"item","numeric-id":4715325,"id":"Q4715325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fed3e7414d71d5658f9a69eed2ccb825977647","datavalue":{"value":{"amount":"+0.79998326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$C7C03FD6-E2B5-4AC1-940A-5088125E5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71f82222c2b28843f16254510d55aa54d3210d9","datavalue":{"value":{"entity-type":"item","numeric-id":3698843,"id":"Q3698843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013e9582a9bd9a5477367dcc2cb46ee278d1c635","datavalue":{"value":{"amount":"+0.797738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$65C987DD-D08E-4B6A-B21E-A8C6C3DE5A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381b7796dd5eeefcbb3eaaf5bf9aa14ba8676eb6","datavalue":{"value":{"entity-type":"item","numeric-id":2811565,"id":"Q2811565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a91f8270b3ece31472bbf9963f766b10760577","datavalue":{"value":{"amount":"+0.79623044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$23BF24F9-6759-4846-9F8F-D15A6374415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75866f4a14615d5b0d4b93d0336d003e225be9af","datavalue":{"value":{"entity-type":"item","numeric-id":4855325,"id":"Q4855325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84353f5fcf3721a7ad5be2842628d9ae53cd9352","datavalue":{"value":{"amount":"+0.7916291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$2DD3DB6F-DA65-460E-8754-C71A37F07393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0417e80382aac86f82157bf0ddc6263c02eaa6","datavalue":{"value":{"entity-type":"item","numeric-id":616918,"id":"Q616918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775f74473e895ac5c6bd5dfd320d28db53f792b8","datavalue":{"value":{"amount":"+0.7903035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$85CACC04-88A9-4C46-8CB2-8F21DFE7CF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da8aa7c54b334e7e18a93931198fdd3edcec086","datavalue":{"value":{"entity-type":"item","numeric-id":1081817,"id":"Q1081817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6327c14c143cc0e2511065ca5b96550caac9ddb","datavalue":{"value":{"amount":"+0.78882325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$92AC437C-C987-4EFA-858F-844404B7DC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08c387a7eb6a77f93f14da246563b4905f54a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1933852,"id":"Q1933852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341bc83da8384954294f88008e07bf1be188ea5c","datavalue":{"value":{"amount":"+0.7886243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$11EB3886-B56C-4DBC-808D-26062D38838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70628c0f32cad2bc9c941f2dd149a1698a0f3f8d","datavalue":{"value":{"entity-type":"item","numeric-id":3529378,"id":"Q3529378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0e0e390607f809d417d190494361ffca4735d6","datavalue":{"value":{"amount":"+0.7874228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$0F0A3E2E-D745-4DFD-BE75-4B823835E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4dfbf3dfa9d7b3bf17af34dfc9325d8681339bf","datavalue":{"value":{"entity-type":"item","numeric-id":710867,"id":"Q710867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a722d9c627430b7b924556cfd71022422016dd","datavalue":{"value":{"amount":"+0.78717905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387804$BDBBFB98-BFA7-4699-9D05-7C1F8B4D2DD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on partial meet package contraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_partial_meet_package_contraction"}}}}}