{"entities":{"Q2988660":{"pageid":2999384,"ns":120,"title":"Item:Q2988660","lastrevid":52811384,"modified":"2026-01-23T13:35:03Z","type":"item","id":"Q2988660","labels":{"en":{"language":"en","value":"Verified characteristic formulae for CakeML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721336"}},"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":"Q2988660$ABD09A57-BBC7-4325-80E5-9339230F3410","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba99665838d7bfb68026aa47590bdbcf4f8f18bc","datavalue":{"value":{"text":"Verified Characteristic Formulae for CakeML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988660$A225D214-04C1-4399-A6D1-43CEAFEB0651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4422e4ab664a44cb4091e502e4c395610ecd04ab","datavalue":{"value":"1485.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$980B0B76-335A-4624-A9A7-45A194B1450C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b0aa1fa09bc5f8e216750c43fbf0684c317dc2a","datavalue":{"value":"10.1007/978-3-662-54434-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$427AAD54-2A64-433A-A5D2-74F0214CB1C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a302b4df449e9f7ba20f8f0ad7aa9684068c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2323993,"id":"Q2323993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$1DCE86B3-8A53-4784-B818-12DE6C858068","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":"Q2988660$2D85CB86-4E7D-46CA-AA02-701FCE10E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62025305e3524f61b1fc8b1f7bbd2484241846ea","datavalue":{"value":{"entity-type":"item","numeric-id":287359,"id":"Q287359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$F26AE8CF-1629-4069-96BE-56BB721C5158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$C779E4C5-36B8-4738-A14F-555BF3B69B1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$70B722D8-7797-4148-9436-F77A15B32633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988660$6EAEC1C4-45A3-463F-BC1F-04B9BDD99DC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$2E5B5D65-C8C6-4A2C-8D5D-EEA5E401CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$398D64C0-0311-451D-B072-D20C50A1FE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$56D5EDAC-BD63-444C-BD70-98CFC02B3222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bfe11d666c635d79ddc68d6e83018a98be0b52e","datavalue":{"value":"6721336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$D0D1CFA0-20C5-4403-BDFB-EB682EB841C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28409c75cf00e11c1b9a84547cc30a3d1f457f5f","datavalue":{"value":{"entity-type":"item","numeric-id":35703,"id":"Q35703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$DB75EB7B-46AF-4F0A-8BFA-105808B4B436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$E99397F8-072D-444D-B01F-B5AD86B50F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$10FDB951-B5EE-46AB-A363-726391B6416B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$551A05BB-2A8E-41EE-A832-756055768A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bf23d396de4098e04e28b19a662f87e70c7d62","datavalue":{"value":{"entity-type":"item","numeric-id":2945628,"id":"Q2945628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$8DAD125C-CED3-444D-B34C-A3E750C1D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$D83A439C-2552-46A2-AD22-B73F8A45D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$095C2DB3-F799-4B6E-9D4B-DFDCE4054554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc149579e2c0f9cf6c6f1a082b600b053a6569c3","datavalue":{"value":{"entity-type":"item","numeric-id":3183533,"id":"Q3183533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$AC27C5A8-A770-431B-8453-D9B30565573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$876E3F6E-1F56-4BC8-A7D6-E4697511F65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$D7860FB4-E1F4-4170-B9B0-E9CE0077A090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227fe77aa9bac83e88e8a7622effb8e94001c51a","datavalue":{"value":{"entity-type":"item","numeric-id":2875232,"id":"Q2875232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$C5DEED77-18C8-4EEF-93BA-019028F01327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6d1f02d1dff7e0706b804b37a3cfa574fb6579","datavalue":{"value":{"entity-type":"item","numeric-id":2982005,"id":"Q2982005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$BD7BB8F6-524E-48AE-B580-1887CC6F5B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$089C58A9-97E9-474A-98DC-F4B018F7693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3726b47e0c97a6e5d1301b567046c2cdf7a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":2942906,"id":"Q2942906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$D81C265E-B679-44A9-AD47-00AF5D31332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ff8e8a966403637a8e7b3a44a0970aabc9f760","datavalue":{"value":{"entity-type":"item","numeric-id":2828265,"id":"Q2828265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$4BE54679-BB7E-450F-8691-E55F5C428D64","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":"Q2988660$68E72B78-31C3-4C80-A485-3FF477865687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02fd528e40655eb782f1320fe4631a9826a756e","datavalue":{"value":{"entity-type":"item","numeric-id":2931819,"id":"Q2931819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$7305F6F9-119C-490E-9E9E-32AFAFABBB7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac054c953c1cd0ba5c4df3953059bdefc74ea8c9","datavalue":{"value":{"entity-type":"item","numeric-id":35703,"id":"Q35703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$3A6C1972-9E6C-4C9C-B432-DC2BA8A4D08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$7550DED9-7AD4-4D4F-9EE8-E8A18F05A75A","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":"Q2988660$82D373C2-F536-4943-986A-E9DDBA575B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a05d1abc95315b149d3510f92824f5e33b81569f","datavalue":{"value":{"entity-type":"item","numeric-id":40244,"id":"Q40244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$58F9BF2F-CBC4-48D9-BEBA-F7DD9444D99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$C17CDE89-E54C-46AC-BB30-F65A4383D50C","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":"Q2988660$FF7C1DF1-9684-449D-A3BF-CEE391B66DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$479F1F6C-AC24-4142-ADC5-14334C96933C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$7F986D06-CFD6-4653-A48B-7ADA25023363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$99E97900-5771-42A3-A740-664B2DF4154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad35e1f036cc1a37637a9bb57b386a55e86e9fd2","datavalue":{"value":{"entity-type":"item","numeric-id":18673,"id":"Q18673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$057A94AF-00A3-4AFC-BB2E-2087651B7696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988660$6C4CC51B-8416-4C06-A9C1-A74E951009F9","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":"Q2988660$2DA7201F-93B3-45EA-994B-0EA91FF35B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73438c0b3cbf524615e90a5c35c9a9af3adcd87c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54434-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988660$64646BB9-F7B8-4529-A4EF-6B5475A664CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c26c3cccd0ba4261e21ac6e9b34183d2cc4fec2","datavalue":{"value":"W2596200388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988660$DD4DA06F-8557-454E-9AD1-F1458EBB5FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a8ddad44f130e239145cecc78679d30c11836a","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167255cbe27046984e5c4b5576b733378bbff1da","datavalue":{"value":{"amount":"+0.8785908222198486","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":"Q2988660$C2370884-09AF-40D1-982D-757A3582F445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e210e9ff5cd5e7bad7d25e60b6144ecf7719471","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22ea37cee8157296192374fc7849f4b66d7d343","datavalue":{"value":{"amount":"+0.8619915843009949","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":"Q2988660$5ACFABFD-3336-4B44-B4F4-22864873F0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4f46d2cdea2125b41d2d1fd3cc2b4dd8eb6de3","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c0f7f4b106d667d9a3a24c5b47a607f8140f6b","datavalue":{"value":{"amount":"+0.7578397989273071","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":"Q2988660$F43EEF7D-0FDA-45AB-9AD1-85B0E1B3BA59","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":"550db408473d1f6e1b2c1c14099d09fff891b6db","datavalue":{"value":{"amount":"+0.7333055138587952","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":"Q2988660$FD9F516F-C18B-4B29-8CE9-293128D25288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8b9f7343efe63e57ddd2bd2ef0ae5831271484","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1efcd4437818a4d0a9f51c826cf18c9821fece","datavalue":{"value":{"amount":"+0.7283368706703186","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":"Q2988660$3BC95A8B-A358-4EFE-9027-0CF54F3578C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988660"}}}}}