{"entities":{"Q3803081":{"pageid":5832987,"ns":120,"title":"Item:Q3803081","lastrevid":53337491,"modified":"2026-01-24T18:38:06Z","type":"item","id":"Q3803081","labels":{"en":{"language":"en","value":"Hilbert's program relativized; Proof-theoretical and foundational reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070854"}},"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":"Q3803081$568707DE-CCA0-4B77-8BA7-8CD54AD8B1F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff96e9be7e114737458c08efb5877cd8b40e7f01","datavalue":{"value":{"text":"Hilbert's program relativized; Proof-theoretical and foundational reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3803081$721310C1-5200-425D-B27D-2FDD4C0302DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7384397272c46257b528c1b46aca0fd83449afc5","datavalue":{"value":"0656.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$FC51F12B-293B-450F-80CA-C9A9A3DD49AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cccb6411c22010871386d3b89a42a2932bfdf98e","datavalue":{"value":"10.2307/2274509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$4E672FB3-E471-4815-87ED-40CA38761ECF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3803081$F55CF368-60F1-4390-94A4-993D9A24FCDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3803081$CDF0FE78-4596-4B6F-BBC6-258D3D7727E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$9F199660-887F-4AA7-A713-FB4947538CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$A974A78B-E514-4489-B07D-A79CF90673EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$1E539009-0F6D-4775-868B-DD268810E73A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1d2e93caf1508d344e8bc161f80f669d8b5e0d2","datavalue":{"value":"4070854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$9A44A048-C782-404C-81D0-FDF75003BBB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db1c09ce7f19489d36dc4db1f67718b77b7cd42","datavalue":{"value":"Hilbert's Program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3803081$24339D42-205D-41AE-BBE9-9CD187C502BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd2acb66d42992904fcdefc87690b2ebf61945f","datavalue":{"value":"extensions of primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3803081$4BA26E96-9B52-45A9-B95F-E25C724ED2BF","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":"Q3803081$8C6E290F-FD29-4840-B14D-05127DC178EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd0a72b98f72df28cb78e3889c30e47a8727db4a","datavalue":{"value":"https://doi.org/10.2307/2274509","type":"string"},"datatype":"url"},"type":"statement","id":"Q3803081$5F13E043-4E2F-4236-BB0E-B9D6CE474A07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"721bad9b4611b7d70c0473f3ebf7a3cead3160a6","datavalue":{"value":"W4242304899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803081$6DFDCDF5-EBE5-4D5F-864F-C7910955891A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3803081$63E7EEAE-EA96-4558-BCF6-042B6CA237C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ee20ecd4cc07c14e88b41cdf0f0a3d63e46dab","datavalue":{"value":{"entity-type":"item","numeric-id":4910498,"id":"Q4910498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df12a55f83c2eda4b6632e9a9c4616ad08272e75","datavalue":{"value":{"amount":"+0.8299328088760376","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":"Q3803081$1039E8AB-134C-45F0-89EC-B0919048B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf41a1d855918e8383ffabc810ef0aeb0a5fa49c","datavalue":{"value":{"amount":"+0.8171849846839905","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":"Q3803081$422D6D19-D78F-44C2-A513-882D631C9BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5777eb9af789c1a7952fdfaf6f677660337084a","datavalue":{"value":{"entity-type":"item","numeric-id":1202497,"id":"Q1202497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621bc8119b90ff899c6075ced5ae0aedacbf1d20","datavalue":{"value":{"amount":"+0.8154284954071045","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":"Q3803081$271316FC-C7E0-4B14-AAD3-A3695BDBC307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a9a2132f299b962e9224749a9a71d414fff5","datavalue":{"value":{"entity-type":"item","numeric-id":4365296,"id":"Q4365296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621bc8119b90ff899c6075ced5ae0aedacbf1d20","datavalue":{"value":{"amount":"+0.8154284954071045","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":"Q3803081$8672B732-F34A-4C71-8360-E9C4FAC85FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b870175be5815b5757a9340adb1aefd3bbf8be13","datavalue":{"value":{"entity-type":"item","numeric-id":3788003,"id":"Q3788003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7102b5587bf3d8cd72dac9737d07e13701c373ca","datavalue":{"value":{"amount":"+0.7927696704864502","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":"Q3803081$840B47FE-E64D-4A1A-8397-FE49458825E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3803081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3803081"}}}}}