{"entities":{"Q1277333":{"pageid":1288083,"ns":120,"title":"Item:Q1277333","lastrevid":46631517,"modified":"2025-12-25T07:21:26Z","type":"item","id":"Q1277333","labels":{"en":{"language":"en","value":"A complete axiom system for polygonal mereotopology of the real plane"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248205"}},"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":"Q1277333$C3CD7113-59CB-44DF-8EBB-96FADDB53CE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5acb29456eaed68cee49d366c2b0090ac075bd7a","datavalue":{"value":{"text":"A complete axiom system for polygonal mereotopology of the real plane","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277333$7B68BFBB-B30C-4E4E-8AD9-66A3DB16D19D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9684efc7b0091767671d73a851a6cfa28272a9","datavalue":{"value":"0921.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$B921CCDF-2A62-4155-B044-78CF8AA5AB6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba8ca6d24b61c7813292d2122487082fb6bfdff6","datavalue":{"value":"10.1023/A:1004361501703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$DCBB435A-8027-472C-AC91-E4D987C11A5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65ea4e7e847f2de92a5acdeedc55d53c1df70c4b","datavalue":{"value":{"entity-type":"item","numeric-id":190324,"id":"Q190324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$A10BCCA3-4530-4738-9AD0-F8ADED3A668C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31487b12ea384bcfb135f568aa63df0e1673f220","datavalue":{"value":{"entity-type":"item","numeric-id":1277332,"id":"Q1277332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$F1EF00E5-25A0-44DC-BD53-646C403DAB9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$A46021C1-93C7-461C-A880-0C0AA864162E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de63786316ebd0af50500de630c61ac9ddeda062","datavalue":{"value":{"time":"+1999-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277333$928596F2-32A3-4502-A11B-82672F751C97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c9d224d678bb752b7be69d4132a3421e7b5cfebf","datavalue":{"value":"This paper proposes a calculus for mereotopological reasoning in which 2-dimensional spatial regions are treated as primitive entities.    The syntactical foundation is the (first-order) language \\({\\mathcal L}\\) of Boolean algebras with a distinguished predicate \\(c(x)\\). Two formal models for the mereotopological language \\({\\mathcal L}\\) are presented:    In an interpretation \\({\\mathcal R}\\) for \\({\\mathcal L}\\) the polygonal open subsets of the real plane \\(\\mathbb{R}^2\\) serve as elements of the domains; and the predicate \\(c(x)\\) is read as ``region \\(x\\) is connected''. (Function-symbols +, \\(\\cdot\\) and \\(-\\) and constants 0 and 1 are given their meaning in terms of a Boolean algebra of polygons.)    Another interpretation \\({\\mathcal S}\\) for \\({\\mathcal L}\\) is based on the closed plane \\(\\mathbb{R}^2\\cup \\{\\infty\\}\\), under the usual topology. This model \\({\\mathcal S}\\) is isomorphic to \\({\\mathcal R}\\).    The mereotopological calculus \\({\\mathcal C}\\) is determined by a set of (eleven) axioms and rules of inference stated in the language \\({\\mathcal L}\\).    The main part of this paper is to show that the axiom system \\({\\mathcal C}\\) is sound and complete with respect to the given interpretations \\({\\mathcal R}\\) and \\({\\mathcal S}\\). These properties of the axiom system \\({\\mathcal C}\\) are useful for theoretical aspects and for applications of the mereotopology. For such theoretical expositions see, among others, papers by \\textit{B. L. Clarke} [Note Dame J. Formal Logic 22, 204-218 (1981; Zbl 0438.03032) and ibid. 26, 61-75 (1985; Zbl 0597.03005)] and \\textit{I. Pratt} and \\textit{O. Lemon} [ibid. 38, 225-245 (1997; Zbl 0897.03014)] and relevant conference-reports.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$2AF9087A-1397-4194-98D3-C720663AAC9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$4CAC0B70-44A6-425D-8DA0-16E28A86B5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1011955a46b5f2847e00ed237667143679c7764b","datavalue":{"value":"54A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$F577EA90-84C3-45F0-B215-DC2EB8F0641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$99EADFF6-8DA9-4C0E-A24A-B268AD236AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa1df1c80d30cbae99c821ce68cf7589f4a13105","datavalue":{"value":"51M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$3DFC1575-85C7-42C3-B1BF-D51E53191B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$D39E9AFD-6DBB-4CF1-A926-A5277DA8F554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d20d43b3975148f84fa51c5e8213bd19142800e3","datavalue":{"value":"1248205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$B45B2A0B-1974-4992-AC07-8A46D2373209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e30a18dcc60ead9375ee51308e27722e14c154b","datavalue":{"value":"mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$1B93695A-27DF-4E8B-B498-ACF15E6AD054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeee67cf896a269cc646aa53a49a1b4071cbca8e","datavalue":{"value":"spatial reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$A85EAF08-B7AC-4F14-9FA8-779727EF496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642507c0abd1221e0d27a586106b3e2c75d006a3","datavalue":{"value":"axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$7E9FDCBA-6675-42A2-8C52-551209E73C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631a50da075de2c1057d89c16d5f08fbab9d07be","datavalue":{"value":"polygonal subsets of the real plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$B7E6AA53-834C-4750-B453-5A7A7546AC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfcbb37d37f0e0c99d97a274c0714dc934b54580","datavalue":{"value":"mereotopological reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$141C158A-9C22-43A7-A101-6C68EB663646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d479ff41808dbac5e2b8736cb236d5fcce5848f","datavalue":{"value":"2-dimensional spatial regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$F7CDAF88-24D6-4A7E-823C-31EFFF644C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfefb0acd3da0f8c28d380b2d3baae582b58690","datavalue":{"value":"Boolean algebra of polygons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$D9470DC7-38F2-4B83-9E89-5766C2976F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d124d7d8621b792b2aa6acf5caba4026e4572c8","datavalue":{"value":"closed plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$07767903-CE99-4784-8952-6A7A21B1DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0e559d44d96fddcb852209f6aadcc9603a1789","datavalue":{"value":"mereotopological calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277333$7A06970C-14BF-44CE-8833-FA9797E6AEB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9f0d3a8dc4f635ecdc3554c9f787f5f49fc833a6","datavalue":{"value":{"entity-type":"item","numeric-id":587301,"id":"Q587301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$4193C225-621D-4AC8-8E72-C0E5E91F2A7F","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":"Q1277333$94FEA7A5-CE4A-45CD-9ACD-B777FF856039","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0d1038fb25b7343da1d742589d58913b355085","datavalue":{"value":{"entity-type":"item","numeric-id":1355124,"id":"Q1355124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$9E48E0E9-06EF-4DE9-B5F8-3A116CD1BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1bacc03b81526ae4cbc517fd9658573d54e3a2","datavalue":{"value":{"entity-type":"item","numeric-id":3996285,"id":"Q3996285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$61605511-98A2-494C-A038-8AD142FD28E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aba483ba061a56ef49a4bf44f5d7e7da09ac93","datavalue":{"value":{"entity-type":"item","numeric-id":1078550,"id":"Q1078550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$48C5C5AE-D904-4B7F-8F54-5FA18132CF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$28EC65AB-D79D-4B45-937C-3D3EBFD6ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87bfa39149c3202b01c21820700e767e580e370","datavalue":{"value":{"entity-type":"item","numeric-id":1381436,"id":"Q1381436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$8B9A63D1-9417-4344-9CD6-A579C46DEE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa363fc60fa35534711d68f8afec04492b476a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3907580,"id":"Q3907580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277333$219A2959-E983-494F-AE8E-84260801AB29","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a5b21f8f626582133bdd3498fc6fcd64064062e5","datavalue":{"value":"Q114011938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277333$9FFEB596-0CC9-4418-BA1B-59BAE1CF49C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07585f371c64367a7af45588d61aee5be48135e5","datavalue":{"value":{"entity-type":"item","numeric-id":1381436,"id":"Q1381436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bf91c7282ff04b046a7b99088db41854940b76","datavalue":{"value":{"amount":"+0.7999915480613708","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":"Q1277333$376F7B3C-0FAB-4F93-A352-2C17BBFFF70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943fdcfbcd0a913e837d3b76e7273c704bbd37e9","datavalue":{"value":{"entity-type":"item","numeric-id":5959762,"id":"Q5959762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccbd41e08a5f694b5c79584feeb43985f8d1f45","datavalue":{"value":{"amount":"+0.7918543219566345","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":"Q1277333$D5B426F3-CE9C-4656-A1F2-5B297079B74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be9fea0f3f52ac4f291022efb2cbac4c6338097","datavalue":{"value":{"entity-type":"item","numeric-id":4508265,"id":"Q4508265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc907763fc2e48751625bfdb525a2ae3b03bd13","datavalue":{"value":{"amount":"+0.7826725840568542","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":"Q1277333$F6E0924D-7929-41FE-8DAB-5CE679CDAD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"248d718325444604c23e6e7b5669b69b09c72682","datavalue":{"value":{"entity-type":"item","numeric-id":1863962,"id":"Q1863962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d33824c8edcee20ad26786727840b6034ea97cd","datavalue":{"value":{"amount":"+0.7707959413528442","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":"Q1277333$D1A94816-5C17-4765-AC10-068862065498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1277333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1277333"}}}}}