{"entities":{"Q1126244":{"pageid":1136993,"ns":120,"title":"Item:Q1126244","lastrevid":69702513,"modified":"2026-04-13T08:49:37Z","type":"item","id":"Q1126244","labels":{"en":{"language":"en","value":"Natural deduction and coherence for weakly distributive categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 955122"}},"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":"Q1126244$BE85E824-9059-45D8-81AD-27DCB05A2E12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baca4c0d6bc05f1b47e0fbc2ff7313a1c897f145","datavalue":{"value":{"text":"Natural deduction and coherence for weakly distributive categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1126244$9495F261-A31A-4E23-937F-47EB171BEAA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"005ed7db1a8467b54ad328d94f46d66720e1fd7a","datavalue":{"value":"0858.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$45D9B3A4-593C-4839-B1F6-8C4CD0C416DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45df94050206b99da345ede280fbeff8e653f345","datavalue":{"value":"10.1016/0022-4049(95)00159-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$EE9F4068-099E-4874-BA1F-E9FEAE3D93FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$F2D9F294-56BA-47FC-A4BC-99BC2BCF07A5","rank":"normal"},{"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":"Q1126244$7B67BE01-F6B1-40FF-8947-24FBE4EE8059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$E47456E9-A3E4-4748-A459-A97AF1277ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f9f73146f9e5ec09eade5666012aeae8272307f","datavalue":{"value":{"entity-type":"item","numeric-id":1571061,"id":"Q1571061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$22BA93A8-2817-4640-B574-31E17E2B3978","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$1AF90C1D-E404-4306-A11B-5C915EE6E4BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b70610fb3a1550db30dd811e2db8a55951b17417","datavalue":{"value":{"time":"+1997-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":"Q1126244$B78AAA94-7206-41B5-98AA-E3988CFE5EF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$2DFE9DCA-1BD0-4F35-BCA9-C938FE6CCEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$A5943A8D-520E-469E-9D6E-B4D83A92CD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$1C620B0B-2800-4F4B-9C0F-368E19624A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$B2637141-8397-4DDD-A439-0D1700F7DAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5b8c484e09998f4bac4fc07ea66395e4913c921","datavalue":{"value":"19D23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$B2BDF3E7-EFA0-4962-8030-A1B5F7167091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3599d7b58e53600544e7ed49ad216bb5f5a47a5b","datavalue":{"value":"955122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126244$47F29895-CDD1-4DEB-B735-AC177C1A2224","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a37573f2e62bde045e7e78b9912b83f736d3069","datavalue":{"value":"\\(*\\)-autonomous categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$1CF9B687-BF39-4A08-B57A-E18DE18F4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$525DD632-991C-47A1-8E36-73B94964A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$5E8DDBA0-CC64-404C-9F8C-1D08C2F4CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$F9289246-02E9-4A2B-93E0-C24C0F7C916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$0F344E65-5357-4BE9-B496-C21CF128DA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$B1DD2423-AA56-4A9D-857E-0EFC20D8E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf624f3e102941448d7d6ee673e2d1d0cd7588d","datavalue":{"value":"weakly distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$B7197CBE-049A-4017-9EDA-946E14CB723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3bb6c32ef05a1001ad4bc1b7d954a78670c065","datavalue":{"value":"two-tensor structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$50D995FC-B9C9-4799-A31D-F82777990116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162ff39e0b8b57787305ac05ea3751f4a451ca82","datavalue":{"value":"expansion-reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$D842AED6-DB09-4F2C-9DCC-AC6417A869FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$CB05A14F-0957-4659-8B0C-6AB44D769542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126244$0F8483EB-6A02-4CCE-A25C-DC2496B87CE7","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":"Q1126244$57D96FA5-F796-4AC9-83D9-FDC1DCF0D620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$0BE83E59-C0F2-4727-BFB6-C6D365BC18C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b8931cc97b9286fd379243bba1d9fe33561752","datavalue":{"value":{"entity-type":"item","numeric-id":4842977,"id":"Q4842977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$AEECB01F-88A3-41BA-B123-DE7AD2B2C3EA","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":"Q1126244$DF5634DA-3341-4430-9750-9418B4E266DD","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":"Q1126244$BBFE3D29-2079-43D0-8A70-E1F2C49A3BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254120c88e9c3559b42efc26b3a244c3a30cada8","datavalue":{"value":{"entity-type":"item","numeric-id":4715669,"id":"Q4715669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$1E85990A-D8FF-407C-9B10-68B0F4D657EB","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":"Q1126244$EB1E5FA9-5DCA-4624-AB16-61A402D87A14","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":"Q1126244$60305A60-2F0C-4117-8A85-26E3E742EA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce43943cdea99839778a97c2299e9ea778a76da","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$8CD499BD-4921-43FD-9C3F-38C7112C2A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$A5F2D42E-A91D-4469-B732-318AADDB5EAF","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":"Q1126244$94BCBF57-F834-44AE-B68B-E32360BAB519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$2BE88574-0732-4C9D-B24E-F669F0CB5F2A","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":"Q1126244$145CD955-7888-4ABF-8B3D-B233C747F9F5","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":"Q1126244$4168B0DC-4DBD-45B6-AB84-5ABAB6D22D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$93FE775B-2D06-4663-967B-C3EDBCD39F06","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":"Q1126244$94588721-D31A-45B1-9578-4D90E04B2BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$4794873C-3F18-4CBD-B14E-82027A744000","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":"Q1126244$0925B88A-44A1-4B44-B0C4-1B6A57411DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075f22b9afe2a58dd22052f5feb3620e09f48e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4940719,"id":"Q4940719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$54E2B14B-B901-466F-8DD4-966C4A7E459F","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":"Q1126244$AC9A3638-F0EA-4D13-9FC4-E4C4C310A4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffcf461e7183437cbd2c8c8a11fd6e91bd52ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5655528,"id":"Q5655528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$22F70229-EBBA-4C61-8D5A-8736771D3C23","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":"Q1126244$B188C2DB-9C4A-4D2A-A263-C3E45E6F32E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$313BEDEB-5458-4F1A-8257-3A1BFF133F43","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":"Q1126244$D3F3D776-0213-4961-ADFA-B0116E84CABD","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":"Q1126244$FBCE08CD-28E5-4F87-BB51-4B0A4CE7F748","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":"Q1126244$EFED4C8D-5C40-4FE3-9A26-0250521601AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126244$6AB14CC8-C53A-4E5D-BD5D-3751C495DBBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb708f6f6ca752938bae3315ad16ecf9d9c0dc96","datavalue":{"value":{"entity-type":"item","numeric-id":4704202,"id":"Q4704202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4154fa7c99bf208b8f1da27203a4153acb5f7a31","datavalue":{"value":{"amount":"+0.8633564114570618","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":"Q1126244$3FC2F13A-E42F-4F86-A925-611B2D9A75EA","rank":"normal"},{"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":"2bbce235f2e79100abf0050c561c4d1e09abc734","datavalue":{"value":{"amount":"+0.8449341058731079","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":"Q1126244$4445F0D3-089F-4C6F-B492-5A9867EE476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5ef3313ffad92ab63539330c5ac640d3c666b","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96a050cafe68106cc3f7cefe35ae478d65766b","datavalue":{"value":{"amount":"+0.8391798734664917","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":"Q1126244$D814E5BD-D2E8-4B15-BF6B-FD468E3CAE4B","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":"3721c5f4e3772da9df80ad9b99d0022061d26a67","datavalue":{"value":{"amount":"+0.8388766646385193","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":"Q1126244$AA8934AC-506A-4B54-95F3-DDB496721A53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction and coherence for weakly distributive categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_and_coherence_for_weakly_distributive_categories"}}}}}