{"entities":{"Q2704321":{"pageid":2715066,"ns":120,"title":"Item:Q2704321","lastrevid":47586658,"modified":"2026-01-02T03:53:47Z","type":"item","id":"Q2704321","labels":{"en":{"language":"en","value":"Operational equivalences for untyped and polymorphic object calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1578075"}},"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":"Q2704321$A2EB942A-E566-451F-A252-59CDE43E3695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"305789a3d54a757782a01b6e10f0481564dbedc1","datavalue":{"value":"0967.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704321$8E9A76BE-FBF8-4ED9-B17F-8A6FA1188972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704321$60369E44-7530-4593-93C7-1997BC78F505","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-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":"Q2704321$897B8F3A-E1C8-491A-AB89-FF6B535E6DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704321$C0DA778C-27C6-4201-AC9C-CCCF7A9FDC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704321$E82B416A-A2F8-47DA-AC71-8F90160C74D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74f8f499d6b18a06d3756846de9fa3bd69349767","datavalue":{"value":"1578075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704321$D4425DB1-332E-4991-8717-0682B9EB879C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704321$047DC89C-F955-4656-91E8-426982FE643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf86a3de129b83fb6c35dbe061ec42f7f158efd","datavalue":{"value":"\\(\\zeta\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704321$B46DB049-66B8-4955-8FAB-2B6549EB3335","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":"Q2704321$BEC41E7C-7536-4D77-A26A-B1E88D9C1153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc36be223edcf20b69911387a5c009891cef5f57","datavalue":{"value":{"text":"Operational equivalences for untyped and polymorphic object calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2704321$DA57B0FD-0A47-40FF-A45F-632981FBF16B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582eb3110b663aa6298b9d019441d9416993c700","datavalue":{"value":{"entity-type":"item","numeric-id":4222907,"id":"Q4222907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d828d7cce4fe6bed926893a3ed091ac99be35fef","datavalue":{"value":{"amount":"+0.776764988899231","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":"Q2704321$58800AEE-138C-4777-930A-06234065A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33a0d85284950b77a2a9774beb91bbc035587e4","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2036708c8f2765ef65036155454e97c41bce4f1","datavalue":{"value":{"amount":"+0.7741809487342834","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":"Q2704321$064145BF-3512-4350-B70D-B304FA79F4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c89f391e274002d35a0377885db0d8f0d1fcd2","datavalue":{"value":{"entity-type":"item","numeric-id":5899014,"id":"Q5899014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628031a83206a71f057d091f440d8296de38c798","datavalue":{"value":{"amount":"+0.7705585956573486","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":"Q2704321$AC9C106E-C254-4628-8CC9-D1CAC8D2D219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1b4a819318684bfd1d79b714d281a04f6fd871","datavalue":{"value":{"entity-type":"item","numeric-id":2481559,"id":"Q2481559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44da31bd6f59e7a6fa8b96e135cc3084f84dcc76","datavalue":{"value":{"amount":"+0.7696938514709473","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":"Q2704321$FA7694BB-A2A1-44B7-829C-0245D9EBF423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd27a7ed6bf17e9fb2ec0d7914e816f13a930506","datavalue":{"value":{"entity-type":"item","numeric-id":5395063,"id":"Q5395063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690aa1a204bbb76b25d47d0fdc187e1221b2878d","datavalue":{"value":{"amount":"+0.7678220272064209","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":"Q2704321$7F163D7B-1B44-4E3C-9632-3DF2DAC91A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2704321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2704321"}}}}}