{"entities":{"Q1802250":{"pageid":1812992,"ns":120,"title":"Item:Q1802250","lastrevid":69168300,"modified":"2026-04-13T05:13:37Z","type":"item","id":"Q1802250","labels":{"en":{"language":"en","value":"On order polynomially complete lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 203147"}},"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":"Q1802250$602902B7-F7FC-4480-9F1B-761D4FFABDBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4910014eaa0f9d9ee1ae48e1e47c487a96e5b760","datavalue":{"value":{"text":"On order polynomially complete lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802250$699FCDBC-D3C0-41A8-9DA0-7BEFD00D8EF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da859e6b7430016afa83074f6fd32d4545321c0a","datavalue":{"value":"0784.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802250$FB168D99-5A9A-4111-B410-EEC493DA6DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22e450a48fb6f295a4aa303bff59f7fe0ea6b255","datavalue":{"value":"10.1007/BF01196090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802250$E10F69AB-F82B-4EF2-A14A-EAEF949A7788","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":"Q1802250$833F4DC4-BCC1-47B7-85AD-02890BAB4C6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1865bd87156e105c03367290dbd6eb290d7067d","datavalue":{"value":{"time":"+1994-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1802250$1D14A9EB-4113-4A20-B8E2-4C6EE44E945E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78f863434993ae7e896ce4359fbf0c7cfa0af5c9","datavalue":{"value":"It is proven that every order polynomially complete lattice is bounded. Hence, a polynomially complete lattice cannot be countably infinite. This partially solves one of the most famous problems in the theory of polynomially complete lattices. However, the problem remains open for the uncountable case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802250$78781A33-D8A4-4199-841C-C61FEDF81C6B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802250$8E68EB7E-3E0C-4013-A8A1-DE2C9007ADFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802250$0F80F00F-A083-42CB-9ABC-6E707806A43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802250$94D5D42E-E629-4B0F-ABF4-DF2F95C364B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c8cdc12a8c7d32b52a7847d03255459f2bd624c","datavalue":{"value":"203147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802250$2670A0D4-5775-453D-B3FC-4F60C83A3308","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced4e4e4224254ac1820050d9765ead7ff68c784","datavalue":{"value":"infinite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802250$B39E19DA-309B-491C-A904-A05B223D2BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5f1a02a5289c80ab77373c9a3e779be5b30f0c","datavalue":{"value":"order polynomially complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802250$A83CBA8B-EED4-44FD-A0FE-F40F66276C19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7258224d5f53ce7cb7e187a8855e888f6fe186a","datavalue":{"value":{"entity-type":"item","numeric-id":1229899,"id":"Q1229899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802250$EE0CEA6B-D3DE-4FFE-A77D-E74ED19F2014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ebff99eeb8491a02d6db5829740ad7a4f4e4bd0","datavalue":{"value":{"entity-type":"item","numeric-id":532123,"id":"Q532123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802250$83EF0F99-6E2F-498E-BF42-5258996696AE","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":"Q1802250$7757C874-5056-4725-8F38-734B465878EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adea58b0eb4c3b20af605371d681845b5ce7f814","datavalue":{"value":{"entity-type":"item","numeric-id":1148932,"id":"Q1148932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802250$6095BA85-E005-4162-9707-86F160DF200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e04d1ecbd57107762ebf0a7fdb4befc6b3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1845750,"id":"Q1845750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802250$CCFCBED9-9E3C-4D41-B55D-713599BD8ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2f61630d2cb0f842be6caf174a06b43e762cea","datavalue":{"value":{"entity-type":"item","numeric-id":1237995,"id":"Q1237995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802250$614D5DBF-9B32-44B4-A8F2-6531C9C76778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c2dd107339345e23d188d57a018b9fc061587a1","datavalue":{"value":"https://doi.org/10.1007/bf01196090","type":"string"},"datatype":"url"},"type":"statement","id":"Q1802250$753E66CC-6973-4CB7-97AE-6D74FFE0535D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c2ce2e391a1c7a208d2f1696ad6aa7799670785","datavalue":{"value":"W2050314097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802250$27187D8C-C00B-4CCB-BF9F-44C5921468D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf79b9ad11b23434adadd89cebc8e814eee69ff","datavalue":{"value":{"entity-type":"item","numeric-id":1966146,"id":"Q1966146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c79929d748557f8975d3d4db0b4cd4ff40001b","datavalue":{"value":{"amount":"+0.8523728251457214","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":"Q1802250$7DFB9CC5-F588-44F9-8D02-420B68276FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a590ef742ac9ca7bea08300a017552fc37493b4","datavalue":{"value":{"entity-type":"item","numeric-id":1966144,"id":"Q1966144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8945a2610b952da13f20290164605b0cbec69779","datavalue":{"value":{"amount":"+0.8317591547966003","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":"Q1802250$FBA0DAE6-7E5F-43A7-894C-C08BCEF3D140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75ee2ef29c091df89e5bd91c11b86238087b570","datavalue":{"value":{"entity-type":"item","numeric-id":5950779,"id":"Q5950779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6588ee9b0a451c039638c9a4c7550e19506ff8","datavalue":{"value":{"amount":"+0.8153958320617676","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":"Q1802250$0754B125-A16B-4F1E-A7FF-A04361458FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be3bd5da9b5b5731165d1fc901e1604ac757592","datavalue":{"value":{"entity-type":"item","numeric-id":4510903,"id":"Q4510903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7948d90c0202c980c1c8fcd1496e8f5f72715d","datavalue":{"value":{"amount":"+0.8153954744338989","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":"Q1802250$F5AFDD54-FC18-40CE-BF71-DB7A3CD653B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8befc1c4722c9074cf44cd823dfccde370833007","datavalue":{"value":{"entity-type":"item","numeric-id":1363441,"id":"Q1363441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfccaa0f2135dd946f1e8a22667fb76a297f5090","datavalue":{"value":{"amount":"+0.7882428169250488","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":"Q1802250$6E0A15DF-D828-485E-869F-4D0806B24468","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On order polynomially complete lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_order_polynomially_complete_lattices"}}}}}