{"entities":{"Q4934555":{"pageid":6964137,"ns":120,"title":"Item:Q4934555","lastrevid":47433538,"modified":"2026-01-01T18:02:52Z","type":"item","id":"Q4934555","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1390268"}},"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":"Q4934555$E51971D6-8A44-4213-9BB0-C46E914F1BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcd98db495edcdd52c2ba4273e81cf8eb9f52628","datavalue":{"value":"0939.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934555$6F53C0E8-9F41-4809-AA4D-C47487CC63E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934555$7FC7A701-11F0-47B2-8F89-D92F116284AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934555$439C1330-FAF1-4252-8ECD-FFE5BFB02FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934555$B9339E30-6D44-47B1-8D67-38B137531A09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d491a6221271059e65b58daab26201e1131b9d6","datavalue":{"value":"1390268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934555$D860D9B3-A4AB-44DA-843A-6420C8BFC139","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934555$AA66C7C1-3EFA-40A9-8F59-4F079C7C407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6b0839bf12966f83f4b3a90f71df41ee6c3de7","datavalue":{"value":"finitary analysis of proof figures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934555$700F87BF-51C1-48F8-98B9-D1EEA8FCF84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d851dc6dad0c21e96d2633170c6d7b269b86574","datavalue":{"value":"ordinal diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934555$480745E9-2BFB-4101-A59D-EADF8DDCCAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9c65ad678299862bd8accaaa630b8d6ab8349c","datavalue":{"value":"Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934555$D4788438-7F77-46E1-9696-52D81F9C9899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c70d24457dbf0f5f973d49d9c9885ba3f84ff8b","datavalue":{"value":"recursively large ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934555$53A20B61-CDEB-42B4-9D4C-C651D2E006B3","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":"Q4934555$C75AA392-0944-4BE9-9418-82593C634EB1","rank":"normal"}],"P1643":[{"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":"6b79f5ce62aeff22302dfb74bb4b1c8c72ad4adb","datavalue":{"value":{"amount":"+0.7992790341377258","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":"Q4934555$06AB5F0A-C91B-4C5A-A1BA-5B77F5C42052","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":"e2141d659392d6070f452be66f4d6758e7670c7f","datavalue":{"value":{"amount":"+0.7912495136260986","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":"Q4934555$E7D08A6B-269D-4685-8751-C1BA7FB501A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5959204c7bbba00f9bcef38b1c2ffa198b5f6582","datavalue":{"value":{"entity-type":"item","numeric-id":1868167,"id":"Q1868167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d4868532dfd93394fd691844430bbd7c414482","datavalue":{"value":{"amount":"+0.7894752621650696","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":"Q4934555$62266AFB-7FAC-47A3-8B5A-F972F4607D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9190cc5560b8d00a93a1236db9aa94fe4346581b","datavalue":{"value":{"entity-type":"item","numeric-id":1711783,"id":"Q1711783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c4547598e164c0e6043113fba4d8bd353c4fd8","datavalue":{"value":{"amount":"+0.7862025499343872","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":"Q4934555$DD64D500-7FF6-40AF-9175-47342AF59FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1211c8987a457bb88759d68203cc6780d138d85","datavalue":{"value":{"entity-type":"item","numeric-id":5361255,"id":"Q5361255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0783701776e6fb793c49e2a2265de7146310a7","datavalue":{"value":{"amount":"+0.7850602269172668","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":"Q4934555$52F38EBB-E2C5-489A-B807-4E0073D5755C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934555"}}}}}