{"entities":{"Q3430936":{"pageid":3441639,"ns":120,"title":"Item:Q3430936","lastrevid":46249132,"modified":"2025-12-24T09:49:32Z","type":"item","id":"Q3430936","labels":{"en":{"language":"en","value":"Classifying the Provably Total Functions of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5140657"}},"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":"Q3430936$B84EF32C-870C-4E15-AC8C-3BE082CB3165","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19e62535c74f770268531d8a1a5a12ec0aa8764b","datavalue":{"value":{"text":"Classifying the Provably Total Functions of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3430936$31CE3E6A-3911-4564-8290-CBDF764B3E44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4acd6f1b604164cd99fd86f2b8b705936007dd3d","datavalue":{"value":"1118.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$D4B66C05-601B-49A2-A1C9-6C1CEA9B72A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$213E4223-5920-4F72-A483-FA61AAED8B9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c8fceed86d55ae63a2da79be40131d27662eeb","datavalue":{"value":{"time":"+2007-04-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":"Q3430936$6EFFBB33-7D2A-4B67-9AD1-B0FE2A0551CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$BA7F1506-680B-4076-A5CF-D00BE53DCB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$E4AF20F8-F8BA-4465-BF47-46C407B70AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$BB503882-ECE4-4F55-9DF7-ED30F54EE8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$61CD61D4-B8A8-4AB5-A717-974CE5F64DDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"810393ae28f9dbe2ff038d7a9bf50655c384a98c","datavalue":{"value":"5140657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$0EBB1C5D-9946-4454-A614-90F8AA0CF49C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"208061ac95b5e21e207faab727b70043b9f04174","datavalue":{"value":"classification of provably computable functions of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430936$F0F090AC-3B51-424D-9777-4CE480702FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430936$EB2200F0-4187-47EC-8EF0-4DFD827348CC","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":"Q3430936$1339F5BB-3A71-4694-8CFA-3B97A2032DFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0ca8e1f05f6a08ce74bb041b792e7df998ae00c","datavalue":{"value":"https://doi.org/10.2178/bsl/1146620058","type":"string"},"datatype":"url"},"type":"statement","id":"Q3430936$74BD2B5A-ED26-48B9-90E4-7334D3DA08F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad8203de602e5ed9dc02e77b9ee12de6439560e7","datavalue":{"value":"W1972602491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$99BDEEDC-8445-447B-8ED4-F750CAC679F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5037c04c9c92c64619d5eb9e67e54d8bcab3371","datavalue":{"value":{"entity-type":"item","numeric-id":5635436,"id":"Q5635436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$9EA03D5B-E6FD-4C1A-8EA7-272C7D256A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b1cdb609715510df77ef99e89df3c11d23aa83","datavalue":{"value":{"entity-type":"item","numeric-id":4879900,"id":"Q4879900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$64EA32D3-4322-4810-ACE3-FCED744453A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$C10FB3D9-EC58-49CE-82C7-729C8CDD849B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$B675AA49-281D-4588-B473-C0AA43252F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c857c847cd7fcb3321a038996b74078da8aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4893145,"id":"Q4893145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$9446F5A8-FE9B-4EC9-96A4-CA0097B2301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a0d9844c73dc954fa53bc0b9987627191590f5","datavalue":{"value":{"entity-type":"item","numeric-id":4338039,"id":"Q4338039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$5F85C523-B754-4492-BC04-61BFE0193DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$8F663963-D0BC-48E0-A0CD-E1A8854741D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$82D36C83-F9B8-42BA-A2A9-E5A346C4F637","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":"Q3430936$E8BA3C2A-87BA-4839-9DBA-F7D1FB8B5DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$3BEB5545-573B-4605-9132-3EA98A878DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$C052AF45-0175-461F-B400-150233783F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52bae6a6e1a18dbdbcc66dc9d5087301033447","datavalue":{"value":{"entity-type":"item","numeric-id":2566073,"id":"Q2566073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$0D8E0A6E-9395-4555-85F6-5D2C02B872A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"142fe3859a3591c2a9f0bc7430df083bdde05d7d","datavalue":{"value":"10.2178/BSL/1146620058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430936$3B7DD833-24DF-46A5-A789-A715DDAFAE9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1771807eb2a5dbba6521e3828add60281d8c9f45","datavalue":{"value":{"entity-type":"item","numeric-id":4799942,"id":"Q4799942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dbe78ffe2f0dbcc359ad34a89e5312b0e04ef0","datavalue":{"value":{"amount":"+0.87704855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$2F03C5CE-CC76-4CDC-8D01-14AEB75773D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d14c45953ad66f115a4b6e20a3dd3dec50caa","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6912366cb5e7c29a2645523c98afd17a73889a41","datavalue":{"value":{"amount":"+0.87548673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$E86BCA70-4254-426F-9502-E6BC7E7539D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98da64ae5d41b6c2262194118967acf05e9ef8a5","datavalue":{"value":{"entity-type":"item","numeric-id":4879900,"id":"Q4879900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75094944bf75abaca56fbc9361a782e8ab1551b0","datavalue":{"value":{"amount":"+0.8678747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$90AB2E0F-8FBA-4956-9083-C091C2FAAFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e8845feb7cb7d86710529a1a30f08ad8f27eba","datavalue":{"value":{"entity-type":"item","numeric-id":4808473,"id":"Q4808473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1b36136aa69af7d6f4238738596959df071e0b","datavalue":{"value":{"amount":"+0.86262953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$82E85351-EF0A-4DD2-8F9C-B714746F17A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434fbee7e80928919a731924aa3e402f924a291e","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c07543633f863130844c3bfe06e32c73b5505ce","datavalue":{"value":{"amount":"+0.85899603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$FCC8AE83-0DB5-4C71-92DC-73B4FD3D8B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f8fd060fca228f040af6a635ff66aa0cfd3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4583801,"id":"Q4583801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5d9768ef9f8416ab130845eb54ccbc0f229a8b","datavalue":{"value":{"amount":"+0.85892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$C3748ABE-4273-4139-AFEF-1A21C152AD84","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":"574894f0758a252f394b11b859105de0d9213f57","datavalue":{"value":{"amount":"+0.8583543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$CD8DAAB9-83ED-4861-B910-433D2971F021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33db30e08e82a017138781c1b9ecf2c5e50686e5","datavalue":{"value":{"amount":"+0.8576251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$849E5152-1156-4F70-828E-0A90C7440ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f4795c968486eee82bdf9d936de14803eae0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3654060,"id":"Q3654060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fb5b35123c48557fa1e2b7f46a1992778a9316","datavalue":{"value":{"amount":"+0.8573823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$25785EB1-0924-4BD3-8AD2-D5463BCE7603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980c347fa7ba50acdce43ae83782d791643da71b","datavalue":{"value":{"entity-type":"item","numeric-id":4032652,"id":"Q4032652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd0d3d7ccc51a298c3f791d152422493b3f6adf","datavalue":{"value":{"amount":"+0.8556624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3430936$9879B394-326D-4A88-AE39-FEEA92DC6960","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430936$5DF108FC-0595-41FE-B584-93AE8FF2B933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3430936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3430936"}}}}}