{"entities":{"Q5301856":{"pageid":7331430,"ns":120,"title":"Item:Q5301856","lastrevid":96004511,"modified":"2026-06-05T10:12:31Z","type":"item","id":"Q5301856","labels":{"en":{"language":"en","value":"The mathematical significance of proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494551"}},"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":"Q5301856$DD37D06F-8A7E-4F86-8D5A-8CCEBD88CE60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d323fa46356d3d45511cd7d71c2c50019667c33e","datavalue":{"value":{"text":"The mathematical significance of proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301856$0C6DC050-441D-4B69-9E94-B7A2F2E08748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce44d99af22cd50fab05fb30b90cf6be14ed6ea","datavalue":{"value":"1152.03307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$57AEE991-BEA1-4B6F-87FF-F412E5906BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$AF87621D-4F57-4050-8A04-10779B9C91E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-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":"Q5301856$8CA51C6C-C0F3-43D6-B256-102F1BFC3001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$DAD76298-3DD6-4FD4-B081-6854B72413C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$B67B6658-0F16-4FDE-9736-9ECD6D1DEBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$DFD3D102-D5E7-4B14-93E4-F247E3101968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$3E9FFDFC-B7EF-4B99-97DF-522703D706EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdaca4d2b759b60094699e3075429a955b282317","datavalue":{"value":"5494551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$3BB6554A-96EC-4D64-8118-3FCD3763E2FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301856$BACF00FF-05EA-433F-8B57-13A182E61039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301856$2AFC5783-D027-4AAB-A5C3-CB922C430AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caae294435b05ae1a49544da253542ba8061148b","datavalue":{"value":"mere truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301856$3543118E-AF61-43A9-9B70-01C9AB6F7853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8df24a5a980e047e38ef5b23c67102c4720efad","datavalue":{"value":"unwinding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301856$532DAC0D-266D-4FAD-97C1-A18677D28E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a0f90ce99266ad374725e441ed62183cdb090a","datavalue":{"value":"fully formalized proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301856$97D1FAEF-8D41-4004-B756-AE55C9B570BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30de2c0162199f698bb55ab738e0fc8c2acc5ae9","datavalue":{"value":{"entity-type":"item","numeric-id":787960,"id":"Q787960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$F383507D-3DA8-427A-8648-9ED9B0C00B95","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":"Q5301856$1A9016EC-315C-4562-BF14-635D5DBBD68D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6696f4b9fc56e611fa3f76c80d6486d944eb879a","datavalue":{"value":"https://doi.org/10.1098/rsta.2005.1656","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301856$722C661E-BC96-420E-83A9-B6B6168206FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23f896ebcb1c367877b43b342023271a78f80729","datavalue":{"value":"W2162770039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$F3323478-F8AB-4166-B4C3-8B6E1F009285","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd15da4be0826f6fc0d83ad168d2d7e077fc87c0","datavalue":{"value":"Q51963616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$CA0F5260-5E8F-4B6F-97A2-3A9F2D4E65A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a4500038e90ae4c466f5afc928e853542f5d02","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$89ECD172-8E83-4897-9C2E-393548CDEE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6a4577370e36a00c55d0cbb03135401cb7b8d5","datavalue":{"value":{"entity-type":"item","numeric-id":5301855,"id":"Q5301855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$A8CAC01F-8ED6-47FC-9F46-B3A61029A71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$C75CFA54-F939-4E43-88FB-E69A396AC2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$596F95BD-8889-4FB6-94F1-E398DCFFE93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$806449AA-46B6-432B-9A73-C4B41062AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd160b2946ee4e62f4e877f08cbcb403c0fe8f01","datavalue":{"value":{"entity-type":"item","numeric-id":5434472,"id":"Q5434472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$4BE83A37-9610-4992-B658-607652E51F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e0ba76923d8785deb8e192f8e244805f6bbcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1150411,"id":"Q1150411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$ECE3C94D-DD8C-4D57-9522-27D06A6ADBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217200d45c5892582cccf6d56219d54b9b028ba8","datavalue":{"value":{"entity-type":"item","numeric-id":4385479,"id":"Q4385479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$C3EDDD1C-5AA7-4040-B6EE-2A319C802557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$0249BF91-9BD6-4FBE-BE2F-30EBAD337E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a3d7142e9e4dfb5b3be44dd4b567405b617fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4531986,"id":"Q4531986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$B8B3496F-665C-4CC4-A081-FF3CE4DB279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3604ad3e0508efa1d25af6dacc23f1ed8921595e","datavalue":{"value":{"entity-type":"item","numeric-id":4681899,"id":"Q4681899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$088DD5C2-9677-4EB0-BAFB-0B8BC7E713E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$BBC7AE3A-717B-40CA-8488-7B781C5F7EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$A7BAC3C6-977D-4C40-897C-7C05C11D3DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806a618166f12f65d13dca7484352b964694202b","datavalue":{"value":{"entity-type":"item","numeric-id":4397035,"id":"Q4397035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$74F05037-FE15-4A38-B53F-85DC6E78E508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c757029ae862a786a457916613a9c9e031e7e","datavalue":{"value":{"entity-type":"item","numeric-id":5817994,"id":"Q5817994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$5B3C8806-09CA-467B-B3BB-747B7727C062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314afae9c4a9f73a94af2e86d16d32feec0babba","datavalue":{"value":{"entity-type":"item","numeric-id":3794188,"id":"Q3794188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$E7C4DA37-A892-42FB-B8AB-964C6EBCAFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$29971560-BCAB-4546-BDE5-BC39713A2990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301856$E377C80A-EA43-4DA1-B0A2-E902B4A5AF49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cf0c6c0aa3447bd3a245bfab198b736370d7e6e","datavalue":{"value":"10.1098/RSTA.2005.1656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301856$DD08AFDB-94C3-45D5-8E1C-DD86E51142CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2221350fe1f3b8c1fd37994043e4ce190f9f434f","datavalue":{"value":{"entity-type":"item","numeric-id":3160752,"id":"Q3160752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbd4a3aeaa385a0fe5a0976c37079eb8fd0edcb","datavalue":{"value":{"amount":"+0.7638942003250122","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":"Q5301856$F72F8C9B-824A-435A-B4EF-7AD2F6148BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb6174fc3fa0025711799b9200718ffde020123","datavalue":{"value":{"amount":"+0.7629382610321045","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":"Q5301856$A63A6FB8-8E7A-4C85-A145-6D42FB19FDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe7e581d1b08f70ac938af73c5c38fa104cc60c","datavalue":{"value":{"entity-type":"item","numeric-id":4397035,"id":"Q4397035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81162017599e52d257734730a37eaea982e91de","datavalue":{"value":{"amount":"+0.7568945288658142","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":"Q5301856$FA178136-1292-4821-8E77-D5DB585AD0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1a711cc60c6d4211dca9563771e9be34c7a580","datavalue":{"value":{"amount":"+0.7484578490257263","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":"Q5301856$AE624143-076E-433B-988E-1F5176E1A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54114c895b388ede930d5c3b6348cedfebf6f799","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c339e7f7d342ca7299ed6d32d413e48bbc6f1c96","datavalue":{"value":{"amount":"+0.7448046803474426","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":"Q5301856$A3DA72F4-624A-495D-A0CA-53321A46C7B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The mathematical significance of proof theory","badges":[]}}}}}