{"entities":{"Q3530253":{"pageid":5560157,"ns":120,"title":"Item:Q3530253","lastrevid":50473787,"modified":"2026-01-14T03:43:24Z","type":"item","id":"Q3530253","labels":{"en":{"language":"en","value":"A categorical proof of a useful result"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5353927"}},"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":"Q3530253$04A92032-4782-48BF-BA1E-EB1A940660ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"910709d52658afdd89930dd4a6a62d04aac88d15","datavalue":{"value":"1148.18306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3530253$74347F0C-4064-4781-B2F4-A0A9A402B155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ebec00777bd907623f2d7881f8da6c98a4ac3ed","datavalue":{"value":{"entity-type":"item","numeric-id":332221,"id":"Q332221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3530253$1FD98ADF-6F9C-4F7C-9029-AC44980EF576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9512a1f3dcb266577d8dbd272c2dc825316ed304","datavalue":{"value":{"entity-type":"item","numeric-id":161607,"id":"Q161607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3530253$83096EEA-4E13-4508-B540-4C16CFED740C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"972c0debb1697683b9c4c88fe396e38e44a8d438","datavalue":{"value":{"time":"+2008-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3530253$ED42987F-A155-437B-B57F-A3D58713842B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3530253$8064344C-5F0E-4F9C-840E-9B6F3AD71D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3530253$25C1A868-4CB3-4B4D-A40A-A44B604025A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3530253$D4E3A33F-B227-4108-8345-DE14D6BE222C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52136e542c62cc1c738d8ed175d97ef3d46e3d27","datavalue":{"value":"5353927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3530253$6B63804C-5190-4FCE-A5AE-4D9615983531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3530253$45BFEECB-09E4-4A15-8E9B-A5C0B7899BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ace62b580ba3562f6de673b07e0387065e8a63","datavalue":{"value":"abelian ctegories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3530253$86861059-23C1-4BF9-8627-EAE5BE7512AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60854c6f014815d3d4006ea2cc783aeec0c26804","datavalue":{"value":"colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3530253$28223747-D9E4-40C0-91DA-146A444AD86A","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":"Q3530253$1BB98B6D-8A82-48BC-9732-D1E8E607397D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466e48d9056cd2e3d941fbb05e3e298540122754","datavalue":{"value":{"entity-type":"item","numeric-id":3786566,"id":"Q3786566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ab34c55e666af3263038f131daf8a4912bbc66","datavalue":{"value":{"amount":"+0.6469869017601013","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":"Q3530253$8735A519-7814-4B71-8CD8-1231DE66149C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a7f8147ad25150fbcc1cc1267690d5e90a29f7","datavalue":{"value":{"entity-type":"item","numeric-id":1748397,"id":"Q1748397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c797c78c1d9d8219303ff4406511eed769df23","datavalue":{"value":{"amount":"+0.6347028017044067","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":"Q3530253$CABF0CA3-81FB-4ECB-92DF-F6BA4F0D6808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be26f50382dfbb569705f4ff9343c24402017ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1377606,"id":"Q1377606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b49e62dbe4718239f313253b4ae9e95c05c3a0","datavalue":{"value":{"amount":"+0.6326529383659363","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":"Q3530253$02AB4047-6E6F-4196-ADE4-A5ED9512EEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0223fb8fdf5bad6315f307e79ae27c9e6ce9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4293571,"id":"Q4293571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efaff3da0328a1df6396aff111403e6c7ce52e8","datavalue":{"value":{"amount":"+0.6324494481086731","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":"Q3530253$8D711954-845C-4EBB-873F-9746376592A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6a69455dc81903bf5ab18dfd274d0818e095a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410754,"id":"Q5410754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ddc3ce7897d99b504cb5851a92194a2816cfde","datavalue":{"value":{"amount":"+0.6285554766654968","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":"Q3530253$1FABED9E-3596-49FB-AF08-000F11A2BF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3530253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3530253"}}}}}