{"entities":{"Q5108533":{"pageid":7138109,"ns":120,"title":"Item:Q5108533","lastrevid":40887256,"modified":"2025-04-13T19:11:36Z","type":"item","id":"Q5108533","labels":{"en":{"language":"en","value":"Categorical models of the differential \u03bb-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196235"}},"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":"Q5108533$86711D03-E4D3-4EFB-A1CE-945215E9E78D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85125978518f74c934ddbc9943a7324fe1048fdd","datavalue":{"value":{"text":"Categorical models of the differential \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108533$A8F7FBC8-24E0-4D9D-BCA0-2B7772C6E53B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1927a8e832d86664955b9251b7654fbb7e1fbcbd","datavalue":{"value":"1468.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$DFB36671-6680-4799-9333-E32847AE6E7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12c7d0c1c547b7475faf3ce1307ed118e3a59e5e","datavalue":{"value":"10.1017/S0960129519000070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$DEE382DF-F7BE-404D-BC5B-EE63E2FCEF2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd8a050c14db3468847db094850f35596849c6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3178278,"id":"Q3178278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$095FE421-2C36-4176-86FE-75E9C920D42E","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":"Q5108533$C9F502B6-18CC-4737-A415-46158D14E085","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":"Q5108533$8D248C31-FAC0-4F3A-9DDC-12C5EAEB2370","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108533$A02C5F4D-72F2-4AD1-96A7-75B611576208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$96EF9F2A-E5E7-406D-B00E-16F3C10C40F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$6FA94F94-987F-4191-8CBD-B386E42AF2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$16852869-73A5-40B9-AA8F-3B8BA2AE8A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"430a46852034f7b96db1a20b99c233c3898c7e23","datavalue":{"value":"7196235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$FA052D1A-1D27-4942-887F-5556E9115176","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108533$0CDF67E7-E615-452F-80DF-36BC599843FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b04f229715692ca83b8cfdd2e5368c06bd807f","datavalue":{"value":"differential \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108533$086A9C3F-4DA3-4027-8D76-FE9C843ABBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24da5efce47f3f87e177f97502260f03b7f72faf","datavalue":{"value":"differential categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108533$0EA13E5B-4ADE-452E-BE97-36815A3792E7","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":"Q5108533$414E76C6-887C-465C-AEE1-4FD8CACAC9F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6acf5587e68515da222999843f49bb3ae4f28f7","datavalue":{"value":{"entity-type":"item","numeric-id":1574785,"id":"Q1574785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$A5319889-33E7-4928-B4A7-800D613930AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e15e0691d763966229d088794d260469687813","datavalue":{"value":{"entity-type":"item","numeric-id":5261929,"id":"Q5261929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$60F533D4-5A34-4541-942A-C75E99559783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$6A3A94B7-F7C3-45D1-AB0D-B87DDACFC355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3773b085994287299f357581a1f1dbdbe2a33ad","datavalue":{"value":{"entity-type":"item","numeric-id":4222749,"id":"Q4222749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$C569AE2B-6BB0-4CA3-8787-846A37621C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee35326208938388d3b1f535614e5567866e336","datavalue":{"value":{"entity-type":"item","numeric-id":3178254,"id":"Q3178254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$A7E5D73D-CE41-47CA-A19B-19A34A450A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c194784f3769cc04a33fe41af93ad2a31f5471f7","datavalue":{"value":{"entity-type":"item","numeric-id":998306,"id":"Q998306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$781272D5-A6A1-4508-9879-723AA5280C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$C09F905A-7C24-496C-A877-565D32F92DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$0B1E0866-A07F-47C0-838C-80EEDA6F2DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b9f3a81f1ec2c628408a6b6ddb5ffae6f4841a","datavalue":{"value":{"entity-type":"item","numeric-id":3612629,"id":"Q3612629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$6FF088A2-A859-41B5-A3C7-484B0F55D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$1C489A7D-A519-4674-95C0-2F8231AB149D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$9354BFD9-D269-4676-AE93-7DF11253AE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$77B9639B-1210-4A27-840B-A610B2CC1155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3136d65aa3d9c4d21322a3eb8bf3a202db71a2fb","datavalue":{"value":{"entity-type":"item","numeric-id":912587,"id":"Q912587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$81D0DFD5-EE78-4731-9CE0-38AA8C615C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb081088460f94d532a7de5adda0040c9d334ee","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$DB56F5B9-688D-4F95-A916-D9CC96D41223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108533$83749ADB-0402-4199-8EE6-00495E0BDC66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3e83c1d36d2a53f0048173065e0700fc8dde78","datavalue":{"value":"https://doi.org/10.1017/s0960129519000070","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108533$C1D5E5DA-EB68-41FC-82E5-B6C373D06E58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b8d6bad3e21b3c2d794fa6cd1b99888b8f810e","datavalue":{"value":"W2990660716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108533$755911A7-3591-4B32-B3E7-CD28196A1D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaa9af3c8520ff64a9d1518631453cec694ca6d","datavalue":{"value":{"entity-type":"item","numeric-id":1744378,"id":"Q1744378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0ab702b7cfb9243c33ba65c46214905053e5f1","datavalue":{"value":{"amount":"+0.9932688","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":"Q5108533$E970DE21-8AA3-4327-B7A5-CEC7935A3063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850eaf38c587ee183e2eab420733b65e69e17f86","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe68827efcc0494a8f185889e1818304272fa9b","datavalue":{"value":{"amount":"+0.94284546","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":"Q5108533$5B37D1DA-BB31-44C4-922E-09352BC7E715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc58c235549d3c2e1ccddbadacf1ed81502f7484","datavalue":{"value":{"amount":"+0.91426134","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":"Q5108533$2923FC23-59AB-4FEA-91C8-DDE39EB49971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568c336dbc9cfd1bf69c374a394daa475c817bc3","datavalue":{"value":{"entity-type":"item","numeric-id":2642044,"id":"Q2642044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd06429162d7e12dd3d1917819a80ba9da425648","datavalue":{"value":{"amount":"+0.9126922","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":"Q5108533$99E91AD2-53D1-4495-8F68-5C0DF49D6EF8","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":"e8269cd0b772424ff879bd0460b785ee6c613992","datavalue":{"value":{"amount":"+0.9123385","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":"Q5108533$F6EABDD7-0485-4BC0-BF7A-F764D7AF640F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b5c8978b31ef7acf238d7cee5ef45c3540c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":3760510,"id":"Q3760510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638c4c7aabcb367058d1733cde77fbb926d2e78f","datavalue":{"value":{"amount":"+0.90996534","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":"Q5108533$81E85E7D-77C7-418B-9097-9C2EFE21ECE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea946849ac0cd995ba78cc7243b6c91e38410875","datavalue":{"value":{"entity-type":"item","numeric-id":3764126,"id":"Q3764126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3ca0c423674104087396f6d27342e32dc327c0","datavalue":{"value":{"amount":"+0.9054241","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":"Q5108533$DE23BCF7-B8B0-4209-AD26-49ACF6E4EAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d6d7832a652bbf8bea72df35ac1f46d74a7a28","datavalue":{"value":{"entity-type":"item","numeric-id":1709707,"id":"Q1709707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc92b05ae38c723db22288fa346e056a7b8ab13a","datavalue":{"value":{"amount":"+0.9027882","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":"Q5108533$3EAAAEA2-2438-4370-A8F5-6DA154593135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd706b8704006ba078f448a01b875ff16793f22","datavalue":{"value":{"entity-type":"item","numeric-id":3834531,"id":"Q3834531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e10ecf4dea6286af379999b475024fcccea73d","datavalue":{"value":{"amount":"+0.9025903","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":"Q5108533$207B6566-DBF9-4EEA-9976-12D8B6468D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8b1db8a6cb574e243022d53bf4dac37a3235c8","datavalue":{"value":{"entity-type":"item","numeric-id":1313942,"id":"Q1313942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbfa059d9580148ab3a5ba832c1a7d277f2c6c5","datavalue":{"value":{"amount":"+0.9009305","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":"Q5108533$C91712AC-2382-487C-9AF1-A05CFA2532DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108533"}}}}}