{"entities":{"Q1850951":{"pageid":1861693,"ns":120,"title":"Item:Q1850951","lastrevid":70993944,"modified":"2026-04-13T18:46:04Z","type":"item","id":"Q1850951","labels":{"en":{"language":"en","value":"Bicartesian coherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845367"}},"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":"Q1850951$64FDDB33-8952-4FB5-B91C-77058C263837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78500d270eab772c4f209dd5f8b1d7f849c0f2fa","datavalue":{"value":{"text":"Bicartesian coherence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850951$E9070FB4-C605-4B8F-ACD9-DC7213FCF762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cfc6c463df8441105deeba8bd5db4c770cb5400","datavalue":{"value":"1008.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$041C6AA2-24E1-4C8C-A5B8-77D1C8575254","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7d58cbd96b0873fdc4d3d20215f36e7f865223b","datavalue":{"value":"10.1023/A:1020568830946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$8D99542B-E62D-471B-8305-14180526FFF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850951$8497A1AC-7B54-44C7-9A2C-EED5EAE698DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850951$463A999B-36C3-43B8-97F3-041C873E4535","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850951$02B065C7-7EF9-4786-A33B-4F1A3316B9F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850951$02340F17-A69C-49D3-B644-F3DB9B679B1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"335d3f7aff837dc1c337b23b77cbc5b4885a6d4d","datavalue":{"value":"https://arxiv.org/abs/math/0006052","type":"string"},"datatype":"url"},"type":"statement","id":"Q1850951$5E075229-C396-4C0B-9579-7CAAAA998BC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c34359c08e4e4ecd15ed88e57d0590bf7c88ad7","datavalue":{"value":"This paper establishes the coherence for categories with binary products and binary coproducts, but without terminal and initial objects and without distribution. The result still holds for categories with terminal object if we require only the bifunctorial properties of binary coproducts. These results are demonstrated by proof-theoretic normalizing techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850951$C25FC76A-A236-40CA-9496-E8AD498B2410","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850951$2D0239D2-10FF-444E-A14B-465B1B85A10A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$265B6AF8-3B7D-4CCD-86C7-FFF61FD04BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$8E990146-C4EC-44EA-AC19-7E5E47C7D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$2AE4D2A2-DD7F-4D26-958D-7199E1F94B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$28FD909F-079C-47ED-8D26-E6CE573D5644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$8E8591C0-E2ED-4F79-9EFB-B89EBE91CA8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecd7d4a478852fcffc97a9e7421f0d4d17bcb4e9","datavalue":{"value":"1845367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850951$AE41F772-2339-4AD1-8751-A643E12788B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8579fe0a10434e0c6a53bfda13b8044f65969298","datavalue":{"value":"bicartesian category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850951$25FD3D76-E627-4AE6-8017-FAA1A244F896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850951$0EEF84D1-04A9-439F-9E33-933E2BC9B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850951$6B579DCC-303B-47AA-839A-EE40A0144F26","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":"Q1850951$DEAA8DA8-7394-411A-A2D8-30E38B1ABD7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c6ab5d9f18aae1cf502af6bc6bd01002f55a40","datavalue":{"value":{"entity-type":"item","numeric-id":4436028,"id":"Q4436028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a25c301ba1e9edf33ef5844db9cebb0b9c6c58d","datavalue":{"value":{"amount":"+0.8212533593177795","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":"Q1850951$84C44BD0-76BD-43B0-9791-9B85FC8CC51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04a2c3c89ee8c7748aa151102c68a7c364a489c","datavalue":{"value":{"entity-type":"item","numeric-id":2200954,"id":"Q2200954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd6542c17531753ae1bb85713e736831bf2c3c0","datavalue":{"value":{"amount":"+0.8040896654129028","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":"Q1850951$CF81EA94-3D36-4CE2-B0CE-83268599B22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210c29425f74cfa54a5701746a8f76e0c87fdb43","datavalue":{"value":{"entity-type":"item","numeric-id":5145652,"id":"Q5145652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd0a765ce329a756ceb935ded4dcdc29b22a8d5","datavalue":{"value":{"amount":"+0.7933657765388489","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":"Q1850951$B1652535-5EA0-429A-A8BE-3725B1AD32F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7809bbf23cf6d18ff1f947180d5f27ea7714554","datavalue":{"value":{"entity-type":"item","numeric-id":1604796,"id":"Q1604796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e8e3233c187f82c533a667d4fadf77d9d0b8fc","datavalue":{"value":{"amount":"+0.7853540182113647","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":"Q1850951$2339BF37-847F-4F0C-9CAB-8906C7266448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddcf435da8cb03d4f4ab09c3d38ed06b1999e94","datavalue":{"value":{"entity-type":"item","numeric-id":5068207,"id":"Q5068207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05aa571482a2d737fb062b26ffc3bd3311b4bc9","datavalue":{"value":{"amount":"+0.7759258151054382","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":"Q1850951$6DBF7778-F3D0-46CE-9C21-2B008BABEC92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bicartesian coherence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bicartesian_coherence"}}}}}