{"entities":{"Q6868564":{"pageid":20707975,"ns":120,"title":"Item:Q6868564","lastrevid":84236873,"modified":"2026-05-14T01:11:37Z","type":"item","id":"Q6868564","labels":{"en":{"language":"en","value":"Solving systems of equations on antichains for the computation of the ninth Dedekind number"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8150644"}},"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":"Q6868564$464C6EAF-DA27-4CDA-B1C7-F24A5C5E8C2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c714c776f5f6ca100cf3d529ea46051663f9abb9","datavalue":{"value":{"text":"Solving systems of equations on antichains for the computation of the ninth Dedekind number","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6868564$366D5A84-21A9-4E83-B94E-8F7337E5A1AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04ebad45dc05af2872715242e2030060665ba82d","datavalue":{"value":"10.1007/S10878-025-01361-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6868564$D9B6453D-9519-4E1F-9CE9-3FD50DD1FDDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba76c38da7ec65c06ffaf7a2338a679c9e9ce310","datavalue":{"value":{"entity-type":"item","numeric-id":222055,"id":"Q222055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$DEBB1AF9-0EC9-4940-9297-53603AAA1CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a6f55f704c3cba72309cd390132c71f7eb6230a","datavalue":{"value":{"entity-type":"item","numeric-id":6432301,"id":"Q6432301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$06D3A683-DDA3-42A0-9EE4-382EB2265063","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$3DA9FD83-1412-462A-8DC9-4F209CCDA2E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6fbd365133c69fe509352cc5b70c1e36027932d","datavalue":{"value":{"time":"+2026-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6868564$C3A9AB04-E44C-4AB8-89A8-CF91971B7C04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1719e61b173b98e082fb585de465eb48a29d26d3","datavalue":{"value":"06-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6868564$93EDD221-FE25-4B26-A542-729E64381BB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa0fde35371109d7d227fcb86b752d87e5d1466e","datavalue":{"value":"8150644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6868564$95565CE0-6BA2-4916-8050-F2A60D8D42E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437ece26496bdd5f6c6b558fee1bc80b42d2a24c","datavalue":{"value":"Dedekind numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$1BBE22E1-2268-4D2C-8287-6F23D95D34B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$442D3DFF-AE0C-47A7-BC2A-ABC30300D5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$C74FE190-5D05-4F36-8BEB-357A3817E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93ba200c5c60361d4cf328ea593f23be1c36a85","datavalue":{"value":"monotone Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$FFE100E4-B643-46A6-95EF-B0337DBED6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922c01258e140214b68568956989c4ba97b3c6f4","datavalue":{"value":"antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$430EAFC9-3C46-4D8C-9D1B-516018B64606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f52c8d693e119c5ebfd6240ab56b07a3e8f08b","datavalue":{"value":"equations on antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$2ED6D5D4-CA27-4F1F-8BDF-1F3213EFD203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea7ad447495386072cb1f12fedf475ffa998858","datavalue":{"value":"algebra of distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$5F81C576-FC03-4F12-82D1-9ADABC4E0BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$6E41A6D2-9D97-41C3-A619-14195C540894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b523d0120e9fd1439cbe34ae44730372d628480","datavalue":{"value":"intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6868564$9CFD8A02-B910-44E0-B9EF-624766D8BB4A","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":"Q6868564$AA653421-CDD9-4FBC-AF0C-B2FD1501AB31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1f599d132cc3270f63e2b157e0182a57ef548c","datavalue":{"value":{"entity-type":"item","numeric-id":4126378,"id":"Q4126378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$F19CB21A-7A56-4A70-BB51-38E266732074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8043ca30b69313ce07bd894df9f7625113de7416","datavalue":{"value":{"entity-type":"item","numeric-id":5026931,"id":"Q5026931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$0596BA81-E27F-4FE7-A1AA-03D38B961307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5b2f9ff7ad67269297b6a68fa05c04e7a56983","datavalue":{"value":{"entity-type":"item","numeric-id":2586000,"id":"Q2586000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$884FF40A-645F-4885-9111-7B20A395B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed665d3a1879733de7cecacf8c0096b1c9aeffb","datavalue":{"value":{"entity-type":"item","numeric-id":1519417,"id":"Q1519417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$2ED2CBFF-DDFE-4A98-9957-5B0D0DE16705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599afebfc2a3416ba16229aff29b1b83f130d68d","datavalue":{"value":{"entity-type":"item","numeric-id":6671792,"id":"Q6671792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$B019F823-5725-4D86-B336-05AEAF2EDF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91db0cb3ac976e76eecc70e8ac3a047dac99d0b","datavalue":{"value":{"entity-type":"item","numeric-id":3768953,"id":"Q3768953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$16180537-29B9-4DAB-8F48-45BBB8FDB33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7e4c4c2074757c9618c20d8f480539d7172f07","datavalue":{"value":{"entity-type":"item","numeric-id":4083667,"id":"Q4083667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$7B70ADAA-E0A9-473C-9363-E8DB1A9B575A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6abe434e205080fb19455ef8246efcd531f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3671891,"id":"Q3671891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$D7A84683-7E72-410D-AEBD-BA1C735EF30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f46964f799950e74ef3a3a9b3fc58bb146794b","datavalue":{"value":{"entity-type":"item","numeric-id":3735757,"id":"Q3735757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$070B6E77-004A-4C8F-AF22-648DA388A3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153226ccfa04a41f3557772bf06eb8f3f9eec7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3778043,"id":"Q3778043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$1BC23C60-829A-4464-9B0C-20D3DBEDBACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cba08c7f581da37f9042acb0fdc351b1eff4b8","datavalue":{"value":{"entity-type":"item","numeric-id":4132582,"id":"Q4132582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$83F99FC9-1807-4BCD-882D-866C37A4CDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55f452b99bb5cc51a66994c900ca6534d9285fe","datavalue":{"value":{"entity-type":"item","numeric-id":5043579,"id":"Q5043579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$E4AAE506-A3EE-46B3-A9CE-31D0FC714CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be9e6966d87ef7a235d29d0e621b7485b5621d","datavalue":{"value":{"entity-type":"item","numeric-id":6576690,"id":"Q6576690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$5BE729D6-9FFD-46F7-8103-617DE1D3E2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9e3789a8ea41d0c84792564b89d98bb3732943","datavalue":{"value":{"entity-type":"item","numeric-id":6136025,"id":"Q6136025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$91846514-3BEE-45A8-8CC6-5B7E1BC031D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eaf00b812f26a2c3a473b98aad55d8616cd9219","datavalue":{"value":{"entity-type":"item","numeric-id":2440095,"id":"Q2440095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$FC56346E-C8AF-4BFF-9691-1D96360A5AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$C6A6D4D1-5A04-4BBD-A03F-669192EF1DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b057751eaaa49d2b0564a70c5fb1e319328b7ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1182033,"id":"Q1182033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$EACE3FE7-4F6E-4C21-888B-0BF27EDD46BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719bcf9facc9a271ad01f7e7020894748aedf012","datavalue":{"value":{"entity-type":"item","numeric-id":5598279,"id":"Q5598279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6868564$F91D8B68-F8AD-4440-9563-38436D02B62C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving systems of equations on antichains for the computation of the ninth Dedekind number","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_systems_of_equations_on_antichains_for_the_computation_of_the_ninth_Dedekind_number"}}}}}