{"entities":{"Q1899142":{"pageid":1909884,"ns":120,"title":"Item:Q1899142","lastrevid":43403718,"modified":"2025-07-25T12:30:22Z","type":"item","id":"Q1899142","labels":{"en":{"language":"en","value":"\\(\\Delta_ 0\\)-complexity of the relation \\(y= \\prod_{i\\leq n} F(i)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802546"}},"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":"Q1899142$64B9A017-53F0-4081-93A3-B8F153F066EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b61ecc52520fa5d76cde88298e5764067eb8bd","datavalue":{"value":{"text":"\\(\\Delta_ 0\\)-complexity of the relation \\(y= \\prod_{i\\leq n} F(i)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899142$37CF4FFD-0587-44A2-BDA3-B1DECA45C846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73420d49c8069516d7e245a5f1fe9a87a835423b","datavalue":{"value":"0838.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899142$F2EA32DF-C76E-4B34-B714-22062A8DFF98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d09e741155a75c2f59e6e6616dacc5581154b482","datavalue":{"value":"10.1016/0168-0072(94)00055-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899142$F286DBC3-48D6-4ED3-8AF6-53BCC2583C4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$0D201C8E-ACD9-44DD-9FAA-A7D4021F61AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca22808a31615e9865270125eca59a044d4c4825","datavalue":{"value":{"entity-type":"item","numeric-id":466217,"id":"Q466217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$0A1B15E5-EC5F-4376-A853-4A7AB19F5A29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$4DE088EE-4A83-4DF5-B14C-8BECAD0EA5F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b030d1a78cb93972c51b9092a3012141b747eec","datavalue":{"value":{"time":"+1995-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899142$CDE6F64C-D12F-4FA5-8A89-68599B0B647B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29342c925703cef324ab01840206c8368040a1b6","datavalue":{"value":"The authors prove that if \\(G\\) is a \\(\\Delta_0\\)-definable function on the natural numbers and \\(F(n)= \\prod^n_{i=0} G(i)\\), then \\(F\\) is also \\(\\Delta_0\\)-definable. Moreover, the inductive properties of \\(F\\) can be proved inside that theory \\(I\\Delta_0\\).    The authors use the standard notation \\(I\\Delta_0\\) to denote the fragment of Peano arithmetic where induction is restricted to bounded formulas (\\(\\Delta_0\\)-formulas).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899142$41D65A62-8D6A-4FF6-B421-DDB567E9339D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899142$FA96C851-394F-449F-BC31-A0830AC56D18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec3c5da672640cd732538d09d1b34e597125a946","datavalue":{"value":"802546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899142$D750866A-8CA3-4372-9021-191592C540BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b97d613d9df6d0ae5baf53693e7f8ddc255f51e","datavalue":{"value":"induction restricted to bounded formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899142$14B4BA8F-71ED-407C-AEEA-CBBEE471D9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109c4f2324eeda83171eedfb0e2e2dc8a5368905","datavalue":{"value":"\\(\\Delta_ 0\\)-definable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899142$18684594-F614-41AA-9030-1CC982FEBA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b4e3322cb82908b88ae367670e0d8ee43eef88","datavalue":{"value":"fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899142$C128A94E-5288-4068-BA11-72BAFDBC3558","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$4E143E11-CB02-4B4E-837A-9508D25707CB","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":"Q1899142$8DED40F8-FABB-4ECE-A981-953CA5556EE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f69a2eed15358779b356a88785520a71418b6421","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00055-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899142$F40C9570-E34C-4724-AB74-34548A84B3C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5828fdd9119447e3a145d416f310f1a4e1c6790c","datavalue":{"value":"W2008286614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899142$19CB0A01-FC1F-41C7-AD17-36EBFB26574F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"371e60689fc418f92aaf6266f6bda684000bf60d","datavalue":{"value":{"entity-type":"item","numeric-id":4102958,"id":"Q4102958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$D6D76C56-2220-4B3E-AA81-4AE0F84CA9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac89678f9f092aa130b934746f7f22a2a034ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4008743,"id":"Q4008743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$B4A5B112-68CC-4362-869D-474A66195668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$41DCEB4B-FC0A-4EC3-87F9-3E759EF0E13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$4865EE86-CC51-43DA-91F6-63B0D6E19EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132e856a3211ec285e510979fe8754f1d205170f","datavalue":{"value":{"entity-type":"item","numeric-id":3030804,"id":"Q3030804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$842ECDF8-BA90-413F-88BD-2291F12FE1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$6B838C5E-A2D8-4E69-A4D3-D57AACFAC8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$6053F8FB-2423-427E-B107-8CF4846F9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72967e84f8ba6e415ad3d9741f191e77ca2416ff","datavalue":{"value":{"entity-type":"item","numeric-id":3315507,"id":"Q3315507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$908E0C2C-6603-4FE0-9C83-4E7228EA824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$E790389F-B8AC-45D6-8E10-AA1B1D33EDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899142$0879F2DB-6530-4038-B8C9-3D5FF24E2AC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c204332d64b1de7f34cd45ab141857397614eb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3197331,"id":"Q3197331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38c9e0e5d3900573aaa395e0ad3ec6a74595f07","datavalue":{"value":{"amount":"+0.8267293","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":"Q1899142$A47F93B5-3F25-4170-9491-1E1C7F98ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b639a5977d01e8ce9e3ee0033496b438ed59c111","datavalue":{"value":{"entity-type":"item","numeric-id":1275011,"id":"Q1275011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623c8b27b0293130fbeb766808658e7492d5889e","datavalue":{"value":{"amount":"+0.82613814","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":"Q1899142$E340A0CC-0413-4981-BA94-4D3A3D89CC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9b2eaa04a5fa5356d6bbd8a80a26c6d9607454","datavalue":{"value":{"entity-type":"item","numeric-id":945427,"id":"Q945427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b32e520ace574b6654d4bf51157222b52d84f0","datavalue":{"value":{"amount":"+0.8142787","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":"Q1899142$FE931424-D059-488A-B8B3-94E3D20E3AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258ebaabc50421a7c8847aecb8128ce76e50f5d6","datavalue":{"value":{"entity-type":"item","numeric-id":5858128,"id":"Q5858128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1671b963b052fe962fc1eeda1d598adc0f6f3bbf","datavalue":{"value":{"amount":"+0.8134316","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":"Q1899142$0B054092-EA12-4CA4-926C-9DC988888AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3515ee68a0c02a3a9cfc78a06bc232d7b5cf9c38","datavalue":{"value":{"entity-type":"item","numeric-id":4717047,"id":"Q4717047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfbfb8d3dc9540f14f4bccfe7e704c10f1ae947","datavalue":{"value":{"amount":"+0.8098093","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":"Q1899142$6E1963BB-21ED-4ABC-B113-349F8A44F48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087b89745dfd49d33890020780aa4efdb992167a","datavalue":{"value":{"entity-type":"item","numeric-id":3391948,"id":"Q3391948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcdc1987840ce6469447fe5bc5887894263807f","datavalue":{"value":{"amount":"+0.8081238","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":"Q1899142$23EE175D-78A4-4DE8-BC8A-1FEE98E03153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26116b242829566b0f8eaf836fe0abdd9ecba33a","datavalue":{"value":{"entity-type":"item","numeric-id":701734,"id":"Q701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea0ec0e2241c368ffedc05ca88782ebaeddca3c","datavalue":{"value":{"amount":"+0.80492556","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":"Q1899142$075C1E10-B1C1-4F6B-BA63-D7C2E80FACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c086a33a888a5a666ac787c09f6a79884a6c9d1","datavalue":{"value":{"entity-type":"item","numeric-id":4788068,"id":"Q4788068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da64e55dcb96a97dc5e938bef972f31c074f6949","datavalue":{"value":{"amount":"+0.8015274","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":"Q1899142$F49921AE-0967-40AC-A017-64EBC7A2325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b42c99fe29ba5fa15079969601b3ebb5c91ad9d","datavalue":{"value":{"entity-type":"item","numeric-id":1612486,"id":"Q1612486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de88f888ae5bcf183124dfdf21e35be3d7b6cd60","datavalue":{"value":{"amount":"+0.8000731","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":"Q1899142$1A8C7511-C49C-4135-90C3-93FE5424609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5104f907bea0211357096d411b1fb71804027611","datavalue":{"value":{"entity-type":"item","numeric-id":1899150,"id":"Q1899150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba0a4e838d7f7d87e906acf85280181079248e5","datavalue":{"value":{"amount":"+0.7980456","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":"Q1899142$1FDA2422-6EBC-4F36-91AB-1036F86CEB51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1899142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1899142"}}}}}