{"entities":{"Q1891749":{"pageid":1902491,"ns":120,"title":"Item:Q1891749","lastrevid":43400450,"modified":"2025-07-25T11:44:47Z","type":"item","id":"Q1891749","labels":{"en":{"language":"en","value":"A new proof of Whitman's embedding theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 763954"}},"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":"Q1891749$0397E0EA-8C4B-434C-A1B7-4CA6C14A7082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21033d4d3d3fc530e77419dffbe7da8a8d4cb558","datavalue":{"value":{"text":"A new proof of Whitman's embedding theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891749$3708AC1B-6FCF-4751-82C2-5565371D4B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6d493a5c5ce42903ec606704b200865a9acef3f","datavalue":{"value":"0828.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$78C79382-B0BB-4253-909C-0AD7CE0CE320","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891749$FFEE0D13-EBF3-466B-B59E-7DC579498106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3250b5ad09e7c3aa70f4d14d28f21a5487cfeb8a","datavalue":{"value":{"time":"+1995-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891749$E2B3FBF8-EF4F-44C5-8BB8-52E3ECA6222C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"208d729df02436f988a27c99dd0aa31f635d41b0","datavalue":{"value":"In 1946 P. M. Whitman proved that every lattice can be embedded into a partition lattice. Since partition lattices can be embedded into subgroup lattices, it follows that every lattice is isomorphic to a sublattice of the subgroup lattice of a suitable group. The author gives a direct and relatively short proof of this result utilizing a basic construction of combinatorial group theory: the HNN-extension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891749$366AFB10-7BAA-490E-B360-AD9FDD39DDE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$ADFA3216-1614-4792-B8BE-7E358B168AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$B14A730B-7BAC-4593-ADBC-CDA0C1FB283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$D8D74B7C-DD90-4CB7-A81F-8530EFD9B474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a64d84b35b7cdf1a38708925652bd63998490698","datavalue":{"value":"763954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$C983CF5B-9369-40ED-9B11-30FAF06747C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af0a446639d176da13969f84067b93bf0ca04f6","datavalue":{"value":"partition lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891749$C34BFF1E-BB2D-47B4-B7D0-A47FA255B9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"088c2043009d12fdef18be01ca7c50b2c209c55e","datavalue":{"value":"subgroup lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891749$AB3053E2-A999-4510-9F63-2C08C7ADC8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67696cc785667600a2955bbf083714a464430748","datavalue":{"value":"HNN-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891749$7646F366-D867-4F1C-BDCF-85D94C490B3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34101415e96d924da8ba996a361091263f7a0b97","datavalue":{"value":{"entity-type":"item","numeric-id":788730,"id":"Q788730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891749$690DCA29-1B30-4ECD-97EC-9E5D22994D0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e09d1658cf28d37a07fc64d172ca070f100781f3","datavalue":{"value":{"entity-type":"item","numeric-id":1301643,"id":"Q1301643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891749$1CC8B2E9-D4CA-4706-8965-A6E4EFCBC6E5","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":"Q1891749$4024D383-ABD3-4C11-AEA8-0A5C18CDAAA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bac9a36a43680d7dcdb5f88ababd28e3698ce0f","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1097","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891749$90E6CDFC-FBE2-432F-9F9F-B0F0EC710891","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83bd76887181229e3206aaa2e5cb4bc273db6a2c","datavalue":{"value":"W1988270066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$6D25C36F-B439-4F30-A739-39D842E8F2D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46c64034535f1f383a8d14ed901b4fbab21edbb4","datavalue":{"value":"10.1006/JABR.1995.1097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891749$13B56222-1B61-4E3F-B37F-768C14FE4C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8265b884588f3a45ad3b5e9c9b24192b872c9192","datavalue":{"value":{"entity-type":"item","numeric-id":5516374,"id":"Q5516374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77f61dadc64b1ec86774450d29e2bec8ea3a285","datavalue":{"value":{"amount":"+0.921207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$7B12B8D2-2676-4FD0-9A9B-E8EC3BB4A5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395d803228b195460264e5acd51b642bd3ead574","datavalue":{"value":{"entity-type":"item","numeric-id":3390047,"id":"Q3390047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7ccec35be2a316359626e3f974582fc54cbb3f","datavalue":{"value":{"amount":"+0.90653205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$BB9BA80C-03C5-45A7-ABE8-F9862FDAAF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de26e39269d6a322caec2cf9fdfa8e93ea074e","datavalue":{"value":{"entity-type":"item","numeric-id":1802694,"id":"Q1802694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1585a92826170500d812985a14b74c9fa0526806","datavalue":{"value":{"amount":"+0.8930638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$C46AB2F4-A39B-44AF-910B-EC16B43F2381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60e509e368de704cf19ffb3d5a318f8155d8aca","datavalue":{"value":{"entity-type":"item","numeric-id":928352,"id":"Q928352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e043ef859e714a0036695f01238a3711a35d903","datavalue":{"value":{"amount":"+0.88222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$1D1B582E-FF94-4B97-AEC7-3DECEAE0258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95830ad4e3dcc7b262c3b020793393e3180c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":4520133,"id":"Q4520133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61da5770e8b144695ea92d8905a8864b646b697e","datavalue":{"value":{"amount":"+0.88154984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$04F873F8-27FB-4FDB-B8AA-A5F34C3C8C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd016df3795777e66e2fa5d5a735c2b7d62aa286","datavalue":{"value":{"entity-type":"item","numeric-id":3492130,"id":"Q3492130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98c7193c20f88ff4e0ac940b635ceb34b7d6a15","datavalue":{"value":{"amount":"+0.8812522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$0BE75680-4E63-4C5C-8F36-8E3B6414C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1388eeab9b93d188c2f1d68eef6e230cd9397","datavalue":{"value":{"entity-type":"item","numeric-id":1822662,"id":"Q1822662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacd61ae6831832c089fe48f7420e35330f52505","datavalue":{"value":{"amount":"+0.87832636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$F2B27A2F-5942-470B-AC84-8E3F41C43EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0b59fcdd88314d426bb4c73771f707933d29a1","datavalue":{"value":{"entity-type":"item","numeric-id":749600,"id":"Q749600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015b20a19d98f5f9e51ff546527b707750c0d46e","datavalue":{"value":{"amount":"+0.87733614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$1BCDCA21-EA56-4AB0-B75C-32A4174BF2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e19c5bd2a97afafe23934bc0cd2e3ae5dbbe13","datavalue":{"value":{"entity-type":"item","numeric-id":1012030,"id":"Q1012030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4eaca0f06483387497b1280b6626c51f0bec7d","datavalue":{"value":{"amount":"+0.87672174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$DE0733FF-6B03-4D5A-9555-C797A712E790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d67f51a3665c6b4fa811c18c9fe29c5073fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4311228,"id":"Q4311228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ca76e715f6ce95b66799ae4176644ae98673e1","datavalue":{"value":{"amount":"+0.8753461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891749$45EE36DD-4B9C-4B62-8876-081245BE2859","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1891749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1891749"}}}}}