{"entities":{"Q2888856":{"pageid":2899581,"ns":120,"title":"Item:Q2888856","lastrevid":79519160,"modified":"2026-05-06T14:06:10Z","type":"item","id":"Q2888856","labels":{"en":{"language":"en","value":"What is a categorical model of the differential and the resource \\(\\lambda \\)-calculi?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6042676"}},"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":"Q2888856$4582F3A9-9EB3-4D73-8D3D-8A2179F2AF01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"461cad7f4902dde6d27e4e577fce2f2dfa47173c","datavalue":{"value":"1243.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888856$31DCE6E7-5397-4E2C-ADE4-F753742DEA9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"254674137890fb1af4479fe46cc5b14fa4bbbba8","datavalue":{"value":"10.1017/S0960129511000594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888856$4F8531DF-C816-4E05-BD3D-9350056F289E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$A98AFF95-8662-4447-A787-16851E63CD2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92c180fa33e94556eaf92f133d6647ee587537b6","datavalue":{"value":{"time":"+2012-06-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":"Q2888856$DAA4F8A2-905B-4BC8-8D68-D9B8358E633C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888856$F8FEDA75-E25A-4CD6-9D49-FE0E5A2ABF11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bec17e752f0562b2b6ef9126ca1c6fc4588607c","datavalue":{"value":"6042676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888856$A6BD734F-537A-43D5-92E7-8D208726AAEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888856$BAC6199E-F0C5-440D-A5B6-C69474864A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af72cb2abcce42a96950aa5526274da26c6049e7","datavalue":{"value":"untyped differential \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888856$48574B3D-B215-4904-AAF4-0F44C12C3392","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":"Q2888856$AFDEA424-7C86-4705-AD7F-C972EF2C4085","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b0b5f19fc88dc8136195955bb1f585effb2322","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$647FFD26-0A3F-4A6B-87EB-5C4985EBD330","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":"Q2888856$30F89A29-A2E3-4A85-999E-B760262410C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95932954d9e6ee8f2a75869f98792ebb9e274ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4279260,"id":"Q4279260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$23EA66F8-0E90-4110-AF3A-6C0F0C83A40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700f409cb1b95fdf8cc61f09344f849065b51039","datavalue":{"value":{"entity-type":"item","numeric-id":3583100,"id":"Q3583100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$4531E872-DA0F-4B13-B2F1-7AD99B86B2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e79d10e1c880525bbdaeb08555025598f7d66e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007664,"id":"Q3007664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$FDD27456-1D77-4588-825A-61A89A2094A6","rank":"normal"},{"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":"Q2888856$96F19478-6AEE-435A-BCB8-9F9A2216AD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0023361e04cebcda8092e5d43d5aa3d205a30f","datavalue":{"value":{"entity-type":"item","numeric-id":3182956,"id":"Q3182956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$2AF15F79-EAA4-42E3-AD6B-12630FA11A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cedd5dad6884e9d508e59fa93fce3528d9c5412b","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$2519C302-FA23-448C-908E-125FAFAB3058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$C943BF92-E946-481B-BF3A-D2A2C7AE548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd5318beafb728605f20138f750c35eb33be7f6","datavalue":{"value":{"entity-type":"item","numeric-id":3012919,"id":"Q3012919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$18714D10-254A-4CF2-9FBF-E5B6D8F3BFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df2c0a9da41467dd8e40df1e4a939b7164cc85","datavalue":{"value":{"entity-type":"item","numeric-id":1565537,"id":"Q1565537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$A91B3CCD-67CE-4D2B-A349-6AA2FCBC8A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b31f3e5cccd03be5edef7b69c5bf55744c9c0ca","datavalue":{"value":{"entity-type":"item","numeric-id":3586087,"id":"Q3586087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$86D7F799-1A7D-45C0-A0E7-73F182F7122A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865b75cced7ee435c9dfb2ebd9223962b3c16bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$F598BF26-7718-4DD0-BB9E-A8192E00CEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bcf5a71723123dcabb87c10dcf8fb17914a3cb","datavalue":{"value":{"entity-type":"item","numeric-id":3586041,"id":"Q3586041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$B71D6196-8D11-41EC-93BC-32FDBC4E2E7F","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":"Q2888856$1E3B524F-44DE-4F94-8179-F36711BF5C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7631dfe98f153b44523a49c42bb14e1fd65c15","datavalue":{"value":{"entity-type":"item","numeric-id":3605523,"id":"Q3605523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$AA56299A-27E1-4EB3-BD68-19F63FCACF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$8AB0D007-3A4C-407E-A336-A3FFB87A8676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827c478b9a1776a17885b10dda39c051b159251","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$75407193-BD14-4752-BF7B-18A68B7262E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$B9AC0003-8F4C-4503-A0E3-93FC5796B6BE","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":"Q2888856$373EDC65-8AE8-4B51-AD47-978460E2AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb832781b47da4b16830566a43b0209eae9c57b","datavalue":{"value":{"entity-type":"item","numeric-id":934927,"id":"Q934927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$9C5637AB-AAE2-4534-8032-C2A7121094BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$7079E6A6-E921-4573-8D36-CB2DA02E8F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$152E7857-BB1E-4C20-8700-4290CEC85FD4","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":"Q2888856$4EC364C1-B18D-451D-B643-8AC4450F2FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$6EA644AC-03C3-46A7-8482-B391901A00BD","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":"Q2888856$79F2D0A9-2462-4C75-859B-9CAE374AE22D","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":"Q2888856$29D58F87-C0F4-49F7-93E0-493FDDBA555B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3922828cf4dbf4516fa0211fdd931e2efe1e2b6","datavalue":{"value":{"entity-type":"item","numeric-id":672044,"id":"Q672044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$2D318FDC-18F4-4AF1-A9C2-E021C8E42C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95545290a2160bb1d3baa35d5b02b90316272","datavalue":{"value":{"entity-type":"item","numeric-id":3557862,"id":"Q3557862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$73AACB78-126F-4440-8ADD-CC17C56DE9F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf0a6bb167d9d60a465e519861d7b1537b8238db","datavalue":{"value":"https://doi.org/10.1017/s0960129511000594","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888856$B4CFFD83-47E4-4E15-B2E4-0862A755DB76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cb0ba3020a532d6afc0863b088909c2af303a50","datavalue":{"value":"W2096172373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888856$3CDEE12C-FA95-49A0-8717-2FA999394F47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"983efed9b2aced71bca1cab373e79e13b0c2ca22","datavalue":{"value":{"text":"What is a categorical model of the differential and the resource \\(\\lambda \\)-calculi?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888856$08E42A48-A607-4886-989A-60218DAD9488","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888856$05BD837B-91C3-4D3E-A048-954D4EA7C7E7","rank":"normal"}],"P1643":[{"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":"500a39ca031f6540e9d3f14debdd85ed5bbc6ca2","datavalue":{"value":{"amount":"+0.9118971824645996","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":"Q2888856$DF630D6F-D741-4980-A702-F7A8F7D8E693","rank":"normal"},{"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":"0f9749e24a5ad64032e6d72e893b3618f2134440","datavalue":{"value":{"amount":"+0.8354809880256653","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":"Q2888856$B254E275-60E4-44AE-BE94-91348E131D4B","rank":"normal"},{"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":"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":"Q2888856$E0F94376-9D7F-401C-9B19-A9B8A3C93287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc2440708d162f9be644a15412271e6edc7102a","datavalue":{"value":{"entity-type":"item","numeric-id":3012919,"id":"Q3012919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c1775a37d2d24036c22aafa583329c300e8b7e","datavalue":{"value":{"amount":"+0.8101680874824524","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":"Q2888856$D1377480-856C-41CD-BF14-46968732D0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d0a15e9e332dd2310f9c49933751f3ea39b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3166224,"id":"Q3166224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15125b6be0cf4c4e6874da667271ab564d024924","datavalue":{"value":{"amount":"+0.7980765104293823","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":"Q2888856$3BA3956F-6C63-40CD-8636-3D9BA4C28515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What is a categorical model of the differential and the resource \\(\\lambda \\)-calculi?","badges":[]}}}}}