{"entities":{"Q4887022":{"pageid":6916601,"ns":120,"title":"Item:Q4887022","lastrevid":41249162,"modified":"2025-04-24T10:48:22Z","type":"item","id":"Q4887022","labels":{"en":{"language":"en","value":"Full Abstraction and the Context Lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 908230"}},"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":"Q4887022$1038ACC9-9B04-43E1-BE25-7957B86696D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbb9b7fecca0ab35c65c626879dadccfe44dbdb9","datavalue":{"value":{"text":"Full Abstraction and the Context Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4887022$755AB6DA-6988-47C3-8F95-A111560D06EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cfcb54a482dd7250b6c137bc4a9928fb537629f","datavalue":{"value":"0856.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$CE2ED4A2-779C-4B18-AB20-F5B5B6B1AE04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d396a35b1ef82d2aa0c4ff2a10d793c54a487f23","datavalue":{"value":"10.1137/S0097539791224212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$6867E769-DFA2-4944-A518-E9DFBDC94BD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaddfdeb0bfcb9cd39f6d869597e29a6927b063f","datavalue":{"value":{"entity-type":"item","numeric-id":1974451,"id":"Q1974451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4887022$CE8D1848-FB35-4DFD-9FC0-AC0F3EDD0EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4887022$2BD50B3E-E199-4145-B65C-044D9E54E0E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4887022$8A1C8B13-9D21-40C7-BC09-89D3660CE106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d3360b6b943b694e0d876edcc46e387fe24c809","datavalue":{"value":{"time":"+1997-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4887022$147CD083-FB59-40F8-952A-093C6A43EFD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$F552265A-9949-4AF6-9988-8121B7557D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$A1943AAE-4F61-480E-A8BF-AAFC755DFD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$DEDF0933-FBCB-4181-948D-768555A30C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$94D6F1D5-D17C-498D-A90A-424844350C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$9CC13F79-1A49-46C1-B677-2BCDC42F40BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01ac0f99ff5519fe438f42a2bba4e9abee38777","datavalue":{"value":"908230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$64EBA44F-FD1F-4967-9FD9-E495CD1D3FB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f428e4978c7f1d479c209658fcc971d9731b28b5","datavalue":{"value":"stable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$6874C0CB-3B4C-45D5-8E15-0CC3D569451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$91A3799F-240B-47B5-949F-4A24CC10BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$E7EB3DF8-EB43-4835-B89B-AC0E7CF97C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e0de31ac0a57a20d2a944101a70e4202a69848","datavalue":{"value":"formalization of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$A56CF8C1-6602-4509-B60F-7648CAF1E96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$8FCFAE9A-98B8-42B9-A0D4-04648A1F0892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$92D59CE4-0F2A-404D-BEC1-55283F048696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c0c975f3c5e328e1ebc1809e97a999eaeaba3c","datavalue":{"value":"Milner's Context Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$A15FBB60-0F9A-4522-893F-21E79970F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf13b612da5566f45fe25905fb3bd644791a4809","datavalue":{"value":"term-rewriting semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887022$569525C7-C28E-4804-BF2B-78C0AE23A7A8","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":"Q4887022$E1236468-3A90-48E2-8973-3A0388C601A4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8151ae8617dadeb4d37d8a2aff03a88e2f49c26a","datavalue":{"value":"Q124846189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$1FADB6E7-4838-44E0-8885-B6F34F08DDE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c03a14a80b4a7e3c2fb7f6be5a9ea0c2b49f9d4b","datavalue":{"value":"https://doi.org/10.1137/s0097539791224212","type":"string"},"datatype":"url"},"type":"statement","id":"Q4887022$17BCD20E-DEEB-413C-B35C-0FA14C11293F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d13e661567912fac56440b064bfe7ef3f2fd055a","datavalue":{"value":"W2150022661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887022$68B9F39F-1EEC-4183-A6AB-228E23DDBEB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149acfe731e69f7ec56a480870adff42533ba246","datavalue":{"value":{"entity-type":"item","numeric-id":5096215,"id":"Q5096215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d8049c5bdf57bbf48f4c7d82bacfef16ca704e","datavalue":{"value":{"amount":"+0.9625362","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":"Q4887022$E3D8D2C5-53DB-4036-86E6-F595E1D47F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64c5850cfed7715bc475fb05041c1751cc376f7","datavalue":{"value":{"entity-type":"item","numeric-id":4237906,"id":"Q4237906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086c27616e106532040097fe7aa26243dbc1b150","datavalue":{"value":{"amount":"+0.9006368","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":"Q4887022$0C235573-4C92-489C-B880-15AECBA62924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e3d6a1a68afa2ca580ba13c86ba60e89fddb44","datavalue":{"value":{"entity-type":"item","numeric-id":2864154,"id":"Q2864154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9493b8931c889ab513184d481868b3117cdba084","datavalue":{"value":{"amount":"+0.89252716","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":"Q4887022$34872BD4-88E3-43E7-B907-21F2628B6A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ef2a43b6053055e5fe036f9c47acd43b6d57d","datavalue":{"value":{"entity-type":"item","numeric-id":4511324,"id":"Q4511324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5207dce94607cc931d2a424bed1ed9d10da5ad","datavalue":{"value":{"amount":"+0.8790503","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":"Q4887022$7B807800-F886-4C4F-B7A0-479AD431E90C","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":"31141f38874b74838d3967dbfc43dc481ad7eea8","datavalue":{"value":{"amount":"+0.8776221","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":"Q4887022$E5BCAE0E-B3A2-46DC-BA85-6C9503055473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81f73ba2462d44606d8145a91bff3b6fb6d6679","datavalue":{"value":{"entity-type":"item","numeric-id":1365671,"id":"Q1365671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3b2a517b7ec601e3c357d95dcdabef26c6ec97","datavalue":{"value":{"amount":"+0.8760201","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":"Q4887022$9200AABD-09A0-4248-AC19-523FE7D42C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee0a6d242cd817f33b11fe929ac968e03092e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5741574,"id":"Q5741574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783b746a2ec36c5c9a884baed3fb11314905f603","datavalue":{"value":{"amount":"+0.8679252","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":"Q4887022$433E3FC4-2B29-44C7-9474-CE2288113FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c4fae42894996d62bdc1b24c20fd91d2b85957","datavalue":{"value":{"entity-type":"item","numeric-id":1892888,"id":"Q1892888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bda8f42cca5145b5e15dd3ecb982e868b5aeb32","datavalue":{"value":{"amount":"+0.86716235","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":"Q4887022$0BABC41F-2AD2-48D3-861B-9D116FB1C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a905257a1ec112c784a57059114230cc933fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":1121676,"id":"Q1121676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c63b88965fe79681534c02549070721c1fa79ee","datavalue":{"value":{"amount":"+0.86325145","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":"Q4887022$5450A3E7-3EE7-432C-8BB5-2537E908D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7331ae3e80c6ecf98c5b24197cf5cbf0bde4cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2474052,"id":"Q2474052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f265885a2300c6a18cadb3236b321257ce5a5c92","datavalue":{"value":{"amount":"+0.8589319","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":"Q4887022$49D5FB49-E39B-44B9-B496-7A21DD97FEF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4887022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4887022"}}}}}