{"entities":{"Q1913873":{"pageid":1924615,"ns":120,"title":"Item:Q1913873","lastrevid":69275436,"modified":"2026-04-13T05:55:19Z","type":"item","id":"Q1913873","labels":{"en":{"language":"en","value":"On a characterization of distributive lattices by the betweenness relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883420"}},"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":"Q1913873$044BB11A-15FF-46E0-BDCD-FE46415B3DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310d6b2d3e33e5236859e5c6fe618cdca25d5894","datavalue":{"value":{"text":"On a characterization of distributive lattices by the betweenness relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913873$0E89D71F-DF7A-4B0A-85AC-F4AB92FEE416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00c4aea3be15264109be9cc2e8eab143eca2076f","datavalue":{"value":"0860.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913873$14A224B1-D700-41CE-98CA-3CB6A5171E0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53bba8d5fd14d2d7e3f9d7ac154a0e9f72915e88","datavalue":{"value":"10.1007/BF01195499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913873$B29245EB-111D-46D0-9F91-5DCCD786B2E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06af347d62b2363e181b683d510a6516c1089689","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$F40CE7DE-09E3-4783-9D27-CB1B8FE994DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$3FF1ED44-A6D1-4496-B7B5-29267CDB5405","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bc48ff7272712d3abc20a4d87040a18a4c3fff9","datavalue":{"value":{"time":"+1997-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913873$0930BF14-7BD6-44F6-A0C3-3BB210DF6E69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"741de9863203d5b5c1a0647b204f1f002f731f78","datavalue":{"value":"\\textit{M. Kolibiar} [Z. Math. Logik Grundl. Math. 4, 89-100 (1958; Zbl 0087.26002)] gave a characterization of (distributive) lattices in terms of a ternary relation. More precisely, he proved that a ternary relation \\(R\\) on a set \\(L\\) is a betweenness relation on \\(L\\) if and only if \\(R\\) satisfies conditions \\((A)\\), \\((B)\\), \\((C)\\), \\((F)\\) (and \\((D)\\)) given in his paper. \\textit{J. Hedl\u00edkov\u00e1} and the reviewer [Algebra Univers. 28, 389-400 (1991; Zbl 0757.06003)] showed that these conditions are independent. The conditions \\((A)\\), \\((B)\\), \\((C)\\) and \\((D)\\) are first-order properties, but \\((F)\\) is not. J. Hedl\u00edkov\u00e1 and the reviewer formulated a new condition \\((F_1)\\), which is a first-order property. Moreover, they asked whether the betweenness relation on (distributive) lattices is first-order axiomatizable, and in particular, whether \\((A)\\), \\((B)\\), \\((C)\\), \\((F_1)\\) (and \\((D)\\)) do axiomatize this relation in (distributive) lattices.    The author gives a negative answer in the second case constructing a counterexample.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913873$B51F17C1-850A-471E-9A86-015520EB5139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913873$75863115-7E76-4FFB-BAC0-BA33051B73AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913873$A841E3B4-61AB-453C-A423-932F765F2ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913873$18E970E4-A892-44D6-B24D-ED05F2B454E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc0ec6fa7b5f3aae239127b5c1e1a4ea38d47dac","datavalue":{"value":"883420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913873$0C98E9B3-C57D-4EBA-8C3E-8F378CA8DC51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67dc0285b8260783062d2308b0b72332b54cb048","datavalue":{"value":"ternary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913873$772D6D66-89C2-466B-8B49-A64EBCBE18F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1c4f89edba8b9a6914fe942a6a41e67044b0a7","datavalue":{"value":"betweenness relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913873$08CE3730-E89E-4D8E-81FA-D94835E7FB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc69c7af6dacb4baf163c5f7d647d4b1aa0abef","datavalue":{"value":"first-order property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913873$BCD81699-44A3-4E4F-8028-F2B9F859C55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994eb9921f7a06753e444d27d8fe77811804167b","datavalue":{"value":"first-order axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913873$CADF485B-EAFE-4EA9-B4EA-0F695663C0F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$D0784712-43EC-4724-974F-B174B7ADB5AF","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":"Q1913873$6C5DB40A-3048-41F9-93D5-16CF188B116E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292dc7819edc87a23c5f9779e7baf28017126a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4302913,"id":"Q4302913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$19854307-A5E7-4EB5-9223-D8D148EB2EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c011976786e9296b75809e37adbca982f4df1dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5787934,"id":"Q5787934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$8E638240-6496-4706-9825-30A2E2E38D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba916817e2c2dcdcbbcd5230142bfb9fdfe0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1179772,"id":"Q1179772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$5B296B84-56AE-45E9-B7A5-6508FBBFDBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f462b7ddc61912db4fc9a7ed4ef287d7c7bfc0df","datavalue":{"value":{"entity-type":"item","numeric-id":3259739,"id":"Q3259739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$2E6ACD6D-2994-47D2-B088-72A96EF8EC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12688bf597102e661be094ab637605dfb21091e","datavalue":{"value":{"entity-type":"item","numeric-id":5812334,"id":"Q5812334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$D9258E0B-DEA5-44EB-B083-74D92228FC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf5543542899c67380b11e66ec910f4fba9f80e","datavalue":{"value":{"entity-type":"item","numeric-id":5829074,"id":"Q5829074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913873$6D787023-E1FC-4A25-8260-2D8E95001538","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564e609aa164fb8f28af463df03542a7ef636a67","datavalue":{"value":{"entity-type":"item","numeric-id":5295945,"id":"Q5295945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33303a852561688efe327b1481005178cc65ccf7","datavalue":{"value":{"amount":"+0.930668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$8B340B0C-0FD9-44E3-B7C3-A9D2BBC4DEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0c1ebe7280128d1dbb36e230a084096d5878f9","datavalue":{"value":{"entity-type":"item","numeric-id":1179772,"id":"Q1179772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f150d3aa1af9cdd666f95c8b0c9e64a28101ddb","datavalue":{"value":{"amount":"+0.91565156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$124CF951-5E26-48F9-A423-1F815D68B834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e1c32d069281e6018104b1d9b7aba2000dcc00","datavalue":{"value":{"entity-type":"item","numeric-id":3569701,"id":"Q3569701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb024e7cb3e4f32b685e18ac5c4b4454d1117235","datavalue":{"value":{"amount":"+0.9152471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$21FE1E78-36D0-497E-A847-18A26985C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b55b7608e95866be09e82eb242047627eac0635","datavalue":{"value":{"entity-type":"item","numeric-id":1745080,"id":"Q1745080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22c84f6801e43554d499245a0df74155ce59de7","datavalue":{"value":{"amount":"+0.91398585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$CA855DD5-A01F-42F1-92C5-F941D43DD335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515fa5ee705e2f537621cc8231480f7e297e42f8","datavalue":{"value":{"entity-type":"item","numeric-id":5299206,"id":"Q5299206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14418ae587b482ae0b1453937e156b38bbc69332","datavalue":{"value":{"amount":"+0.91323555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$832E390F-C00D-42F3-A7BD-06FA6F965342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cb0202421558bc9ad00c9a71fde43bef8f4e69","datavalue":{"value":{"entity-type":"item","numeric-id":4783807,"id":"Q4783807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442828961c15650760738f610d1f4672eda47a81","datavalue":{"value":{"amount":"+0.9093565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$796D0C29-B7C0-49A5-855F-F3FF1388A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c510645411f7a3a060631b430ad096e660bf77","datavalue":{"value":{"entity-type":"item","numeric-id":1108297,"id":"Q1108297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0789dc2a27bb3b773ab469764c20bd1fdfe255e0","datavalue":{"value":{"amount":"+0.9091015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$B4F1725C-6D34-4703-9143-E39F5FDB8D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2248589d7ae0413e2da8de3ed061e177db8bb8","datavalue":{"value":{"entity-type":"item","numeric-id":1773439,"id":"Q1773439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97cb2eb307812a66dfa46b5ee5552315757c117","datavalue":{"value":{"amount":"+0.90836513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$6FB307EF-E3AC-42BD-B4B9-1808870854A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9db53f7d057e90ca39e427b1cb3a77b0b957bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1062082,"id":"Q1062082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f549b0d72ac768faee89a5f47e868f30f53a572","datavalue":{"value":{"amount":"+0.9057922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$7DE3FBA0-5883-4E1B-A759-E1CD8D5DAAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3694a10220d95a3a4615ffbf4ee020d17caf8d5","datavalue":{"value":{"entity-type":"item","numeric-id":2794157,"id":"Q2794157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f545065222e3e65aef9b680d0839aafc85716a2","datavalue":{"value":{"amount":"+0.90349793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913873$8BE1659A-DB65-4A33-A699-9F80158B7973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a characterization of distributive lattices by the betweenness relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_characterization_of_distributive_lattices_by_the_betweenness_relation"}}}}}