{"entities":{"Q1171077":{"pageid":1181826,"ns":120,"title":"Item:Q1171077","lastrevid":66751632,"modified":"2026-04-12T12:36:50Z","type":"item","id":"Q1171077","labels":{"en":{"language":"en","value":"Unities and negation: On the representation of finite lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784952"}},"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":"Q1171077$CC11FD77-60BF-4BAE-98AD-40D1A11CAE65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53944442d70837cf78140dbab3452e832cbd5ed0","datavalue":{"value":{"text":"Unities and negation: On the representation of finite lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1171077$DAAA5247-B000-441E-A829-E70005CA42AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dfaefcdd3938913b0dbf8b91ffe11b76c6d3402","datavalue":{"value":"0498.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171077$D979B529-B57A-4A0C-B940-479B91C9D81A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3b12adce8de869b73507cbe6535a5fc0896bdde","datavalue":{"value":"10.1016/0022-4049(82)90001-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171077$95CCECB1-067C-4F44-933D-462A07F9713A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11df3b2e22cb2a8359da9ba4e00ed093743938a5","datavalue":{"value":{"entity-type":"item","numeric-id":186149,"id":"Q186149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$F1761E5C-5AE1-4C31-99E8-BA3BD980DF80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$7D9659AB-425F-4316-9176-D3C497517407","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1171077$EF2A6156-EBE1-46BB-A68F-A38681252298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171077$2C322D10-8ED6-44FD-A2A1-FCFFC1087F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171077$A820DFE7-29C6-44CE-A522-6435FA68773F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7214f50fa005513179e8dbaf019802e2664dfdcb","datavalue":{"value":"3784952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171077$FB31506C-CE96-4552-AD7E-7C57AF0FBA80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fa0c19977d58caaa34c54bdd121a931cf67a5f","datavalue":{"value":"unity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$DCB26F55-6D76-47AA-931C-74C1AF3FFAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$A8E859DC-8935-401C-92B6-BB33671BF49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23029265a3b7aef2605f2e8909487240495a4ec","datavalue":{"value":"finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$F9173C0E-1612-4810-94B4-7421757332CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415175dc56dc89cbe5b5784db3682e7fd46e6070","datavalue":{"value":"join-irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$5072AFDF-B33F-4783-B29D-9924AE29C03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0dca8521dae91805e8fea81b1ff5f6a914ccae","datavalue":{"value":"meet- irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$2391C9DA-382F-4D8B-8FB2-0F760307197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5660bfa6b5631af4004c9a6bccd2868c4741e6f","datavalue":{"value":"Dedekind-MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$90376A0F-D6FC-45B2-9083-C85D31ABC4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d844d411b1ddaa69745a6f48e5140211bab85e8","datavalue":{"value":"unity of irreducibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$3E039893-59DF-43AA-83C0-0E5A17CE5365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab87db2a90f93668699958aeaa1931cbfac1a68","datavalue":{"value":"split","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171077$A79A0EC8-53B6-4B5E-8800-902D2A3838CA","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":"Q1171077$94AD0CC7-68AC-49FB-9005-4FF6D5E0B7B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2e790a3a24b6efece5245c7ab8a399f491b2b67","datavalue":{"value":"https://doi.org/10.1016/0022-4049(82)90001-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1171077$E4601FB7-5CD8-4DA9-A075-AD226700B221","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07038107f564b521f22304f99d8f5cb59b67c51b","datavalue":{"value":"W1965553599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171077$89CB48F0-3F2C-4E58-AC4D-348B15B53B81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4cca440f5c10a728769119bee0fffd0577a91d","datavalue":{"value":{"entity-type":"item","numeric-id":5827041,"id":"Q5827041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$DBEA4F58-1F2C-421E-88DC-AADBC865375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$4BDFF828-CC49-453B-AB21-D34DB9D2F31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d85dadcb6c04a4df4c970cae818aefe1c39a483","datavalue":{"value":{"entity-type":"item","numeric-id":5526137,"id":"Q5526137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$29E7207F-F1D2-45C4-8A86-B122902695BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$659539B4-6C03-4CE8-ADB3-8E02B2FC76B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79a0a1bce6428289671c0b05664bde7b815b13d","datavalue":{"value":{"entity-type":"item","numeric-id":2543672,"id":"Q2543672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$980EFB22-0ACF-4E9E-B0DF-571DD26867D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c4462865160693b2c6c3da60f5d3e4536fbd9c","datavalue":{"value":{"entity-type":"item","numeric-id":4133652,"id":"Q4133652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$ED2CA6D4-0EF1-41C7-94F1-C5EF54695464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8786d89b02d30263e0c4c63650162b7f06899c","datavalue":{"value":{"entity-type":"item","numeric-id":4138872,"id":"Q4138872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$68AD1E46-19FE-47E5-B550-2FC39F16BC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5178416dc2abf7634c7e6f85e9c2648ed82b56e0","datavalue":{"value":{"entity-type":"item","numeric-id":4055675,"id":"Q4055675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$5DA09AEC-74A8-4A95-85E4-ACFEBB04A57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$449CCAB0-8AA1-4897-A428-5AC70FFCDA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$B5B56366-BB91-4F8C-8EF1-23B35C625871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$FCE35DB0-3011-47B7-B0AB-5160359B1ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$C2D9CD8A-5D29-42D3-B379-3C8322EC0C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2602422b1b9a961df0ba2025967b41fe30ab3a","datavalue":{"value":{"entity-type":"item","numeric-id":1247989,"id":"Q1247989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$A24D9939-6D55-45AA-A18C-CD24F8306F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b2cc4cd05b73c2203653fab8ddd4e8503fccbd","datavalue":{"value":{"entity-type":"item","numeric-id":4193521,"id":"Q4193521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171077$AE188D16-2978-41AE-B75D-95578F4F847B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unities and negation: On the representation of finite lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unities_and_negation:_On_the_representation_of_finite_lattices"}}}}}