{"entities":{"Q1734262":{"pageid":1745003,"ns":120,"title":"Item:Q1734262","lastrevid":68928651,"modified":"2026-04-13T03:10:18Z","type":"item","id":"Q1734262","labels":{"en":{"language":"en","value":"A note on Gentzen's ordinal assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7043050"}},"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":"Q1734262$A487BAB6-685C-4269-AEF0-4F7A36FA07C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1e0c11a80a53a6c21d55832013571eb41a11648","datavalue":{"value":{"text":"A note on Gentzen's ordinal assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1734262$424575EC-11AD-431A-B8A4-8523726A508B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04efb90020efc42f8efb4897fb798c9edac65763","datavalue":{"value":"1477.03249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$C46E4791-299D-44AA-9E21-8BB5135657AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea68be1d5bbf01a939b97478f823720bfc73a97b","datavalue":{"value":{"entity-type":"item","numeric-id":1734261,"id":"Q1734261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734262$49AD0FDF-67B3-495D-B911-5A03279AAC76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734262$BCA072C7-D109-423B-A95E-DEB929DD6D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d06bbe883443d922d03e742956c1e568349f86c8","datavalue":{"value":{"time":"+2019-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1734262$8362F74F-102B-4E18-B955-84C62A7AFD09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4a2e4e195a36826f963fd9befe8c5f379eaa691","datavalue":{"value":"http://hdl.handle.net/10138/303909","type":"string"},"datatype":"url"},"type":"statement","id":"Q1734262$F4A1D74C-781B-4518-AB93-D1551708E37E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$13F17A0E-6CF3-4BB1-865C-7D57150E9958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$AC76569B-DCCE-4326-8FA6-C4F103D29F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$58BC2930-7A1C-4F38-B484-50718CF963BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$2568C8DA-FD60-4B5E-AA61-07B5FAB5DEFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c82f80de93fa74ad2c6d0a732757e94af434f307","datavalue":{"value":"7043050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$9ADDC194-C118-44E8-A02D-F34C48883A02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2156cf78a1d2f43850d6429e2dac6d6d3ec80d0e","datavalue":{"value":"relative consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734262$9FC396DD-9D4B-46F9-90DA-507380A8D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734262$DE67DB17-BD5E-458A-9BEA-896E4C850665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734262$C8254B7B-2D99-487C-A2B5-FB81CCD6B995","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":"Q1734262$1F0D29B4-12F6-4C9E-B117-21121FEA8FD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b7f5e62b6822db6a335afa05cf11fe41d3b64bb","datavalue":{"value":"W2883229425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$B2E43FC6-1AC4-4B03-B218-64E4885C6BA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813dc3796cfeaeadc0083e9c9b8bb8c20c00bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5770686,"id":"Q5770686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734262$97BFE65D-3F2B-4C9A-BDCD-37C7FE7E1620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734262$354B453E-A12C-406C-BED4-CCD10BDD0694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734262$45C33B8A-820A-4313-816A-A1D73F951B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734262$B7ACD512-ED09-48BE-B397-43AB783323CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bfde4f846e4d5c62b2b27bac03eb0d4de763bf19","datavalue":{"value":"Q129501174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$B8CE0FE9-1BB4-446A-9828-9F96B6A69D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41ba0973d8595c66486450ba3dbeb47153ec5ca2","datavalue":{"value":"10.1007/S00153-018-0641-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734262$CE0CE2D8-1B55-4DB2-A912-EE0756D3500A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c7a541b68918b526a220e9952b282fb0a3d087","datavalue":{"value":{"entity-type":"item","numeric-id":2377348,"id":"Q2377348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a501c6cbab4a3d061fa738747b1e256418158c","datavalue":{"value":{"amount":"+0.8035640716552734","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":"Q1734262$89A444F8-65A7-4E9C-A9ED-2CBF16367313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326257beeacd59751a7277915226a5a3d9711f19","datavalue":{"value":{"entity-type":"item","numeric-id":5208100,"id":"Q5208100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e12633f2d69972ee59885659557f430113a74e","datavalue":{"value":{"amount":"+0.7854503989219666","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":"Q1734262$8F8F9C51-BCEB-458A-87B0-6B7040757F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8476ce401bb431560bb3421aa3d4122cfd6809","datavalue":{"value":{"entity-type":"item","numeric-id":4304798,"id":"Q4304798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967b1b980f43f191bbed48dbc4aa6371778368f4","datavalue":{"value":{"amount":"+0.7666129469871521","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":"Q1734262$4945E7D9-533D-4212-B75F-140FE65A88CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcd9635756431fc567f5bfb22351e485fed984f","datavalue":{"value":{"entity-type":"item","numeric-id":4254685,"id":"Q4254685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f838c24a75b30d3c032308cabeea55e4016bd238","datavalue":{"value":{"amount":"+0.7522964477539062","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":"Q1734262$30245727-C9B3-4372-8EC7-497966CFE37E","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":"6766c17516e530e877935fe83a0a195266886b04","datavalue":{"value":{"amount":"+0.7513038516044617","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":"Q1734262$E9F5B37E-B72E-468B-B4B0-D2008B6BFE9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Gentzen's ordinal assignment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Gentzen%27s_ordinal_assignment"}}}}}