{"entities":{"Q6118162":{"pageid":13252469,"ns":120,"title":"Item:Q6118162","lastrevid":58694970,"modified":"2026-04-06T08:55:06Z","type":"item","id":"Q6118162","labels":{"en":{"language":"en","value":"What is the point of computers? A question for pure mathematicians"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7821721"}},"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":"Q6118162$365EA06B-F94A-43BC-BD9B-EE498024E86F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4076e09edc9194a192df5a99119260f4ca9a4054","datavalue":{"value":{"text":"What is the point of computers? A question for pure mathematicians","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6118162$ED79BC4B-671F-4210-96EA-1BB05765BC47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afe5bd4013c4623c21ffc86823a0152763999043","datavalue":{"value":{"entity-type":"item","numeric-id":605914,"id":"Q605914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$E316B60A-71CE-4952-8A3A-4BFA2E14CF52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e604ba0becf1eaf60071ff392a9dd3119b76744f","datavalue":{"value":{"entity-type":"item","numeric-id":6118117,"id":"Q6118117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$E5F3E685-8506-4B55-9BDC-983A9E828816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eece48a9fe2b15d1a9051afe0b2b3d2703ccf26","datavalue":{"value":{"time":"+2024-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6118162$BD60ABAE-D8C7-4D14-BCD0-61AB4C9428D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0029579322c9bb296eae3bc929d06e4fc26731d","datavalue":{"value":"https://arxiv.org/abs/2112.11598","type":"string"},"datatype":"url"},"type":"statement","id":"Q6118162$EF292683-F068-4B6A-A29E-163786CCA932","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f0b419312a8c6011cc28c0ce3ae73718cf5648f","datavalue":{"value":"Summary: We discuss the idea that computers might soon help mathematicians prove theorems in areas where they have not previously been useful. Furthermore, we argue that these same computer tools will also help us in the communication and teaching of mathematics.  For the entire collection see [Zbl 07816356].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6118162$1C4F574E-DF1D-46EE-AA28-A384D00B3909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118162$5CFFFFDF-6580-44AF-A419-51B628B9D622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b08224b97987abed5b7d19e97b53e0869fe970c","datavalue":{"value":"7821721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118162$9985F761-0DD8-432E-9575-3ACF32FAE5B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6118162$5622D2F2-6735-48D7-ACE8-1A316754B01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13753adc25e8612bbefdde9f38213d9075bd44be","datavalue":{"value":"ITP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6118162$B325F41F-CABC-4104-A187-AF206796957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6118162$96FD6DC1-A129-4A84-A239-CE139C58FC7C","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":"Q6118162$450813F0-1140-4F6F-B0FF-59E327FEECDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dec405d7563e883c90cdde0e219f7f4f700f331b","datavalue":{"value":"W4389818406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118162$4EC02162-8445-4F26-845D-CDADE9FF8A33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1c627263e3cfa19cf34ad2bd787dbc6b23ce7","datavalue":{"value":{"entity-type":"item","numeric-id":6157246,"id":"Q6157246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$DE89B87E-04A2-442A-8330-1911D1120C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598cf77fba176052c55a17ffb580bedb38be4e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4320507,"id":"Q4320507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$08C9AB0E-FA73-4D11-9A20-4587F496AC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d2bd3cd636c0d38606baf48ce2e0858a271f0","datavalue":{"value":{"entity-type":"item","numeric-id":6157249,"id":"Q6157249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$1B7A69C7-2F47-4762-A72B-7A99C69852A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591c700de7e870ec835c7ba0eca3f3b5580ab982","datavalue":{"value":{"entity-type":"item","numeric-id":1663216,"id":"Q1663216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$0BB94F1C-593A-44FE-BA20-0848D7C16B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb34fd9b0e45f9443a71b6ed180c23cb5005b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5524481,"id":"Q5524481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$FEBECF81-3C17-428B-8AC0-13475EDEA7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45890c8ca21f1123e4c5dca5f6dd3e08790fe939","datavalue":{"value":{"entity-type":"item","numeric-id":2879250,"id":"Q2879250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$4C561C58-0AE7-4B34-979D-EC48C29C55D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$98D89B37-2875-4246-BDA8-7A74FCB576EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e890c071a9f14afbef6e9775a26dd852b988075","datavalue":{"value":{"entity-type":"item","numeric-id":5875423,"id":"Q5875423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$F892B0A1-95A9-4604-A1E0-1734EFA5BB89","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":"Q6118162$EA58AB26-924D-4013-9255-CC98B68EBA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94970ad3beaecc395e1654537d6fdee77f1f0fb","datavalue":{"value":{"entity-type":"item","numeric-id":5875424,"id":"Q5875424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$122861C1-FBA7-4016-974B-0A91A390391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a844a2dfa58457028475ab8213c7e00c151dfb","datavalue":{"value":{"entity-type":"item","numeric-id":509700,"id":"Q509700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$C68D6280-73E2-4033-B40E-83BAF0D67C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$B1E262F1-6C8C-43E2-8072-12CADB100984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$13356753-873F-4D44-955C-14763F613B0C","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":"Q6118162$B1872CB1-B935-47A0-AD36-E6A3102A643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f1c5d5244ee8be8e1f3bbdde31503a28ecb271","datavalue":{"value":{"entity-type":"item","numeric-id":2421532,"id":"Q2421532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$E14327D1-480C-4278-9CCC-BD426AC3235D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$B676E5CC-66E2-4639-9402-61F04FAB22A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$95CEF799-1553-44D0-9639-1D43CC7B4B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f831bdd0445bbb207a58535cee0f990813469d","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$CA59D740-6895-4995-A832-8AFA2DBEAE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$45C96779-48CC-437C-B27B-F7F3E43B962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf6b9d2ce411d579f1b21dd66b3a564adb7ab81","datavalue":{"value":{"entity-type":"item","numeric-id":1663218,"id":"Q1663218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$2384F17C-5ABE-4A57-B550-4FE185D9A928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80dd2937319f2585d489c9f41160ae9fd42159d3","datavalue":{"value":{"entity-type":"item","numeric-id":1997749,"id":"Q1997749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$1CF3F868-3618-4B49-B11C-98E237079789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$C0542201-B526-4938-8ADD-5475AB2FE14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$EF6E0422-353F-4A93-B1BC-DC2A148033C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3207a6b1272bfb5962720367b377d84ae4904a5","datavalue":{"value":{"entity-type":"item","numeric-id":4937630,"id":"Q4937630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$4F8B2C0E-681B-4302-8745-9889A9C932F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118162$AF32995B-D9E3-48C9-82F4-29D3EFBE6539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd356ed10064557c45f2ebbd4ac84822418fbf22","datavalue":{"value":"10.4171/ICM2022/166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118162$999B1A15-14AE-4E5E-8481-58F7B884DE06","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":"Q6118162$42A2D04D-3C39-4042-9801-1C52F3C29EFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6118162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6118162"}}}}}