{"entities":{"Q2373711":{"pageid":2384454,"ns":120,"title":"Item:Q2373711","lastrevid":43963707,"modified":"2025-11-18T13:56:20Z","type":"item","id":"Q2373711","labels":{"en":{"language":"en","value":"The differential \\(\\lambda \\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171335"}},"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":"Q2373711$72D0ACC9-8286-4FA4-BF40-AB489BE57D7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1209f1b0c9af0f9416a022d7b1f083e0b5b5af4","datavalue":{"value":{"text":"The differential \\(\\lambda \\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373711$B46D04CC-B110-46CF-9023-10B971AABB84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d37b8c868d8ab32598fec4c21f14380aa5a89932","datavalue":{"value":"1121.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373711$DF68B188-BBFB-479C-B50F-A95132A74B31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ccf0a589fb3b807ef69a799e91744fd52002786","datavalue":{"value":{"entity-type":"item","numeric-id":2373710,"id":"Q2373710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$8A499E75-D5DE-45CE-B896-5FAB4E4C4900","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$67F54508-3638-4BD8-AF6B-E15F4296BC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373711$F2EC9D96-5D1F-4CCE-AEB4-16CA5148E501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373711$3D4E2C22-DB3E-487C-B595-14F74ED72ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373711$6BF725F9-B893-4D6D-88FA-09CB40721BE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87995ae7296652d1d449c94f89d5c945b06af9b4","datavalue":{"value":"5171335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373711$65506324-73A6-4B62-AA10-DBF0BD9A7260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad6d49f2182ebcc1bd131270b8e4da89bcd1f6","datavalue":{"value":"differential lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373711$08FC5602-9B2C-4D20-92DA-F3F11AB77133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373711$B5B5B64C-3B36-49AB-A8A5-B2CE26C2FB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373711$2CDD7C61-93C0-458A-8909-82C47F28F6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373711$A521E7F6-EA85-4F31-9510-B457F3065B03","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":"Q2373711$8361A8E1-81E0-40D8-A9AC-011DD575CE63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9878a1e9005b4a9e57ac10406bd36cbbf2462839","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.02.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373711$7E18C46A-AC0E-4E27-87BD-29AC26375058","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aae5dd661faa5d57f482608456a4f6e2bc6c568c","datavalue":{"value":"W2148814023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373711$6A26A442-4CB1-41B7-9766-64765EF6BC84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$C29FFE9B-901B-45F6-BDFA-F8EF084281C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$6A1C5DE7-E29F-4872-9DA7-6F162D45A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$AEC7532E-A86F-4B23-A8A9-6BE397A6AE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$2592B8A4-4B47-4868-9B80-CDAF424F27C7","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":"Q2373711$658A0E9C-9532-45B9-86B2-CC08BA8AE0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$7208DB62-5DB7-4D61-AA7C-53FBF3550688","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":"Q2373711$6A185BF2-5462-4C3B-9CEF-12BA97EDA99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$0673540D-5EA8-44C2-A19C-9B99FD3C9E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$3FE323E2-D563-4460-AD57-6EE951C1C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$84AEAB98-0174-4704-B7A8-6102BF684E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$302F59A1-BD3A-4611-A613-222250B42343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$EB6A16CC-6E4B-4A4A-BD0A-398B7AEDEA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$64FF7209-2C5B-4A50-BB7E-8E5CF4F3D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$F5881D4A-9BD4-4D18-AAB9-D1A572A6595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373711$27CD37F5-4099-4619-9673-49D4E5790F4B","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":"Q2373711$F45248AF-5FF3-4046-AED1-A2776B0180C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917b0ea64dbd1d1aa91a6f11a240b2fbc1588002","datavalue":{"value":"10.1016/J.TCS.2007.02.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373711$A3848312-121D-4D51-80B6-FE7306DCCBDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833449f429cb6d748f6c8c2d856f9d5506442961","datavalue":{"value":{"amount":"+0.941328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$5B3F3955-9CB2-4122-B0BB-EE917CE267D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835f4a7df32d4ed0353704c3296eae28134c6425","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348327128b4b3185123d68c0b272651f5410deba","datavalue":{"value":{"amount":"+0.90738565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$E5F415D5-BCCE-42BC-A4ED-6FBD4E0F0919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad432a7c4c937f3e7513e7461c48d27a05f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4952053,"id":"Q4952053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b82ff5686e42b72bee2d485ca8fd5dee0ed5f7d","datavalue":{"value":{"amount":"+0.9036631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$65F46E0F-4F0A-499E-A5CC-A3983C3CB198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8868412c148d4095672ca757ae9cc9a1fb86ec15","datavalue":{"value":{"amount":"+0.902774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$620EAE6C-4E96-4208-9F04-2D138230E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e8b1f86535197a6c989c0a63f77bcb56e463f6","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd74dfdfb5a914562f0979f3b91e2e6f294316a","datavalue":{"value":{"amount":"+0.8994376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$B52C92C9-5F39-4FB1-862C-1710777F8907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb3a61c2b4b924524a51efc4d407beb0f14a968","datavalue":{"value":{"amount":"+0.8985857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$87245A57-46D8-460A-8B83-19A01CD8218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d283e0453dd7f5ae7ae760ad2a1c2ac131468d","datavalue":{"value":{"entity-type":"item","numeric-id":5077608,"id":"Q5077608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166d76875b8446628e88a18acbd18e200da9401d","datavalue":{"value":{"amount":"+0.8924042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$3AA64F53-3681-44A9-9670-BCF45691C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d22003d7673dfd1eba2882cfa6c16aecb210a34","datavalue":{"value":{"entity-type":"item","numeric-id":1886326,"id":"Q1886326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c55ee013369d92c6a724ed261ce3181bdeb8b9","datavalue":{"value":{"amount":"+0.88802135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$12AB9FED-837A-4C9F-BF47-41040139DEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010477dc5ef1af563ea9063be1aec1c99b8da15c","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3f79129609388fca72f765966d337017bb9c44","datavalue":{"value":{"amount":"+0.8868172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$1971BECB-DA55-42AC-B793-D448BCF2C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23009ce55f8277af134c1b6790070733fdb97bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4583170,"id":"Q4583170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abdbd4f2005c98743cd7428c88f51372c728f7a9","datavalue":{"value":{"amount":"+0.8831098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373711$524D8099-42C4-4AC5-AABE-C0D228BDB0EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373711"}}}}}