{"entities":{"Q2362860":{"pageid":2373603,"ns":120,"title":"Item:Q2362860","lastrevid":72598956,"modified":"2026-04-14T05:59:48Z","type":"item","id":"Q2362860","labels":{"en":{"language":"en","value":"Arithmetical realizability and primitive recursive realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745663"}},"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":"Q2362860$78523279-6484-4F0F-903F-6E9AAE96EC9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9cb3e4403d8d8a247017b36e704f82f1f3c1a09","datavalue":{"value":{"text":"Arithmetical realizability and primitive recursive realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362860$211BE2F2-80C4-4F79-BA7E-A1187F56002E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"644010d6f310c29de8d203e8775ceffd904cb5c1","datavalue":{"value":"1420.03142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362860$16F397D5-1CCE-45CF-873E-BA5CB9335DA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aa67dc25bfd0897017cf1ed693f1b496b6200ba","datavalue":{"value":"10.3103/S0027132216040069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362860$A7F92FD4-9512-4E7A-A550-4D119C814405","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362860$165B0A50-F9BF-4687-9C83-381C6A6D53D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362860$8BF64A2E-B8BA-48BC-A241-7DFFA32AAAD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362860$28A65C2E-5537-4FCC-8495-B64B1A440C68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de18fc195556c38e68ec27e2763eb74e646aed0c","datavalue":{"value":"6745663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362860$AA8D82CD-F9D0-40C7-A25A-96DB2FC22CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362860$3AFA7630-A54A-4AA7-B98F-14092A1B30BD","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":"Q2362860$7BCD94AF-4F4A-43F3-AEB2-002D75D993A4","rank":"normal"}],"P223":[{"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":"Q2362860$D2D43017-3A2F-4DCD-B8AA-A90E9E972BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362860$0E8D2133-9ABA-4037-8999-CCED0E11D622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3fd1ab25f136d43b99edfd9e9c2d934b7d51142","datavalue":{"value":{"entity-type":"item","numeric-id":297665,"id":"Q297665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362860$F410BD66-F342-4C2A-AA8C-B0EB28477A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7421dec758e227784420bb9e7719ea570a731bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1300007,"id":"Q1300007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362860$EFA297EC-F85F-438C-8D37-FA7928FE2D1A","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":"Q2362860$7715BDB7-36EA-4C4B-B7BF-67BAA84953A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f85398194532fbcb10fd385f6a9cd3a54134518","datavalue":{"value":{"entity-type":"item","numeric-id":3216644,"id":"Q3216644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362860$BC32A761-BD86-4EDF-BE24-8C55AD658F2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44b3a237c2ecdb3b3dfab7a106e2395206f88ad6","datavalue":{"value":"https://doi.org/10.3103/s0027132216040069","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362860$8A43771D-1C45-467E-97DA-F37ECBDCFF69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9471c3aaf1871bb536b6e8bd7bf1b4205ea215ab","datavalue":{"value":"W2535647996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362860$8E0BCB5E-71BF-4CA9-A47E-E9C19FD01C7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical realizability and primitive recursive realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetical_realizability_and_primitive_recursive_realizability"}}}}}