{"entities":{"Q5915786":{"pageid":8031900,"ns":120,"title":"Item:Q5915786","lastrevid":41661363,"modified":"2025-05-06T21:34:14Z","type":"item","id":"Q5915786","labels":{"en":{"language":"en","value":"A verified generational garbage collector for CakeML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821867"}},"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":"Q5915786$AB9F4A96-67C3-4571-9AD6-7B29ACE36A90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e6689d75c98214adcc6797bd02f8fa9a91c7a20","datavalue":{"value":{"text":"A verified generational garbage collector for CakeML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915786$D4A042BC-7494-4FED-802B-7C221A9D90B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c3b94088574ede03dbc66a13d9f93d85a63428","datavalue":{"value":"1468.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915786$33E6084A-FF4D-4D0F-867F-072A108C319D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9879eb26d9e3bbe1b1603de79b1e8d59bcfa9e13","datavalue":{"value":"10.1007/978-3-319-66107-0_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915786$FC2B1023-B891-410D-8411-7E10ABCB72B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"320d64c3c3cbfdee94a249fe0f966c01e04b6c25","datavalue":{"value":{"entity-type":"item","numeric-id":1687762,"id":"Q1687762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$0AB009D7-7200-4544-A875-AC40D46288D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$6CC2AC51-FB6A-46D9-8E2F-FC412219797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$2A3D65A1-C276-4DAB-B456-05DD56C35010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$E188366B-4211-4837-A460-7E1B4D33E741","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-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":"Q5915786$4028FCCF-D613-491C-877A-FC0784AE3570","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ecabfacc2e9e79d665f6de65163a1d44b297c98","datavalue":{"value":"https://research.chalmers.se/en/publication/252200","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915786$DE2034BF-D6CB-4042-B820-5D7256750890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915786$E6EE0D42-5ACD-4145-9678-B3ED811D2529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915786$EA8B6D31-9540-44BA-8447-0DD5142A48FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"515e7d07bce6e9dfac5749e0b0558dd3d89b5792","datavalue":{"value":"6821867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915786$577ED218-523F-453F-9A7E-9E42DC981405","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":"Q5915786$9E07EF5D-17A9-4A2D-A002-96FACDEFFD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$68E85AF9-9289-4C8C-8053-D86723D250DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e079f4640d565f0ca1930fd327c2c7e8d634508","datavalue":{"value":{"entity-type":"item","numeric-id":21954,"id":"Q21954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$0A58B2C1-0187-41CF-B4B0-34EF5B357449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$D7A9FCA6-0328-4BD2-8527-B09BA2FEE7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6afb9e05f24776a03d7fcd415baf7b99112468c9","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$2B12033A-CA06-444A-9F34-92215AA327E4","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":"Q5915786$ABD9AC9D-DC25-4F3E-BD3D-7510AEF5A852","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f79c8127b0ee7e03112632abf11cb676495df70","datavalue":{"value":"W2747308484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915786$3D6969EF-E0C9-491A-804A-CE456F6BD978","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd44752aa5df5cd038054d2d30c6001d6392b03","datavalue":{"value":{"entity-type":"item","numeric-id":286790,"id":"Q286790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$73161706-7D4C-45F6-992B-A52C6850D832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f50e4e3217f5ae81e8697e0c7dac217fdf7a946","datavalue":{"value":{"entity-type":"item","numeric-id":4167545,"id":"Q4167545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$09CDD235-E5C1-4CFB-9CC9-D5EA54C2500F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9338ad617a6b3edc27fe0e8511e80dc613926ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5261539,"id":"Q5261539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$8C20CC83-9ED9-44B4-B5B1-3C9CDCAE6776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9990a2e16f4d96fb2dc6e7fcff54427a1d73f706","datavalue":{"value":{"entity-type":"item","numeric-id":3088011,"id":"Q3088011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$07A9C288-7EC5-4721-9C6E-14A7C5E8D04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9d7b9a3b76e4be4ad398c34095ea1c9d5ebb0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536398,"id":"Q4536398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$DF82522B-324F-4BC5-9DEE-370F27F8C545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a478aa341d9931b9cdadf01ac11a9d5e73a92e64","datavalue":{"value":{"entity-type":"item","numeric-id":3575280,"id":"Q3575280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$23D54466-D279-4CBB-A0E1-85A68032562E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6835c6ce87770486df57ddd45e321f49cd3649a5","datavalue":{"value":{"entity-type":"item","numeric-id":1336946,"id":"Q1336946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$355D61EC-86AF-4BAA-B504-319F72725C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915786$3B974F71-B0A3-4AA9-916D-92A90E63459C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa05d11881f3f651c5506c611df8a5fdb8a436c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786120,"id":"Q2786120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a1fb3f8369e64be787ee60974d94676f48db81","datavalue":{"value":{"amount":"+0.86010313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915786$B9B9DABB-1D6C-4786-A53E-524779B14B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2cc5825e174cfa030d1ad43faae0f07e3d2af7","datavalue":{"value":{"entity-type":"item","numeric-id":5261539,"id":"Q5261539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a1fb3f8369e64be787ee60974d94676f48db81","datavalue":{"value":{"amount":"+0.86010313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915786$D9BE2A0C-9FF2-41CC-A194-19E043E2CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e719922ba9485be185698af13118ce9341a112","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6cb7a854d7037c4fbd3688fd25f50e8030bb98","datavalue":{"value":{"amount":"+0.84529257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915786$5498656C-3AA2-46EF-8B75-319A3A535479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dab17b5ccf6cff23a166d1818ab1e1f3757120d","datavalue":{"value":{"entity-type":"item","numeric-id":5176947,"id":"Q5176947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33cc19948456413a2b07cc67c332389df42f0bbe","datavalue":{"value":{"amount":"+0.83791107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915786$33D007E9-EBC9-4C2D-A94D-5888DB46E2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ccf3cffd499e9a1ca785111d357fb3192fa038","datavalue":{"value":{"entity-type":"item","numeric-id":2319995,"id":"Q2319995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce4334933a9d4585bc30048fcde31f7cae39094","datavalue":{"value":{"amount":"+0.8361204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915786$5FFF1E79-E3C9-42D0-9D0E-8FFCBAAAD33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82876524cd033ce83f9873b0cc43eb02f27791eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687774,"id":"Q1687774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3186ee57009c464b1169549844b3974346ef1da2","datavalue":{"value":{"amount":"+0.8342286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915786$4F104447-16DB-4917-8619-A5333796D725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5915786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5915786"}}}}}