{"entities":{"Q3419787":{"pageid":3430490,"ns":120,"title":"Item:Q3419787","lastrevid":46182646,"modified":"2025-12-23T23:24:32Z","type":"item","id":"Q3419787","labels":{"en":{"language":"en","value":"Differential categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5123039"}},"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":"Q3419787$060C2DDD-2963-42D6-BDE9-47F22AFE964E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"419c1aab6f2d0bef1394721d8586f09125ae4032","datavalue":{"value":{"text":"Differential categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3419787$61296AF4-7DE9-400C-B7DF-6B4ABD65EDDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e6d19c5711c6016e337f1e730a19f9cbffcb8c","datavalue":{"value":"1115.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$5AC51741-A089-403B-9E5A-42C1AF5CE92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0655eae9b1bfa8870dd2df528e74fe60f37da6b9","datavalue":{"value":"10.1017/S0960129506005676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$301D226A-CDF4-48E6-A5E9-76636D6C603F","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":"Q3419787$11818262-9F8F-4138-B828-60F1842B392A","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":"Q3419787$76AA7241-1979-4D35-B3C5-DBAE7C31035B","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":"Q3419787$AC962403-ADD6-4B6F-93D2-8F0B7EC025CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419787$41115437-EA0E-446F-8F8A-CDB923B8B3A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82897b31a2c9b01a6f44d07a8a9b69f9f832f9","datavalue":{"value":{"time":"+2007-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3419787$3892EE54-9FA2-497C-9092-403EF916722F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$354D5ECC-0A1D-4C87-8013-88427924E64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$60D36D3B-F990-4542-9EE8-EAB703BD1207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$C8F48E90-8561-4D24-BFAE-47C32736167F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$271DC17F-9794-4F42-947A-BD2AA888B2A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b4b4aa464132dd3d8dc81e209cfd727cf63ddf6","datavalue":{"value":"5123039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419787$7B1B9B96-4141-4EE9-A519-50BBCFA15D6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a38955ddc9b1d82bd1ed54ea242f8057c89293","datavalue":{"value":"differential category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$C9AC4793-A7E6-4187-8E48-4013D14955CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62c9e1493a8432e1443eabfcfd93055fae6402","datavalue":{"value":"additive symmetric monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$16FAE55D-7FD2-4359-B931-B352457C8757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$4248245D-FFF9-40C4-9576-0850035B43DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aa692479b40f29d5d954a73c2fd52d6a177145","datavalue":{"value":"differential combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$60DFAD62-7A53-4AB1-BCAF-A0A9EC129E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabd3779cfa346430d098f45e1b965ccc59191da","datavalue":{"value":"coKleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$6747E66D-A43E-4D1B-9B0E-A63FEB61E340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$B48C89DB-08B0-4EF2-9B98-8ADBC040B60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fdeed5704ac6449c47a837de8fb2e700668d51","datavalue":{"value":"coherence spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$47462DCC-0A70-466B-B238-8C90B8CE99F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea3ec22e48f14c48cb63798c4f8a4f7074d0aac","datavalue":{"value":"storage modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$D2FBC61E-A362-4C0D-9CB9-60B8F3AE2119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$E0B39A03-F901-4F5A-9819-BBDCF8958B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b04f229715692ca83b8cfdd2e5368c06bd807f","datavalue":{"value":"differential \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419787$4A55E230-9DD5-4387-B613-E4B6C6CAFA8B","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":"Q3419787$B3D77DD3-AC2D-40E5-928E-04A4983E9E30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8f13feae1c0518ac2f452ead881d873de0fc20","datavalue":{"value":{"entity-type":"item","numeric-id":2307523,"id":"Q2307523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51943f35f99aacf462af2a70d7d187740deee748","datavalue":{"value":{"amount":"+0.9609685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$3A269F3A-CA69-47DC-93A5-D37F798C9440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e76bcb12709b364bb4c7644f7c13c25f559b71","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8184235c2b651deacdebdf3740d832a9a1d45e07","datavalue":{"value":{"amount":"+0.9473953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$1B8DC339-F30C-404A-A657-587F13395D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80d895470c02950139cd999aef3600931b0434e","datavalue":{"value":{"entity-type":"item","numeric-id":5489372,"id":"Q5489372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ff57483c6280e90824ffde5ac2c61bfde51fcd","datavalue":{"value":{"amount":"+0.9400904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$9C14F275-916F-4EF5-895D-4682DB47930C","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":"a690ae09c8bb7bdcd1f38271234f5818f82b60e1","datavalue":{"value":{"amount":"+0.939698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$ADE572B9-8D58-4FC9-A897-6AAE1AC7A3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31387fc25e999b9b8567e1b875cb20ab8ff182a1","datavalue":{"value":{"entity-type":"item","numeric-id":2390501,"id":"Q2390501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf95c0bf684b43dcaa2c68211b2e5ba079ce8dc","datavalue":{"value":{"amount":"+0.9320133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$EC02BD19-999F-45C3-8AC0-E25940B7EDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eec5f0920f0cc0941299eea29386e9038e7920c","datavalue":{"value":{"entity-type":"item","numeric-id":4904081,"id":"Q4904081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82065edf33a81bf06bb4d77fde5a8c3eb3379e57","datavalue":{"value":{"amount":"+0.9266058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$414F6344-BD88-4D9D-A770-AE30CCE42CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f319ada17a963093cc9fe39e2d8308a1f832bce","datavalue":{"value":{"entity-type":"item","numeric-id":3803828,"id":"Q3803828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e39bfe235b2868407cfccca5b16fd78192b976","datavalue":{"value":{"amount":"+0.92415804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$10D3FCA9-C5E0-4223-AC0B-B978288FEB2F","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":"a73b5a39674b82e4975d7d5bdd4de7a4f008ed84","datavalue":{"value":{"amount":"+0.92341727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$A765A737-BB33-4239-BE0F-8CBC3FA6264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3a26505d60dadcd1ed5514451da28e006f6da2","datavalue":{"value":{"entity-type":"item","numeric-id":1814972,"id":"Q1814972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99d6006183f9c8b1a332f4f6990b4c23a7281e2","datavalue":{"value":{"amount":"+0.92047054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$144BFDFA-C604-4895-98A2-8F9263A2B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b5de4e330bb49e74a9fbc8742b0a15853bab53","datavalue":{"value":{"entity-type":"item","numeric-id":4322434,"id":"Q4322434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3733e88096713d888bee10431d0521911776fab7","datavalue":{"value":{"amount":"+0.917209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3419787$8EF32674-E8A3-438B-9FF8-C57CA7831544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3419787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3419787"}}}}}