{"entities":{"Q7361645":{"pageid":31520474,"ns":120,"title":"Item:Q7361645","lastrevid":105367898,"modified":"2026-10-07T13:37:18Z","type":"item","id":"Q7361645","labels":{"en":{"language":"en","value":"Birkhoff's Representation Theorem For Finite Distributive Lattices"}},"descriptions":{"en":{"language":"en","value":"AFP entry Birkhoff_Finite_Distributive_Lattices"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"708ef0bf5d96b81aa3dda0ef786e59829fcbbdd2","datavalue":{"value":"https://isa-afp.org/entries/Birkhoff_Finite_Distributive_Lattices.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361645$432DEA16-A6EF-45C1-B885-59312084BB29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5040dd04ff875c1b08da3389392dea034cb0b138","datavalue":{"value":{"time":"+2022-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361645$9C091F23-1497-4E0C-8CA4-65559D3D8629","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"86fa51f88e0874d807da710a9a5492e1496f2e14","datavalue":{"value":"Matthew Doty","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361645$E0EFC0AB-271A-4D03-B1F2-E45F4B9B8E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a90824a3aa866c95c34a27ac12d7cdd04b9ccb18","datavalue":{"value":{"text":"Birkhoff's Representation Theorem For Finite Distributive Lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361645$5E393526-A135-48FD-AB92-AB6B5F37E0FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9189fa559f09b7f1cfda2edc972438c866458ac3","datavalue":{"value":"This theory proves a theorem of Birkhoff that asserts that any finite distributive lattice is isomorphic to the set of down-sets of that lattice's join-irreducible elements. The isomorphism preserves order, meets and joins as well as complementation in the case the lattice is a Boolean algebra. A consequence of this representation theorem is that every finite Boolean algebra is isomorphic to a powerset algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361645$C7E54349-0F14-4060-9347-6C6DF6196F2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93885338f838ae6df8c12d44bbc0a1a640464f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2603401,"id":"Q2603401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361645$4CC0C231-F52B-41BC-957A-FF3195B1C24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361645$6C44A79B-55A4-4A72-92AD-2937234BB05C","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361645$1E786353-99AE-4349-B8E9-597C8F020770","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361645$67BE99C2-619B-41AA-BD31-853B9AEC2612","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361645$7E918165-4895-43A8-9C9A-7965134B8A05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Birkhoff's Representation Theorem For Finite Distributive Lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Birkhoff%27s_Representation_Theorem_For_Finite_Distributive_Lattices"}}}}}