{"entities":{"Q5740401":{"pageid":7769953,"ns":120,"title":"Item:Q5740401","lastrevid":52581401,"modified":"2026-01-23T00:58:47Z","type":"item","id":"Q5740401","labels":{"en":{"language":"en","value":"Interactive realizability for second-order Heyting arithmetic with EM1 and SK1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606316"}},"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":"Q5740401$7B279D4B-DB01-4892-93DD-76FD25C708A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8591fb2aa59dbd617019dfff67c857d58e0d703","datavalue":{"value":{"text":"Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740401$5B4AB90F-A005-4325-BE52-D6E90B354D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9d27604bb320ebf089eb6e4ccaba194bee1e2fb","datavalue":{"value":"1342.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$C5CD9D0D-90FA-4948-8B2D-8D91E23BFC03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c50c52df4f2b0f5ac5acb1ef2135f566487ee8d","datavalue":{"value":"10.1017/S0960129513000455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$004ACCC1-2881-409F-97D2-185CD217ABDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$9300BC1D-9C43-47C0-8E8B-06D95E769B1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$B0C6EC8D-8573-455B-87E2-D1EAE266F62A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-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":"Q5740401$257549CB-00FC-457A-BD38-033E3CE763EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$5107C288-1D5A-444B-9700-0FA3BA3AF966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$B1AE4634-2440-4991-8E1A-A6BC158A377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$D564DA15-C41E-4752-8EF8-2DD367A0DD7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc92b499a9ef8c1ccbe3b408c11030295e622107","datavalue":{"value":"6606316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$7F901D8A-FF14-41CD-AA44-06D732FAE489","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":"Q5740401$CFE37BB4-CC19-4AB8-BC0A-A33173E4521D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a994ae7f20596f4b4a19969045b5f9d5fa74543","datavalue":{"value":{"entity-type":"item","numeric-id":1946669,"id":"Q1946669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$34BFEB18-DFE5-464E-A28B-5116E8580BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3aa1c95c33036f55f3c08e90cbb6a4de5f4e50","datavalue":{"value":{"entity-type":"item","numeric-id":450942,"id":"Q450942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$23778BEA-2504-451C-8434-4851684304A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d17ed7a207e2a2f2ae9108667ac9a70aa0de84","datavalue":{"value":{"entity-type":"item","numeric-id":2880721,"id":"Q2880721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$B8153C77-E6E9-4757-948B-0D99CF682112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$582D8171-9225-46DC-9634-630512663591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$927635AA-8D3C-49F1-9412-ED7482467957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$DF3A3EAF-AAD0-410B-B522-B02347BBE919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$0C9EC2B4-581F-49D2-9BC6-98ABF3A6DC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$82C027E9-EB7D-49EC-8CF3-AE47140CDC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$7540B288-D443-4292-A54C-AA7440E67A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$604FC995-7334-4267-8EBB-E0B195A17AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e366e7b3eaee30c8a7b50e86a00285d250c8874","datavalue":{"value":{"entity-type":"item","numeric-id":2776806,"id":"Q2776806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$F2F8ED8A-5B4C-4575-9358-6049E07D83F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740401$353670DE-A814-4EA7-924F-306FC321195B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce7621e022717da4afcdd2aa4c1da5103c571ec5","datavalue":{"value":"https://doi.org/10.1017/s0960129513000455","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740401$D92540A3-665D-4E58-A39C-649B2E6C3CB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3f00ca4e4b77e75270666d286d052f569f25140","datavalue":{"value":"W2055390302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740401$AC6BB622-98DB-42C7-A32C-7F0F31B24EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5836db08dac9b4f207bdd9a241cb401d2c9557f","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a86410f8f9483a223e8932c506cbf56e1ae460","datavalue":{"value":{"amount":"+0.8893044590950012","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":"Q5740401$7EFE3C96-5F89-4FCA-976E-F740C12575F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eee761d350055cecaf5aeb7ffc1e23fab36fb66","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a34c70831bdcdc63626ccc433a65a7f34ce21d7","datavalue":{"value":{"amount":"+0.8802501559257507","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":"Q5740401$371CA5BA-D541-4DE4-A2CA-B069CDA4E4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea18e8ea28d3cc5ad02cd232c358ad298d95025","datavalue":{"value":{"entity-type":"item","numeric-id":4649536,"id":"Q4649536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98412a07ddd8a6e40d6a8cf2def9875f6e503ab1","datavalue":{"value":{"amount":"+0.8590890169143677","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":"Q5740401$0BB7C1CF-88E0-4CB4-9141-77E5B40FB932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c9ae8585d8fd6544f9507dda37ac873e11a49a","datavalue":{"value":{"entity-type":"item","numeric-id":5360214,"id":"Q5360214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab45893bbc654173ca5292d1a8a525d2868424c4","datavalue":{"value":{"amount":"+0.8263447284698486","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":"Q5740401$A6FE48D1-C0DE-4DE5-9318-88E01883A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372b8a24cdca7c3de059415eb18caa3f796d520","datavalue":{"value":{"entity-type":"item","numeric-id":2946659,"id":"Q2946659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdc3c40dc73b000b948dfe8de094080664c6413","datavalue":{"value":{"amount":"+0.7892048358917236","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":"Q5740401$AF1E53EB-FAA4-4A2D-8310-4A685F41BC78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740401"}}}}}