{"entities":{"Q2786136":{"pageid":2796874,"ns":120,"title":"Item:Q2786136","lastrevid":58009782,"modified":"2026-04-03T10:48:36Z","type":"item","id":"Q2786136","labels":{"en":{"language":"en","value":"Interactive learning-based realizability for Heyting arithmetic with \\(\\mathrm{EM}_1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789406"}},"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":"Q2786136$08AEE3A2-65F3-4538-8A11-E9BF257BAD71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec78482a1b88967a0b904ea7317569c66f995b6f","datavalue":{"value":"1201.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786136$D88266E0-EDA8-4D81-9CF4-33B4438B665D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"811187a9c4d1e291abfdd33fdda782d899a93f36","datavalue":{"value":"10.2168/LMCS-6(3:19)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786136$4FC517A3-57CA-42A4-A085-916DE5438FAC","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":"Q2786136$5068BD25-D0CC-4CA8-B889-32513F1A8D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786136$2B236644-DE0A-452B-887E-6D3C1C6D0A85","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":"Q2786136$ADBBDD38-8D8F-4568-AE29-5D2311C26337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786136$280EECE1-BAFE-45DE-A358-74004EB3EEA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0746a603e5f24731299145469fa87e98ed00390","datavalue":{"value":"https://arxiv.org/abs/1007.1785","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786136$E5823F09-E317-4F2F-89B6-1815C5D9DEEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786136$2400CF34-CA34-4584-ACF1-F1330C935F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786136$1569D734-1C83-41F9-8EE7-CA438EDE35DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f323ecfe33e58163df1129e9f6e2ec6f7802ff9","datavalue":{"value":"5789406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786136$E1813C64-A548-42A2-A990-5EA8105135BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786136$21D257EC-D7F5-41D8-AA1F-7D1D849385ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745fec169852dccc23ff4583447d1e5556dd5648","datavalue":{"value":"classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786136$307C3C9F-016C-4545-83DF-AE6209D759F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786136$276E0CB3-FCBC-49C7-816D-4B8CEA38A794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786136$4A9B5AC4-BA2B-40B1-810B-2BBA93B0C115","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":"Q2786136$42942CC1-84E2-4931-9DD2-7F06FF1DF769","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1846a32073de98bba3b3eb1bd5d7eff4ef90646","datavalue":{"value":{"text":"Interactive learning-based realizability for Heyting arithmetic with \\(\\mathrm{EM}_1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786136$31E91E75-83F3-42F2-883A-5B382769933C","rank":"normal"}],"P1643":[{"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":"f4d04626674f73cc1280e44dc435212b1154e175","datavalue":{"value":{"amount":"+0.9863383173942566","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":"Q2786136$98B94EBB-BA8B-43C6-9400-53F68CB9654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba26623a7a3bcc65df6ae8537145b5b5e30123a7","datavalue":{"value":{"entity-type":"item","numeric-id":5740401,"id":"Q5740401"},"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":"Q2786136$2D94AEC6-9FC4-4568-989C-8263FC148657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d54b6bd7fe1ed7ecf513ac4eafa387abb84a59","datavalue":{"value":{"entity-type":"item","numeric-id":3540181,"id":"Q3540181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708d14eb9c3378a262813d713a022019bfacc8d9","datavalue":{"value":{"amount":"+0.8562127947807312","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":"Q2786136$27A4BE26-E4CB-4665-B159-60BCF5399EDA","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":"c96e6229964c4ff823329b21048d3d4a3e790d16","datavalue":{"value":{"amount":"+0.8349106311798096","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":"Q2786136$C2711016-13D6-469C-BFEE-607B3E0E024C","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":"3a375506c0330447468f79fb7e2dae02cd9e516d","datavalue":{"value":{"amount":"+0.8326250910758972","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":"Q2786136$B8D47DC9-1C92-4DED-9E19-C24F903555C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786136"}}}}}