{"entities":{"Q5099782":{"pageid":7129358,"ns":120,"title":"Item:Q5099782","lastrevid":55415527,"modified":"2026-02-17T15:57:23Z","type":"item","id":"Q5099782","labels":{"en":{"language":"en","value":"THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576540"}},"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":"Q5099782$FD8B08C7-3CD2-4879-B9CC-82298C705A83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bcc2103c29ed085fe1661536a87b0a043b04091","datavalue":{"value":{"text":"THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5099782$3C1AE4AD-A825-48F4-89AC-B81471B476EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7af64f771da5e3025f6e5126cf26a9d24de31a2","datavalue":{"value":"10.1017/S1755020321000174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099782$9EEB714D-3E7D-406E-94FD-046EE0BBBF38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$928C83AC-FA5F-463F-B9F4-383199827CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f73b386990d93a2e672449eec9032448af61ffd","datavalue":{"value":{"time":"+2022-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5099782$868324A3-B02A-4FEF-967B-9AF633D54F8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099782$9A74D00D-EFEF-4C37-B73C-C8B274B31848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0a2511a82f5c3008bc7b9e90d7b01d8bbaedae","datavalue":{"value":"7576540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099782$7DC28C41-F4AF-4DB4-9ECC-27DC49885150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099782$31EF91F3-B65F-4B26-928B-4E90618DADC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099782$DD87BCF0-4C36-468A-87D7-0A401B5721CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099782$80F80574-D55D-42BA-A6E0-5C0B7D572919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099782$C5C61952-F8C3-45C0-9254-D30662F0D9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a6cbdfcd7bbb1b2fe2a4af77a94ffaaa029195","datavalue":{"value":"nonarithmeticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099782$01A2593E-1A6C-4406-A108-57AAE1983CA7","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":"Q5099782$178B40FD-3C8E-4E4E-8BF3-5433B7652231","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b4856bad71beb2e1ace56fcea4c9a5044e4c81","datavalue":{"value":{"entity-type":"item","numeric-id":3851086,"id":"Q3851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$D7E3F247-B1CB-424A-97B5-AF353785F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7964792cecb71eaca7125c2ad2b9eb082f1fa05a","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$EB80B765-6492-4E5E-9EAD-79552AEA7414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee115f650dd9b2c9350f8cdefbe2dab8f0e067","datavalue":{"value":{"entity-type":"item","numeric-id":5824357,"id":"Q5824357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$871966FB-3303-4057-B361-619DE1DEA9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$28C95194-28D0-46A7-8FDA-1B4A52EFF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$CF25C98A-410E-4932-81F3-243C22FB9EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8f06eca56508ef2854264afd0467b0beaaafa4","datavalue":{"value":{"entity-type":"item","numeric-id":3256313,"id":"Q3256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$6CB42B6F-865E-4E77-A83C-F35D6DC75E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388e8ba0418e20b233f3212f59a1802219bc7aec","datavalue":{"value":{"entity-type":"item","numeric-id":3434704,"id":"Q3434704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$77FF961C-2B74-4400-BB6E-B5D20255BC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adbb720df2e58d802fa4796549f6e20af6e1459","datavalue":{"value":{"entity-type":"item","numeric-id":5294535,"id":"Q5294535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$46C8FAFC-43FA-43FD-8C0F-765E99DBE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf812c2b69c92ff0425718e7bc841118b4f467","datavalue":{"value":{"entity-type":"item","numeric-id":4161322,"id":"Q4161322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$0DCE6B05-02FF-4D79-A1AA-0DE24DB27503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fee8983891707bf6bf31f0a354748ef0e2126b7","datavalue":{"value":{"entity-type":"item","numeric-id":4808473,"id":"Q4808473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099782$869B8053-5613-495C-A949-E1494AA6E788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95a5604bf83aa99faaace177bbba295392e02463","datavalue":{"value":"https://doi.org/10.1017/s1755020321000174","type":"string"},"datatype":"url"},"type":"statement","id":"Q5099782$B4967422-1A08-4AEC-8904-62B2C2F23790","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"978632be8af1c3d99396740054cb0ff82d387ad1","datavalue":{"value":"W3156705080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099782$4BAF7CDB-8B25-4B94-85F3-8A5D13B9192F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9494c8d8cbea90756ac430ceafb04440ca167b4","datavalue":{"value":{"entity-type":"item","numeric-id":4440609,"id":"Q4440609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837e1d5b1f1be51af03677ebaa5f134fdb0d82cf","datavalue":{"value":{"amount":"+0.867404043674469","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":"Q5099782$8E6D7C76-8F81-4F64-A4BA-5B5091CDE0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a260957d26d5cf8af9064f91b6869de78bfffc","datavalue":{"value":{"entity-type":"item","numeric-id":3434704,"id":"Q3434704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55589ec6d5fbc0d41ea4924779e6ae234d1d0fdc","datavalue":{"value":{"amount":"+0.84782475233078","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":"Q5099782$B1EFA638-BDAA-43BE-95D0-6724D880946F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0c106d1fe85c4d22a015414cdc2f0d1e2aaac3","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33358c122b1e0c4f59856feb149faad99d96cb68","datavalue":{"value":{"amount":"+0.8399779796600342","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":"Q5099782$5399EDAF-E5F6-4268-B862-746E156BBA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ba63adf4ba47e509d5d4297916374eb6145a15","datavalue":{"value":{"entity-type":"item","numeric-id":5294535,"id":"Q5294535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925c2fa0c4ede84908a9cad5b991adf9c4c11515","datavalue":{"value":{"amount":"+0.8245285749435425","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":"Q5099782$AEEAA625-AB78-408E-833A-ADDE3424E373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2046776814bf1bed67e77bc1a5477dd1a01601","datavalue":{"value":{"entity-type":"item","numeric-id":1274048,"id":"Q1274048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ca2ab871929d4cf9a4e479d10548800dc72762","datavalue":{"value":{"amount":"+0.7936829924583435","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":"Q5099782$04437683-2D38-43A3-9035-AB7FCBC80A03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5099782","badges":[]}}}}}