{"entities":{"Q3644752":{"pageid":5674658,"ns":120,"title":"Item:Q3644752","lastrevid":50819594,"modified":"2026-01-15T07:20:57Z","type":"item","id":"Q3644752","labels":{"en":{"language":"en","value":"Enriching an Effect Calculus with Linear Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632011"}},"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":"Q3644752$954C0F17-8AB7-4EF6-BA3D-A7FB22199DA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb665c9c53cba426508bcfb0cf8735a119f1049c","datavalue":{"value":{"text":"Enriching an Effect Calculus with Linear Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644752$09B597F0-7C80-4177-B6A0-B7AA3B067B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a4d53443335b5804747c19354b917d57178240b","datavalue":{"value":"1257.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$0A30E9B5-56BC-4F3F-BFBA-E41D16A99A76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43ebe4d11ed24f685b5ebefc0fa1779c3dc6de5e","datavalue":{"value":"10.1007/978-3-642-04027-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$3B941F38-905D-4CF6-B3FE-58AF39D95801","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5279cbeefc0fb4fb3a12549a3abee58ab1133858","datavalue":{"value":{"entity-type":"item","numeric-id":456837,"id":"Q456837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$356E9B8C-A83F-4EB1-A444-6A8CA720E274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$C76B9B51-ADAA-4237-ADA2-602D42F44E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$A228C779-42FF-4513-AD31-EB82CEC12CC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$8A649ADA-FBA8-46A5-B329-B3F1E196F0EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644752$B83D88AC-9E47-4256-B05F-D1524E13FEC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58a7aad66324afd372bcefee1bf8e7d5a1e8b7e5","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/12289081/enriched_effect_calculus.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644752$594AA1D0-E367-4CFC-9884-B7B1BE9B8B44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$78B22124-7D04-4653-BE89-C6F3D4C6D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$EC35EC96-8587-4808-8B7E-4FABEBFDFB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$EAB7A8E5-AF8A-4C17-8D26-BFC6E3B3C491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c167b7971e12baf246d7811100b26927685e28a5","datavalue":{"value":"5632011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$5D83851D-4C5C-4A14-B5B0-1CAF63822618","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":"Q3644752$41AFEB7D-A1A6-49D4-8AA6-2130168026DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"544a5bbb6c9f2a7b520e8cbb217a13e0914cb83c","datavalue":{"value":"W1626042158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644752$823E4D6E-944D-4A4C-AB4D-1496F07B8907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$FE571B0E-6C2F-4B82-9F7F-562BE03ABCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf0df807bad0ae05356846d3d601d36b3204e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1870491,"id":"Q1870491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$EB58A438-5D52-4182-84D2-A189C34545D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4163e8e0c2db2868dec53b0a14ce7ba2e2ad0714","datavalue":{"value":{"entity-type":"item","numeric-id":3557841,"id":"Q3557841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$CDDCC619-84A0-4500-8FA4-14BE3DF9356B","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":"Q3644752$E7FF0EE8-3FFF-49B8-8042-CE4709E3BBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$A09A9C16-6383-4DD8-A2FD-A2F3E62510FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff96de89c9504dca764a3cd381a7da6a3c8a47b4","datavalue":{"value":{"entity-type":"item","numeric-id":4409158,"id":"Q4409158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$A2C4EE93-4957-466A-A426-BCB5199E4063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$0AEE1D32-1A9D-4562-9B6C-CF8FADAFFA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd770c1f853256de098ea885e844f8806ccc301","datavalue":{"value":{"entity-type":"item","numeric-id":4680357,"id":"Q4680357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$0B8CACFB-809A-459D-8969-BFF13E0F6328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$FCAB748F-23D1-4A4A-9BAB-5A0D5597C9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$0047B9B9-A3B0-4DBA-A97D-C693B7DD429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952469047e1b527e3099da8ba6f1fc71a2a80ed","datavalue":{"value":{"entity-type":"item","numeric-id":5487826,"id":"Q5487826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644752$BA34A758-7EA2-4049-80C1-EC7471169A59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea79bc2622693809ae52968ab411a2ff3d33530","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65379e771e80bff9592c599ace5855f7a60dd8db","datavalue":{"value":{"amount":"+0.9672303199768066","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":"Q3644752$BE41189E-A37C-4FFB-AB87-303E5D9EF9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8367100144a950e463989395445e3bd96528e961","datavalue":{"value":{"entity-type":"item","numeric-id":3557841,"id":"Q3557841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a2fec7fc9c4ec5af87f9a2ffd909ff36fe27aa","datavalue":{"value":{"amount":"+0.8745138645172119","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":"Q3644752$732DFE87-A50B-410E-AA2D-FF861FCB4C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02797a6cc347b25d159ab3e6dd5f23f4fb301f10","datavalue":{"value":{"entity-type":"item","numeric-id":3166223,"id":"Q3166223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678d599bf89823352cf418a3944c1680283df4d6","datavalue":{"value":{"amount":"+0.8523966073989868","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":"Q3644752$B451DF58-A272-48A4-BD71-A30456278F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fb54e76eb00f207e292536e83081afa8547818","datavalue":{"value":{"entity-type":"item","numeric-id":2985794,"id":"Q2985794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80de7fee97e637dcded7e37cd7e01b70d16baabf","datavalue":{"value":{"amount":"+0.8368251323699951","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":"Q3644752$613B3199-DAA0-427F-8C08-B822AC1BF7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee4196d905c2f20c2eff66ae0d85c3df629d148","datavalue":{"value":{"entity-type":"item","numeric-id":5408192,"id":"Q5408192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a894c481ed063dd4f63e29a87757bf60d5fbe2","datavalue":{"value":{"amount":"+0.8191341161727905","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":"Q3644752$5F2AD0CC-B2F8-4218-8502-2CC75A6A3AF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644752"}}}}}