{"entities":{"Q2981009":{"pageid":2991734,"ns":120,"title":"Item:Q2981009","lastrevid":45188185,"modified":"2025-12-01T20:49:36Z","type":"item","id":"Q2981009","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6712238"}},"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":"Q2981009$92D7A9AC-D9BC-4E11-9ACD-A7F0A8EAF9E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef5d03bb8989d8f1c385981662f05009e7050bd","datavalue":{"value":"1360.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$42F0A1C0-4134-424F-ADDC-3B46B48919B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a01e72257892987bc013aea32c9a5ae6caff4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1785850,"id":"Q1785850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$6A838848-FB31-4B84-8F77-A4F5E430D8B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3aaf1d9eb7be8ffa0ffc276984018b68fdacb27c","datavalue":{"value":{"time":"+2017-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981009$4626A413-BFC1-4E07-8EC9-428926894DA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a00292de4b647df5fc8ca483084a09781bf97551","datavalue":{"value":"http://dspace.ut.ee/bitstream/handle/10062/15866/vesal_vojdani.pdf?sequence=1&isAllowed=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981009$2292B919-1E1E-41F2-A064-B17A479D0731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca257aabee82da1985ada2d8c594bcf8c6db1e17","datavalue":{"value":"http://hdl.handle.net/10062/15866","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981009$E1A3642D-7352-4B03-83BD-297DE547DD27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$A2E55C13-5855-4686-A679-3BAA3E99E361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$062EE96D-834B-45A2-89CF-31BE5553DA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$9AB651E8-6D3C-43E0-8B73-15D67A1F1A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$1D07D5F6-BC0F-4825-AEEF-67CFBD434964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$BCE35072-0BE5-493D-8B5D-B41F450FB0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$BB55F6BC-8695-43C8-A650-87032A35280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$72963181-84AE-486F-8AF0-B48A00CF2F8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b66a174e62fd0fc81a2f4c366fc07f44fce07375","datavalue":{"value":"6712238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981009$3B993228-57B9-4332-8E0E-301620A6AA05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37774f02e0401090dcf09b76b40f99fa96f9e6fd","datavalue":{"value":"data race","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981009$249911A3-DDC8-4009-AED6-2026F1511B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"943412bf2146dfc0a7546997da1dcda5cf2fd6ec","datavalue":{"value":"abstract domain for equalities between address expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981009$1343707C-4C3D-48D4-A1CB-A45BFE5A8B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1169a180051301772fe766a5f97d9b9e952a62ed","datavalue":{"value":"region-based heap abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981009$275C4DA7-2E38-4574-B862-72C02E506F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86cf7ad0d8fb4d375319c4464c44d80ff7e8484e","datavalue":{"value":"shape domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981009$FAFC1FC6-45BD-4F63-BC77-96A88CAC9F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7640e5c75776c53c9eb6b20bdb23fe208c63d06f","datavalue":{"value":"low-level programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981009$FBED2766-939B-403A-9D72-44732C4045C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82d4e141ae33fe30071458dbb698af84239f7e5","datavalue":{"value":"Goblint analyzer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981009$F5C50605-0FA0-40A1-B784-11C7D38601C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d618f2518558acd5a4de20ebf1f4d24983053a90","datavalue":{"value":{"entity-type":"item","numeric-id":21728,"id":"Q21728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$2A0E0612-7B26-4EE8-BDC9-C2098E99A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$161EFF94-3B60-4EF3-8442-831852A0B63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d34b64bfacefc96e74a5b50b80616116f688f32","datavalue":{"value":{"entity-type":"item","numeric-id":32047,"id":"Q32047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$4D3B2F5B-3AE5-4C43-818F-B973C3070ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dc04511ad7fd9bf9998bb4f4452d58e944458fc","datavalue":{"value":{"entity-type":"item","numeric-id":32048,"id":"Q32048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$68535FC6-4C7C-49CE-8FC2-D068B8832896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e01f55fa4bbaf1f74d3e3deb839030a9561a352d","datavalue":{"value":{"entity-type":"item","numeric-id":32043,"id":"Q32043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$03AF3760-5707-445E-AAA0-35DDEFD6F989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7892f19b26d978fd2811b32e4ff9d1119e436ec7","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$425E3AF9-2B5F-4301-8AC8-5C87DF5FCF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05435a4629e8d44264f9789229838ae06ed6cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":32045,"id":"Q32045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$5BCD3639-6562-4EFF-BC19-96B86B354CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62258a598491cd9e06e78a73a6d38e7c3bd30afd","datavalue":{"value":{"entity-type":"item","numeric-id":32046,"id":"Q32046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$C9243AAE-8541-4D65-ABC2-AC84D0201605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"639080d65408889785d6e0277990e7c76752fb8c","datavalue":{"value":{"entity-type":"item","numeric-id":32049,"id":"Q32049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$04FDB6AF-E2BD-45BC-B008-9CCFEE7864AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981009$06A29929-8C87-4EF5-871C-8E83D3A5F509","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":"Q2981009$E0F6767D-91B6-483A-A08D-5A021B2AED48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b118fa60cf029105d6800352fe02a2882188392","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6582f4459ff181cd58d6866282d55cf48d9bc3","datavalue":{"value":{"amount":"+0.8619267","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":"Q2981009$BFA83A85-6D46-4653-B2ED-5129EE041ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088dd97eac3a45790ac5a389e0c4e0b77a30d848","datavalue":{"value":{"entity-type":"item","numeric-id":6134261,"id":"Q6134261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997a1bf3a1e786f99bbba88b56a12e998c8abea1","datavalue":{"value":{"amount":"+0.8485367","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":"Q2981009$E96163F6-345B-42D4-AE19-0D5516B10049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e313e67e788d93ea5e4e8053f1254e988aa2f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5255079,"id":"Q5255079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9d83c8d6d290000224d756950a8b8a17ce5285","datavalue":{"value":{"amount":"+0.847891","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":"Q2981009$711610C3-7CD8-4A66-9392-4619DC61E34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3197e6c7bcc282ada9454620fdf90e99b2a38849","datavalue":{"value":{"entity-type":"item","numeric-id":3046404,"id":"Q3046404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c451939aec3d14a5258845c2bcf0b690396bc5ed","datavalue":{"value":{"amount":"+0.84375983","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":"Q2981009$6372B0B2-94A6-434A-8DCF-14021D420E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d8fdb426c21e92a011e6bf6811b2597e21753f","datavalue":{"value":{"entity-type":"item","numeric-id":6070804,"id":"Q6070804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed9e5d2d61b1b09d0ba7fd634b5c8ed4a686fdb","datavalue":{"value":{"amount":"+0.83389384","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":"Q2981009$257D860A-16CF-4436-BB81-A8440BC04A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af41a07e76f72e32823250cc494ddfb025c18171","datavalue":{"value":{"entity-type":"item","numeric-id":2147701,"id":"Q2147701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ffaf8af6a830b1f514ec9e97d79b61d92a2e3c","datavalue":{"value":{"amount":"+0.83192027","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":"Q2981009$1D9A48BB-2854-48AE-AC4F-F046EF234C5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2981009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2981009"}}}}}