{"entities":{"Q5697712":{"pageid":7727272,"ns":120,"title":"Item:Q5697712","lastrevid":48570706,"modified":"2026-01-05T06:16:22Z","type":"item","id":"Q5697712","labels":{"en":{"language":"en","value":"Categorical models for Abadi and Plotkin's logic for parametricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215412"}},"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":"Q5697712$1C531424-05BB-4426-8335-EAED0934CAD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ce9aaa7f1b34b77d6eb03e547c3b41196156a35","datavalue":{"value":{"text":"Categorical models for Abadi and Plotkin's logic for parametricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5697712$F9BB4524-657A-4570-B128-8D84711511C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b55cd2b1e1fc879ffe19be731c4083e09971827","datavalue":{"value":"1082.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697712$052C718C-AE9C-4AA6-BBB6-7BE587F3E9D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c102a03660adfcc0ea75c1ca97774ac0d538957","datavalue":{"value":"10.1017/S0960129505004834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697712$D72A253B-2153-4419-AC3D-EECF1E8BD0D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697712$119939C9-922B-45F7-A226-4D3A67766D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697712$8688E01B-8165-4582-94B6-83EB5DA08698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697712$ADEC3B6F-2530-41A8-962F-4FDA0B75342C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5697712$EA4AFBE3-443D-43D8-92E8-0CC946806FC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697712$1C1E114D-6BDC-41EA-995E-F2268BC7B4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697712$E1F5A61A-EA8B-4A5F-AAB2-B8EC7851E159","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c59978755a90d107e837ed546692789e4e3c4470","datavalue":{"value":"2215412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697712$BDA0C079-9EF4-4A65-B4CB-665B54A7B69B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697712$19BCDB72-72A3-4F86-9D4E-0A732B9AE26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcee3f81e6741695ab88a0cf63a03383d19305a","datavalue":{"value":"second-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697712$5E87B1C9-360C-4B6E-8798-C039B440888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697712$AAC5E5FD-4306-49EC-919E-10BA3A83E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e41c3f09840302cd0b65b34a74f5b9590ab62cc","datavalue":{"value":"APL-structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697712$7F9470C5-0A38-46B9-A2D0-AF6B3700880B","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":"Q5697712$AE3B4159-1C63-423D-966A-F8AD485F64CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f9ce37ec11136969b977fb79529b1a06f63bf9a","datavalue":{"value":"https://doi.org/10.1017/s0960129505004834","type":"string"},"datatype":"url"},"type":"statement","id":"Q5697712$DBCD793E-8012-4128-BDE9-B34BD38FF08E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3eb6492a1098e6037623b464abc0a8fd750d9a4e","datavalue":{"value":"W2018103337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697712$4EA4FE90-2249-4BE0-90F8-10B3008273AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fbb9be1592b07b7213b5c8e95c87d09d6c5d166","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31e5f8eacd03c2d4b46941181672417f7d66108","datavalue":{"value":{"amount":"+0.8157361745834351","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":"Q5697712$47CB911D-C3CA-4116-8564-A319981F8A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9759522ffc25a12796d2730f608250c2d0f706","datavalue":{"value":{"entity-type":"item","numeric-id":5145366,"id":"Q5145366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c526984ada940dd359e536f60d6bc34ea0374da","datavalue":{"value":{"amount":"+0.7891308069229126","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":"Q5697712$E3556A58-78DC-4EB6-91DC-5235A281990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a370f0307523df0138265d55df81165dfdc2a27","datavalue":{"value":{"entity-type":"item","numeric-id":4286531,"id":"Q4286531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3445e8a888aaa391aeb03e9eb9ce1c6899288fe6","datavalue":{"value":{"amount":"+0.7742117047309875","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":"Q5697712$55688825-516C-4809-9453-5047310C644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb381b6af1e3fd2d657724aa53760020e11c80e1","datavalue":{"value":{"entity-type":"item","numeric-id":2811329,"id":"Q2811329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af61a56687806d290a3f424869f419e1e9929eec","datavalue":{"value":{"amount":"+0.7688034772872925","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":"Q5697712$FB43EAC2-1B64-4EDF-A1B7-1EE02E927634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e98d31e356985f5adffe607131854a26e5ffe5","datavalue":{"value":{"amount":"+0.7670297622680664","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":"Q5697712$E69BB25D-3CF9-4120-B45F-BB0D35D996AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5697712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5697712"}}}}}