{"entities":{"Q5375878":{"pageid":7405452,"ns":120,"title":"Item:Q5375878","lastrevid":92325263,"modified":"2026-06-05T01:26:25Z","type":"item","id":"Q5375878","labels":{"en":{"language":"en","value":"Logics for extended distributive contact lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6937678"}},"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":"Q5375878$7EEE16B0-C6BC-4CC8-A007-DD096655678E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f8324b392be68d9f80d37f776be45f08913d3f2","datavalue":{"value":{"text":"Logics for extended distributive contact lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5375878$32EDADEC-9A13-4B12-9074-742290F1DCB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee277c2f19cfca47e32dcd3a181284b380959b90","datavalue":{"value":"1436.03169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375878$9995E2FD-04F9-4442-8836-20FA9B7E4556","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfe641bc83916e1be320e22093035c07e90b7e99","datavalue":{"value":"10.1080/11663081.2017.1373562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375878$4CD6AA9F-B4EB-4397-9ECD-1AB735A58D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d83ea16501a7789242417ddb893546c927ce225","datavalue":{"value":{"entity-type":"item","numeric-id":283360,"id":"Q283360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$C037730D-094E-452C-8080-9D86429F4666","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$F782374F-A4EF-4C78-B033-C8FD621FD24C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b659f459f103c6c1eb03033eb788f40be26f86f","datavalue":{"value":{"time":"+2018-09-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":"Q5375878$0D96EAA8-253B-4D6E-B701-7FD68D908D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375878$41BB6C46-B603-4FD1-B992-E07BBE7F8288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375878$53796794-E682-42BA-B0B5-D9FA9DDCF7B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8cd09375a8e3492e5947733a3f0a5048e3d8b0f","datavalue":{"value":"6937678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375878$B727E680-B12C-4398-9FEB-D1D9693E3C0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fedd47d7cfe9efe57c80eb0c562409334463cf2e","datavalue":{"value":"mereotopology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375878$28B423F9-2A14-4FE2-8DC2-1BEADD616AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008e361556c594e0238908cd01830afca4dd14ad","datavalue":{"value":"distributive mereotopology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375878$FA59F7F4-3F1D-4DE9-AF37-E62EA6651C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cabf76f26cc6ce1245eabdece970b558eb28cec","datavalue":{"value":"contact algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375878$B72E82B1-A95A-4286-8AE7-79F51820719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a4c2aa29ce0afabc24c9d0c773218be4f694b0","datavalue":{"value":"extended distributive contact lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375878$695194B9-33B5-4C77-BADB-BA71C9CFFA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa24b25b28c5b8929815acd20a7ba9ed26e9093","datavalue":{"value":"spacial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375878$6E218267-F2E9-496D-99A4-2523BBCD385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375878$C913DFB2-7158-4BC9-9047-D093F3EB445A","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":"Q5375878$4407A389-D60C-4D23-918D-9CE4DE431293","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51124e71b7587506b7717e64fd636365389c5b0d","datavalue":{"value":"https://doi.org/10.1080/11663081.2017.1373562","type":"string"},"datatype":"url"},"type":"statement","id":"Q5375878$4C6002FE-92F2-47B4-A442-4C6D80EA3E0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ee4f06eb6e82ad2ecbf2cc777bcb1b04263fd6","datavalue":{"value":"W2756978888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375878$594E25D1-A472-45B9-8045-1EDDCD6845B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$D4646DBC-4A54-4B0D-82D4-A879EB9C855F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494a717fa1efdab485eb2865dd67440a6b12b669","datavalue":{"value":{"entity-type":"item","numeric-id":5445158,"id":"Q5445158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$5F64165A-EE0D-4F51-B9B5-D6FFE8D99D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8365a30662f1af4e8f1fc14fdca4c00a4079818f","datavalue":{"value":{"entity-type":"item","numeric-id":2729670,"id":"Q2729670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$46995E77-B478-4F07-BB60-E9770E0B0563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$D36D1E55-7B52-4B6A-82C2-E01D9984BA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84bc520fb3ac5a6867ab393233abe7bfa7a901","datavalue":{"value":{"entity-type":"item","numeric-id":3416080,"id":"Q3416080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$85AB2488-C807-454A-B8A7-6CAF9A7792BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f918163d893f9b9c8472490eb735cb1483e41ee","datavalue":{"value":{"entity-type":"item","numeric-id":2729679,"id":"Q2729679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$CC9D7FD6-38F3-4EA1-AA86-DA3E5721516A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7263b7b1ca42eea2c5cf5b23a81703b72cec9002","datavalue":{"value":{"entity-type":"item","numeric-id":5459178,"id":"Q5459178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$E1CF7E04-6C1E-4E25-BF41-7635747217A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98293461633dea7c92ddb0d7a26ae29d0cc74617","datavalue":{"value":{"entity-type":"item","numeric-id":929965,"id":"Q929965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$E8C8499E-6832-476A-872A-86CBFD523C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a7449054f9ec01c61414e369bb919d93cd0587","datavalue":{"value":{"entity-type":"item","numeric-id":2581369,"id":"Q2581369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$8524B7B7-C970-44E2-97A8-6538E01B989C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb4e07fd5e5a588f9e1108b4089e1ac37558002","datavalue":{"value":{"entity-type":"item","numeric-id":505967,"id":"Q505967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$3FF95624-08F9-4436-A4A2-34DC71EAE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42907445e0c0f3af43551a2be5efa6cafd4f372","datavalue":{"value":{"entity-type":"item","numeric-id":1583514,"id":"Q1583514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$22E04A00-267C-4455-8396-F9F07A7D8B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b46c80f83c155165a692252b3ece505a1702c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3647306,"id":"Q3647306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$AAAA3174-60E1-498C-88C5-338529294B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855597513f4b5b75f7f59d5a9c4ef4481838cb67","datavalue":{"value":{"entity-type":"item","numeric-id":3447202,"id":"Q3447202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375878$890A073F-144F-42AF-8E0E-A27D7C3C7DB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c29806c4a355518c5f6dc63519e3aed84cd4f","datavalue":{"value":{"entity-type":"item","numeric-id":3830999,"id":"Q3830999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c36e6fca4e2a32d990fa7363a6bf3cd4c7ec95","datavalue":{"value":{"amount":"+0.9243666","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":"Q5375878$5B3774D0-7775-4EAD-A502-C73A6ACD790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82279e36f2aea0359724508c9e587c5508be158","datavalue":{"value":{"entity-type":"item","numeric-id":1797923,"id":"Q1797923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e8bab01565b72b7bc8be99ab41b2dabe5c8d59","datavalue":{"value":{"amount":"+0.9085112","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":"Q5375878$5BF54BB9-2A27-4039-B50B-68060A719422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7089265613e47278b7bc0454d89ed44eb75685","datavalue":{"value":{"entity-type":"item","numeric-id":6094160,"id":"Q6094160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fcd333703598dc19335cb3319973a4d272b938","datavalue":{"value":{"amount":"+0.9074831","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":"Q5375878$91734D9B-8FF7-4D89-A9DD-89E21D36C2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9208d0d9c731c104987fb7d32315a445f22a1342","datavalue":{"value":{"entity-type":"item","numeric-id":3081248,"id":"Q3081248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15b582f8fd63eaad6fd0eb491cb16429e511d13","datavalue":{"value":{"amount":"+0.89587224","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":"Q5375878$7C8DD8F9-1B87-4F38-9CB0-65E046CE744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6faa578f3547ce3265417e0e46055615e14c916","datavalue":{"value":{"entity-type":"item","numeric-id":4222960,"id":"Q4222960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06b8cf1f1de6baebb3fb6fbd984368eff45fa7d","datavalue":{"value":{"amount":"+0.88927925","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":"Q5375878$864C8822-8F2E-4B56-8860-E076C05F6B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9e544c76f4881e05ce7aeecbd9da3a53c2ea8e","datavalue":{"value":{"entity-type":"item","numeric-id":1712939,"id":"Q1712939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b411e3c487db98a253e237d69f25d9a9c5a8a287","datavalue":{"value":{"amount":"+0.8851353","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":"Q5375878$1591594E-F36D-44FD-B5D3-1C000666BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1c74d994e6e35410bd8434f964e39d04b048b1","datavalue":{"value":{"entity-type":"item","numeric-id":4944905,"id":"Q4944905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c15a376f0ccd42624e35224d1e85ef0b35fecb2","datavalue":{"value":{"amount":"+0.8823981","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":"Q5375878$5C71BFCB-B5CD-4ABA-98CE-033E8B4B77EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b3204fced6963a5aa1ec335358d3e6ff44b614","datavalue":{"value":{"entity-type":"item","numeric-id":6111084,"id":"Q6111084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c966dfda1bdec85b7e1bb08279deb47f44625fd","datavalue":{"value":{"amount":"+0.8811901","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":"Q5375878$C79D6E8F-5CF9-43A8-B17D-11A8BD727FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f10ffb2ba649a693ee8a4e0daef971b97915118","datavalue":{"value":{"entity-type":"item","numeric-id":3199402,"id":"Q3199402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2807d85c3af08614cc3432914253b44d04efc604","datavalue":{"value":{"amount":"+0.88095605","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":"Q5375878$33BDF990-7A0C-4FF2-AEB5-C5C128D96799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447578d6e327f6e0d0b571590fb4adaae0c182df","datavalue":{"value":{"entity-type":"item","numeric-id":2448299,"id":"Q2448299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f76035ab595a31cc2a21e3ecda06bc956f7601","datavalue":{"value":{"amount":"+0.87628645","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":"Q5375878$086F4D72-4D54-450C-A7D2-7F837D334C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics for extended distributive contact lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_for_extended_distributive_contact_lattices"}}}}}