{"entities":{"Q1182033":{"pageid":1192782,"ns":120,"title":"Item:Q1182033","lastrevid":69818229,"modified":"2026-04-13T09:36:29Z","type":"item","id":"Q1182033","labels":{"en":{"language":"en","value":"A computation of the eighth Dedekind number"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 29310"}},"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":"Q1182033$5482DD26-DE87-45C4-A014-4E3FE2A41F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f814cee5478bf1deabbed484e09efe289fdcd91","datavalue":{"value":{"text":"A computation of the eighth Dedekind number","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182033$42C406B1-99F1-4F49-B722-15AE4038D6F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6e7f6333b6c1a2e0295af4562582ee9e7798a6c","datavalue":{"value":"0736.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182033$616DC38C-A969-4A88-A5AA-8D295C164880","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9979d989700115b8b6d6155da3a9470cace76bf1","datavalue":{"value":"10.1007/BF00385808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182033$024751E5-5E8E-478F-AC9E-0D11DC553FBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd50e3dfac81530fd731a823b92048cbed5a0b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062074,"id":"Q1062074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182033$17C0B954-571D-428F-9AD6-05B68501C447","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182033$76231E4D-0AED-4D15-BE41-06A955C0D2CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182033$A633E25D-6BCA-4EB8-A97D-6B4DB2039ADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182033$96422808-7D0A-4FF9-9791-43A6692459DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e6ecd306b757e03049218923d6a611bf759e2cb","datavalue":{"value":"29310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182033$E52EB131-913E-432C-A21B-FAC2E603AB8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"917f92331e46c0d1588485a81ee9e986ede0ee5e","datavalue":{"value":"Dedekind number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182033$4363B588-1F64-4CD4-97D7-747804456B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"426e58ae8974a28d0097615f596a8d32ed0ab86a","datavalue":{"value":"monotone subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182033$6ACF7835-EB0B-4E28-B035-DA9FF1FB8245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272b610d8dccb5c16b6285431f40eafd59a261d8","datavalue":{"value":"free distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182033$399E7393-18DD-4740-B157-B4073AF72189","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":"Q1182033$FFA783F3-44C9-4C55-BBC2-FAA7B1A47027","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebf09f7b9fb06a824029d0f374c3de1db1553154","datavalue":{"value":"Q59446778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182033$72BEA210-A750-4CF5-859A-9536BF730EB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computation of the eighth Dedekind number","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computation_of_the_eighth_Dedekind_number"}}}}}