{"entities":{"Q2845528":{"pageid":2856248,"ns":120,"title":"Item:Q2845528","lastrevid":83855444,"modified":"2026-05-07T13:00:54Z","type":"item","id":"Q2845528","labels":{"en":{"language":"en","value":"Towards a readable formalisation of category theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203506"}},"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":"Q2845528$E3D5E6E8-A741-406B-B81F-AA186E2F7570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edad8c9f7062718ff5d31fcea0b1738bb7c82fbd","datavalue":{"value":"1271.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845528$BDD275B9-1063-40CA-B181-4DAD2AF1F81C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ffd59b61eb1c0ff24f076903556e10bca72aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2845527,"id":"Q2845527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845528$7F5F6DB1-1033-49EE-B172-1A2DC0DDEE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845528$7899D945-5487-47A9-AC18-DB4A705F1AE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b21812f1cd073097e62ee19c1568f7d269def15","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066103000215","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845528$B33DC525-82B4-43F3-8444-7F5F06E5D03D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845528$CBCC0305-2BD7-4E21-9175-74DC7A71718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f8ff1bc7135bb1a5f4ce6282771b53dfaffbb01","datavalue":{"value":"18-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845528$79C45F2A-A928-4D9C-B28E-93015ED14FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32aa222f852df3f290ecea7c464ed5857992bf22","datavalue":{"value":"18A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845528$26D7037D-23C0-4643-B2F8-57DCAD2A7B8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f12e088580f702ac5ea175e60621fdd5930aa3","datavalue":{"value":"6203506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845528$EDA98063-D2A6-48C5-9CBD-B7016585B09E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845528$6A53F23D-947D-4A5F-9FF2-6F0E4B03F1C3","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":"Q2845528$7F132F0E-2300-4522-89BB-64240595BEED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900aa0709198ec890dfd2e3da79ed783c11d813b","datavalue":{"value":{"text":"Towards a readable formalisation of category theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845528$79EA4997-A0A0-4AC7-B6FA-A5C40822A7F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f005a900f0eeda4c922487cf58878168d39ee056","datavalue":{"value":{"entity-type":"item","numeric-id":4365105,"id":"Q4365105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1bea81114d720ee426fb34f11467dbe480da57","datavalue":{"value":{"amount":"+0.7905859351158142","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":"Q2845528$1A9CCD7F-38BE-4451-97B5-D58A27CBEC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95552b22b5e0b217af0693c33451090c3d5350ab","datavalue":{"value":{"entity-type":"item","numeric-id":2303232,"id":"Q2303232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960ea0b48a7616e664d82db1fc3effded98576e3","datavalue":{"value":{"amount":"+0.7644875645637512","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":"Q2845528$CBA65398-214D-4410-B929-279FB4CC3C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02483213f402d758d93ffa78a89dc233097b83c4","datavalue":{"value":{"entity-type":"item","numeric-id":4790657,"id":"Q4790657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ececb9bc98d132d9d352d8d4ee08bae3e39f50de","datavalue":{"value":{"amount":"+0.7538037300109863","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":"Q2845528$1C199E65-F996-4AD1-A8B1-BFF678EF1809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a231acfbe73aed1fb01ddfe3677194f385003fe","datavalue":{"value":{"entity-type":"item","numeric-id":3613422,"id":"Q3613422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3457ad123b192f86f84cc66be5e29ed87f742bd7","datavalue":{"value":{"amount":"+0.7530038952827454","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":"Q2845528$948110A0-D678-46AF-8E51-9A8C0247F215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4b779cac3f7b3f01edcf7c0ad843c1afce2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2128789,"id":"Q2128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15012054dbfe82f85597e64f560327137edd17b4","datavalue":{"value":{"amount":"+0.7292467355728149","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":"Q2845528$DA4F23C3-3FD1-4511-AEA3-BF6099412037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a readable formalisation of category theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_readable_formalisation_of_category_theory"}}}}}