{"entities":{"Q4521126":{"pageid":6550719,"ns":120,"title":"Item:Q4521126","lastrevid":81916199,"modified":"2026-05-06T19:39:38Z","type":"item","id":"Q4521126","labels":{"en":{"language":"en","value":"Analyzing G\u00f6del's T Via Expanded Head Reduction Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545075"}},"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":"Q4521126$A881EC9B-8D7D-4C84-88C7-0874FA8B3140","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec8d5da5e550aec40f7ba5c6d704551651e1cc15","datavalue":{"value":"0964.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$235D696E-66B6-4985-93F5-CB3FC31188A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521126$68AA4214-AD7D-4D63-96AD-C16DDD9AE24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521126$736E429E-9D5E-4420-94A7-627D8ACCF510","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c1d27f90c5efc0baf8dad41a96c8a8197323785","datavalue":{"value":{"time":"+2001-07-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":"Q4521126$A33AE50A-AA9F-4182-91B3-51358CB96F33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$4BE494BE-1C51-450C-B4B2-580F900B01C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$E492A3E7-6D1F-45AF-B8CA-0D03957246F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$B048F61F-76C5-4534-9AFC-C2507E522B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$EF6DC8A3-91C8-44D4-A6D2-70631965EF59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e604acd30806569294f11bf7b85aae7c76d2f7","datavalue":{"value":"1545075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$2BBB72C6-8027-464D-93F1-C3646C554641","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be788c4e9f4b57c6b9cb729d10e568993446d04","datavalue":{"value":"expanded head reduction trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521126$E2173A2D-A86C-4E9A-B52B-2921FF6AD2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77245a6685736e3845444bd1a3892b49f333ce74","datavalue":{"value":"Buchholz' \\(\\Omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521126$4AE52B74-11F2-47E5-AC32-2E11C75BA1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfcf03f8e17a6d10c65cb0f1d605033b776a766","datavalue":{"value":"derivation lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521126$4CE762A9-2C78-4507-B7C4-FD1D2C6DF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9222b45683c57a19ca10d74cc6b57ff0bbc1572","datavalue":{"value":"G\u00f6del's system \\(T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521126$3BA85FBF-23D6-4C0A-BF8F-191A9943A693","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":"Q4521126$991A963B-88DC-4721-A13D-114DCAB15462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24a9cc18cf257a001e0b99a5504ffa2d55fd0fcc","datavalue":{"value":"W2102009936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$7309B827-0F12-4272-959C-DD266DE45169","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbc954becae9b2dce6d2a57d6c0dcdfecb530e8b","datavalue":{"value":{"text":"Analyzing G\u00f6del's T Via Expanded Head Reduction Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4521126$0B5F494F-CAE9-4ABC-B3F1-98C912B21BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a355098da7337c8ae3afee56820955af95c88019","datavalue":{"value":"10.1002/1521-3870(200010)46:4%3C517::AID-MALQ517%3E3.0.CO;2-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521126$8B2CEC10-7A0D-40D8-94A2-8A85F6C21358","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ca87fbd23dacae8d2eb21e39558aaac7d366f7f","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200010)46:4%3C517::aid-malq517%3E3.0.co;2-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4521126$3263276B-7191-4548-96F3-9FAE44EAE424","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad22e39bb58feab879f01749a1127a4f74979df3","datavalue":{"value":{"entity-type":"item","numeric-id":2881086,"id":"Q2881086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662ed980e7095bf730bd108a44fa87ca0f1231d7","datavalue":{"value":{"amount":"+0.8312153220176697","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":"Q4521126$563DE527-21B9-48B9-ADF1-0FD99EB8D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6baee11bddd38f248e5ee900d09d949d8dc92d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3637208,"id":"Q3637208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be29be4688c1e94c87816ecb1c0d2d5b4b93b11","datavalue":{"value":{"amount":"+0.8161560893058777","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":"Q4521126$60F3F282-D288-455E-ADDA-B8937E858EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c86b3bd55dc230c7661188d46a7e8d7946c74a","datavalue":{"value":{"entity-type":"item","numeric-id":4218926,"id":"Q4218926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac9c40fd59d19c0ecd443b2935b77bcdc945ed2","datavalue":{"value":{"amount":"+0.7484991550445557","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":"Q4521126$69553361-C2CC-402A-99B2-5F5B5803B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437f0f80f207b0152cd7788d416503565530f3de","datavalue":{"value":{"entity-type":"item","numeric-id":1772771,"id":"Q1772771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac9c40fd59d19c0ecd443b2935b77bcdc945ed2","datavalue":{"value":{"amount":"+0.7484991550445557","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":"Q4521126$C41F3B6D-3793-4737-A0D7-BAA4F1BCCC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b6badc0436fe1db4100aef49eaeba033e79198","datavalue":{"value":{"entity-type":"item","numeric-id":1374676,"id":"Q1374676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd4ee565a18da1d677fc126aaffc92cc74daaf0","datavalue":{"value":{"amount":"+0.7426301836967468","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":"Q4521126$525378E9-45F2-4DB9-B411-690D787F3ABA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analyzing G\u00f6del's T Via Expanded Head Reduction Trees","badges":[]}}}}}