{"entities":{"Q5144665":{"pageid":7174236,"ns":120,"title":"Item:Q5144665","lastrevid":53910083,"modified":"2026-01-25T22:19:16Z","type":"item","id":"Q5144665","labels":{"en":{"language":"en","value":"Fully abstract encodings of \\(\\lambda \\)-calculus in HOcore through abstract machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297866"}},"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":"Q5144665$0E9D9734-16B9-412D-BEEE-E95DB1B14CF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da8433ad431eb755f0b61f80dca232f06d52769a","datavalue":{"value":"1452.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144665$A4EA7423-FA9E-46A6-BC5A-39D511EFBD60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e3f5ef123aa6f51585b85ba7e1d30c48eefe6b","datavalue":{"value":{"entity-type":"item","numeric-id":879355,"id":"Q879355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144665$1F5B37AB-09AD-4F72-9E2C-89133F92C51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144665$070967C5-C24A-40FF-96B0-DB41482F7A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144665$8A084908-FCD3-4D72-A29E-291C37752ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d15931f2a428c8477f7ea628f404a74826e0223","datavalue":{"value":{"entity-type":"item","numeric-id":2130581,"id":"Q2130581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144665$63DE8A1D-7DC0-490F-9571-D5E0666349C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144665$D8B5F422-D638-4DF6-8CB1-2A34F4FC4065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144665$DF26EF06-FDB9-450A-9A4D-12F757A90652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144665$750B26B5-93A5-4BCB-AA96-3779D83831D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c96c79f41c3723f9032f92aa419ddd42d46020d8","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144665$F0A964B0-F5FE-4960-A9AD-D4B892D2D7BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144665$9CB1276F-FC03-4CE7-8CEA-5F410D844D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144665$A9FAC6DA-5FC3-4C51-9871-A55D27640BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144665$E6B26BC9-4775-4DC4-AC05-D392533B130F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144665$0040C1F4-D20A-4FEA-80AA-F1C78B4D4215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1877c8cf0a68954bb05c5fd5ac662fd43d226b60","datavalue":{"value":"7297866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144665$C166B301-A997-4A8D-B2CA-C155CA68A1EC","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":"Q5144665$75FDE3F3-7167-4719-BE92-93714E84FC13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545d657b5f295c82a9048a453e54de77d9f99f2","datavalue":{"value":{"entity-type":"item","numeric-id":5890045,"id":"Q5890045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cb5613104542cd21683346d4cdfd44ed2550a5","datavalue":{"value":{"amount":"+0.793634295463562","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":"Q5144665$4558234D-6AFF-4679-A8B7-614434C33DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65ea998ace52911d34b481caad7842a800f8957","datavalue":{"value":{"entity-type":"item","numeric-id":4704762,"id":"Q4704762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ee76b6fea05a7deb5517428cb1bab006c44e8d","datavalue":{"value":{"amount":"+0.772943913936615","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":"Q5144665$E0651A97-6E0C-4FFB-8137-16C2CEB3CC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8376a9b693fe02a6200b18de9ede56ae80f4083","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e696f4f0050da2052c92ab75bbf437499fa1b4","datavalue":{"value":{"amount":"+0.7664511799812317","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":"Q5144665$9B6F20F8-AAD3-4BCC-B3D1-ECEE5F473F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b6e5bdd0ee2463bb86185d60ece2fdb609d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8ac18d09cbd91dc2b0ad7b210207187ea931b5","datavalue":{"value":{"amount":"+0.7662783265113831","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":"Q5144665$954B7E8D-1C62-4113-BC63-380A73C46CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917ea07c6751ccad8a0a4e89c5a85116a0c53fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4995379,"id":"Q4995379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ddb6e9d14a64ef2a637a76fda8c9da3af5ad12b","datavalue":{"value":{"amount":"+0.76547771692276","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":"Q5144665$221342ED-8DAE-4608-A815-E5484A76BA01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144665"}}}}}