{"entities":{"Q3773880":{"pageid":5803786,"ns":120,"title":"Item:Q3773880","lastrevid":52182929,"modified":"2026-01-21T02:52:28Z","type":"item","id":"Q3773880","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033742"}},"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":"Q3773880$442D103E-3BD1-40F9-8315-B18D429BB6CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59b0d7b93fd2769164f332441dbf337293932e1f","datavalue":{"value":"0635.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773880$C172B826-20B2-4EFE-B141-6F5AB82DFF32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773880$7611167C-D864-46B4-8D76-58E77047C715","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":"Q3773880$3DBB9907-CAB7-4E66-9075-07F1DDAA3BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3773880$91C710B4-0F67-4FE3-8F8F-AA3E5E315FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773880$9AFEBDBB-0DA7-4DE7-B513-76848F0C4663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773880$52E1CE1C-4D3C-46C8-AFDE-57CF6B0FA6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773880$F38B27DE-5C36-44FB-BF5D-E7A559BEBA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773880$96CCA698-04EF-41C6-8D6E-0E6C8F40FD75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e39a70bc471b3ba2326be6ec460ce5c1b8a6a3","datavalue":{"value":"4033742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773880$8AADDE87-84B9-485D-B0AA-5886C31A1C76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80505c90062da3c5a24e03929c57f0654f101720","datavalue":{"value":"provably computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$137A61D4-60E2-4F11-90B5-DAECC80A9060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd5a827adbe0383e629fb5220722804e7650c","datavalue":{"value":"fast growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$66D4D783-C6BA-4037-98DB-715D6140D89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$CB498B95-7483-46FB-9649-6607553A5F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b743bdbe8bc5c7f9097ef750ef3d8a715f3f9e","datavalue":{"value":"ordinals of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$623CB7C2-1B71-4D72-B861-13DBAB9986E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36549e1d0c25837153e5be32077f2d781256312b","datavalue":{"value":"L\u00f6b-Wainer hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$BF38661B-319E-41EF-A9FD-5A474FDEADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f9e9e2ac14c670a320a9ded148cad3ac8dbf9d","datavalue":{"value":"accessibility of a natural number","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$8103DC01-16B6-4FE6-9225-4194171E28D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4fbfd1ee83a8b4dab7da413303cd1115825fdf","datavalue":{"value":"accumulation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$F2FC4D6B-7559-4BB6-9948-D5C9A21F8D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a26ea7e416af6bb747e1d7ecbb8d6a711b7da","datavalue":{"value":"Cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$3422FC9B-7E14-4D0F-8A21-709CFEEA77C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$89EEFBE6-C9CE-4030-A7B2-FCDDE762CFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773880$2A1FB0F6-58BB-4557-817D-3F2D49B1C537","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":"Q3773880$A3F5A119-AB83-440C-B86C-30DE5A4634E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e371fe0e319f8160402525b9248445a9a9815b51","datavalue":{"value":{"entity-type":"item","numeric-id":4694230,"id":"Q4694230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3746c245fc9049085001185ee837dd90fbb65283","datavalue":{"value":{"amount":"+0.9429451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$ED5D3331-6ACE-4B97-BC99-B00BA48B06DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14a1ad3832c6aa45fbe86ea2ff94ca3a5ab8a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3835449,"id":"Q3835449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b0eba79bf67a2f68cdb9ac08616ba82f54a167","datavalue":{"value":{"amount":"+0.89861906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$C189D844-0F01-4A4B-AA99-EFAE21058CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0ae397e1f6cb1d42840dc2b18965ea92058d66","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b80c90133d03d16ea4b6766243bab537143dbc","datavalue":{"value":{"amount":"+0.8894905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$69F724EE-90C5-46AB-BFA1-5B779A414DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06128e9d77118db6d8edfdc58f1e9696514aa5f","datavalue":{"value":{"entity-type":"item","numeric-id":4921433,"id":"Q4921433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5ae42750d08ff359374e156c3c1d96ee08b901","datavalue":{"value":{"amount":"+0.8892324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$9EDFBEA8-71B1-4EC4-ADE7-52A9B9B31A43","rank":"normal"},{"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":"834296542b2eae0a304014ad80a93bef700ee6a4","datavalue":{"value":{"amount":"+0.88630265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$88878EC3-F8B9-4673-9E6D-231DB472BD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb8a61a60ffa148f7e6626bccb4c40513d9e091","datavalue":{"value":{"entity-type":"item","numeric-id":4531991,"id":"Q4531991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195e7ebfccc844de9bac0c2507749136404f5a71","datavalue":{"value":{"amount":"+0.8857189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$86346D8E-09BC-484E-AC15-D862D43BE507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45ed8e3ff1601bbd0d599f95352734ef066d52a","datavalue":{"value":{"entity-type":"item","numeric-id":2922764,"id":"Q2922764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2d79d3b65f679b57bd3877a2e5016a31f4b293","datavalue":{"value":{"amount":"+0.8853555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$20A2F3DC-1723-486D-9A5D-6A4B50487344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797026dd054ff82cc71113fa92ccc67507367ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5402505,"id":"Q5402505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b3226873f04fd33c567517b90235b85772fae4","datavalue":{"value":{"amount":"+0.8850604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$293A8E8B-9B91-4C49-BEC6-6D7E1A5E6BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288db0b3a24393a3371b5c4a027bd0c894a2a812","datavalue":{"value":{"entity-type":"item","numeric-id":5875420,"id":"Q5875420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef1f2414727eab8ff3e999a1466f726a2e22ec3","datavalue":{"value":{"amount":"+0.88170266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$B37BE813-E4C6-4637-87E5-D5DE54D4A736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae2b1970389166d54a25482676308f10310bad5","datavalue":{"value":{"entity-type":"item","numeric-id":3452499,"id":"Q3452499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f20b43d380a4f190c37619e9861881eaeb25a70","datavalue":{"value":{"amount":"+0.8787953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773880$D717928F-8D28-4CF1-9A40-BA2D081E1431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773880"}}}}}