{"entities":{"Q1652990":{"pageid":1663731,"ns":120,"title":"Item:Q1652990","lastrevid":68149818,"modified":"2026-04-12T21:46:17Z","type":"item","id":"Q1652990","labels":{"en":{"language":"en","value":"Realizability interpretation and normalization of typed call-by-need \\(\\lambda\\)-calculus with control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904541"}},"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":"Q1652990$AF03D262-44B7-4A44-A287-7B9EAF0FB84E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"705ec3dad540a9118451687d907739a130e0a51c","datavalue":{"value":{"text":"Realizability interpretation and normalization of typed call-by-need \\(\\lambda\\)-calculus with control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1652990$EE9408A0-7108-4598-B903-EBD2C3445380","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73853577a5a3c0cd03aa0abba43a1b23605107ad","datavalue":{"value":"1504.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652990$011D2D82-D00E-4904-9B79-0C5ED24924E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f57cfbae695b92b6e0686966017af52109dcaf5a","datavalue":{"value":"10.1007/978-3-319-89366-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652990$6554DD21-4805-4DB1-9124-CB0BB3DDC17E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d25e6dfe9704fbad90bb3edf4deb2c92e5bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1652989,"id":"Q1652989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652990$98EB1012-12F2-4B40-9C36-DDF182029066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652990$669050B1-FB32-4E18-BA56-FC385CB2FF17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1652990$B09DAED5-EC44-4419-B913-5FAC65F5F159","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5ba37cf9f1e42f730cc910927e338d36a79268d","datavalue":{"value":"https://arxiv.org/abs/1803.00914","type":"string"},"datatype":"url"},"type":"statement","id":"Q1652990$989E89AA-C738-4F47-8901-B7320258A82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652990$22BA4672-86DE-43A8-B82C-9611EA0211E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652990$843C68A5-24B6-48D9-9FDF-619068C0B1EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6782fc8afaaeda157362b186959dc4be65e4a15d","datavalue":{"value":"6904541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652990$23E3FA7A-FFF3-4168-A0D1-4B740496FC69","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":"Q1652990$6945F678-B2A3-48A3-B7A8-F2C8B8AFFFF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e359e4679eed98a75c0348b429457089d0b95d9f","datavalue":{"value":"W2963769921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652990$EC3D2326-D9CB-4FC8-9CE0-59709CA8E70F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b09492e5f29937148cfd0ed4b4df0a5ca38466","datavalue":{"value":{"entity-type":"item","numeric-id":2811356,"id":"Q2811356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5877ea5dff2608b615e87a299ed144cea6f141ad","datavalue":{"value":{"amount":"+0.7787660956382751","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":"Q1652990$DE6F3B16-ACEE-41C4-A7F6-AFE096644422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0010c7fd33e395df3d252e1b05141afb5821b8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2802497,"id":"Q2802497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1327ee2ae45d6ff671ad5421c3ff2e1c393f07","datavalue":{"value":{"amount":"+0.7700023651123047","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":"Q1652990$5577DF63-0851-44D4-B2F1-4D9B09C21C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487dcca072f54c1b5616589589dbc598f5c90aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5145348,"id":"Q5145348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2641ee402a67d81daa6da669e02894c11ae1f450","datavalue":{"value":{"amount":"+0.7653531432151794","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":"Q1652990$FE92DFAB-E586-4649-A7CF-DD1BD7EF0CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91080846a0262f81cf0638b524b232b8398e9f17","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ced6e7d291bd4cd334e974abafcb765a145e16e","datavalue":{"value":{"amount":"+0.7636509537696838","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":"Q1652990$E1D8E640-97AD-4C41-8D19-E51EA64B7E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c2cf5e45d818c652cc1976f3ff629592c9b378","datavalue":{"value":{"amount":"+0.7616021633148193","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":"Q1652990$C974FDB1-3F3C-4850-9971-EDA3F4A60464","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652990$D639C7DE-655C-4F7A-AB89-43DCECE3EA76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability interpretation and normalization of typed call-by-need \\(\\lambda\\)-calculus with control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability_interpretation_and_normalization_of_typed_call-by-need_%5C(%5Clambda%5C)-calculus_with_control"}}}}}