{"entities":{"Q4254619":{"pageid":6284220,"ns":120,"title":"Item:Q4254619","lastrevid":46839411,"modified":"2025-12-25T17:02:42Z","type":"item","id":"Q4254619","labels":{"en":{"language":"en","value":"The proof-theoretic analysis of transfinitely iterated fixed point theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310694"}},"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":"Q4254619$86090F6C-1035-4EE1-80AF-C6AF31AE4B32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e734f94fc87e3e5de6ece09ae7bfa75e02790fc7","datavalue":{"value":{"text":"The proof-theoretic analysis of transfinitely iterated fixed point theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254619$A8E2EF23-1B52-4C6F-B393-DC0C09F7CA5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52b9065b4feefa49afb728496b468b769f54bfac","datavalue":{"value":"0937.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$A7714489-5141-4CB7-873A-0496F713AF79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"804f00d3dc8bab84a4e11c93d0817967dd03a592","datavalue":{"value":"10.2307/2586750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$37531DA6-2A8E-4406-92B8-0A6F3C833BD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254619$BED7CA53-20C8-48C0-AA3A-7EED2EBB0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254619$9DBA1222-4886-4325-94CC-A90CB7002F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254619$0E4B0D8F-3F23-4018-8796-A8D4E98F75C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254619$8499867A-949D-400C-B4D7-8B1CA68CEF5B","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":"Q4254619$7F9E79A9-CEBA-4E15-976E-CB40D8E32343","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4244551abec70ba3f6bd04b65d2d77f63fbcffd1","datavalue":{"value":{"time":"+1999-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254619$141F1983-5A99-4307-8EF0-38B071A06AD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f3b6f33326f7ecaa7ba731eed66ed7703c6e036","datavalue":{"value":"https://boris.unibe.ch/115095/1/S002248120001389X.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254619$3FBB26B8-142A-4554-A3B2-AF69049F2496","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$69311385-C975-4DA1-B3D0-AD2BECF7B82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$792A0E9C-AF66-456E-9985-E8217974AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$A29AEB3F-4C49-4F22-9E4C-1D2C6C3ECB7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4723cb40740dbdde9e14e15963d1c86dac5cd771","datavalue":{"value":"1310694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$946648B0-69D9-491F-8F11-68608BAF0E02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37629d8b6f1fd20b6d5b6e60c65a003a0ae88bc","datavalue":{"value":"iterated inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254619$49C9D9FD-0194-465B-AA34-D125CB594D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ce4b23693d1c3d95fd08e0879aed0e1c2f8ee5","datavalue":{"value":"fixed point theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254619$36ED4AC2-6705-4E9A-B7CA-4BD1698331EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518a3ee65dcfab669ba4d9d11a07cb86586a812d","datavalue":{"value":"well-ordering proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254619$B628E61B-B5C9-4BC5-8C6C-B01B2447CBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cbe0c3dcee2960902b7f34fe524584de623afa2","datavalue":{"value":"generalized predicative methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254619$B4894E96-11FE-48EA-840A-31912ACD43BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875f4722c488b3dd9924712f6ea14fa985bcb55b","datavalue":{"value":"ordinal notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254619$AF1C97F8-B0D1-451E-8DA8-81B04DB00542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55df525daeee306ce3ea7305f8de22d78ced22bf","datavalue":{"value":"metapredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254619$CCF05615-EBE3-43CA-BAEB-B3D90704E0ED","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":"Q4254619$C74AC9DE-9A9D-4B0B-9469-44E524A83A46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18e79d4f94e749de51ca993ca714c2bc3060c957","datavalue":{"value":"W2001118478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254619$AD74DDC2-9069-4C95-AE43-0A0C2F26E7B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254619$528533A1-9D00-40A8-9112-D4C614AA7F16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b2fdd57435827c9b4003904f200520abcd96b6","datavalue":{"value":{"entity-type":"item","numeric-id":3410669,"id":"Q3410669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a3635457a63d83dcfb387d65da3dc2fe96d37b","datavalue":{"value":{"amount":"+0.8985068798065186","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":"Q4254619$7864CB88-68B0-460B-85ED-AF230A61B7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900bc078011613849e8547905e4e483d14f4af4c","datavalue":{"value":{"entity-type":"item","numeric-id":4944925,"id":"Q4944925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa7c354fff0b907823c873dce0f85d827d757a8","datavalue":{"value":{"amount":"+0.8318217396736145","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":"Q4254619$E622CFBA-2FC4-4320-A29B-B8406421C651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a83a408442c3db67858a210469ff123540b750","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a7e86ab2c3ef88f8427a00d7f983dbcb726e5c","datavalue":{"value":{"amount":"+0.8129230737686157","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":"Q4254619$3FA9788E-A160-4EC5-9EF9-4EF26D85BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cee7b4e917ce72add131427bb7620878dc20010","datavalue":{"value":{"entity-type":"item","numeric-id":1295369,"id":"Q1295369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c519430beb0105068526188d41a584d555211c","datavalue":{"value":{"amount":"+0.8092107772827148","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":"Q4254619$35D61A6B-7BCC-4061-ADB9-B3AF95C16DEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254619"}}}}}