{"entities":{"Q6860031":{"pageid":20656819,"ns":120,"title":"Item:Q6860031","lastrevid":84252182,"modified":"2026-05-14T05:35:58Z","type":"item","id":"Q6860031","labels":{"en":{"language":"en","value":"Towards solid abelian groups: a formal proof of N\u00f6beling's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158247"}},"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":"Q6860031$0F4025B1-A4D3-4D4A-B7D5-36B81414C0C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf6b09cc7ff805dbfe9cdbf81f073102a56f60d5","datavalue":{"value":{"text":"Towards solid abelian groups: a formal proof of N\u00f6beling's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860031$FD7A66DC-6200-4D44-B0BC-D2888F1E692F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb73e8dda4251ce27a175376572003fe324ea93e","datavalue":{"value":"10.4230/LIPICS.ITP.2024.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860031$AD01EF2A-B088-4CF6-9DF1-CA789C9407B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8145b805e884356ea40bf4fc9e3ad0de41558a88","datavalue":{"value":{"entity-type":"item","numeric-id":4994451,"id":"Q4994451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$BC9ACD8B-69E5-449A-A871-850015705452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860031$A68BE29F-7C28-4C16-968A-A3C9F06EBB13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860031$8A1714D2-2B4F-4D3E-9349-F75CBB79B1CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ad69132191393e7377ee96f9930dba5c8adad0","datavalue":{"value":"8158247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860031$A2FC5B99-53E8-4A64-B008-9C2A322425C3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$75973B59-7933-4F95-9E8E-D4D5FC4F9752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2631a55ddafbe0ae9a03f652c34d66f22130d93a","datavalue":{"value":"condensed mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860031$B7C6463B-955D-40BB-BB2E-7C0982119B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc42d75539807639952483917e0b6584bcb2e05","datavalue":{"value":"N\u00f6beling's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860031$E89EBD0B-F35F-4BEE-9EC8-BBEEE09370DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860031$B1092841-39A5-49CD-8CE7-BEF8E2930025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3967dafece4e2767e07fd23cfb022cf2d337516","datavalue":{"value":"Mathlib","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860031$6103DF65-0D0C-4831-B497-A0A1BC2203BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860031$FC55FA96-2927-4C22-A822-703BE85278F9","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":"Q6860031$FD200C36-6711-432E-9DE4-4ED1174A896A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef0ed62d86fe8421a257af550481fc6665c80b8","datavalue":{"value":{"entity-type":"item","numeric-id":6643024,"id":"Q6643024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$240677E0-756D-41E2-B583-35F2CB8B1A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$16A8CC70-C320-4480-9E1B-45A3C7A49E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a4af047e5444fd0dbcae6ce3f91fea8b217236","datavalue":{"value":{"entity-type":"item","numeric-id":770633,"id":"Q770633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$3C9188B6-9476-4763-8D6D-A13D468C1F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$BC5215DC-F184-46C3-B6ED-0E3710D23CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$600B2421-D298-473A-B15E-DB3F1EAB8340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$E3F760A9-84E6-4D81-8C78-EA9861D37715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87a14b181bc7993bed894878c3855e35a57e24","datavalue":{"value":{"entity-type":"item","numeric-id":6643005,"id":"Q6643005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$628DAF7C-A38C-492C-99C3-9BF68D99C435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3332dd1bc7667a4370d58acaceb1d6e6fb12642","datavalue":{"value":{"entity-type":"item","numeric-id":2533617,"id":"Q2533617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$7382BFD1-802E-463D-A51D-C60B19495C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b714c1213b3a8f95bd8e14ce37c4444ca93c0","datavalue":{"value":{"entity-type":"item","numeric-id":5094470,"id":"Q5094470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860031$522FD8EC-6CEA-4E6E-AA3C-76A74DBC9AEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards solid abelian groups: a formal proof of N\u00f6beling's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_solid_abelian_groups:_a_formal_proof_of_N%C3%B6beling%27s_theorem"}}}}}