{"entities":{"Q3637184":{"pageid":5667090,"ns":120,"title":"Item:Q3637184","lastrevid":50704214,"modified":"2026-01-14T21:02:05Z","type":"item","id":"Q3637184","labels":{"en":{"language":"en","value":"Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576317"}},"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":"Q3637184$FF9E3E27-8773-42DC-8529-A56E66839F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"762e90584787b3de5a7f62e3a2c0b76e882b397d","datavalue":{"value":{"text":"Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637184$D1E10E49-F613-4713-B8C7-A9F94291AE60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e56161c422ebea99ab6a6f1f3ae1691c4bd371db","datavalue":{"value":"1201.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637184$DD7B342F-4625-4740-BADE-554C8F6DF296","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5113f8d55852dd98c6979de4d78d05fb356db71","datavalue":{"value":"10.1007/978-3-642-02273-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637184$F5B1BCC1-136A-4ECA-814D-D13A142389DC","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":"Q3637184$46B47F18-567C-455A-A22A-3D996F935D11","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":"Q3637184$478613BF-55F0-4333-A9D0-AA3BF8A4A946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$576D4C86-8403-4A75-967B-F35613D8C595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-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":"Q3637184$2A53BDF8-B8D5-4936-BB15-1812C4E6821B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637184$B8247FED-3466-45F9-B0BA-F1C7645E6903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637184$4823889A-ECA1-4FCF-9A94-9E45A1096F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cacd9a49163a95dccfdd1769f353b2142ade328","datavalue":{"value":"5576317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637184$8264CE05-485C-4143-8716-60AB966D91D4","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":"Q3637184$18B33E3F-48C9-4018-A97F-E3D8FA58BB4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4321485b34db07071317787af963f93eb9840823","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637184$BB45E01F-D02B-4A03-A253-080136A01169","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc6a51434c3dd8a34c2d8dc53fdaf36156e3705b","datavalue":{"value":"W1972643961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637184$95EEE370-1F8C-4256-B719-FEF6EC8E7CF8","rank":"normal"}],"P223":[{"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":"Q3637184$854D29AB-1638-4567-AD54-1015C141708C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9633a2021d9dc93b96d825a8ea86aa8ced236efe","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$B6D9D2DB-95E6-4E71-A4B0-907018F0EAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698450cd78e8d736d540d6276a7dab6b0209c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4657754,"id":"Q4657754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$344F4CD5-7CEA-41AF-AE24-D3ECC548DA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01f8fe6b8e4952d7343c3d26e4b7da4893aeb27","datavalue":{"value":{"entity-type":"item","numeric-id":2368911,"id":"Q2368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$F1D491BB-FC14-4E08-9DBA-AD7005962EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7daef8a49f5aea80129e5b226eef07ddc0057875","datavalue":{"value":{"entity-type":"item","numeric-id":3540181,"id":"Q3540181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$8933EFD3-0DED-4B45-81C0-08CEAEABE9AB","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":"Q3637184$35B9FFF1-DC05-42C5-9A05-9BE7E48A91F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$CA8A0947-F97B-4E5C-94AC-A9368D64A673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad62835a55923ec861c71dbb6edfd53ffd42573","datavalue":{"value":{"entity-type":"item","numeric-id":5601468,"id":"Q5601468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$A1156AA0-DBD2-4C0A-9D10-69E870B8F2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41896aeb60ffd71b2c2720f55e116b34b518586","datavalue":{"value":{"entity-type":"item","numeric-id":5958295,"id":"Q5958295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$5A8F4C97-10AA-4864-85A5-F2FA7B83F1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e93e3b45e28fc332e8962e012660f393baf23b9","datavalue":{"value":{"entity-type":"item","numeric-id":3593497,"id":"Q3593497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$9E4E8573-4195-4354-9773-D9311F8D127C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8abdbb31a8c9190e88f555d71d8b0bc288d6a05","datavalue":{"value":{"entity-type":"item","numeric-id":817838,"id":"Q817838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$D218BB72-93CB-49AD-896E-067FA9EEB076","rank":"normal"},{"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":"Q3637184$56CD0C93-EF2B-47A1-A5DD-39AB86371893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e289e1e5c0b1cef3bc14e48907db4f91b73ad50","datavalue":{"value":{"entity-type":"item","numeric-id":4903274,"id":"Q4903274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637184$7606A896-50C2-419F-BD1E-582D5EF2F6B6","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":"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":"Q3637184$DF1B8612-6A90-4275-BFB0-79D3CBCFE226","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":"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":"Q3637184$543BD4E6-E44A-468F-872C-628D2BED1445","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":"4218b10f7df54f4fe1a34613f1cfc37d7b2e7fe0","datavalue":{"value":{"amount":"+0.8639429807662964","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":"Q3637184$C33A4232-89EA-4660-B417-7A4826C8E1DC","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":"b9aaa9c5140f2b8b6623f7a191b8ad43eea60a74","datavalue":{"value":{"amount":"+0.8431888222694397","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":"Q3637184$D7518883-F716-49B9-8E75-7B821BD6DDB3","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":"e185b68782c5712df0d6105d55500d3e052a7fcd","datavalue":{"value":{"amount":"+0.8255460858345032","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":"Q3637184$47E2045B-E6E6-45B7-AB65-842E8A69DD02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637184"}}}}}