{"entities":{"Q5367052":{"pageid":7396626,"ns":120,"title":"Item:Q5367052","lastrevid":58539573,"modified":"2026-04-05T16:09:46Z","type":"item","id":"Q5367052","labels":{"en":{"language":"en","value":"A revised completeness result for the simply typed \\(\\lambda\\mu\\)-calculus using realizability semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790150"}},"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":"Q5367052$B0FD17F2-420C-46E1-AB54-5697A5223EF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aa28310f0e3ad02d20d1a165cef75f5a21493e1","datavalue":{"value":"1459.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367052$95EDC94C-D9DC-4A17-877E-A22253E4E9A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"538ee0bf24800d3a4fe58956a23b49ceabaddfc1","datavalue":{"value":"10.23638/LMCS-13(3:13)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367052$935F9DC3-ACC7-473C-AB90-8B76FAB108F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c26c8aee3b765a66daa4fd6288d4e34c3e48b20","datavalue":{"value":{"entity-type":"item","numeric-id":5367051,"id":"Q5367051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367052$AA82F2C4-EDDF-4D82-99A4-17338D41BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367052$5CE1C9E7-D1C8-4DDD-8EB8-96F0136185DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367052$A776F1DD-D4B4-4B88-AB3B-D1FBD58C5273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fe1fe99b63a8f75f90d1095ce75decf46d0b00d","datavalue":{"value":"https://arxiv.org/abs/1612.09223","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367052$770C4803-BF67-4C6C-B08A-0E46F10AE673","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367052$A378CAA3-4A4D-4D2A-B524-231AAF2ACF7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd1c6cb2d47d3f0954aa1d2475007c7bd798032f","datavalue":{"value":"6790150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367052$39FA75D5-ABE9-4D97-99A3-90E326D794A1","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":"Q5367052$867107C8-F352-48EC-B986-B660F5B0A5BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19c7582cb44531b1043a8e9f872353f877ecd3d4","datavalue":{"value":"W4381707571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367052$851FE6C8-1D56-4E96-B746-4E0661DEF18B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd0dd1d3c240baaa7bc7fac7223b15c0cae9504c","datavalue":{"value":{"text":"A revised completeness result for the simply typed $\\lambda\\mu$-calculus   using realizability semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5367052$ED9347C8-E34C-4C1A-9D35-DD055B74B17A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0897f2bfb12099cb1bbec7eb650bd13e6d20c35e","datavalue":{"value":{"entity-type":"item","numeric-id":732057,"id":"Q732057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c490daa10bbac10fea38d0925dfa709e2339801f","datavalue":{"value":{"amount":"+0.926491379737854","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":"Q5367052$0849C273-6A1C-4FA6-A9A7-5D248E85E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce5c903dda1fe3fe3f234791ce5af2421429ddf","datavalue":{"value":{"amount":"+0.8590412139892578","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":"Q5367052$445656CA-9FEA-471E-BA47-53F6C0DA7D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c819cb150c4d225104efe1d97603db6a7cd0f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4964690,"id":"Q4964690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c1dccb5adcf1dab52c965ea92b2f713ce95c77","datavalue":{"value":{"amount":"+0.7855530381202698","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":"Q5367052$48A9989F-1213-45CF-BD57-CC54315C68AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a8cded188efa95a30d53ee1677f5cfd34c0113","datavalue":{"value":{"amount":"+0.7779784798622131","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":"Q5367052$B19846C6-91A7-4A47-B888-91D91EDD2A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcce6bdfc9d0d633b210e40c940274f3bb3978","datavalue":{"value":{"entity-type":"item","numeric-id":1981989,"id":"Q1981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cc00e290f087e4f6e38df1d41852380c134d6d","datavalue":{"value":{"amount":"+0.7685231566429138","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":"Q5367052$4EBC615E-EEE9-49CB-9270-65CF29C45392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5367052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5367052"}}}}}