{"entities":{"Q634744":{"pageid":636592,"ns":120,"title":"Item:Q634744","lastrevid":63140985,"modified":"2026-04-11T10:52:10Z","type":"item","id":"Q634744","labels":{"en":{"language":"en","value":"Generalized Priestley quasi-orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939491"}},"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":"Q634744$BA83D088-F04E-466D-A90A-5784D85A3334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a128d50e2f40a39896a9528d8904cc3bbe54ccf3","datavalue":{"value":{"text":"Generalized Priestley quasi-orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q634744$562D9346-9E0E-40D1-B67D-D9BEDFBE9FB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c92a7bd5787600136850a2ec505bb29f9bc02d8","datavalue":{"value":"1243.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$1AE176B2-9F9C-4B79-A879-235E3BC7AD56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$A7CBD805-D32D-4D87-B676-4D5554C9CA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$884D696E-B5CA-46E1-8F09-BCF7AB9B7D27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$313870AA-97CF-443C-8FEB-7F26CF3A2B58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q634744$29ED18F4-05D7-4F05-BB28-B9A2FE9328F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcd771a3112c080afb1af557a38d03de8c35d464","datavalue":{"value":"The authors investigate bounded distributive meet-semilattices, and especially bounded implicative meet-semilattices. First, they develop a new `Priestley-like' duality for the category of bounded distributive meet-semilattices with homomorphisms. Secondly, they extend their description to a duality between the lattice Sub\\(_{(0,1)}(S)\\) of all subalgebras of a distributive meet-semilattice \\(S\\) and the space of generalized Priestley quasi-orders GP\\((S).\\) The final result is a generalization of a characterization given by \\textit{M. E. Adams} [Algebra Univers. 3, 216--228 (1973; Zbl 0288.06015)] for bounded distributive lattices. In addition, a similar description of bounded implicative semilattices is obtained, generalizing a former result by \\textit{L. L. Esakia} [Sov. Math., Dokl. 15, 147--151 (1974); translation from Dokl. Akad. Nauk SSSR 214, 298--301 (1974; Zbl 0296.02030)] for Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q634744$477E69DE-21C4-48F8-AEB9-E8DC3FFAC7F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$F463BAD7-2003-4756-8FA8-78A1604066ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$1CEE37B3-6827-4A1D-8F69-5B1027ECFB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$2D817CE4-41A0-459C-95B7-E8D47C20E012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eca03ee7bf5ff3172fa6649711b5fb7e8d00582e","datavalue":{"value":"5939491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$B483853B-1517-4B70-B701-FBF0CECDB3D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a87e20b1b432dc76fa043403a9f55f4718dea862","datavalue":{"value":"distributive semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q634744$B49C300F-822F-400D-928A-13F05216F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e8127f4e508cb5835952466e7c685640b1c1af","datavalue":{"value":"implicative semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q634744$54983CAD-B4C1-4299-85D7-CCE3A74821F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q634744$CE491D19-7BBE-4BB9-B7AE-BD187FBCE4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q634744$79315218-B2A3-482D-8F4B-F40B6C80D784","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":"Q634744$454EB3EE-CD7D-463F-A255-63095D782DED","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":"Q634744$5D0D243A-89C7-4DA1-A33F-9E0B2219C654","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc4305d8a83157873b5296a7fbce2632da677dd3","datavalue":{"value":"https://doi.org/10.1007/s11083-010-9166-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q634744$04DB2448-7CDE-4050-B0BA-9D6DC6B94526","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"222e514061c49bb0e3bf8c4c4e57d633fe6e0799","datavalue":{"value":"W2105861263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$544B175C-61BA-4710-8025-159D764BC954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c328ff5a1104b2b229e3c05d4cd725d44f09af9c","datavalue":{"value":{"entity-type":"item","numeric-id":1846445,"id":"Q1846445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$72C022AC-A45A-45CD-9469-530F84F6F53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad167baa563b9fee329fefc3d5077f18ff6d622","datavalue":{"value":{"entity-type":"item","numeric-id":1942035,"id":"Q1942035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$432238D8-4A69-47CC-8CF9-90B0081A83D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde25b7f97c1c0a349b936df7b1e27294060bc26","datavalue":{"value":{"entity-type":"item","numeric-id":763299,"id":"Q763299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$C11DD0CB-7E07-466A-AC72-EACE6E5FF515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77228b85c1f27bbf1d343133dc347747837b26d4","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$9CE5105B-89A9-4775-861F-D01B6E22A88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$52598019-B87E-45B3-ADB3-EAFB270359E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$BFB757BC-34BA-4751-8A3B-0CF622044D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$7799A648-929D-4206-B1D2-0170A021AFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$40E6003B-12B8-4115-A0B6-1B30B4CA0BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$5C67C638-0A57-49ED-8AC1-CEB518984AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29e9badf7a25dbbec38379786b5899f0f8f1e2b","datavalue":{"value":{"entity-type":"item","numeric-id":1611300,"id":"Q1611300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$7E700ACA-AB64-4E40-8A86-16756FA692B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634744$9B6460FA-716D-4239-B24E-D67DF8698A66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14e35a3c64c9f9f95ace3c1fb9ce5322edf7c7ae","datavalue":{"value":"10.1007/S11083-010-9166-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634744$9F7E8959-2C70-448D-BBCA-E8FAC62C3251","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b60286f5732ee6ead7855e869ba2c30da6e29a6","datavalue":{"value":{"entity-type":"item","numeric-id":763299,"id":"Q763299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcea2556b769bcffb2b6ce4c0fd9041bee67a669","datavalue":{"value":{"amount":"+0.844618558883667","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":"Q634744$5A49A9E4-9AE6-45FF-825D-C651606FD3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55f0bb54409537538b0676e02bc4dd02d99a347","datavalue":{"value":{"entity-type":"item","numeric-id":1611300,"id":"Q1611300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee8af6d4d5cc12f42d34eeda4c343b8dce5e648","datavalue":{"value":{"amount":"+0.8256386518478394","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":"Q634744$8EB37CAC-7E2D-439C-B246-B6A73B615AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312a84024d585c77bf415bacecc2a2b0cb858d1","datavalue":{"value":{"entity-type":"item","numeric-id":634749,"id":"Q634749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccce50d5ca8251d615f7c6b0c56146141425364","datavalue":{"value":{"amount":"+0.7977972030639648","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":"Q634744$040620EC-152F-480F-ABFD-8EAFC79D0604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f054fadad1eaaae6d31c6ef0b63f05475e53559f","datavalue":{"value":{"entity-type":"item","numeric-id":5270289,"id":"Q5270289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e55bd7972e2c2210cc23874ec7b95a87b24077","datavalue":{"value":{"amount":"+0.7887399792671204","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":"Q634744$65223F30-1E9D-4BC3-9205-A566608F87E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c96830bc2b8c768d72e513e51daaddcca251b61","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83c5c60a95b19f814e386c74cffdd0cdf67d799","datavalue":{"value":{"amount":"+0.776526153087616","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":"Q634744$3BB9B94B-F0B5-4652-B4FA-F7D354634B30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Priestley quasi-orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Priestley_quasi-orders"}}}}}