{"entities":{"Q3964558":{"pageid":5994463,"ns":120,"title":"Item:Q3964558","lastrevid":55119646,"modified":"2026-02-03T20:49:08Z","type":"item","id":"Q3964558","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786768"}},"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":"Q3964558$7BEEBB3E-BEA9-498B-B478-B4AF925B3D7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fbc977c27d8f7fbdef77a8fea89e5e87fe93d29","datavalue":{"value":"0499.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964558$BB5ADBA8-5F0B-4A5E-B5C1-25D554B7CC24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964558$DB65D328-D427-4B25-819C-EB595D9B5467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3964558$26241513-F1FF-49BA-B73C-48ED732906E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964558$1592739B-D752-43EC-8910-DE3F62025516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964558$F8B7C85A-1C6E-41F7-A165-1D37F6F8CDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964558$9ECBE8ED-3E2C-47D0-AF60-B5AF87C2AE43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4e3e0675dfcf7b3d17913e0060a04754d154ec0","datavalue":{"value":"3786768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964558$E981C805-3482-4AE1-B252-FE5956DE8E52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325b3c39938df9496a493415965b9de393b0f17c","datavalue":{"value":"definability characterizations of recursion in E","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964558$F5A921A0-FEE2-4402-A82C-A97A9F112591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71efd46f910ddd455fa270ec1e545b2df8ad417f","datavalue":{"value":"positive elementary induction on abstract structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964558$624BE9AE-2D1A-460D-8A59-A9E0818AE748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83aa5afc25e01ebade09a266b961174a21bed7b","datavalue":{"value":"hyperarithmetic theory on the integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964558$B881604C-AECF-413A-B26F-3C33F0EFFBF9","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":"Q3964558$33E54068-1077-45E9-9DC0-7486F61674BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3964558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3964558"}}}}}