{"entities":{"Q2958387":{"pageid":2969106,"ns":120,"title":"Item:Q2958387","lastrevid":44783235,"modified":"2025-11-26T10:22:27Z","type":"item","id":"Q2958387","labels":{"en":{"language":"en","value":"Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679827"}},"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":"Q2958387$48495BC5-3FCD-4F5C-AD63-2A1FE4E4AF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41df759ed2d0cbbc6046dbfcdb15e7a41f0ee8a0","datavalue":{"value":"1356.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958387$107B74A5-B5CF-41DE-BC93-1F0E2C439AB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e75e6c6f66519d5f920f67697b30cc385084e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1944118,"id":"Q1944118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958387$0604A791-988E-461A-8F87-FB2CD2CFD895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958387$6A037287-BF7D-4D36-8E11-67CAD3E8EE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958387$C33B42E8-FFEF-4A5C-B3E0-DF0ED14A8406","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958387$454CA714-8F82-41D3-A94A-25ED29B2A1AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958387$4DF402F3-6B0E-4A6C-AC6D-E957BE1E5D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958387$E3859D59-9A83-41E8-9B1D-009F4B05353C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d3c48232cfbfdb57950f79c95d737cfa8f30949","datavalue":{"value":"6679827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958387$2D838CB1-6212-4EAA-83CE-CA4DD09F45D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397f66416706827b9e03eb24fa498f3c08c9806c","datavalue":{"value":"lazy lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958387$2F231BE2-2EB5-4C76-9A7B-E1EC51AF9178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6198398c997d826be16e356ed3e9cc8b7dc2b5","datavalue":{"value":"contextual semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958387$553AF1B1-446D-41D0-852A-3663FBA9A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958387$9D0724D0-452A-45ED-8158-61B0CB47AA5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958387$9010194D-BAEC-41BF-AC0C-AD76E003FC15","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":"Q2958387$62610AE5-DEB3-4960-9936-B9F8A6D43E0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dc9f4265369125d4a5f8007ac57043e0f894f72","datavalue":{"value":"https://www.ki.informatik.uni-frankfurt.de/papers/frank/frank51.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958387$1FE7FC5C-A377-4795-AE27-738F78D8FFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6b4ae94ae040b3801f0ad32bd933a4e33f7baaf","datavalue":{"value":"W1509022145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958387$57377BB2-1A4D-46C8-A860-5511B359F2EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"914b35826d3bf306738dfbd38dde722a11eab4c0","datavalue":{"value":{"text":"Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958387$C5ACAF28-8C62-4ACF-BD8D-38836E46F33A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42405849aa72308a365493d2d1fe9534b0cc26dc","datavalue":{"value":"10.4230/LIPICS.RTA.2013.239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958387$DDA51F3A-15CB-4178-B5C8-7DAD7A5DB48E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5f151b47f36bcf55371650dd7c8cb5b8ca7ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5277828,"id":"Q5277828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed06f346e22db595936e826af99ad5fc74bc32a","datavalue":{"value":{"amount":"+0.8990767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$64C1169A-0843-48C4-91DA-D3E607899C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3882ff7008f8a2a77db25d40e34b6d087042c0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5204341,"id":"Q5204341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78645f6ebd81c28b3095728096e9c58e46929dc1","datavalue":{"value":{"amount":"+0.896958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$451509B4-4F07-4158-9072-1ACE6A72631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356366ceec38d462f10db45861a51a3f8cd5043a","datavalue":{"value":{"entity-type":"item","numeric-id":4501158,"id":"Q4501158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed89ec7aa8367beafabcce6e0ae571b5857076ee","datavalue":{"value":{"amount":"+0.88390505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$755C95D8-FBFC-497A-84C0-D67E92F67A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa6decd99dc7371790dca0be13cabfad7ab91fd","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d80b8b9810c844bd9e6c0cb271478195e939b21","datavalue":{"value":{"amount":"+0.8789836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$50E82EEE-9205-42C4-9C06-03D5F48835CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5947e16f1efbb381099c4f74065d5ca1647de49d","datavalue":{"value":{"amount":"+0.8780404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$80B825B9-52CB-4D4B-904E-DD8315A62371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698f3e0ef982e6468e9c886f13d4ba052f2f8621","datavalue":{"value":{"amount":"+0.87549835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$0F95F1A0-D8E4-429B-A2B8-9712B7C87452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c22efe7589f770103d1a569cb8c33b291e61eae","datavalue":{"value":{"amount":"+0.8689639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$5D972A54-2472-494C-9325-A28D6BCEB713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95df0ec81a35e3d41b2ad1b3816d1ebf4d46e953","datavalue":{"value":{"amount":"+0.8674995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$C6766D01-473B-417B-B611-691189589CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf75ed0f172b3d955a9fc9517bf975c9c12d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4381706,"id":"Q4381706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ea32bb5d8a95cbb91c983e70088057eabe740b","datavalue":{"value":{"amount":"+0.8655624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$3278D3F9-7D68-48A8-BB71-6825FEC7D543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301b8dad2e6de9e4ec1ae05ad1c79dbb8ddfe649","datavalue":{"value":{"entity-type":"item","numeric-id":3837997,"id":"Q3837997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81885a479982878e1197c47f4a7bb651b255f79","datavalue":{"value":{"amount":"+0.8655622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958387$09E06202-7205-45BB-8BB0-9B17D1BC6950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958387"}}}}}