{"entities":{"Q1744378":{"pageid":1755120,"ns":120,"title":"Item:Q1744378","lastrevid":53070128,"modified":"2026-01-24T04:09:11Z","type":"item","id":"Q1744378","labels":{"en":{"language":"en","value":"Categorical models of the differential \\(\\lambda\\)-calculus revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862923"}},"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":"Q1744378$666F2659-81E7-44A0-A9D7-51A453CA58D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"643eadacbdc7b7a52e0642ab7f41d3c21781d6a2","datavalue":{"value":{"text":"Categorical models of the differential \\(\\lambda\\)-calculus revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744378$3C084984-4844-4E98-BE0D-FFEF069C1EB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a6497463e99fe693ae75e5c428f3d323255a5f","datavalue":{"value":"1394.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$56896328-E7CD-4F7B-B3EC-C3CA8B32D0F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b82271ee872851bd425ffaeb1c30add0dada4f0","datavalue":{"value":{"entity-type":"item","numeric-id":1744377,"id":"Q1744377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744378$B63EF304-8124-4E90-830B-23C7598CD7BF","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":"Q1744378$6106DDC0-DA1B-4F95-AAAB-67252A91633D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744378$47C42639-A411-4365-9A28-5F0102CF675E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$DC7904D9-307F-4D98-9AEE-BDEBE361B1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$322AA3CA-9EB4-490F-96D2-4FC1D0D1A59D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71c6650bd1577fbf8b20a43c5ac2b687f55500a3","datavalue":{"value":"6862923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$FDA6D971-9815-44EC-B34B-C2A9013A35CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795dd4a63bedeeba67cb610abb0d5e3efcf70161","datavalue":{"value":"Scott-Koymans theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744378$0E8299C1-4B31-4005-A2B0-FC1DE8ACE1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daaf7fddb1fe3a0aef8f6142ca224014e2536e3b","datavalue":{"value":"differential lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744378$6672C506-3F5C-428D-9653-2EEB83DA2604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744378$8BED5021-70B4-41D2-B12A-9D16BF0F73E2","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":"Q1744378$0BD4C7BA-0D81-44B1-BC78-C2FFA0CC8484","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498804a6f6ca6baca8947c9bd28c7f01449480ed","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744378$9E967F9D-D7D1-4007-81F9-1043080B49D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3ef4c3cee2a85b991dd33fc7ec2e4671011343a","datavalue":{"value":"W2528395280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$F547D13D-7103-45F6-9E3F-31D84FEC3DB2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d4e7b429cf9430498d872035ab97cc34220104aa","datavalue":{"value":"Q113317640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$F445A3ED-4C52-4483-B8D1-05A60C117401","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f01b06158b4e07cc4d9582e13d059ba9b0706f","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744378$FB04CFD3-3A6C-476D-9EF9-5D8AAE0B07D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0a722f872a3c74374b748635c0ff52a893539","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744378$B3C79E0D-8D8C-4D5B-BC50-DA5B9EFA8246","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":"Q1744378$BB4C848B-BF8F-483B-8406-0B04C73A497C","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":"Q1744378$376230AE-AD05-4D7D-89CB-224F2C91E379","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":"Q1744378$C687C63D-5B6C-4719-AC17-B7F379005D89","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":"Q1744378$5DD7AE9F-A0E8-467E-B696-37DA7EAF481A","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":"Q1744378$ABAD1998-201E-4E6E-9677-57A15759DA56","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":"Q1744378$3C0D8F20-1FAF-44C6-83C3-6A254D6D34D7","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":"Q1744378$D76B9285-CC3D-4188-B93C-E364FB12AB35","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":"Q1744378$068543F0-1684-4DB1-9291-AFEAD10CC5A5","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":"Q1744378$99CACCA9-B870-4688-BE46-E46071D2B16E","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":"Q1744378$209EE65E-9EFE-49CE-8951-E2F910152701","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":"Q1744378$E7D46FBC-247C-4A2B-AADB-A9846F646BC0","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":"Q1744378$14982A69-3792-46B5-B4F5-6B8F45B884BB","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":"Q1744378$82D0769C-2C1E-42E5-8C2D-735A78E55C3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e9bef9e5d3cc3879bfa1dd4ec7c7478499d7ce","datavalue":{"value":"10.1016/J.ENTCS.2016.09.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744378$E46C2EBA-FDA7-4085-8FD1-ACCE1AF24AC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29be124cd2b89415c4fc24bff297e486274ed45f","datavalue":{"value":{"entity-type":"item","numeric-id":5108533,"id":"Q5108533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec15747727cf546c498d6cf2e39b0f69c114629","datavalue":{"value":{"amount":"+0.9945501089096068","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":"Q1744378$50A01918-EAF9-421C-B569-5979A38E2E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95456096b9e32df9152088948f825482efa06ac","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6454a3211e5be5b3dd0d2214cd3cae3fb0594b1","datavalue":{"value":{"amount":"+0.8305633068084717","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":"Q1744378$626B9AB6-953A-4281-AB04-9E4FD6016E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf2f36c4f9b30e9f0718f9605478292b8f82ff9","datavalue":{"value":{"entity-type":"item","numeric-id":3178254,"id":"Q3178254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a87a404ebe68de617326c49e61a5aea2986b12","datavalue":{"value":{"amount":"+0.8007027506828308","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":"Q1744378$959B4D17-87F1-4993-9357-13E0EFAEAD27","rank":"normal"},{"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":"1481249f343811eb4f6540ee709a79af5a1ec542","datavalue":{"value":{"amount":"+0.7720363140106201","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":"Q1744378$E782AE19-B5B7-458E-9E44-4D1CF1060993","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":"e5073cff4bd47d79eeca9f3808059855dc02e13b","datavalue":{"value":{"amount":"+0.7632367014884949","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":"Q1744378$02FEF57E-6568-4106-8037-C7E0D9FD0C02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744378"}}}}}