{"entities":{"Q4850555":{"pageid":6880135,"ns":120,"title":"Item:Q4850555","lastrevid":46335480,"modified":"2025-12-24T14:31:41Z","type":"item","id":"Q4850555","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 806754"}},"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":"Q4850555$4E76ACCE-6582-4E49-B5D2-098A3264D6CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d6495e5592313772cf3e84e2fc4c4c12e60e68","datavalue":{"value":"0864.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850555$8EC28A1A-6CEE-4D2B-8F6A-7643E2EE2BD0","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":"Q4850555$5AFECC0D-F9D1-42A1-B4E8-BB16A2E15495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850555$5CF51E67-A534-47F7-9302-43917C264956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12bcc24bcb1687cc3955f148bdc9dcf1a4ac38","datavalue":{"value":{"time":"+1997-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4850555$9E9169CD-2472-452E-ACB2-A5D46B9DB1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850555$3C45ADE3-2B52-48D2-B21A-4DA1045461A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850555$42FBCD5C-A509-462B-9EF9-01629203A5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850555$42EE8E99-C6B3-43D9-B452-5386D2E68140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850555$968CF1B3-82AB-4EA0-9D38-62F70F7FBAA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83580d9687c9e8da1d684188ddb40a9679471434","datavalue":{"value":"806754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850555$0A35EF0B-3160-4A55-9BDB-99B39320AA44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$4284AB4B-937C-429D-8BCE-57A05BAC0DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e957915c4bd3263ddeaf24b054dddc6b779ee5e","datavalue":{"value":"proofs as programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$5DD1BA67-1D6E-4BA2-A7A3-454526917CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$6A8B1601-A17F-4F19-B0C1-B04A240BB741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$B73BEB1D-DB55-4462-8EB3-36586E8E2B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3191845af54f294838fbbad8d46e1f3cf0b6ac94","datavalue":{"value":"slow-growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$3C872F83-4B1D-479C-A22C-BE4F8ED4EDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"317d4672c1d4af73dbbd01c58ce45e493622d60d","datavalue":{"value":"program-constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$3AF32AA0-B510-4419-90E5-B4E50142C071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a93779cd96385ff06e69863059d0e0761cf3157","datavalue":{"value":"collapsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$894075CD-02DC-45D4-B137-881458BC2B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$83F9B9EE-4D1C-45F9-9FB5-CFE1CD25367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b375e2806e7e8e8d123fbd82f3d743e750b9161f","datavalue":{"value":"fixed-point constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$59CC00B8-DE29-44B0-94C5-DFAFC50B9E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$F1FE220F-E8A5-4060-AD01-717110CDAE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb140aedd988b04d777d34948307da2d866457f","datavalue":{"value":"Bachmann-Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850555$B0E63911-D3F9-4294-BDB7-F5B519C15772","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":"Q4850555$4A341CD0-D2E8-4539-8B38-36484991C8EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a89dc3f8b9c614d3c47ec807c896f5b07eb80c1","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599a88c61bcf5aa55ac254ca14f0b84479cb1d2c","datavalue":{"value":{"amount":"+0.7851296663284302","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":"Q4850555$9C0C1043-07F6-41A5-8B31-0248CCFCAA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b1d9ee120034cab799ad7a4bb065cb6a0b5085","datavalue":{"value":{"entity-type":"item","numeric-id":3447691,"id":"Q3447691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2af6302db27270a13aef2ee9338a5b3893392ec","datavalue":{"value":{"amount":"+0.7656475901603699","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":"Q4850555$75A516CC-B189-4A33-8BBE-53B41CF2DFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e81e1b6e181c0774f6a2f15bfac91fe543c916a","datavalue":{"value":{"entity-type":"item","numeric-id":3028999,"id":"Q3028999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf74799567f5a522bd904e1d578d8c077d24a536","datavalue":{"value":{"amount":"+0.7495231628417969","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":"Q4850555$56BB7916-B8A4-445A-82CB-6F1B49F787A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865cb4e7a9bd5838c8c9f94424fdcc6dcd089f87","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c786086b44fcdd3ff1653946c891465dcb75659","datavalue":{"value":{"amount":"+0.7484726905822754","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":"Q4850555$64012116-9667-4264-A10A-EACF870E9926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93831ff863dbe876051fa89a948234e6e53da0e1","datavalue":{"value":{"entity-type":"item","numeric-id":1193596,"id":"Q1193596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4494981c868d0f64ceedfeb68bb70a53fa257535","datavalue":{"value":{"amount":"+0.7478172779083252","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":"Q4850555$3DBE8149-F252-4373-ADD8-74B4AE76F22E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4850555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4850555"}}}}}