{"entities":{"Q685406":{"pageid":687255,"ns":120,"title":"Item:Q685406","lastrevid":63459906,"modified":"2026-04-11T13:18:23Z","type":"item","id":"Q685406","labels":{"en":{"language":"en","value":"Linear logic, coherence and dinaturality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417346"}},"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":"Q685406$9417F165-3501-467D-BBC9-821A60A236D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"870cd25696f6298be1b6a9c847e18fc6ec22dc73","datavalue":{"value":{"text":"Linear logic, coherence and dinaturality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685406$3DDE8077-8611-4E52-AF35-2E2A374237FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"040c3cff72ec1a4e42c2965a4ef1cc78852b40fb","datavalue":{"value":"0782.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$23D4091B-47FB-403D-920B-0A167D3F808D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4abbcf5697b493a0f0accb0e7054af5cd5c1ff09","datavalue":{"value":"10.1016/0304-3975(93)90053-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$5A0F263B-5431-4A9F-A980-0C46CDC283AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$A0F6FA4E-4CC9-4B5C-BF27-13D1541454FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d02bde13d622d42f9b76cdf00d7fe9c53527b91","datavalue":{"value":{"time":"+1993-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685406$32ACB0B9-4219-431C-8E87-5E7517282592","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab83ce0c1fea57119e1e6c8ef25279fb3692954a","datavalue":{"value":"The paper fills an important gap between category theory and logic: it is shown that Eilenberg-Kelly-Mac Lane graphs of naturality conditions in closed categories are essentially the same as proof-nets in multiplicative linear logic. This allows to obtain a useful schema of coherence theorems (instead of single theorems before) and connect coherence with composability of dinatural transformations and polymorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$49EC8E1C-E160-410A-80A1-5087B25C0783","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$C7A21782-E614-4584-AF3E-E05344B4A7F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$DF38E244-A0BE-4493-ABD7-650971C5E7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$3F54FA06-24E2-442C-9AD9-038E56A9BD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$CAC51406-D964-4D60-B819-10E44088EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$437F487E-176E-4E52-AD54-F17B3E0A77D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$E4CCB89B-B28E-4584-8A6A-2BABE30E9222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb0076cc6d28b9193d0b82e144fde257fda8818c","datavalue":{"value":"417346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685406$B441771B-3A0E-48AC-9FF5-CD32688922A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911c26e9edb53293d775d196c13ab4ca12577dbc","datavalue":{"value":"graph of natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$144D4EAF-C7BF-49C1-A381-E38549246366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ea00eef2a7cfbee5045f61bb07fe600fbfdbdb","datavalue":{"value":"dinaturality","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$8A4519AA-E43C-462F-B6D6-A6CDC9E8AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"babe0ce81832c380b874bee9339110b2e43a8bdd","datavalue":{"value":"Eilenberg-Kelly-Mac Lane graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$9CE5F15B-7D1A-42EE-8D3C-B660F1BB937F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289b54330d5627361f5c524049f9c1107fa454f5","datavalue":{"value":"closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$2DE51B91-3E63-49F7-9DBE-C9B837025FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$B1678E9A-0F40-4258-9C5A-BA47CA9907ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$16AD6111-2636-4138-ABD4-8E895269B941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$8009617C-F071-4476-9527-12DFEEBD333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q685406$197B2F01-C614-4B5C-BC8B-9909C132D495","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3de85f6c33c712dd4c532c867e0f7e1c3d5d050","datavalue":{"value":{"entity-type":"item","numeric-id":1421607,"id":"Q1421607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$398376E6-6408-41EB-B242-06F0A448416F","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":"Q685406$F161CAC6-62F8-4F7A-BD13-6FB7F90CA027","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$7999CDAE-F380-4535-A292-94169C797291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc3fbb507a0b4179e14c09c7cb7c9a5edcdd2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$9C0806CD-7DBA-4191-B4AB-CBD791790AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$663E2F63-46F6-422D-8F62-1EEDFFF77082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$D1F498D3-AE66-4F57-91BE-4FB6C563BAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d3128c33a17fc4f3e7b89ceb3e22b9648f4405","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$67BE1551-9D74-4CD5-8885-20A0103D9772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b020a137265ace65086d5413e4842e3f5822c56","datavalue":{"value":{"entity-type":"item","numeric-id":3138536,"id":"Q3138536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$4BF99D4C-634B-4694-AF35-9E62A8EE4DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8966d0bcab508f68b1c88a02351f52a4ddc1e757","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$21F626AA-BEBB-43D6-B70F-5D57B46004B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$B950177D-EE7F-4E71-997D-F8C3DA808948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c1d96ada48dc11db6b0cdfcf169c2736372aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5626910,"id":"Q5626910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$9BFD1314-EC26-4107-A50B-34482A27A375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897b983090a7e7931ca4c3b1f285f76249983ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2524062,"id":"Q2524062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$8CE326C6-3823-4817-9B28-5900FC97E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$B59BAD3D-67EB-41FF-87E0-2FB379AF92A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$D0F9E58B-91B4-40E4-B6E4-78B8E8EB5CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$629D5AC8-3483-4E86-A6D4-533806D28F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5923c7bd6a86f8aad90888006ae6fa710622ab","datavalue":{"value":{"entity-type":"item","numeric-id":3819066,"id":"Q3819066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$5E7B0454-CEED-4B0E-B788-1D80835ABA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$6CDB615C-2A94-45CA-BDA2-EF7917EA4314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503a32a77a5754289d7525fd53752b5bac8af874","datavalue":{"value":{"entity-type":"item","numeric-id":584380,"id":"Q584380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$72EBA176-4965-400C-8119-B637200A020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb3bb322eb5f7ffcbda2e3d2673048224e6f41a","datavalue":{"value":{"entity-type":"item","numeric-id":803265,"id":"Q803265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$AE89A134-E5D8-4C6B-BB07-1F8991BC5A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$5B83CC5B-98FB-4E67-AA1D-2BEBB047EA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9f8140818bf0703f5f59c3c7945a15785e4827","datavalue":{"value":{"entity-type":"item","numeric-id":5654207,"id":"Q5654207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$C24CE1C5-CFCF-4FE3-A0CE-8411CD65B3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$19E3402B-610D-486A-AFD2-FEF336BD9AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$85C54457-2B2E-4CD4-985C-F9F4BFA94119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$90FE3FF3-4DA0-454F-95A7-3CFD8208373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05087253c3164ea7978f0a24612b46131e225dad","datavalue":{"value":{"entity-type":"item","numeric-id":4735315,"id":"Q4735315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$01C77744-7C59-47C8-A226-8ED7B6FBA887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$BBE50BAE-7A7F-480F-ADF8-A33F87BEE79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$3868D93B-0474-4AB4-A077-7B3D19EA7C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6824df6dd0be7cd16493b5788b39032747abfe1c","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$9DE687B6-B0D0-474C-B2F1-BED7BDBA03D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c17fefc3bf7c4e7c64821785423560055c9954","datavalue":{"value":{"entity-type":"item","numeric-id":1147133,"id":"Q1147133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$65EF51DD-06CF-4DFE-A42C-E13E7D7FFF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$2A65A3DD-3BCB-46EE-9FE9-6011B2F054AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5519bd7e374cefe8cee8dbbba4654167b7e41bff","datavalue":{"value":{"entity-type":"item","numeric-id":579398,"id":"Q579398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$D17A9C91-EE5B-4873-89E6-2E2B6A9D885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119c343ed5ad0d1a3eaa370f2346f7ac9d5fc15c","datavalue":{"value":{"entity-type":"item","numeric-id":4123497,"id":"Q4123497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685406$0B85B938-3604-4D37-BC3D-7E361A8FBC0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d7fe7665b9779afc2aa2e2df852fe9d3e2d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4928272,"id":"Q4928272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5c5b96d90b81c84ebf2725f2abf0cb22adb474","datavalue":{"value":{"amount":"+0.8615177273750305","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":"Q685406$566E8C85-8B39-49BD-8983-B28FE43C09FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce5f0e800ebd86c56a289872953c9119e12a1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1011758,"id":"Q1011758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da9a4e562cf74793b8e208b6919639e911344fc","datavalue":{"value":{"amount":"+0.8576187491416931","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":"Q685406$8CCF68D1-8EED-4DA1-B695-49FB4564D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359aa83dce47154753cee4ee3fd6d93a17a1cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4650576,"id":"Q4650576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90092770f318c0730d89532768fbb5f3aa2e3e7","datavalue":{"value":{"amount":"+0.8508385419845581","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":"Q685406$C5D64D79-3BFE-475E-A87F-DDA3A886308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3afc2364424575410bcfa02c72643881f4d539a","datavalue":{"value":{"amount":"+0.8433606028556824","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":"Q685406$0A020DE3-0E84-4FBB-A92C-2D55DC271418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea87160d3c4a1ffc045aeba3b30d87e3e2df9db","datavalue":{"value":{"amount":"+0.8104532957077026","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":"Q685406$231759F3-9483-44FF-8016-E2716179758E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logic, coherence and dinaturality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_logic,_coherence_and_dinaturality"}}}}}