{"entities":{"Q3552029":{"pageid":5581933,"ns":120,"title":"Item:Q3552029","lastrevid":50958344,"modified":"2026-01-15T22:39:44Z","type":"item","id":"Q3552029","labels":{"en":{"language":"en","value":"Cartesian differential categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695329"}},"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":"Q3552029$EB73DEEA-8B72-4092-B4C5-37A85B3510E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d0385d35658c08bcf5afac21055fd21a3e1829","datavalue":{"value":"1262.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$3450B10F-D925-4336-AFFA-2A2543BCE56B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552029$9070300D-2E32-408A-BC31-FDA0DE4F3D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3de85f6c33c712dd4c532c867e0f7e1c3d5d050","datavalue":{"value":{"entity-type":"item","numeric-id":1421607,"id":"Q1421607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552029$08A5AEF3-7CA6-4358-A42C-019A724D485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552029$538EC71A-3E9B-430B-A9DA-F20E759CC8E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-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":"Q3552029$6ABEAB02-F59E-4B24-A32A-F912FE37B2D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e684d38471e3755101bd5e482297da70ddf649d","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/22/23/22-23abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3552029$09D15FCD-5E17-4B3C-ADF2-446C0261259E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$95BEC033-6C75-491E-9BAE-0CB96F8DB0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$9C3E076C-C5A4-48E4-BEBF-F3637B47B87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$9FD8A52F-3ABA-4900-8B1D-2824D977433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e1097c070cd84f3c3fde892350cde0c34c3d450e","datavalue":{"value":"32W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$7E35C676-8818-45F7-B2A9-19A250866548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$08A69131-6270-4333-A6E4-ED32598C21F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e695691230f4b1a9d4d98285216ebc545720b031","datavalue":{"value":"5695329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$7E3AB6F0-47DE-4B32-885E-173A2069E0A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552029$91783022-DF54-4F32-8A01-27D82BAC1915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a38955ddc9b1d82bd1ed54ea242f8057c89293","datavalue":{"value":"differential category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552029$DA01B841-8F51-40CA-AC9D-3EB0F054ACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552029$686B990A-BB5C-4A15-8A7E-02AA4143B402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de490e090cca8075b9eaf0fe5de9e1f2ecb9c4b7","datavalue":{"value":"differential operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552029$8841780D-05F0-4D8B-8B11-EDE32CAF4C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552029$B959D86A-A125-4DD0-8448-2260A07A361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8c0e65ac1ab0627dca2b4c04715ef88450fde3","datavalue":{"value":"coKleisli structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552029$F75D054C-236C-4938-9059-821BA6A6851E","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":"Q3552029$F350444D-2AB7-41EB-8339-9D192507AC72","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"3fa84b094accc0e8f4903d2020fa84fe7c0b8fd0","datavalue":{"value":"bafkreicdwd5sexlwubcd7jmeqx6abkl3rhrt5dwxnq4ld5x6jz6e644ldq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552029$6BA1AF22-05FD-45DA-B2A4-FF31B58FF630","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e392c86b1c596fb0542dace23bb7783a4464d4","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa708818ce3015fbef1e4348345db1d98c24d2e","datavalue":{"value":{"amount":"+0.902180314064026","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":"Q3552029$7BAA9812-3F94-4C21-AAA8-B31DAACCBA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ba4727b24b765f5dd0f603a2182a925a30b574","datavalue":{"value":{"entity-type":"item","numeric-id":5261929,"id":"Q5261929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c02bc2246da804859ac1929afc2ebb88dea0cf4","datavalue":{"value":{"amount":"+0.8764570951461792","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":"Q3552029$AE5BD20E-536C-4A1E-9E55-E63A38E218F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5bd947d192cfe1e1ed014b440a7c0d13ffba16","datavalue":{"value":{"entity-type":"item","numeric-id":6046606,"id":"Q6046606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaae8293d6f50323b63f744e3cac07cba92e25f5","datavalue":{"value":{"amount":"+0.8608928322792053","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":"Q3552029$44FD651B-88A6-4664-8D8B-4D2E53F4AC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098e8e6f2ab22f27d2702f2585dcb28d569c1613","datavalue":{"value":{"entity-type":"item","numeric-id":2884470,"id":"Q2884470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ab3c4f27266e2173afdf55814fba3983919a41","datavalue":{"value":{"amount":"+0.8530200123786926","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":"Q3552029$826455D2-1599-4186-8504-9C366395AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9437e10cea2096af6133951f5597c7d12ae7283","datavalue":{"value":{"entity-type":"item","numeric-id":2973248,"id":"Q2973248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ea6c0e88cc636309851074ab7eedc469f7ccee","datavalue":{"value":{"amount":"+0.8500304222106934","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":"Q3552029$27E48546-2F3F-49EF-B014-FA69FDE6405D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3552029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3552029"}}}}}