{"entities":{"Q3163662":{"pageid":3174378,"ns":120,"title":"Item:Q3163662","lastrevid":51111923,"modified":"2026-01-16T17:57:51Z","type":"item","id":"Q3163662","labels":{"en":{"language":"en","value":"What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5806076"}},"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":"Q3163662$AA4AE2A6-6E7C-43B2-A499-BE7C5995442C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af8822400a0ac09764760dd19ba1a768ab22692f","datavalue":{"value":{"text":"What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3163662$0CA0E58C-68F4-43F5-BBDF-6C58AE9F4155","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d2b0daae57dd564b8a87d94ebc4985725ced9b7","datavalue":{"value":"1210.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163662$CF291256-F594-4A7F-852D-1F049B7231DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03cb7240f766e33ce1eb7decfea636d3edb245aa","datavalue":{"value":{"entity-type":"item","numeric-id":215695,"id":"Q215695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$24826F3C-3354-4373-B724-1E81242A67E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$EAE572A1-FA00-470C-AAE7-73B799D137C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f828d7c0fe0dc39dd15b1198f729aa8d5f94cf51","datavalue":{"value":{"time":"+2010-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3163662$DEFC14FD-768D-4C92-925D-A927ED2020F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df863cc640e92cc69ba7d91d2d89aba9aa895be7","datavalue":{"value":"https://semanticscholar.org/paper/84632758ee13e4bb3f403284492bfdf2f3a3b711","type":"string"},"datatype":"url"},"type":"statement","id":"Q3163662$455960B5-F1F5-4D30-8E38-F0E52EA567C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163662$C38EC3CE-5DE8-4253-86B2-25357D4DE48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163662$36B30B4A-8797-40F3-BDB2-5702138972EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e64ae002f60b18a6241ea44249b6647153289cd","datavalue":{"value":"5806076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163662$43907C0C-C331-4EF7-89B7-603A65D624A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4bd4319f9a40ce7b4a343e147383aafb68c5d7","datavalue":{"value":"Fermat's Last Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3163662$7E37AAAF-18E1-4CF4-8C2F-054420DAA467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a013a360b86de230ad84073794ea01ddd9beb7","datavalue":{"value":"set-theoretic assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3163662$7F097128-ADB1-4E7E-BD91-53E9864DB006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc994972d59eaaa4ba260dba85111a0b5fa2f088","datavalue":{"value":"Grothendieck universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3163662$A9229E94-E573-45BA-AA65-A1179A72D98E","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":"Q3163662$CCEBCF72-610C-44DB-9087-322A71BEDC4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ec39f6eaf09e3a72330e4b8a076479aa24c8692","datavalue":{"value":"W2082963564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163662$2BDD10D5-A2F6-4F08-8575-667F6A267DBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7046b6b0f57d96c3d7d3ec5afa7f658699f56d45","datavalue":{"value":{"entity-type":"item","numeric-id":2518147,"id":"Q2518147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$ADFCDA1C-D396-4D04-B428-26ED08B3FD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662744db22f671f83e5adda2c1f2c56a8b3bbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1895541,"id":"Q1895541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$45E31D18-AF70-449B-BE88-AB3A7DC370B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f8473279009b14ef58da0e8381497feb3af08b","datavalue":{"value":{"entity-type":"item","numeric-id":928741,"id":"Q928741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$6B6C058D-4B1F-4B5D-A6A3-80B0E95841C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09807f303f7d0379fcefcab88de784e9c2d48ae","datavalue":{"value":{"entity-type":"item","numeric-id":3096011,"id":"Q3096011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$EEFAD7E9-E90C-4B3D-8CE1-29180F37ADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9eb79fc4e0771fa6d62f65870d918c0c153d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4467928,"id":"Q4467928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$66CB2C4A-7157-4B58-814B-5B896C2B8287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f2da5559dc3411e37e0842b635aef8340a0851","datavalue":{"value":{"entity-type":"item","numeric-id":5704403,"id":"Q5704403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$196E3A1E-425F-48FF-A304-FB065050D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d736c9e6dbca3076958cafd8a7513cf8dfb6054","datavalue":{"value":{"entity-type":"item","numeric-id":1073125,"id":"Q1073125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$238772F4-1D0C-4BB3-99F2-FA417F2974B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3303cedb25dc949e3f7b1424a9ac5c0ba1e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1110488,"id":"Q1110488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$683ADC80-A099-4F9E-863B-385FCA52FC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163662$9EB301B0-C6C3-448F-AD48-775D64A12B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915f00371a1e490eff9d03950084c349c7b89a8a","datavalue":{"value":"10.2178/BSL/1286284558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163662$693CBD2C-5D25-46FF-8A7A-3D25A7790C0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c4519fc11602bab2645e60fb28ae759b290235","datavalue":{"value":{"entity-type":"item","numeric-id":4882575,"id":"Q4882575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97106d331781c8197f8b39fe60cc7a392ba8401c","datavalue":{"value":{"amount":"+0.7779938578605652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3163662$99321336-7A9E-4517-BC2B-9E1D60C6C413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f491f4371e149e3059ab987f2075178598e52","datavalue":{"value":{"entity-type":"item","numeric-id":4698805,"id":"Q4698805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97106d331781c8197f8b39fe60cc7a392ba8401c","datavalue":{"value":{"amount":"+0.7779938578605652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3163662$EFFA397E-232C-4351-8473-5B1B0C138971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cb47e4bfa6f8bb903c2a744e9437a8655ea2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4825122,"id":"Q4825122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24113e449ad42da9e53042ab2fa160cae2e5bb86","datavalue":{"value":{"amount":"+0.7705787420272827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3163662$38218772-AA4D-4C79-8F4B-AF681088B409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d118f26bacccaeb379bbda392b0da0d6115e50b3","datavalue":{"value":{"entity-type":"item","numeric-id":4472941,"id":"Q4472941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb520ac5f9a38ebf8b5665f0788814ea84bb10cb","datavalue":{"value":{"amount":"+0.7668163776397705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3163662$A506F8B6-21AC-40CD-8C2B-C7D43576228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e747ac5b358699cd53a64f4902c2e5fed91ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":2713752,"id":"Q2713752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a1fdd4bf8b9aaf561a8d8f66b98c8e071b3687","datavalue":{"value":{"amount":"+0.765589714050293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3163662$501C0C8A-5D3C-4C36-AF62-EA8D3D45BF6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3163662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3163662"}}}}}