{"entities":{"Q5904006":{"pageid":8014900,"ns":120,"title":"Item:Q5904006","lastrevid":49298692,"modified":"2026-01-06T22:28:37Z","type":"item","id":"Q5904006","labels":{"en":{"language":"en","value":"Functions provably total in $I^{-}\u03a3_{n}$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110679"}},"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":"Q5904006$1DAB2046-A523-4576-AF46-AAAB87B033B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6e6f228b7053ad650b43857c6e66950fd72462","datavalue":{"value":{"text":"Functions provably total in $I^{-}\u03a3_{n}$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5904006$4AB042BF-09C0-489E-9F65-D1515FC6154C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a32ea0dc09e8e456daf91cca2cc172ac5cbdcd33","datavalue":{"value":"0678.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904006$A99D0B2E-06E1-4C2F-8001-F2D5CD9B5956","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f93faa10511765d980de6eff18c013c04e1406","datavalue":{"value":{"entity-type":"item","numeric-id":218976,"id":"Q218976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904006$3C7685E9-61C2-48D0-ADE5-EA0E97860F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77dffe6a94cd67fe4eb72872d94c92814c83997","datavalue":{"value":{"entity-type":"item","numeric-id":2732284,"id":"Q2732284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904006$429D992B-24E2-4AAE-AC13-9CD6FD15EB2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904006$584EC12A-8797-4609-92A7-E65BD1FCCCD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q5904006$586C6B17-011C-4935-8C67-5EDC71202D80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f7ce0b851e75649236e29bd67836d4b15e08807","datavalue":{"value":"https://eudml.org/doc/211747","type":"string"},"datatype":"url"},"type":"statement","id":"Q5904006$762C1B01-6FF9-4713-8A3D-E35C6975E8DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904006$EFFC1372-0742-46B0-A398-A61C061D0782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904006$FAE82BE6-C2DC-4C6D-BBEC-7EB804EB9F56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f9f0c479a7f6f0586f501a29b7a1a463aac7a08","datavalue":{"value":"4110679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904006$16AB1105-4AE4-4B70-88DB-B0A4AF94E751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2797f8427419b9dfb37aa52784d567d3aa4f5610","datavalue":{"value":"provable total recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904006$E4AC0C36-B936-4971-84BB-F5AE8D9D6794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d316395626bbb62bcad1997b453bae406b2fa68","datavalue":{"value":"\\(\\Sigma_ 1\\) parameter-free induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904006$C6E79C73-5B60-4E1D-8B90-BBE2D782F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91069409cd5aa736fd8ed51daf51a397ab6eaf23","datavalue":{"value":"Wainer's hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904006$F7073EF6-9D04-4D2B-A3E8-B19815390D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d522a9e32d7d8210eb21c1c8cd9e3ed7dcf4ae8c","datavalue":{"value":"proof-theoretic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904006$26D05544-64BE-4849-B9F0-D4B9C87135AE","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":"Q5904006$7F303F29-4EB1-4EBD-8EBF-1B71A3DE2EEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e9a0cc2a428107f72aed78475a1e816ea6ab24","datavalue":{"value":"W1594785505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904006$B5EDEB6C-12FD-4D51-A15A-53FDF13E5900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f77f7d8155df8f8975986cc3f1e83df83471a5d0","datavalue":{"value":"10.4064/FM-132-3-189-194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904006$AA0F871A-1B75-4536-90ED-D2EB73C94B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e36f70b84794a2c7ec4c82890ab12cd4eca76e8","datavalue":{"value":{"entity-type":"item","numeric-id":5899843,"id":"Q5899843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cc1fe8968b20e1de251dfbb710a910b51c8f64","datavalue":{"value":{"amount":"+0.8860071301460266","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":"Q5904006$A4160DFD-7EC5-44FC-A7D7-2A73401302DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e9f399ee888ef2abb9799e6ab62b2f0b30791","datavalue":{"value":{"entity-type":"item","numeric-id":3808091,"id":"Q3808091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba734cfc7b0700097a33ed70e3b3791c1855dfe6","datavalue":{"value":{"amount":"+0.7911901473999023","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":"Q5904006$E04A5494-F454-4A17-B608-21AC0B3E2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2531d822fa8c419c1663c38068f9ecf524c632e2","datavalue":{"value":{"entity-type":"item","numeric-id":4323837,"id":"Q4323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e77eb9ee300f94eea78a400fd6d2b5675a2720","datavalue":{"value":{"amount":"+0.7834355235099792","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":"Q5904006$E12D5A8D-E1A9-4E3A-9FD5-B619D4D57D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8948e2977355834adc7e0ad2e8103158019f72","datavalue":{"value":{"entity-type":"item","numeric-id":4323042,"id":"Q4323042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19230596c6224c2981ec56db09bfab48a84fadd4","datavalue":{"value":{"amount":"+0.7833939790725708","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":"Q5904006$DF83F299-4C6F-4D5B-8705-9530DBF868AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc66354fc9341bc0222897386454e4aa66f469e","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba29d15f77e857f39ae7734fbbf558b2dd83e8f","datavalue":{"value":{"amount":"+0.7806201577186584","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":"Q5904006$51F010E2-E740-4D80-937E-B6D5A2350F95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5904006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5904006"}}}}}