{"entities":{"Q476119":{"pageid":477886,"ns":120,"title":"Item:Q476119","lastrevid":62154855,"modified":"2026-04-11T04:07:57Z","type":"item","id":"Q476119","labels":{"en":{"language":"en","value":"Categorical characterizations of the natural numbers require primitive recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374924"}},"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":"Q476119$4E628E31-707E-4D1A-8F2C-FA3B73474AF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a03cd227314c2e2028fa53ede08a7cb568ba4a4b","datavalue":{"value":{"text":"Categorical characterizations of the natural numbers require primitive recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q476119$AF5E302F-E5F3-4202-B963-3CE36ADA90AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90e302dd6cb6c4f89963f742101d08229fc518d1","datavalue":{"value":"1369.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$1A801761-2453-4FEA-803B-E3B29BF440DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$ED365883-5EC3-4FC9-AFA7-98F6E7105C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$B26D9FB9-0866-4BDD-A76B-3B7107596528","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":"Q476119$C21DED14-222B-4D3A-9C80-A6B9DD27AD8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d71c537fa104c737c45b84947206ae8eb89f9f4b","datavalue":{"value":{"time":"+2014-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q476119$C436045D-8FCF-4A52-9DE4-C47C3F19D0E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7f49919043d5066b9eff2077e86080d684dcf3c","datavalue":{"value":"https://arxiv.org/abs/1410.3649","type":"string"},"datatype":"url"},"type":"statement","id":"Q476119$4381AA8B-48E5-4E8D-98BF-99DF3E4EB966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$33C6D9D8-96FC-4C69-BB4A-3675F7924FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$FD0A997C-6E7C-4C5D-B838-B29ECA17E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$47241291-4187-46E9-ADCF-5D56064215AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$B9CC83A7-3C10-450A-87DE-6BC74BF9AE15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6609ce7c0dbced983fa76ed86756d44f50a9b0fb","datavalue":{"value":"6374924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$39370E65-F2A7-436E-B17D-F001A241AAEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q476119$F0E3AADE-BA69-4345-84A2-6B40EF20B0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q476119$7E984887-411F-4C6D-A9AA-21ADAB6DC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q476119$D7EFF899-C69E-41DB-806A-1DDD0D5C53E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf5c86179439bdea17a4fc49c4172694f7d46f1","datavalue":{"value":"Peano system","type":"string"},"datatype":"string"},"type":"statement","id":"Q476119$B58E9C84-9321-4118-BBE6-899CFDA0A9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"407a720e1e715fd64fbf5285db34e5af9fd391d7","datavalue":{"value":"categorical sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q476119$67ED290D-6165-4E28-9EF4-A72248B900BE","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":"Q476119$149D021B-863A-4E07-9027-83C36A0B05B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7dd5ede63a53c05119f9fde21d22284c31b9526","datavalue":{"value":"W2064000007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$7E993E5F-AAA0-4719-AF5B-A64351037DC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd2589c414072dd68a48c3fb1ba723526c58f47","datavalue":{"value":{"entity-type":"item","numeric-id":5222077,"id":"Q5222077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$D98408B9-D851-46C4-B9EB-98102AC96C96","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":"Q476119$0F0367AA-8253-450E-9405-2969FF18DF82","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":"Q476119$F9C58D84-02C7-45F7-A9A3-873601CC8CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$044D91EE-E5B2-404D-B63B-66FC802676A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$FCBB9E87-745E-4FCB-A6C7-CC7FD8D1697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$1165C80D-09B3-4874-A581-65AC907797EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e118a8c11cf03b85b1a9d5fdc8e5993e53f09344","datavalue":{"value":{"entity-type":"item","numeric-id":1935867,"id":"Q1935867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$C02718F8-7066-4155-BA41-138EAA2ACB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef1a2f853d54e55c9c98e176228c1775ad9cde","datavalue":{"value":{"entity-type":"item","numeric-id":676310,"id":"Q676310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$99F937D8-CDE3-46D7-B680-CB99A6B1852E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174d18be49fcc8f81a1d06ff5f29cdffc006d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5388758,"id":"Q5388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476119$A1F8035F-2138-48AC-97ED-CE0EB65C4344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d637e4cf9fe74c04f2ec313e50abba6e14d3bbb0","datavalue":{"value":"10.1016/J.APAL.2014.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476119$23C57438-3F7A-4984-8A14-5A89CDA0FB07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7417c0a052137016a3e59af80b0522dc3c9f48c","datavalue":{"value":{"entity-type":"item","numeric-id":3133177,"id":"Q3133177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318e320e1442751c007af89a45784a4f0a68adb2","datavalue":{"value":{"amount":"+0.86253434","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":"Q476119$7596FF19-7F36-47E6-931F-082BBD36CDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea824de4a58d480305984fd7488eeacba6b1ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3480250,"id":"Q3480250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a482e988907b4281ead4cb6223f3850a98994987","datavalue":{"value":{"amount":"+0.8561053","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":"Q476119$D0FCCA12-7959-463C-BEF8-9DD2ECEFF221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51bb8011b4f502d4b797b8da347d91d2a8b205f","datavalue":{"value":{"entity-type":"item","numeric-id":4921448,"id":"Q4921448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9be239d08f2b930a4e4e96a51b6510db93d0f4","datavalue":{"value":{"amount":"+0.8538919","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":"Q476119$667C9BDF-B74B-490E-92B6-DE014F94425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedd9f1aed4bef6bbb4ebf2ee26f671c8049907f","datavalue":{"value":{"entity-type":"item","numeric-id":281151,"id":"Q281151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b94b402fb7c87b0fcca36e98d5858e8021434e","datavalue":{"value":{"amount":"+0.85328656","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":"Q476119$07EA2916-DD3B-4382-8056-6AC9E2FABE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f95f95878beba02fa68c00c83ad3234d9505d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96f48fb627d4a771d9f47be12c1f961cd073b9","datavalue":{"value":{"amount":"+0.8525025","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":"Q476119$DFA1FF1A-422B-4C4E-B4A9-EC777086729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2abef3d00be701516252ce63338e967a545786c","datavalue":{"value":{"entity-type":"item","numeric-id":708925,"id":"Q708925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042d73b37484f61320e1b75617f7c30f880c7055","datavalue":{"value":{"amount":"+0.84928614","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":"Q476119$B8415A01-124A-4D8B-A675-F95742C53175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95143a7443f98c2bdf90de386faacf1246be46a7","datavalue":{"value":{"entity-type":"item","numeric-id":4531994,"id":"Q4531994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2a2d3ea65b39a1e0d593a803cb2dba105e8be0","datavalue":{"value":{"amount":"+0.8487787","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":"Q476119$A0E9B6F8-4DAE-42FE-8C1A-580F2D8663A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e592ef32ac23cf32f9ea56c6c6df4ee1a72f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3767330,"id":"Q3767330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af89ceba763555f3e1135312f18f35250361801","datavalue":{"value":{"amount":"+0.84753484","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":"Q476119$9C6B8316-CF0A-424A-BFE4-9A17FF7976B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288b30597d400dabc870ce53231ff1a3121514d9","datavalue":{"value":{"entity-type":"item","numeric-id":2002476,"id":"Q2002476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ac24b7753dc0a415938d7bb05758790c731826","datavalue":{"value":{"amount":"+0.84535795","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":"Q476119$27558B5B-DE7B-496E-9900-C77325E7D622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd0a1a83454cb0cf1ab9b42a8cf8934fe72b596","datavalue":{"value":{"entity-type":"item","numeric-id":5014598,"id":"Q5014598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f85731a8ac36f8deaadd9d5c268b1b513df7a3e","datavalue":{"value":{"amount":"+0.843677","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":"Q476119$5C66960C-54C7-48CB-82E1-70A09443C525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical characterizations of the natural numbers require primitive recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_characterizations_of_the_natural_numbers_require_primitive_recursion"}}}}}