{"entities":{"Q4273865":{"pageid":6303466,"ns":120,"title":"Item:Q4273865","lastrevid":47215366,"modified":"2026-01-01T01:00:10Z","type":"item","id":"Q4273865","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 475609"}},"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":"Q4273865$0AD129C0-6203-4FE6-A159-DDD7BF38D409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b049dc5938767e83eb59a33d5351ada5aa405111","datavalue":{"value":"0808.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273865$5640E831-520B-4D71-A0F9-C460B4ADA300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79ad183130949ee53e76dcf8f33afd5ecac19dc2","datavalue":{"value":{"time":"+1995-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4273865$0E409D5D-DFEE-45B1-BDA7-D55B20DB4FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273865$0903F739-7F37-41CB-A95D-E5D4746E04B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273865$85889B9E-67EF-4679-9EC1-E2D9F2A88D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273865$8A8EA35D-319B-40D8-81A1-E4B8840F3D0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4080a3e7b9b34ff0b475022338770a46917b3405","datavalue":{"value":"475609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273865$141C0A9A-38F8-483B-A11F-EB61C3711D6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a3631aac7c9e13f732033fc70c676192b94966","datavalue":{"value":"structure of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$C7F04764-8980-494F-A6D7-0A9814F22538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df941cefb8be3195a256bffa90873ca69350da5f","datavalue":{"value":"provability of arithmetical sentences in recursively axiomatizable extensions of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$9D3E03A4-036A-49ED-9478-6B0B844D549E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdfb008082651503d44b2950dd8a99e43385e6f8","datavalue":{"value":"proof-theoretical ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$156D192F-8558-40BA-9BAE-3053D71963EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdeb95310fb8edbab8d0fd7a40959d2db5e84caf","datavalue":{"value":"theory of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$12B4AC57-9CD7-4082-AD72-99C9AF083910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f741c3fde794dd728426723cc0fffb883a118d","datavalue":{"value":"notation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$C9587253-9EE8-4248-9E65-E1A873E62B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4488a703d5e2caae3a20b18bcf53b9d2ccc6a008","datavalue":{"value":"category of double well-quasi- orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$F519227F-B09D-4BF3-892D-63ED1C904AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3a5ed7e947f74eed1184e8c49b5b4bc12686aa","datavalue":{"value":"space of quasi-ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$16266F7C-816B-4BC8-AFE2-F07BCCCFED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837fc5bf62023271ee428d3915134847c33c3eee","datavalue":{"value":"proof-theoretical strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$8EB221A7-D8BD-4E37-9BE1-369B058F6E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c78721141b4f13208948b9a581723f4d49bc35","datavalue":{"value":"subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273865$0C99CF72-49D2-4B98-BBC8-CDBED2F93EFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273865$E3A8BA35-CCA6-4E22-BD9B-82F77B8F8FC5","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":"Q4273865$B17F5528-D3C9-46F3-8C94-D848B2169AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b750cb0d7593ef9816d0f42142477b43677bf190","datavalue":{"value":{"entity-type":"item","numeric-id":3786478,"id":"Q3786478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550bee330ff427d33c0a65f4dcbacb2d76e0cf34","datavalue":{"value":{"amount":"+0.7951374650001526","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":"Q4273865$6A8DE878-15E7-44A5-AE85-B22137396B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ccc43351e4fbf6cf858ccc1688cc08c1b9089","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97df881ed85b693d67d507d38b4952eb9d577376","datavalue":{"value":{"amount":"+0.7537126541137695","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":"Q4273865$64EC3161-C76B-47A2-A291-F67EE1163DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e68d5b2776675a15e70f7d4a0085c432fecdd62","datavalue":{"value":{"amount":"+0.7503053545951843","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":"Q4273865$D3B4A1F9-FE0F-4239-8264-57605853BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723f97d340b587bd749c4a8869d8fb96b0a68ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2500821,"id":"Q2500821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403a7f1ef2748a7507e0ac6b04b076e5252562c2","datavalue":{"value":{"amount":"+0.7448351383209229","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":"Q4273865$22E36FC5-AA3A-4BE8-AB4B-6BC4471E5514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfb1500e19d25d1e06c6df0b28ac01d9bbfb102","datavalue":{"value":{"entity-type":"item","numeric-id":5489367,"id":"Q5489367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45d11df78fe80aa87767ef6183f7f3f0e257e7e","datavalue":{"value":{"amount":"+0.7359204292297363","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":"Q4273865$ADDEEF90-EE58-4AE7-BBE8-DCAA0DC13E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4273865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4273865"}}}}}