{"entities":{"Q519945":{"pageid":521712,"ns":120,"title":"Item:Q519945","lastrevid":62456022,"modified":"2026-04-11T06:12:55Z","type":"item","id":"Q519945","labels":{"en":{"language":"en","value":"A selfdual embedding of the free lattice over countably many generators into the three-generated one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699160"}},"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":"Q519945$1B1C72EA-AAAD-4F64-A62C-39E0179D9884","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a8ad5ebbe4ceabceae44172ac588300ee89c611","datavalue":{"value":{"text":"A selfdual embedding of the free lattice over countably many generators into the three-generated one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q519945$4FA01607-1909-4C94-A241-E1499A6896D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c29b68a6fcf5c53051188480e1be6d9e756b1e27","datavalue":{"value":"1374.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519945$9D506B37-E850-4D54-B7C0-5536DB834FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$929C7427-2CA3-4474-BEF8-84B3CAD5DD9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$B309ADC8-EDA5-4061-B116-7802E29D8253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72c0e07ad537fb33330a33ecd7818cc14403de47","datavalue":{"value":{"time":"+2017-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q519945$EB48ECFF-69EC-49FA-85BE-D2162DCD73DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8f520c48d6cb78cea825f1472755e0804a1b732","datavalue":{"value":"\\(\\mathrm{FL}(x,y,z)\\) is the free lattice on \\(x\\), \\(y\\), \\( x\\), and \\(F(\\omega)\\) the free lattice on countably many generators. \\(\\delta\\) is the unique dual automorphism of \\(\\mathrm{FL}(x,y,z)\\) such that \\(\\delta(x)=x\\), \\(\\delta(y)=y\\), and \\(\\delta(z)=z\\). Using Whitman's lemma, the author proves that \\(\\mathrm{FL}(x,y,z)\\) includes a sublattice \\(S\\) which is isomorphic to \\(\\mathrm{FL}(\\omega)\\) and is such that \\(\\delta(S)=S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q519945$735234C0-B2E2-4D57-9EC6-55015B026B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519945$BB226A49-E777-465B-B958-19ADA854E588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4bb7715546a75d3bd3b0824aa8a56ccce1a077","datavalue":{"value":"6699160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519945$7714970B-B1F3-4615-8189-E3476F2D44B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151e988763beb209510276781f52629608961781","datavalue":{"value":"free lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q519945$6F11AA2C-C0BE-49CA-91F5-588A6AB778A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9d57e66a0021009b2c24f2047f881738911c3e","datavalue":{"value":"sublattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q519945$55F3C7AF-8F25-4434-B47D-0F59A05D2A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45a9ca80810a4773efc4bbd3f34a01b80e928831","datavalue":{"value":"dual automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q519945$8DDE3E68-7F5E-422C-8F0F-83798F718FD5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$87DEBBA4-1641-4A89-81A7-65423C34EF45","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":"Q519945$E7697051-67A0-4F98-9D35-1E36740E3769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd1644d733feb136d7b4bb4a227214c331c17550","datavalue":{"value":"https://doi.org/10.1007/s10474-015-0560-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q519945$3950F198-2137-4308-A589-BAA8EC2BE2B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ebe8301976781dd2723b46ad0bf2425b2087045","datavalue":{"value":"W1845904438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519945$1949CDD5-F8EE-4994-80B6-C3B043BEA871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$BE903F0A-B43F-4E68-950A-36B831A59684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb0126f0b642a35e76d2406cf7b0318f144be2","datavalue":{"value":{"entity-type":"item","numeric-id":3574413,"id":"Q3574413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$B077E580-BC62-44B6-96A8-AEE9AB29F3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$0E179462-54BB-453F-898A-EF8B55911998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420e1e6ec3a2d72611f4be75b7eea3c21d1e6b43","datavalue":{"value":{"entity-type":"item","numeric-id":3144305,"id":"Q3144305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$D388700F-8FB1-49E0-9503-416F87A81926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e173bf5995eecdaf2dab642c337a07add28f8f","datavalue":{"value":{"entity-type":"item","numeric-id":920123,"id":"Q920123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$9D3FFBB5-9C89-4B9D-9F9D-C32380607342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd0a6009a9268b363e6f11f302e791a8f479d11","datavalue":{"value":{"entity-type":"item","numeric-id":2646843,"id":"Q2646843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$22775C59-71D4-45FF-9E7C-464D043F4DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef1310ac3ce5406185cf1f72d0dd263e2a020d7","datavalue":{"value":{"entity-type":"item","numeric-id":2653391,"id":"Q2653391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519945$EA48A2C0-C124-4710-BB08-292D32111E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03e444329ecd5a1d0e662ac1189312d2f4595bb","datavalue":{"value":"10.1007/S10474-015-0560-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519945$40110CF3-CCCB-4F63-9078-E7435B3FF62E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83d63164dd9681cd5d7248f2e9b37e1df9b0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1729792,"id":"Q1729792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae6a0e3724124847fb7ac3ad0aa509bad58baef","datavalue":{"value":{"amount":"+0.8409575819969177","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":"Q519945$11C6F71E-3FF6-40FF-A154-1C19A0C78E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c556142d50b37808167634cb6e61e832096ff737","datavalue":{"value":{"entity-type":"item","numeric-id":1750762,"id":"Q1750762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec960560c510c79ba3b4952d1f90924b79e26c2","datavalue":{"value":{"amount":"+0.7677667737007141","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":"Q519945$A8F8039C-85BF-4990-B6DE-672574985456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d77bf945ce743ba2047e3ba7015eeba0c35ed71","datavalue":{"value":{"entity-type":"item","numeric-id":1771944,"id":"Q1771944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103d2c1d38627f85c14b5b443f5f7ed12813d501","datavalue":{"value":{"amount":"+0.7572844624519348","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":"Q519945$401704E0-7FEC-472F-AAF1-35375B4FD690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd4c14d0c872f8a84a5bf1dce903d0f280f621f","datavalue":{"value":{"entity-type":"item","numeric-id":998779,"id":"Q998779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1663fbee6b7bb9f287245d86f1272487a50cdb","datavalue":{"value":{"amount":"+0.7349472641944885","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":"Q519945$8919F160-6D5C-4EBB-9B88-B2F4F44338F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5ec04fc5cfbd09aadd360ca8dbb5bf1369e732","datavalue":{"value":{"entity-type":"item","numeric-id":722585,"id":"Q722585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badfa8d32327c7e0181c4de7ee0187ad9f95a245","datavalue":{"value":{"amount":"+0.7210238575935364","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":"Q519945$067FC559-CDEB-4904-9268-DC04864167B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A selfdual embedding of the free lattice over countably many generators into the three-generated one","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_selfdual_embedding_of_the_free_lattice_over_countably_many_generators_into_the_three-generated_one"}}}}}