{"entities":{"Q3138828":{"pageid":3149544,"ns":120,"title":"Item:Q3138828","lastrevid":47196931,"modified":"2025-12-31T23:42:53Z","type":"item","id":"Q3138828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432701"}},"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":"Q3138828$9F8B67C8-CEBB-4B28-AB7E-18D964132E9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4321672f035f3db5f9927f48f0fcf5b76f0f5418","datavalue":{"value":"0794.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138828$1DFA73C2-6F50-4777-821A-2FFD15599F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138828$C2A79E14-94D2-405C-B907-ED2B82B94E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138828$A8AD1208-EF9A-4B38-B022-4A84B90B2E37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138828$535A1AE1-CFD6-4017-951B-C225C8822E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138828$1EF4A95E-0A86-4C42-B5AA-A4A5BCD8E564","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61641ed1adcbd3f4443ecbaa2030f4d65deef3e1","datavalue":{"value":"432701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138828$3D975DFD-770E-4682-A8EA-3CEA8248F781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138828$4ADFB264-F4A6-4BA3-9C71-78AC50697A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138828$BC49D0FE-DD3F-4C2B-99B2-4DFCADB5B3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3191845af54f294838fbbad8d46e1f3cf0b6ac94","datavalue":{"value":"slow-growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138828$29C29F6C-2032-4ACB-9DB4-C951904E1710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9c65ad678299862bd8accaaa630b8d6ab8349c","datavalue":{"value":"Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138828$C21E7190-356B-4508-9759-57AC4473C52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4fdab1669155efb4b9fef12dac296f49979e1fd","datavalue":{"value":"program-extraction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138828$2DB1E7F4-0E9B-4565-9A1C-C88CCE567B01","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":"Q3138828$67244B0A-60C5-4830-B8C4-8F97C0B54D49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1fdcc8f8d68542b037a0ab7aa3be60d187a717","datavalue":{"value":{"amount":"+0.8053784966468811","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":"Q3138828$4A1A627B-D1B8-4DEB-B7E0-6E1110D0D61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e6b97beab6b9c0e4899c288c9d56b6ae605b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4036572,"id":"Q4036572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06546c3e26ec1a37f2d9422d691568e0a95b5cd4","datavalue":{"value":{"amount":"+0.8050925135612488","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":"Q3138828$FFB0B677-A4BD-4112-B308-E7A307EEA4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06546c3e26ec1a37f2d9422d691568e0a95b5cd4","datavalue":{"value":{"amount":"+0.8050925135612488","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":"Q3138828$1767D322-BC2D-484B-840A-8CB57BB6F562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a86155b6926eb9cad9fbe5fcb993e648483c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5384980,"id":"Q5384980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377667b3c4330b6c04b3f0b89a5fb8462771e551","datavalue":{"value":{"amount":"+0.8039055466651917","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":"Q3138828$702A3DB1-7DEA-43AA-B362-84FCC94E6AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2551c28675ada81db14582b346dd964d99137623","datavalue":{"value":{"entity-type":"item","numeric-id":4436027,"id":"Q4436027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30516da6a961a4dcb139b5c09b5a60ee69be4767","datavalue":{"value":{"amount":"+0.8037370443344116","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":"Q3138828$F621F435-5370-4C27-808B-C26FF924C933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138828"}}}}}