{"entities":{"Q4823142":{"pageid":6852722,"ns":120,"title":"Item:Q4823142","lastrevid":74926707,"modified":"2026-04-15T01:02:56Z","type":"item","id":"Q4823142","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110622"}},"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":"Q4823142$E34390B3-33B0-491C-927C-38905832992D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f00b6ed895da9c049e282ee527fc5cce194ceb16","datavalue":{"value":"1057.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$1091703D-C040-4319-96BD-B25D49F38664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c13dd7b8f522b9ebeff81adec421010718bc441","datavalue":{"value":{"entity-type":"item","numeric-id":1772781,"id":"Q1772781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823142$182AB9A3-CA48-4046-9F65-38D999B3967B","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":"Q4823142$3D147E51-EC7E-4D37-A032-EF1C71D84447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d189060835c8b07830e372ef6f5a59e9a201b3","datavalue":{"value":{"time":"+2004-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823142$97AEC7BF-00E8-4BBD-9775-9BC30474906E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$DDD3F6F1-1C55-4ECF-B8CE-EDCDDC9833CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$242DC779-5B64-42B5-ABCD-5A84721CE082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$B36C13FC-CD71-4728-9E61-2A62B45811C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$CDEFD222-7085-4C29-83CD-08201C71DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$201F1D05-54FB-47C5-B254-E20892BA2D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2079b93cc9127c19fadfce2ced08701bb681c71","datavalue":{"value":"2110622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823142$838B198A-4BE3-4283-80D9-9F25AB364173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f1892455258af698c84a712a539d7ea6e8fd7e","datavalue":{"value":"weak theory of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$CD74549E-F47F-4A3B-961D-8B080086DDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf769a71867eaf49c338e831e2c172d799033574","datavalue":{"value":"equation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$F4420292-00BF-4473-98DE-BEF27C3DFCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$52870764-913C-45EA-A43D-F0802C90481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a8d783ba0b42e07ad12c6c5525ee2a387affbe","datavalue":{"value":"ordinal bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$AC3D73C3-1CAC-45B6-8055-B64EEB0965A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$9D019C7E-52A8-441E-BE19-DFC86DD256E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$52FBD025-553F-4522-9338-4AB735844CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8582c9c9734eff214e5b5db65e867b5c228e500c","datavalue":{"value":"logical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823142$EF688992-9C82-4697-BF00-67320E16CD3A","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":"Q4823142$DEAAAA3C-3728-46CA-B569-BCF3F37029AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26bd974c329365f000622429fb9931c7fadcba51","datavalue":{"value":{"entity-type":"item","numeric-id":5717064,"id":"Q5717064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29578f2710a4502436a2004efcb32a2beb7c6d23","datavalue":{"value":{"amount":"+0.7782875299453735","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":"Q4823142$7127933D-20F7-43CF-976C-80D3BC9C7250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a011052f39df92c518f33c3fe4ba3c18edea5b","datavalue":{"value":{"entity-type":"item","numeric-id":3081651,"id":"Q3081651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea50fea6a8e377e6fd62a4093409f5815f056a3d","datavalue":{"value":{"amount":"+0.7764628529548645","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":"Q4823142$5BCF5552-97DD-49BB-BB88-88744C55B9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca70e559dc5c0a446e3c3e8c8e006dbe1a25af2","datavalue":{"value":{"entity-type":"item","numeric-id":2752056,"id":"Q2752056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034604a3bcaaa51e6d1f6ef2bf22e449d57cde3b","datavalue":{"value":{"amount":"+0.7761181592941284","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":"Q4823142$4EC2426E-9FEB-4558-94CF-4DB030F43C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18660033b36defdfeccc77ff17176ee196d07ad","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13386adb8e828451753ddf7f2ab310b5ba00e4c6","datavalue":{"value":{"amount":"+0.7679198980331421","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":"Q4823142$9D97F233-2CC7-4AFC-B9C0-18D331A03D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474feabc2fd6b3a2808b92c63c003e7643d246a","datavalue":{"value":{"entity-type":"item","numeric-id":4785504,"id":"Q4785504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62bbab0fdd9c7ec5535da3361bfa85eb45d1da2","datavalue":{"value":{"amount":"+0.7634789943695068","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":"Q4823142$0E1DE1F5-E469-4F97-9091-1D12E78E0D28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2110622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2110622"}}}}}