{"entities":{"Q1996098":{"pageid":2006840,"ns":120,"title":"Item:Q1996098","lastrevid":82360100,"modified":"2026-05-06T20:43:06Z","type":"item","id":"Q1996098","labels":{"en":{"language":"en","value":"Anticommutativity and the triangular lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317152"}},"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":"Q1996098$18079C56-E997-49A8-941A-56412262ADE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e2ab6a6d21864a4e3e8559d8927cac0c21372ca","datavalue":{"value":{"text":"Anticommutativity and the triangular lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996098$0B0AC873-8890-4EFF-A27F-9AFBB6C7EA43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ec1a5150f6fbac06d54f316a433b70adf9d8257","datavalue":{"value":"1498.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$D7B701FF-34C8-401D-985E-69291744E10C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6a5c72a8e096b383130943630074e2790a7695","datavalue":{"value":{"entity-type":"item","numeric-id":1996097,"id":"Q1996097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$EBDD481F-90D8-411F-89FA-87FD22B1656B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$B7F5AEBA-CEB3-4745-9B77-126707227D06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996098$A5E07E39-AB31-4DFF-B392-C14E593A7A40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0061e1114a0760aa07cc9214e8c34f6af97b0e1","datavalue":{"value":"https://arxiv.org/abs/2008.00486","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996098$8569EBE2-AFB5-4D37-BE14-E8DAF9F5A0B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$3E75CAA1-20D4-4FA6-8FF4-D1B96D735744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$E50CE0FD-B33F-415E-8409-7F5C5E29663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0c357c394262583761baf7e798479c867609e5e","datavalue":{"value":"18E13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$5BC4D6B3-AF0B-42EA-B2D6-9D0FBD0CCD34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8419cee222dc2c4d63baf7e376ce5c3f2e5a5057","datavalue":{"value":"7317152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$87C6E634-C4EA-43BE-8985-5E436CB00196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec84a25161ebe1fa1d0439a11607506a141ed13","datavalue":{"value":"anticommutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996098$18596C41-6CB2-41F7-BE8F-1F9F6E68C548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6060c76923a71cdbc705685bbe03bafa99122a","datavalue":{"value":"triangular lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996098$D833F8D5-F650-4F5F-B9EE-93E0819F9D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aae06f56923a0217ffb7e91e56e82908cc0490e","datavalue":{"value":"shifting lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996098$B4040D0D-F039-423D-B12F-E9A0172D1EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a8907e09a6fdefafda00d22f3b250cced30138","datavalue":{"value":"congruence distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996098$AD5546C9-9801-47F1-BA12-1BC97D069812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce554a0f307ba7dc28a3e021c8363008c1aef48","datavalue":{"value":"majority categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996098$BF2A45AC-7845-4AE1-924E-0501A0BD1AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce6b94bf81c739177ad3f3b68a08f07c38110fb","datavalue":{"value":"directly decomposable congruence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996098$5C455D90-A30E-485E-8973-D3D31A3D247D","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":"Q1996098$57BC2BDD-4DA9-4A43-B843-E563981A25F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd0042956a5cfb43d61f4d6e1df98461f934b48d","datavalue":{"value":"W3126266633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$5146F40B-4D4F-4255-BFFD-8E8677843067","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3e1760c3eb79ece3c618addc72bb07224a9892db","datavalue":{"value":"Q125016874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$382CBC65-35E9-4855-A411-F6C6A0F3C4FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$C2A04C95-3DF7-400A-9E0B-732A64786888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$4B5EEDDC-80F7-4617-9654-8DD609F632B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e202188c6cea7d85e43a9bc2a2dcf54e9bf41ce","datavalue":{"value":{"entity-type":"item","numeric-id":4827951,"id":"Q4827951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$7F971683-32AC-4CC7-939F-0FE4A22542C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6f36e6315d8b6f23b4eeec417d313801c18c11","datavalue":{"value":{"entity-type":"item","numeric-id":1923806,"id":"Q1923806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$123CE5AA-96F4-4321-9000-413A165F1FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0f7d8da5615418289292ad80dda96ef98d050c","datavalue":{"value":{"entity-type":"item","numeric-id":2724146,"id":"Q2724146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$29F0D572-2D83-4C8E-8CB4-29764A73A1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a274eaf9fd820136f43d9ed8e307eebdce4337f","datavalue":{"value":{"entity-type":"item","numeric-id":1858212,"id":"Q1858212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$85FE850F-6D29-481C-A35C-805120A3ED19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cedd9b42e516a692e465e7f1cba63e35a95e467","datavalue":{"value":{"entity-type":"item","numeric-id":1771952,"id":"Q1771952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$C3BAB6E2-A6AB-487E-AC6D-63E5E21890A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9156f5884f44114f1be78a4ba12a267c2c9d5f13","datavalue":{"value":{"entity-type":"item","numeric-id":755877,"id":"Q755877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$9F20C94C-861E-4C73-82E4-6A73319C5385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$36BDD1A7-E2C1-4659-98EB-FF795645A258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3231d1910bfc88fa12dc56065a5f2c88cce94d1","datavalue":{"value":{"entity-type":"item","numeric-id":3137145,"id":"Q3137145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$C5B77A68-ED91-4E3F-87CC-B022D6887B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b18bbff386f0031a12d57d367c13563ad98e59","datavalue":{"value":{"entity-type":"item","numeric-id":4650936,"id":"Q4650936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$A7279175-7A0D-4496-B1D8-55CF9A00F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a9b338d9da20bee7728eca68025338a13b03cc","datavalue":{"value":{"entity-type":"item","numeric-id":3744215,"id":"Q3744215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$67A78F57-F6E8-4730-B6D7-2E17D179B99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf0f7788ffbf25f9aa0e7616bfbd26d51431de3","datavalue":{"value":{"entity-type":"item","numeric-id":5650437,"id":"Q5650437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$7C502CC4-4F5B-4792-A70A-DF72CB39208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f475031785f263778f4296ca71f6b3294a8507d","datavalue":{"value":{"entity-type":"item","numeric-id":2176088,"id":"Q2176088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$B3231678-F303-4D5F-AD1A-FDE3FC551828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97521024101b5320dea08df79dc91b6c744eb8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3338309,"id":"Q3338309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$F4FF03EB-B2DC-47B5-82C2-D14E802EE110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18c1ff7da31ae976415da5e077e5071ab052412","datavalue":{"value":{"entity-type":"item","numeric-id":4631634,"id":"Q4631634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$37369F3A-524E-4A4D-A22A-A76ABC1F4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca30c08bb67d3aa68e63b3f39221bb2da977b45","datavalue":{"value":{"entity-type":"item","numeric-id":5203768,"id":"Q5203768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$C74E612A-709A-464B-96B5-708CD0B2DEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b51b5fb11c36b8089705c91e50dbc0a07c68c56","datavalue":{"value":{"entity-type":"item","numeric-id":2176089,"id":"Q2176089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$6EA6A392-54DE-4B80-BF9C-1D796E78EDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133f1b5f3b72684f11f2f2b8d668c813956a71a","datavalue":{"value":{"entity-type":"item","numeric-id":2303777,"id":"Q2303777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$7BC7AA38-2DDD-4E89-BB1B-D60FBA16BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c64983d44b289c96ac3f21f68a77a9ca9a34768","datavalue":{"value":{"entity-type":"item","numeric-id":2310434,"id":"Q2310434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$A37EB6E8-3094-44FC-9168-866DC3E811C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42c52686f1af872ffecb21d11ce4d9ef7887186","datavalue":{"value":{"entity-type":"item","numeric-id":5549834,"id":"Q5549834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$AEB5999E-4AC4-4130-AEA0-3BFE63AF1683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a9269611086e402db313bbe2ab796617e51e56","datavalue":{"value":{"entity-type":"item","numeric-id":1364303,"id":"Q1364303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$0DC5E8EB-76F4-497F-BBD0-3251CDD7FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65ce84fe206338eec291ec99391bb65e9328024","datavalue":{"value":{"entity-type":"item","numeric-id":4707053,"id":"Q4707053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$0B0E7C21-012E-457B-B6B2-0AAB12F0AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd079a3c34bcbe7fd003dbe37d369c42762e3628","datavalue":{"value":{"entity-type":"item","numeric-id":4824851,"id":"Q4824851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$E7AF1BC4-96A8-491E-B271-4FAA7C83FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59f02cdc6575e42947cb49810fde227db266c77","datavalue":{"value":{"entity-type":"item","numeric-id":816652,"id":"Q816652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$D03F5A2B-E336-49A0-A87C-2B406D72C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9a4a130d9fb536c5241bc7c9726184749f2296","datavalue":{"value":{"entity-type":"item","numeric-id":1771880,"id":"Q1771880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$765CF15E-4019-4E86-A6AF-E11DFEE8F354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ffd139945b9b7da6e4700d9cf70195f23cb056","datavalue":{"value":{"entity-type":"item","numeric-id":2577773,"id":"Q2577773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$493F1BA1-7511-4227-9A4C-B77691899445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6942914cdcc770c70ed5e1a97e4b25b80b84b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4979155,"id":"Q4979155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$94A3ED5F-FF0C-4461-AD1E-2EE98C79CDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$741F5BE9-44AF-43FB-B94C-447EBB2899C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d254f14ae6306f071ed3b266bfaa7cbdd83c1df","datavalue":{"value":{"entity-type":"item","numeric-id":1923805,"id":"Q1923805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$4EEB37C1-75BB-44EB-8EFE-DE691C633894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0254f135739482620dc754850951f1486fbe46","datavalue":{"value":{"entity-type":"item","numeric-id":4392633,"id":"Q4392633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996098$E22D594E-0600-4683-8124-D9EC685BCDCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f66b0ae266eeab92264e36fef074caab690488b7","datavalue":{"value":"10.1007/S00012-021-00710-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996098$2F5F3E19-A9B8-432D-A39B-4C803FFB6B0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d2399f1c9a361b66bb74b25e92956e088e89d7","datavalue":{"value":{"entity-type":"item","numeric-id":5224181,"id":"Q5224181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47b2b3c01a4f6508b88425a29da74b4724b5756","datavalue":{"value":{"amount":"+0.88800615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$22D9CA25-642C-4A74-8977-30186AE15E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500652a50454ee02f13166017b56509a50948751","datavalue":{"value":{"entity-type":"item","numeric-id":1072088,"id":"Q1072088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0819bff1781ad3fea1923f077118a4d5361b6cf","datavalue":{"value":{"amount":"+0.8847149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$4459A695-9D4C-44FA-913D-142DB3337D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3c7f3e4969ca54c3669983ddb4fc0715cec12a","datavalue":{"value":{"entity-type":"item","numeric-id":3834260,"id":"Q3834260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbb1f0922f2a7ac9cc672f4d45fe5373fce4f08","datavalue":{"value":{"amount":"+0.8704607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$4F68BC67-2EF9-4C63-AB59-10BDD07917F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af29f26248a18c4c2f230b2a2aab458dd1d15bd8","datavalue":{"value":{"entity-type":"item","numeric-id":4226331,"id":"Q4226331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a25f5ee6a6110cf87350e7a60d35fb1a447b5f","datavalue":{"value":{"amount":"+0.8670247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$1E094F63-0656-4503-A0CA-CC412E297D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0bff553b1792a24be89102d268c8f9b4b1b665","datavalue":{"value":{"entity-type":"item","numeric-id":5383039,"id":"Q5383039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc9cc97e7fbb994b3ff42eb6fa2e1c7f95ae823","datavalue":{"value":{"amount":"+0.86540353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$90467DF0-655C-420E-BDF0-19EB7B658EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16150dd234baeb133e7ca58d72aa3e63d3d45dac","datavalue":{"value":{"entity-type":"item","numeric-id":2714335,"id":"Q2714335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740ef3b0fe6497b367ddab28b61f640d89d17532","datavalue":{"value":{"amount":"+0.8638011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$21A782FF-1DFC-4EDA-AA86-0258A2D18DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44685c8f1a6090b4cbc740333514f28c4adcb617","datavalue":{"value":{"entity-type":"item","numeric-id":5209489,"id":"Q5209489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7641e8da7e9dfacedf5406513d37869f7788f8","datavalue":{"value":{"amount":"+0.8619645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$550D1F3B-B259-4460-9995-7D7E108932C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f451d3a6f26e911bdb8dd6b16b79461f162a8d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4299234,"id":"Q4299234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30036eef7e6102c75969a528e4a382dc277d36b","datavalue":{"value":{"amount":"+0.8587387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$8130A408-D2A1-4393-8A1B-D146921EE0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72dcb552f1feb0a06e5c28399c6af8e62f19b56","datavalue":{"value":{"entity-type":"item","numeric-id":3377611,"id":"Q3377611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f29fd5184e44f56f880952d9fee80fda990a627","datavalue":{"value":{"amount":"+0.85870516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$A1A1B3FC-3D65-42B1-B9DF-BFC5679B41CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde5b82ba58e9613a8e85e48cd7e7d603600f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3449987,"id":"Q3449987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800877e84fc21937edff27d3da7448a5d7263aad","datavalue":{"value":{"amount":"+0.8579118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1996098$E1A240A1-36DE-427D-86A6-AF77278CB9BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anticommutativity and the triangular lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anticommutativity_and_the_triangular_lemma"}}}}}