{"entities":{"Q3460427":{"pageid":5239827,"ns":120,"title":"Item:Q3460427","lastrevid":87230210,"modified":"2026-06-04T11:09:34Z","type":"item","id":"Q3460427","labels":{"en":{"language":"en","value":"Typed realizability for first-order classical analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527414"}},"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":"Q3460427$DE737B25-4843-4BC0-BFA3-7F16A53395CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3af5ad75b4f4a0d903cb5ae638a0a83db5d70df0","datavalue":{"value":{"text":"Typed realizability for first-order classical analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460427$3671C53E-2DB9-46E8-BA94-2DAC5548A9A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f266bfe2a4272124014cf607714e3d561d6f444","datavalue":{"value":"1351.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$40EC62C3-5877-4A3C-87D0-720618D6123F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"035578e02f1185ff2b073e0bd1dce5f3c5c506ac","datavalue":{"value":"10.2168/LMCS-11(4:22)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$977961EE-CE8E-4F4D-B3A8-E039599AC5F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a7c9fa9dc3fdeaa7fa6fbe2fe38f9449434b88","datavalue":{"value":{"entity-type":"item","numeric-id":345703,"id":"Q345703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460427$448C70AA-A461-496E-A078-4657CEF29E64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460427$9A3F797B-DFC8-4038-8DC6-D71FF802C299","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460427$9CAB28E5-C0AB-4649-80F7-DC3A807E1396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eb9222ff084e94e3515c0f4232b50795bbf5cc3","datavalue":{"value":"https://arxiv.org/abs/1512.05313","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460427$AFE779B8-A8DB-4BAC-8EEB-DA19679A5110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$7094F880-2C40-4583-8B35-1D0AAFB009AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$F4AE49B2-55ED-470A-8668-DDE4BA6AAD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$28B4B953-F370-43B5-9643-024EAAA0EAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$8A165EB2-B604-4117-BFC1-630DEEDE5842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$3A8C8862-B0F9-4EFB-9230-E8A06BA7C33C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d8a0b13f06a7e8cc8730bceb4e3992d7d07824","datavalue":{"value":"6527414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$62F8C323-0FE9-415E-9B63-A349241FD0B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460427$F8FB1A51-8D7D-4C6E-A200-B3B032F7BA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371e6fcc0bab34b1423a2572a4090f79c9b1a27d","datavalue":{"value":"\\(\\lambda\\mu\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460427$0E47CCC1-BF4B-4510-A537-E87718D82628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460427$772FF276-AF2F-45F8-8CB9-33B3945597EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460427$B73F4D93-0274-4FDD-9B1B-445506034A46","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":"Q3460427$45208698-619F-421E-A3DA-659685A6E927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9a863ed27d35be2cd644ba684236ba47b483e2e","datavalue":{"value":"W2280486416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460427$87DBE3BE-46CB-4958-921F-BD5CDE80D6C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484ad4e0ab5e73391b1a190adab0d6ef74092191","datavalue":{"value":{"amount":"+0.8340122699737549","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":"Q3460427$A97AC653-BE54-401B-A9DB-8E158BCC527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3841789e1af2b28b639c4761df52a9610e362d7e","datavalue":{"value":{"amount":"+0.7980914115905762","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":"Q3460427$4024EBF0-AD8E-448D-A97E-27430E14949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bd06838364e417808839d3cc7ceb7d065837a0","datavalue":{"value":{"entity-type":"item","numeric-id":1762729,"id":"Q1762729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf461c6b1af86e656658352accd389739128aab4","datavalue":{"value":{"amount":"+0.793599009513855","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":"Q3460427$552CA9C0-38BD-4067-ACD9-9E2E09FCCA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac440234bc7126bd1963a74389d5ddb43e6c842","datavalue":{"value":{"entity-type":"item","numeric-id":3608421,"id":"Q3608421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bf719216ace439ee85e659a5b865ce002f7df6","datavalue":{"value":{"amount":"+0.786987841129303","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":"Q3460427$26268A16-6DEE-48D0-9EE8-5D29221EE5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27831cc1e9dd0bb9e6791782a39edef3b07c7b66","datavalue":{"value":{"entity-type":"item","numeric-id":4635918,"id":"Q4635918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff428178a32dc3a3ee97554f93c567c88a8e2f7b","datavalue":{"value":{"amount":"+0.7846042513847351","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":"Q3460427$83245DD5-4287-4336-885B-274935D1F92E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed realizability for first-order classical analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typed_realizability_for_first-order_classical_analysis"}}}}}