{"entities":{"Q4323037":{"pageid":6352638,"ns":120,"title":"Item:Q4323037","lastrevid":88712654,"modified":"2026-06-04T15:15:22Z","type":"item","id":"Q4323037","labels":{"en":{"language":"en","value":"Strictly primitive recursive realizability, I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722188"}},"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":"Q4323037$3BC7786D-B7CA-48E8-A10E-B523932A1D82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67a279b57ea23e470e0c384e35d6524da45d1b3d","datavalue":{"value":{"text":"Strictly primitive recursive realizability, I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323037$F4DF1BF6-CC4B-4532-AE15-A0323AB555AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8dd85ac47202d1c4395961ab901715233bb0b2d","datavalue":{"value":"0816.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323037$5021A2B0-3E71-48D0-81E8-12CF3953F7C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e24df11524d63159a6b5f96da4fccb6ea95b16","datavalue":{"value":"10.2307/2275700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323037$97267148-8660-4553-BED0-5C9DD443522F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796c111fd27e4430cfa0e927bbe0e21aa71a1280","datavalue":{"value":{"entity-type":"item","numeric-id":190297,"id":"Q190297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323037$2CD8CE65-1F57-4DA5-8BED-D8569982256B","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":"Q4323037$D9BB37BC-ECBC-4E21-92F2-5992D1BB80E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e022d0e2e29313a1f42639a485714f8477b23d","datavalue":{"value":{"time":"+1995-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323037$8D012892-01A3-439C-8DDA-8ADD8E6D65F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323037$6BAAF55E-E801-40D4-9A31-52B29D25BD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323037$2E09AEE2-83CD-45F6-8B14-69383C4DFE4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bffe86636a7eeb64dc98fe25469528e32beae1dc","datavalue":{"value":"722188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323037$084635B0-9291-4949-B784-7C92CC64280B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c564bef432b58b2962913e05c4df52e8f47632","datavalue":{"value":"primitive recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323037$DFAA7D07-1D37-4CF7-BD69-E3C8AADC5D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323037$F4FE34EE-37A7-409E-A0B1-C53881FC2CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323037$394D36CC-A3B6-4B1D-A5CE-8E0D519EF72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a5eb3a1055e8026fa22d5ee449ecfd293b9a3a","datavalue":{"value":"fragment of Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323037$C2AB5337-48C7-4FF4-B108-4CCB01CCB2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e29cc33c7c4fde19d0fb958d3da4331c6fcf1a","datavalue":{"value":"falsifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323037$20C401CF-0BE8-4D4E-9E72-F6C365298691","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":"Q4323037$CBF69A71-E124-4A97-A0BA-0988E99ED698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a10944d6469d4c2362dec8704ae244f66386aa17","datavalue":{"value":"https://doi.org/10.2307/2275700","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323037$229D0AF6-7406-46A4-963F-75AD2C8941CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f409e498a74fc10b477ee407d6e63f9eab055849","datavalue":{"value":"W2152679086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323037$4845D199-5EB7-4319-90A3-27BFCA01732A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f93dd7879ce328a5971e8f006ce356955e2b4d","datavalue":{"value":{"entity-type":"item","numeric-id":3890675,"id":"Q3890675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323037$C197D292-0E1F-42E7-93C4-79F318936DEA","rank":"normal"},{"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":"Q4323037$85EEC552-4E66-4300-BCE4-9D200D17B305","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":"Q4323037$BB3001BA-C03F-47AF-ADA8-C1C7BC3835D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323037$D8226B56-A4C0-4D73-864C-D26B9042DAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa95a3bdd69806ce76efe825083d7a9e9aaaa4c","datavalue":{"value":{"entity-type":"item","numeric-id":2395748,"id":"Q2395748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323037$3CD55ABD-6EDB-4305-8389-034AE6DDBF55","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":"a59f5fb14b0bc8f96019da674c03a5963b549303","datavalue":{"value":{"amount":"+0.8522918820381165","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":"Q4323037$59FBB84D-2922-4F14-AEFB-7DA0106EF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a12170b2b9d1b219005e9cfee46be8ece69e939","datavalue":{"value":{"entity-type":"item","numeric-id":1362589,"id":"Q1362589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75286bf9b88f30e3cae1a3fa53e349c431f38d7a","datavalue":{"value":{"amount":"+0.8376430869102478","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":"Q4323037$0FE10A6E-0953-449B-A367-88CFDA7AED4E","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":"b6f4c94513d97d2e997823265b02b053c44b20a1","datavalue":{"value":{"amount":"+0.8247024416923523","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":"Q4323037$9A5E75F6-1CB9-4CEB-97A2-141360886057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a6de8d24b1c2e795f32c30073bca5671a860e","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96505842453b65bc1f1384c322608dd7865803c3","datavalue":{"value":{"amount":"+0.8235769271850586","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":"Q4323037$5785D328-1C8E-4655-8019-94996E0903F5","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":"a39aaeac309b3ffb487a60d59ee793f68709866a","datavalue":{"value":{"amount":"+0.8166838884353638","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":"Q4323037$3A1D0A31-9445-40DD-AC3C-C491EFD546A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strictly primitive recursive realizability, I","badges":[]}}}}}