{"entities":{"Q2642466":{"pageid":2653209,"ns":120,"title":"Item:Q2642466","lastrevid":78997127,"modified":"2026-05-06T12:55:00Z","type":"item","id":"Q2642466","labels":{"en":{"language":"en","value":"Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179884"}},"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":"Q2642466$340A3619-6180-424A-909A-DC6475C3D6AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc598eab38bbbdc54af573bd5f251079c5f0a5e9","datavalue":{"value":{"text":"Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642466$214E7C08-C1E2-4C65-B80A-EE390843729A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e48634861c16f5cf0060360bdb1f3a553bf0d06f","datavalue":{"value":"1118.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$16BC04CA-53DA-4E01-91B4-BE25D10B47E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$D289DEA2-89C6-4771-AD13-DF1B27F99AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$56023269-599D-4151-B62A-DF0E35139B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$7A40F864-0D9F-49EC-AC11-03DAA8A13A83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$8F1B5BB5-E09E-40A3-AA12-46079BCB4E48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642466$67974E8A-E2D0-45AE-AD81-D84000FFD2B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc11c658b58a060609066c1fe0e09a1ad1884ed9","datavalue":{"value":"https://hal.inria.fr/hal-01148347/file/2007-jar-07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642466$61230102-30B0-4466-834A-00264556D82E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$6F8A9BFC-1038-4D46-998C-1751146DAF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$6CEED60C-99AE-4B07-84DB-2A7BACC0F8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$450FF8DD-4390-4D1D-8E01-575B5DFE6B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35c03e7c86998cd42e20f203a30bd6c63a13e8fc","datavalue":{"value":"5179884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$FA62577E-80C0-4E83-8360-11050CC11A00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e714af4081f71c3aa23dc7b500ca471c48176a3","datavalue":{"value":"Functional and imperative object-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642466$41B23513-A3AB-4486-9039-2E71636E7212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a44d9f23825be76f0129acef293bcc46d11a56","datavalue":{"value":"Logical foundations of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642466$258395A7-AFFF-432C-A1B3-0A41761D92EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d933523f38cac6e379dc0d961b6518794a23cac5","datavalue":{"value":"Coinductive type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642466$685039D8-6526-43D3-843A-0C5F8894FE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dff2f7785486c61817809cad977b0963f89c1c6e","datavalue":{"value":"Logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642466$320A0B18-7291-4606-BE29-B2C486FA72C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb9050ab298a05528c4142e6cf969c11125e6f5","datavalue":{"value":"Interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642466$69F3E404-4A2F-42C9-B382-C449CF53BA91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$3A3FF09A-C268-40DE-A957-AB5797C7B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$AC8E2E50-6F80-46E8-A64B-C237AE420577","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":"Q2642466$E7E1EB1C-C3FA-4A55-8189-0A870509EC06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d01370d9db59ef91c17149c13090145ab649e3","datavalue":{"value":"W2065324910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$8628C5A2-C1FE-41A1-AE98-2173F23A8B29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$FA08AC7B-C239-4D7E-8E37-92D7D0F1FFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$A49C9662-65D3-427D-99BF-159E92B5532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4369bb7a7eefc379e23b1aff3cce7967f176389","datavalue":{"value":{"entity-type":"item","numeric-id":4012880,"id":"Q4012880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$C4117BA0-A78A-4DBF-8FF7-A292F98E043D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$758548CF-B875-41BF-8CF4-83076B44D3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131ffd53e401dd874fc4f295f2f9be252699df2d","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$83BD5A18-9102-4FC3-AB19-8F20627830DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2f4029f0c13517fe63c3c9a74f9fb32403ffda","datavalue":{"value":{"entity-type":"item","numeric-id":2642466,"id":"Q2642466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$B8A93D67-54D6-47D8-95C3-5A61BA6B1215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070549fa3e8d95504e8bae77f2471363c3370c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2847780,"id":"Q2847780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$AC5CAF4A-C702-46F7-AF2E-77139B47EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9a8987a7d8efa9b320ab9f4c18049ee75db52c","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$D280AA01-4EE2-47DD-B375-01D19EB40FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$CE145E6A-0E38-4477-BF80-943229E6464B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e28d1075139d5cb56ffee6426ca0ee112d35b6","datavalue":{"value":{"entity-type":"item","numeric-id":2746760,"id":"Q2746760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$D29F5A85-3F67-4DD0-A162-8106D348E69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220258143b7834917a988322b64d98bf65ffe70a","datavalue":{"value":{"entity-type":"item","numeric-id":4484341,"id":"Q4484341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$E7C63711-C99C-4274-AA2A-04C881394841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc34a34f29090d7e05153556366d2164ee64890","datavalue":{"value":{"entity-type":"item","numeric-id":4322072,"id":"Q4322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$AA5FC203-DDED-4845-B109-65F891BB10DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$B4DACB97-12BB-4CB8-A7D4-EFE07DED5BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31701e0774145535b911ac9cba93997b05afa3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2723440,"id":"Q2723440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$CE96BDE4-A184-4E48-A044-ECB3A226E5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$F0534836-31FA-46ED-830E-F4869DBA563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8275278c932565b6b1f07c9efa2015518a0375b7","datavalue":{"value":{"entity-type":"item","numeric-id":2754049,"id":"Q2754049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$58B15560-9E3F-49C3-8FB4-49622CFDC7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc09fba81e6a14082e7e439b4990f073f09d0006","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$2F93A569-8C2A-49EE-AC00-A31BC879F955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$441D965C-1B50-48DC-9800-CC175402C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$23509DD4-A9F6-4C7F-9C28-DC1727A5D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$6A567BC2-73F4-437F-A5C0-97492849C7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$8F92E0B5-1BCD-4BB4-B8CB-33971514088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cfe8b6f36510ff68036f1eba14384ed55649e3","datavalue":{"value":{"entity-type":"item","numeric-id":2841233,"id":"Q2841233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$FB56DBF4-6047-443B-ACB3-E39E4D42F6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa3c9ce4c0d41dddd221b190748ad64d2579cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$B38436F7-0FD2-443E-A0B0-B474CDDD6189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$75A95D39-0077-4CD9-AC83-2DD8CE1DC9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c732fbd529c96b900ffef046072d0570c63aff","datavalue":{"value":{"entity-type":"item","numeric-id":4417871,"id":"Q4417871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$7798E120-6557-4119-B10E-AB34CFAF2190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71caf26c62c15679e94c5069dd6cb3f9843f63c4","datavalue":{"value":{"entity-type":"item","numeric-id":2844811,"id":"Q2844811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$03024A10-429D-41C6-BB3A-1E8EC9D184B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$3786BBFB-FC16-48B3-BB94-29DBF13CA83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc2a3a2fe6c2501187641fa09bcf9c23f2e64ed","datavalue":{"value":{"entity-type":"item","numeric-id":2771757,"id":"Q2771757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642466$65730F50-5F15-4002-AB5A-84FEA1C7BA12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f75e5d88a96cb1b8e51eb3ad9599d874575160b9","datavalue":{"value":"10.1007/S10817-006-9061-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642466$C2336A3E-A70B-4EF4-B8B4-92F46D44D543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37400d4100f52469e107d416939db13b17584959","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3956056d122aa5ea39d581bd4863d15465b26dcc","datavalue":{"value":{"amount":"+0.8834205865859985","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":"Q2642466$925DCF09-3489-4C7E-AA40-D96DB23A3737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f5192aab50a0a72863a0632bcfc990e362283d","datavalue":{"value":{"entity-type":"item","numeric-id":2723440,"id":"Q2723440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18252c0cc5a8aa313fb7d6aa8480afcbb8f9b94","datavalue":{"value":{"amount":"+0.7708648443222046","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":"Q2642466$32431813-2385-4140-A1C8-5C5910149D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3fe5ba9d0a0a73a6b50800409d21d74f7a3cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4494479,"id":"Q4494479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94109837b64cb0b8af690c3f10a7eff109c512f","datavalue":{"value":{"amount":"+0.7707007527351379","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":"Q2642466$FF87C376-0DC9-4440-A0B7-FB5B7D1C3732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44bf419cbfeb06c6641e37abecef828c5b9fd93","datavalue":{"value":{"amount":"+0.7641321420669556","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":"Q2642466$EB2ECC6B-BC92-4644-B16F-565A5BD8945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9a14b69ab5abc32f044a807ef9d305a1af13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2841233,"id":"Q2841233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4fd6efe474dba7b674e82dc0aa2a4037196449","datavalue":{"value":{"amount":"+0.7459484934806824","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":"Q2642466$38951C79-CF94-4870-94DB-2D9DF7A2A3E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts","badges":[]}}}}}