{"entities":{"Q1693041":{"pageid":1703782,"ns":120,"title":"Item:Q1693041","lastrevid":72534381,"modified":"2026-04-14T05:33:30Z","type":"item","id":"Q1693041","labels":{"en":{"language":"en","value":"No finite axiomatizations for posets embeddable into distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824132"}},"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":"Q1693041$E8CA806C-8CF6-4AA4-A8D0-3581196B8CBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c43d7246b244ee45f6695230b1da0c9669baaa","datavalue":{"value":{"text":"No finite axiomatizations for posets embeddable into distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1693041$B5D9C480-F1A5-4819-98CC-06A2FD62949E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4bafb2c5ba15dba223ef5b77b7d14dfcdbda840","datavalue":{"value":"1477.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$C3971825-5696-4E0A-9665-65BDB35335D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$0030F156-EB0A-4E8C-981E-6D2128AF28F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1693041$6291D9F1-8013-488E-B91A-066C8576E2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e170668a5774e04883343de1f10e0e1ba181a60","datavalue":{"value":"https://arxiv.org/abs/1610.00858","type":"string"},"datatype":"url"},"type":"statement","id":"Q1693041$27A63022-F493-438D-B5D9-CCA3D0EB69C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$EE88847E-F31D-4430-9C73-614C2389B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$0F460D31-632B-407C-8EAA-48662FB9641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$62446C65-2B1A-4AE5-AE49-A64B9F70DD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$B3587721-F97F-47E8-81D7-35EFA55928C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$54195523-A6CB-416E-8A9D-7D469D343AC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"702ccfb9de20b4321a4147cd33cc1d8a11931471","datavalue":{"value":"6824132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$4388818E-BAC8-468B-BBEB-0A16E57494F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693041$3D6D024F-B0B8-464F-B184-93F5D6FE251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693041$C652B837-22B9-45CC-8A7B-B790615A8DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693041$2177D121-5168-406A-BC0B-66D39FAA7552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c17ecc93e60f8b921f93dfbc43749e3193e594f","datavalue":{"value":"field of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693041$EA7CD304-867F-4C0B-BBE2-C6C0E401727F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693041$E98CD88B-B75F-43F8-98A2-3AB6571A0F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693041$FD351288-00CF-4994-B0F9-D9AF35090794","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7c854d12790b03a83c2476c9dcf83f878d9e12","datavalue":{"value":{"entity-type":"item","numeric-id":422346,"id":"Q422346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$34246610-715F-4820-A5CE-89F469A54CC6","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":"Q1693041$1B3CC43D-BFD5-4C11-B56D-77126F793C0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f4f67d5c6bc208b38b6fd683b6964212ca85877","datavalue":{"value":"W2528121602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$A4607556-7A86-4ECD-9827-813881FB91C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0530f655387887899ae322dcedd5cbc8c5ed9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5563388,"id":"Q5563388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$64A32BEE-259B-42D0-9AD5-01AB953057A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b0dacdec212fe23ff9eb77478774d97bf31afd","datavalue":{"value":{"entity-type":"item","numeric-id":3846411,"id":"Q3846411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$F8BFCDC4-4608-4696-89B5-8F28AF876E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f273e9d5d980bf436ed750da76f664204ebaca","datavalue":{"value":{"entity-type":"item","numeric-id":301370,"id":"Q301370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$FC3C8A1E-24C3-4DFB-B6C6-795F027D0993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92af4f6d5de09fd863450c6c87125f7b9ca1750d","datavalue":{"value":{"entity-type":"item","numeric-id":5354466,"id":"Q5354466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$5F7B9664-EADB-442A-B8F4-4B95D70B50C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b69b87a89e39228c18921d060707265030559f","datavalue":{"value":{"entity-type":"item","numeric-id":3965242,"id":"Q3965242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$38F17A23-F15B-45A0-A05C-8FB09F3DE8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab52794d2806d441520f6a67155c3c9ccc541eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1362896,"id":"Q1362896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$38A2107A-CFA4-40A1-821B-3A6DC3C4B71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1345f78f0c9bdd4df0b4141ab90f90bd13f9909a","datavalue":{"value":{"entity-type":"item","numeric-id":2556428,"id":"Q2556428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$1AC3EFEE-5256-407E-B28A-842C7CCF2563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec89854c90e8a314e4b3f75e6c7eac08028f416","datavalue":{"value":{"entity-type":"item","numeric-id":2520717,"id":"Q2520717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693041$2F429E7D-18E1-429A-BDB8-ED9007BC0EEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"702ec4e20cf8d812131f0b291d627adb4426b282","datavalue":{"value":"10.1016/J.APAL.2017.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693041$A78B05B0-EEBD-4393-874A-EB3B19F70F76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800d0c6a199de4847ed82fb26eb7a10ea7534853","datavalue":{"value":{"entity-type":"item","numeric-id":2802217,"id":"Q2802217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b68388a8a05252621bb2f06906203725b526c1","datavalue":{"value":{"amount":"+0.7177942991256714","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":"Q1693041$46B8A9CE-AF53-469F-8B89-565697E4DD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3be794da7b0c393c6dd6f231635776f08ebe479","datavalue":{"value":{"entity-type":"item","numeric-id":3409450,"id":"Q3409450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535f254650c9045fece2990443b9a49c487c49e2","datavalue":{"value":{"amount":"+0.7163588404655457","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":"Q1693041$45F6030F-2D9F-4002-9119-5AE9E4866B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a7f886da0f1e4744b6cd4fb4a59f058501f5c9","datavalue":{"value":{"entity-type":"item","numeric-id":301370,"id":"Q301370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9181e17b65bf1ad98e39b1a839275c6c1d4c2a6e","datavalue":{"value":{"amount":"+0.7109590172767639","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":"Q1693041$730ECA57-A855-49A0-8475-93A8F5C3EBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb96b92d4833538ce26a4de8d70b92693f60ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5354466,"id":"Q5354466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c628dfcb9498c1c0468db55b1a579f58117393f","datavalue":{"value":{"amount":"+0.7080702185630798","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":"Q1693041$67B6F8E2-DC5A-47ED-93B3-1EF6469A205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e62a8111f21ff2e7e8722b986fc5393e8aa1766","datavalue":{"value":{"entity-type":"item","numeric-id":1087537,"id":"Q1087537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0849f3e421ac4305ebd67a52721a7070daf074ac","datavalue":{"value":{"amount":"+0.7037475109100342","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":"Q1693041$A9B80FA4-6C6D-4BAA-8EC4-3DA20EE6A903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"No finite axiomatizations for posets embeddable into distributive lattices","badges":[]}}}}}