{"entities":{"Q2437794":{"pageid":2448537,"ns":120,"title":"Item:Q2437794","lastrevid":51948413,"modified":"2026-01-20T14:52:05Z","type":"item","id":"Q2437794","labels":{"en":{"language":"en","value":"A resource semantics and abstract machine for \\textit{Safe}: a functional language with regions and explicit deallocation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6269677"}},"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":"Q2437794$F028EC74-07B8-48CA-923A-9738292067AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"943de07fdb3ef8ad3c8e054f2f5a376de8f0cd79","datavalue":{"value":{"text":"A resource semantics and abstract machine for \\textit{Safe}: a functional language with regions and explicit deallocation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2437794$579CDD85-48C3-4A40-9172-E950D17EA72C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae7c437c5d7500872dbd40499bf8876ac865012f","datavalue":{"value":"1358.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437794$EA8D9898-B767-43F7-AEFC-7BBF81B24512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc554f6471ff9eed49aa19334a728f6412a548e6","datavalue":{"value":{"entity-type":"item","numeric-id":209390,"id":"Q209390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$BABC8CB5-9D5E-4641-A627-EC82D14549EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c4f0a73cb16daf1a6d20b105b364dce4d8e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1984796,"id":"Q1984796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$5BDE209F-11C6-44AC-917C-E0F564989923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fe0d5d94c9e0413608077b92ea1c7fc83d2414","datavalue":{"value":{"entity-type":"item","numeric-id":2437793,"id":"Q2437793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$11EA72E5-586F-419A-B31B-97677EDCE685","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$5BF88EA7-98FC-4FD5-AB03-A53D5B54B976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90cd079fd2844668d283b4beaad22194313eaa90","datavalue":{"value":{"time":"+2014-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2437794$2E1AAECA-8F3E-46A4-ADA8-2D4C1E6944C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437794$476DBB48-FFC5-4BCC-8D1B-73AAF2D3F08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437794$69155382-5DDF-4FB6-A283-3A4D6E961F75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1541710aaf2b3b443045af14b83693db9adfe695","datavalue":{"value":"6269677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437794$8D4FFBA7-823B-4C2F-9EAF-C35BAA4D8B09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437794$84790E49-2424-40B7-BD90-8B52214BA44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da6c3b8c4510441be839d1869ca687bb1fe015e","datavalue":{"value":"memory management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437794$4F1D883D-DF1B-49F4-B5AC-7C2134FE3AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"823c31ba714c2a41c81c603f82ac9d837288531c","datavalue":{"value":"certifying compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437794$241FFF44-3A0C-4B57-9DA2-CA251FFEBF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437794$525A649F-1722-4D14-990E-25EE1574CF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437794$193B1847-C860-424C-9138-8B44619601A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$40DEFD54-B41F-4864-BE46-1483F7EE8019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$50C8881E-D1D4-455F-956A-2410863E7027","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":"Q2437794$D529D8D3-CAE6-417D-9F25-56775A764EA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b295f320ff17f5a00054572894d5e6f4abc1a39","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2437794$FA3FB7CC-0E4B-43AB-9310-D3366050F54F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"673240ac1968394a6101a522616b4baa667e3815","datavalue":{"value":"W2033746349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437794$5F1EE537-00C8-4F95-94DF-C2AEB88A7F8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e03d07c8bfa52539f00786630e06ac38ba708ad","datavalue":{"value":{"entity-type":"item","numeric-id":3617435,"id":"Q3617435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$4E1D690C-B918-4334-A600-10FB7E80A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528767239cf1f7c35cf9aa05b39b1f5b212cc0fc","datavalue":{"value":{"entity-type":"item","numeric-id":5747629,"id":"Q5747629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$D3D5E315-B67B-4209-B2A2-E9C0F10CA420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de81687b9f4ca941d3d25c66765dcafd0452a28","datavalue":{"value":{"entity-type":"item","numeric-id":3183530,"id":"Q3183530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$D6157414-90FF-41A9-9270-634705BB9560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a3102c15695035bd71a9eedc23f75a437826e4","datavalue":{"value":{"entity-type":"item","numeric-id":4982630,"id":"Q4982630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$3CC44280-3567-4E1D-8C1A-52A24604B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$C0F4D9EB-90DB-4F7D-887F-3CA9BB34B271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$10CBC8AA-A0B8-4E0D-B086-F36A7111C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab089872e48b2fd8c69c65ab71df3508a4efdb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899005,"id":"Q5899005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$C236157B-414F-441E-99AC-F089277EFC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$103CFEA0-84BA-494A-B790-D5DC87A21769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9decf1b2a1c84b14b9a8e43e91864b533cf418","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$CC41F58A-EF61-4876-9992-E0C1BE419041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d8773f3c1ef3abf94853ae260fee9f2243fd08","datavalue":{"value":{"entity-type":"item","numeric-id":1769930,"id":"Q1769930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$7E16E8D0-5EEC-47AD-A81B-931CB61883CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$A1260E65-F89E-417F-B4E4-A00BDA02D84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598b12137ad8a58c32c23ef92b770840f852bb06","datavalue":{"value":{"entity-type":"item","numeric-id":5302645,"id":"Q5302645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$18B869C0-A87A-490E-AF0C-5C9882C2E27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$BC96B9C6-C80A-4FDB-BD23-1BE2756A7DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47065004d1dbc459c3351918f7a970438a5e40f","datavalue":{"value":{"entity-type":"item","numeric-id":3125230,"id":"Q3125230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$32E747C3-8EA2-4A29-B6F8-547D429FC75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef8ed3bb5f59fe38cee2046799e8a1db0d99625","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$F8D523CE-FAF8-4054-8D09-433F70338237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$0B745968-8785-4497-AC76-2801B0D3884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f4a4d6814fd1b39255e8b48c879c80b6a5b79","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$9C4EEBF6-0B38-4FC0-90FC-7740A7035469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8641572609bbd05577d4f94ddc15cb2abd4b5026","datavalue":{"value":{"entity-type":"item","numeric-id":3636810,"id":"Q3636810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$D6D45459-97A0-4D28-B5BE-68466414FF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d6f01521509adfa14d61b8434e644fd6c99b1","datavalue":{"value":{"entity-type":"item","numeric-id":4474214,"id":"Q4474214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$61FE4D60-1CA5-48BF-9D83-B3EF956389E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$5EA9BCC1-DFC1-4476-B658-BE1362A0CAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$A650BEF6-B227-43E9-BFFE-F5FFCE4DC692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$55EA6F68-D8B3-40B4-95D1-A1208B00ED54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437794$111A5153-BC93-42F7-8DAC-0289310CB22B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a3d3af0cefc84dc608c0a8bd4b26afe02a200c2","datavalue":{"value":"10.1016/J.IC.2014.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437794$AC87474E-F081-44E0-910D-CEEEB2DCED2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e1c65891041d7fece34aa3a78beecc56e69da0","datavalue":{"value":{"entity-type":"item","numeric-id":4982630,"id":"Q4982630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db10aa8313da68ee3f982ba6b07663d9e7854607","datavalue":{"value":{"amount":"+0.9258528351783752","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":"Q2437794$AFF72953-82C1-41D7-8618-8F163A806F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a1725efbd68e51171ef4e1cd33947ed37410a2","datavalue":{"value":{"entity-type":"item","numeric-id":5747629,"id":"Q5747629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a93cbcb14ccb2261bc34954d301e2a18c35c90d","datavalue":{"value":{"amount":"+0.7818505167961121","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":"Q2437794$3E169794-4AC9-401D-BC41-1E6842E7DADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8bd32221d2b4c45a12a57f27551b7c678f01af","datavalue":{"value":{"entity-type":"item","numeric-id":5458390,"id":"Q5458390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abe4806f67cf7bcb5db084baaaf09089100b1af","datavalue":{"value":{"amount":"+0.7544503808021545","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":"Q2437794$18EA35BD-DFE2-445C-BC02-16989FA19D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545ad96f2c328ead06090486482e02a64273b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3602994,"id":"Q3602994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b19a7c0e1073316c9cefb416cbbfe3a876496ef","datavalue":{"value":{"amount":"+0.7368083000183105","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":"Q2437794$A131BBBB-9C6C-44DA-B864-3E6FA77B96A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5a6a718b03e4122aeb26fe86b0426f0b47d254","datavalue":{"value":{"entity-type":"item","numeric-id":2500689,"id":"Q2500689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4b71b89f7d48cef6f406844943382321be275e","datavalue":{"value":{"amount":"+0.7360715866088867","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":"Q2437794$5760681F-24B6-4288-98FA-0E20FCEC677A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2437794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2437794"}}}}}