{"entities":{"Q4032873":{"pageid":6062607,"ns":120,"title":"Item:Q4032873","lastrevid":55230598,"modified":"2026-02-05T02:33:37Z","type":"item","id":"Q4032873","labels":{"en":{"language":"en","value":"A proof-theoretic characterization of the primitive recursive set functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150239"}},"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":"Q4032873$2630F412-50CC-4DE9-8124-8B3036EE5154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70e50cd3b8acbe5e83b9ecb54d73db3dd77c2649","datavalue":{"value":{"text":"A proof-theoretic characterization of the primitive recursive set functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032873$75A1753F-65DA-4109-B79D-9745A0504344","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f16f748d0b4cb407414b74a7627f6af1c04451a5","datavalue":{"value":"0761.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$BCA0251F-2E00-49D2-9278-A16D806A73C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65ab304839c78f83c44c7134913b1882c03acf71","datavalue":{"value":"10.2307/2275441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$CCCF6EB5-34DB-46D8-A07A-6EE38968FB02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$44182A85-E08A-4661-A31B-245ADB939CD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$1F576948-F033-4DC9-A950-229A3C023588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032873$935A47A3-E2F9-4528-B451-CB4043B43947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$C6BA7CC5-DCBA-42EC-9A8C-0733A0E7831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$1D76E92C-D0C6-499E-B458-91114D215C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$3071483D-4022-4088-AC87-739D067CD86D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d627a09512e6cf5a90ef690cc40eb19cc37e0730","datavalue":{"value":"150239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$CC2D76AF-174F-4B19-A73F-2B18CBE17E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbcd359d77d17af1d79493223b492c7b5b7e835a","datavalue":{"value":"primitive recursive set functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$284DCAC6-C9DC-4E43-B109-B21EC9D9423A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$F3F38A9D-5762-4678-965E-379F550A121D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccff39df235ba7d1f7b2dfa3aa4dc7c164710ace","datavalue":{"value":"\\(\\Sigma_ 1\\)-foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$BB9CCF23-95D1-4AC5-B768-F45E6C0A97E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$DC49A8EA-D296-44C5-BA56-71068DE08F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$31049EFD-2329-4306-86C7-DFBF92A51B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0361dcd4ec3f2e54bfb85c9aedb641a4f8166b7b","datavalue":{"value":"subsystems of KP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$7E6DBFBC-6D9B-4716-AC60-AA4200E0E579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d85e88179dea2671d5a1daecb121b2fd9c0875","datavalue":{"value":"axioms of infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032873$F4434121-6E45-4A4C-99EA-7F90E3BC267F","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":"Q4032873$D4307570-849D-4154-9C8B-A3799C6FEB3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bce8031edf5b849499e3e4a0c1fbc85f58f847de","datavalue":{"value":"https://doi.org/10.2307/2275441","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032873$00C95ADF-1E87-4A12-8E1F-F14EEE921D82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c62950080bcb13375fc3c9006b42d717e2c32210","datavalue":{"value":"W2088408332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032873$529F4760-0B62-4A79-AADB-B8A239C35A1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$186E62AC-4227-4304-AF32-848A5BF5FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4023f857fcbd778b7697f418709f7b51d812c79","datavalue":{"value":{"entity-type":"item","numeric-id":3346304,"id":"Q3346304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$AF2EE6E8-2D03-4443-9EC6-419B293B5D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391494fb166ee662c227e7a07c48725fd20bad41","datavalue":{"value":{"entity-type":"item","numeric-id":2529601,"id":"Q2529601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$3474DEE3-FE58-44D7-BC17-EB5CF88D6A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d262ff675f96dc143fba11bdd136a6eee1f4d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5631102,"id":"Q5631102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$AE889AD6-7C8D-402D-ACF7-8AE8B25533B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032873$BA812B98-5F69-43B7-8EA8-755B6B1C4F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be430bb3d221ef48670b0abc618e8abe24745bcc","datavalue":{"value":{"entity-type":"item","numeric-id":4981456,"id":"Q4981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb5ad9f70e2d966b27549508257ca2941b6fde5","datavalue":{"value":{"amount":"+0.8153706789016724","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":"Q4032873$56FFF152-2EB4-4E48-9771-364DFE15AA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60c0e3acf8bf3243c6e1582e2af270817dc34e5","datavalue":{"value":{"entity-type":"item","numeric-id":3025175,"id":"Q3025175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d113e167b48dbf32187bdbd114b1dd193a535e5","datavalue":{"value":{"amount":"+0.8090711236000061","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":"Q4032873$B44CB17E-EF69-4D1B-9DA8-FFCA05414A9D","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":"ea551c208e8c9871d48a8ff98a397e2e2105eccd","datavalue":{"value":{"amount":"+0.7940152287483215","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":"Q4032873$299DCDEC-4029-47A8-BBA8-CF931C040C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5074f58e18e8aaa004480ac47bc99cd5ecdc1ca4","datavalue":{"value":{"amount":"+0.775852620601654","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":"Q4032873$BFA12E5D-11FE-479F-A645-91426A7D1672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be31638e28fc785f354798c17524dc1ea18b75c","datavalue":{"value":{"entity-type":"item","numeric-id":1128184,"id":"Q1128184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756ae32f537ff5cce141d2e2605d90923d8ef46e","datavalue":{"value":{"amount":"+0.7748191356658936","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":"Q4032873$4D05A65B-E50E-4AE9-A85E-3520C84E8269","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032873"}}}}}