{"entities":{"Q5350160":{"pageid":7379734,"ns":120,"title":"Item:Q5350160","lastrevid":100823402,"modified":"2026-06-05T23:12:26Z","type":"item","id":"Q5350160","labels":{"en":{"language":"en","value":"On the completeness of the traced monoidal category axioms in (Rel,+)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6766097"}},"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":"Q5350160$4D182E36-9FAE-4D7F-898F-395B267B7645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e219c197d55fe3c154ffb3e5a6df4aee8f69f79","datavalue":{"value":{"text":"On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5350160$D54DAC83-59BD-440C-8CAD-0C574F6D273A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44c667cdf19ef90af92bdf6a01f306d7aab155f7","datavalue":{"value":"1389.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350160$41B6662A-7A4E-4398-8F38-F56E51B41194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bbaab98c640f807cbb6af9d6ffd5a8b9c0f0e2","datavalue":{"value":{"entity-type":"item","numeric-id":1122989,"id":"Q1122989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350160$B3A5B983-FBB3-4DF4-A989-18767591CA34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350160$6E8F1833-0915-40A4-8E0D-2407879684F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41e05a1824dbd0ec168313322c6c977f7eecc0cc","datavalue":{"value":{"time":"+2017-08-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":"Q5350160$4FC24B7E-700C-48EA-85FB-D896FFB1A56A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350160$901ABE34-E4BB-44FF-BEB7-2EEE438FF63D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9802d8073200b480b1d5636f597dffdf2e9c9e3","datavalue":{"value":"6766097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350160$6BC32BB7-CDC8-429E-BBE6-690AB7E1784B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350160$90A15B83-F3F0-47E1-BC50-2AE0DF426B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350160$188D369F-4CE7-449F-A6A7-05D6FA60AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350160$17BFDA93-8341-47DA-BFAD-189C1CBB822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ca68da4f19827fca3437437bd12318f7ffdafe","datavalue":{"value":"feedback","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350160$39F30C76-C0D0-4829-9AC7-E48173272230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff3a66f0058d75af7080b6332e3c03ae3771e78","datavalue":{"value":"identities in categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350160$102FF72E-DC41-49D2-A737-EE9EDCF47200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44d6668b63bfdb3a0c7c918edf7bf28c5ac651d","datavalue":{"value":"equational completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350160$48E002B5-7579-4B83-89A2-7BFEC1759253","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":"Q5350160$A1FA5B23-A38B-446B-9D04-B88D5B9DD7B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"740bca45b716de3379e6a94d0aee46e90fc3ea94","datavalue":{"value":"https://doi.org/10.14232/actacyb.23.1.2017.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5350160$3CA0989A-4E7C-4E01-B51B-06FD898C1640","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47c732db9a1fc49baa919cfac73967ccd9533f98","datavalue":{"value":"W2611921753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350160$98EF291E-7F04-47D1-9AED-F1A8D5A2E394","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b348517e478d47dedc3742a8d28e2aeef77b2714","datavalue":{"value":"10.14232/ACTACYB.23.1.2017.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350160$23F331C3-6C92-48BA-9599-4674125133BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27595bd2f8c2843159cf52cbf862e5f0bebc69ef","datavalue":{"value":{"entity-type":"item","numeric-id":3625674,"id":"Q3625674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3089ea0b24cf1c4018b75ce7c7b311965e712f90","datavalue":{"value":{"amount":"+0.7649025917053223","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":"Q5350160$BB8D553F-0244-4431-BDB3-1BFD365EB9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771a1f74ec66a91cfd32a44a67cb3bc7c45dcf3c","datavalue":{"value":{"entity-type":"item","numeric-id":5452187,"id":"Q5452187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9897d3a3d0b0e20d5addef33a6f7c3a8de09c3d8","datavalue":{"value":{"amount":"+0.7633227109909058","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":"Q5350160$42BFF6F6-8075-4CD4-98EE-3F449DF3201F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0c2d008d46d89b4bb1c79133e29292e85fba33","datavalue":{"value":{"entity-type":"item","numeric-id":1940191,"id":"Q1940191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf34d1ec8453c65e641a2b2ad710c871934ea4a1","datavalue":{"value":{"amount":"+0.761154055595398","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":"Q5350160$B70622A8-453B-423E-9324-89CE5601D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9463f94dcb792512c4746f7850e2cb908f93626","datavalue":{"value":{"entity-type":"item","numeric-id":1769599,"id":"Q1769599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe0fef41a01f9ae00dedc4dcead9827f66e59b1","datavalue":{"value":{"amount":"+0.7586382627487183","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":"Q5350160$CE4E18F3-47CF-4ECD-A1B9-676C2E5CC9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba65405e6840ef59dd4bee3168c21dfcd7a24a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2919453,"id":"Q2919453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83c05fe3c30a819b8b559d73503a0027e6d2fab","datavalue":{"value":{"amount":"+0.7575376629829407","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":"Q5350160$E83CAEF4-6A8B-4F6D-871D-C0266600DB77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness of the traced monoidal category axioms in (Rel,+)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_completeness_of_the_traced_monoidal_category_axioms_in_(Rel,%2B)"}}}}}