{"entities":{"Q2377058":{"pageid":2387801,"ns":120,"title":"Item:Q2377058","lastrevid":78729944,"modified":"2026-05-06T12:18:16Z","type":"item","id":"Q2377058","labels":{"en":{"language":"en","value":"Decidability of general extensional mereology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182009"}},"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":"Q2377058$3672B1EB-C789-4CC8-890D-9B1E9B62AA4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed2b633771fff1c6eefa20ed59e3d578f822484e","datavalue":{"value":{"text":"Decidability of general extensional mereology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377058$80E80FFC-8AE8-4A0A-96FB-CFED0D5B7975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5c3c43f621ab6d7e8be72c7ca7c84df82cfe89","datavalue":{"value":"1272.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377058$AB4FD413-25AA-4B76-B6D7-784F72B22CD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8335d263d12d613ec405f43e401b77516000f","datavalue":{"value":{"entity-type":"item","numeric-id":334852,"id":"Q334852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$527BEB44-F6FD-4874-BB3C-B82167689456","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$F4F3B2A5-CBB0-4778-BB3C-258CC7039E30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377058$50311CDA-DF03-40B8-B5A5-B24BCFBFE1DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f6c47359055f2782d2dc6dd694430eb66822002","datavalue":{"value":"General extensional mereology (GEM) is defined in the paper as a first-order theory the language of which contains only one binary predicate symbol \\(P\\) interpreted as the ``is a part of'' relation. Another relation, overlapping, is defined by \\(Oxy =_{\\mathrm{df}} \\exists z(Pzx \\wedge Pzy)\\). GEM has, besides the axioms of reflexivity, antisymmetry and transitivity for \\(P\\), an axiom of strong supplementation: \\(\\forall xy(\\neg Pyx \\to \\exists z(Pzy \\wedge \\neg Ozx))\\), and an axiom scheme of fusion: for any formula \\(\\alpha\\) with \\(z\\) and \\(y\\) not free, \\(\\exists x\\alpha \\to \\exists z \\forall y(Oyz \\leftrightarrow \\exists x(\\alpha \\wedge Oyx))\\). This theory is stronger than the mereological theories dealt with by the author in the earlier papers [Log. Log. Philos. 18, No. 1, 45--63 (2009; Zbl 1186.03018); ibid. 20, No. 3, 251--265 (2011; Zbl 1244.03054)]. The author proves that GEM is decidable and notices that a certain first-order approximation to the theory of complete Boolean algebras can be shown to be decidable using the same method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377058$CBBB615F-CC80-4FE5-880C-D8499591DEBD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$016CAC44-F0EB-4C6C-A038-2E385FD44B47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377058$7621D331-5F11-4583-B832-CE35E22280B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377058$0F7B7D6C-2275-400E-990A-514F54A2FA4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57facd4bf1c75efde34cc84f1a326605d150c3c9","datavalue":{"value":"6182009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377058$E1E356E5-6C73-4561-9F6F-3EB90633F20F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377058$219B9F0A-C37D-417C-B609-1D0AF99FFCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377058$6B217AC1-8483-4AA5-816E-86E508D25FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a236c5caafad148f6d6a60cfd0a30c4ad95418","datavalue":{"value":"general extensional mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377058$AB1B2756-F4AF-448A-944A-F31BF1310EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4521b9b735b6e5ab0fa59a198d104bc90b6ad88a","datavalue":{"value":"classical mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377058$CDD88E06-043F-4EC2-B54C-F77EFF2A8A1D","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":"Q2377058$E749DA21-FA44-40C2-A441-4CB1A42CDFED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ab879282b2f09d239d80527254ac7f33cfcebe4","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9400-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377058$265AAEED-CEA2-4220-BDCC-F6969CBFCA56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61031944ea363c3da6c62d63c7d60eacbbfbb71d","datavalue":{"value":"W2070115753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377058$BAB99AB4-8500-48AB-9A3A-5805641FD2E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1f91349870e9a8dd70b3575c57289dcc015b42","datavalue":{"value":{"entity-type":"item","numeric-id":4075442,"id":"Q4075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$7352D26A-46DD-4F5F-8C44-BC0C73D682F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$F0E4B895-662F-4943-9078-4A822F77BF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$14C529D8-DFA1-457D-939F-5448754ED330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58b6975c9133a84d0c5c9e3e79dc44f7841f04b","datavalue":{"value":{"entity-type":"item","numeric-id":1029832,"id":"Q1029832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$FADA49CD-4495-49E3-9F6D-D85389827296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$76CBB83E-A9AD-4A5E-86A0-A4C07B250B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602ce799b7ba1908a67c6a68c2529165cea52656","datavalue":{"value":{"entity-type":"item","numeric-id":3400307,"id":"Q3400307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$0B52411A-A4B1-4016-9C9E-7AD054E34C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d3793d06886b52d18e28ace736341c4435afd0","datavalue":{"value":{"entity-type":"item","numeric-id":3105694,"id":"Q3105694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377058$1D8F49D4-1F67-4595-B81D-D6A7F73AB7A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b422efa9acc0e1f6a6115a6ca39cebb90b97791","datavalue":{"value":"10.1007/S11225-012-9400-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377058$9C833E2A-30B0-4797-95A0-979E2F41BD99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29ce0df6235813aa4202f8ca004cf03cbb4a708","datavalue":{"value":{"entity-type":"item","numeric-id":3400307,"id":"Q3400307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88676ce683bc7fa059e6bb78eb566594cf0751f8","datavalue":{"value":{"amount":"+0.9394347","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":"Q2377058$E78349AC-03FE-462F-94F6-22C8B5C02D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df81ddb87bc23aafe996708322e8c1401745c20","datavalue":{"value":{"entity-type":"item","numeric-id":1790606,"id":"Q1790606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234a1df5f225ae9d61feec7869522918843f6d27","datavalue":{"value":{"amount":"+0.92126477","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":"Q2377058$DC9C16EE-FE1F-43C3-B8D5-99384C4F84E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6016f189a84c6b66cab67dd15ff136b19a0d22f","datavalue":{"value":{"entity-type":"item","numeric-id":2354622,"id":"Q2354622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbf3316ac066a2936243c0f010acf5e375b4ba3","datavalue":{"value":{"amount":"+0.9115146","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":"Q2377058$259D1290-A773-406E-84F4-F15EC272F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6a36fdf4ee1d65c96e28b9d055edb6fb37f361","datavalue":{"value":{"entity-type":"item","numeric-id":383563,"id":"Q383563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a6db0c410906f0390c13fd82f15032a35d2b0d","datavalue":{"value":{"amount":"+0.91107184","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":"Q2377058$E5601164-59F3-4075-94D6-2CC29E2CE2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b433af9d09301ec55c4582d6a0185655e31e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3105694,"id":"Q3105694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d959562b7d9fa6d0edb2a66d4179f2da9796ef9","datavalue":{"value":{"amount":"+0.9012505","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":"Q2377058$9583E808-B1F7-4E64-B422-F5DCCC4CF03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cd36d22245df6f5d9c6b0b3df56bad980cfb0a","datavalue":{"value":{"entity-type":"item","numeric-id":5099998,"id":"Q5099998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af31040de18d878c3a7702069cdb8a4577979744","datavalue":{"value":{"amount":"+0.88382953","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":"Q2377058$C1AD6302-E0FB-4EE6-9C24-9DF7F9F41B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36d0b77693b65db4a8c6b1a3bd538e796d5a937","datavalue":{"value":{"amount":"+0.88361245","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":"Q2377058$CAA9B556-CD23-4BB3-8C3B-0BEFCF7003AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0183aa09aa67896853fc50f5ba5ebaad48075a","datavalue":{"value":{"entity-type":"item","numeric-id":3613068,"id":"Q3613068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519582cab51a42da348ce7364cc099364f888994","datavalue":{"value":{"amount":"+0.877929","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":"Q2377058$30C32342-0A24-4723-900E-7A3C12109AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452f3153e7b31e196d9a7308ba733c77d4d4574c","datavalue":{"value":{"amount":"+0.8761693","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":"Q2377058$01A6F887-6CC4-4AA3-84AB-9617C32211B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a05857f540d1b02f7b6c03a37b004899475483","datavalue":{"value":{"entity-type":"item","numeric-id":2204682,"id":"Q2204682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39076fc1ed6ac954cffba2291216c42c9039646a","datavalue":{"value":{"amount":"+0.87548184","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":"Q2377058$6E8F5729-EFC6-4242-8E23-8D0C074F860E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of general extensional mereology","badges":[]}}}}}