{"entities":{"Q2246818":{"pageid":2257561,"ns":120,"title":"Item:Q2246818","lastrevid":73378665,"modified":"2026-04-14T15:40:52Z","type":"item","id":"Q2246818","labels":{"en":{"language":"en","value":"General recursive realizability and intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7427815"}},"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":"Q2246818$BAC8BACA-A90A-497F-A868-EF2B22FA2F0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78bc7dac00f47977a7cc8d4739beba6cc802d9ae","datavalue":{"value":{"text":"General recursive realizability and intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2246818$26877217-958E-4932-A114-7A3292E80366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246818$FAD7C413-8049-4799-8CC6-3FA7B453A5FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"252247ac7a2aacef67f177d58568a968731108c2","datavalue":{"value":{"time":"+2021-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2246818$CBFDDB7C-3336-4EA7-8E3A-3637538E22DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246818$94912253-9DCF-43E6-B628-54754F6FFAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9e7ed65eaa37ef307946ffe104383f51694c61b","datavalue":{"value":"20-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246818$9DA22347-ACDD-4B9B-9A9A-9139C9853A2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a74dbe13bfb6e2d421990c24a6e370ef7ff68ee7","datavalue":{"value":"7427815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246818$048CC50F-6936-4310-81B8-F24C779DD77F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa7e7c21f128944bbc7234f27166473971faa1c","datavalue":{"value":"general recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2246818$79B57247-2518-4604-AF3F-949F91762063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2246818$D2D36A4E-4550-4A4F-B22A-C08454F5F7B8","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":"Q2246818$D48BE4C2-D976-4463-B783-762CC7108EF8","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":"Q2246818$9B10FFFE-21F2-4DBD-828E-591A0FB88B78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7af6f030845428514c487cec73624ea6de701d5c","datavalue":{"value":"https://doi.org/10.1007/s10469-021-09631-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2246818$9673E0A9-66DE-437E-BDC7-5FCD62C6D18F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa38584fdb1593295db7b13e8258e52641ae9693","datavalue":{"value":"W3200454892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246818$64E5947B-2B71-4CE8-9C94-87D1E61E8B26","rank":"normal"}],"P223":[{"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":"Q2246818$B86C8C87-6476-4A13-AEC6-DCC69F8EF50B","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":"Q2246818$40FA73C8-1010-4F9E-B9BB-40EA0E7A3A6C","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":"Q2246818$450CD363-7295-4ED0-8FB2-DC147983EF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56dbf41aabbf4860d04ec852c8261dbb915fdb78","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246818$1F1F06D5-F178-49F7-976F-BCC477ECD14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d61987b2f3505f7fd2fcc0c843030d866f7838","datavalue":{"value":{"entity-type":"item","numeric-id":828116,"id":"Q828116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246818$015DEA2B-DFD4-445C-80D2-D0C0B645AB29","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":"Q2246818$CB857F97-CBBC-40F5-A8EE-A0D34EAF51D6","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":"Q2246818$F3EA51A4-86F4-419B-86E1-36820408C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9371b890ca4bf83009d57c84f18759bcf3da3b70","datavalue":{"value":{"entity-type":"item","numeric-id":2362860,"id":"Q2362860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246818$B32265F4-CBB8-4F27-AC07-5B5351D119D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f48b6246fe81522ee5d745f52672c0588bbdbc0","datavalue":{"value":{"entity-type":"item","numeric-id":268079,"id":"Q268079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246818$FF4A9B44-1BA7-4360-A2EC-2F3208523E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baac61910c6f33dc4240c598ffb6b31af156f811","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246818$CA4150D9-92F7-49AC-BA40-900530BB2EDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e89c7fcdb86e7550c3046b8eec5e0d6760e1ff6","datavalue":{"value":"10.1007/S10469-021-09631-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246818$4691CAF8-9502-401F-9187-06CC4D39A93D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f14f0a19b75d246d9c27337c247fb48393eba1","datavalue":{"value":{"entity-type":"item","numeric-id":828116,"id":"Q828116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05aeb9940d1419ea2952bde8db2b8dc2427f733b","datavalue":{"value":{"amount":"+0.8969598412513733","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":"Q2246818$75E0FCBA-A8F8-4566-AFFC-B9CA84FB8273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eabf2d7cc31c5ea584b0ffcad2471c34535138","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b672b6ffcc3418435ee516c91241b253b210f14","datavalue":{"value":{"amount":"+0.8377522230148315","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":"Q2246818$1FD24A5F-7A05-4C62-94E0-79244325943E","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":"8533a9536f4a06d2908ba4dced16365eac829ea3","datavalue":{"value":{"amount":"+0.7814300656318665","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":"Q2246818$3882A425-729D-45A3-B085-6EA7CD62E67A","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":"99ac52b20ab7de7d14a676db286909ea52690190","datavalue":{"value":{"amount":"+0.777826189994812","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":"Q2246818$06B2597D-8C91-452B-BAA1-B02351EC39C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efedfda5a85a187dbb36e467aaef82128fa7eef6","datavalue":{"value":{"entity-type":"item","numeric-id":3094145,"id":"Q3094145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e1ffea3db22711e33c370b63e11592cb71073b","datavalue":{"value":{"amount":"+0.7771221995353699","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":"Q2246818$E8934B75-9810-4515-8C7C-61DAFE8155F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General recursive realizability and intuitionistic logic","badges":[]}}}}}