{"entities":{"Q1361166":{"pageid":1371905,"ns":120,"title":"Item:Q1361166","lastrevid":67446375,"modified":"2026-04-12T17:54:21Z","type":"item","id":"Q1361166","labels":{"en":{"language":"en","value":"Fermat's Last Theorem and Hilbert's program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038574"}},"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":"Q1361166$F23EE61B-ACCC-4296-8EDC-76C87A9D8799","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bffe90c7c38d009ab8d9488deb0c7137b3e0b95f","datavalue":{"value":{"text":"Fermat's Last Theorem and Hilbert's program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361166$0C7EAD97-A66D-43F2-AC52-BB07AA843BCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f7558a3d8dca73e5eb7ee45285524a17b2561e8","datavalue":{"value":"0877.01025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361166$865156BE-A13A-4486-8281-E2DDAE5476BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50b2fdcdf123dabd2d6b39369b710da3d3c2f81","datavalue":{"value":"10.1007/BF03024343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361166$CCCE00C8-E4DD-4652-AE24-667E9C8215CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49ba16de73af7352798b9ecbe7e356b540bcd2d1","datavalue":{"value":{"entity-type":"item","numeric-id":297478,"id":"Q297478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361166$5FA50798-F606-42D4-85C5-FCD8CDAFC9FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361166$FF7931E6-EC7F-4D2E-843B-AB63DF1FC8E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5af9d93797568f912a341fce885cabeb17d7f4ac","datavalue":{"value":{"time":"+1997-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361166$BF0990D4-39B4-4A80-9675-4C27556553E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdfae248dc449f380b94acf3057c59acb26ca980","datavalue":{"value":"Granting its correctness, how convinced can we be by Wiles's proof of Fermat's Last Theorem? If we question the system of axioms (say ZF) upon which it rests, Hilbert observed that if the proof is correct, a counterexample would demonstrate the consistency of the system. Thus, we could establish the reliability of the proof by establishing axiomatic consistency. The author raises questions about the current status of Wiles's proof now that we know that it is impossible to establish the consistency of ZF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361166$97884C26-81C6-4B19-B30F-D52CABE33DAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361166$DF117F09-5B52-498F-8DC4-123C9E96BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361166$E0D63362-78D4-456E-A3C7-83CE54A3EBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361166$F801FD57-397E-4C7E-B3BD-F1B05C1689A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51009a52e5880ffb69cd93f63322f375214ca22b","datavalue":{"value":"1038574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361166$11CC0CD9-8F0A-465F-A15D-BE723509A5A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361166$2FEFBD98-3EE1-4C95-A59B-A85B0E5EB43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361166$9B591384-7E1B-4364-B2C7-14B9EB8398C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4bd4319f9a40ce7b4a343e147383aafb68c5d7","datavalue":{"value":"Fermat's Last Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361166$E32BFA45-D50D-4270-BDDB-3F6DA238A6AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3cc5773e66ea899e2e173217dcbabb9246088e5a","datavalue":{"value":{"entity-type":"item","numeric-id":256469,"id":"Q256469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361166$FE3EBDA5-8216-4AB7-B1DC-2AB3BD2F2095","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":"Q1361166$FE1B92BE-EE29-45CC-B49B-14D51E20EAB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e6d9b28cda9b0bfacda09f1f4cb1a8fd780be8","datavalue":{"value":{"entity-type":"item","numeric-id":3163662,"id":"Q3163662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82a3285a41330209c8cf0e3a1c74a0b87f04b24","datavalue":{"value":{"amount":"+0.7396393418312073","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":"Q1361166$8CDB44D5-4ABD-4E6A-8CDE-FA120074C934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8b9c72d9fef11f730cce40dcccea01014686b4","datavalue":{"value":{"entity-type":"item","numeric-id":2736236,"id":"Q2736236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777da5faf566eb36852df9242737b37d076aa05b","datavalue":{"value":{"amount":"+0.6928932666778564","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":"Q1361166$C9603C04-E1E2-4E64-9695-07C7018B693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2844773133595417801dafb21811692a479131","datavalue":{"value":{"entity-type":"item","numeric-id":4524913,"id":"Q4524913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6f39635e162f37df1f0d550cf51dc957dfb5b7","datavalue":{"value":{"amount":"+0.6893291473388672","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":"Q1361166$6C148F96-0905-40B2-B78E-5D1407EBEF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d745d26b9e21dddf285e30df550a17ead1d090","datavalue":{"value":{"entity-type":"item","numeric-id":1891320,"id":"Q1891320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ace871b6880d48ed89a445f82db8db9a55ac4f6","datavalue":{"value":{"amount":"+0.6880312561988831","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":"Q1361166$FB5179AA-B43D-4D65-9A3E-A6666C29ED03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fermat's Last Theorem and Hilbert's program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fermat%27s_Last_Theorem_and_Hilbert%27s_program"}}}}}