{"entities":{"Q21925":{"pageid":21981,"ns":120,"title":"Item:Q21925","lastrevid":56248437,"modified":"2026-03-13T05:44:38Z","type":"item","id":"Q21925","labels":{"en":{"language":"en","value":"ESBMC"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"29b6f6712586f569a0e4a9238f6cedf8b425775c","datavalue":{"value":"9946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21925$6835E8A8-6731-4528-89AD-5764DEA73103","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$818F83B7-7F1C-45A9-9CE2-742BA6231F80","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0535e98cb804f6f88d112b6a5e3b1f85529d2aad","datavalue":{"value":"http://www.esbmc.org/","type":"string"},"datatype":"url"},"type":"statement","id":"Q21925$6F486D1E-FA19-426B-A73A-872A98CA1AEA","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"9358963ee5eb8f1c7b7f55d45c03b6ccfd66a065","datavalue":{"value":"https://github.com/esbmc/esbmc","type":"string"},"datatype":"url"},"type":"statement","id":"Q21925$09581EDE-D6EB-417A-923E-C332F8D83675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21925$78E6E9D1-05BA-4145-8316-69136C7B19AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21925$3F6FD7C8-1AF5-4B71-9A2A-0E64069B9CC7","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d415c0e796201decc94b5dc4e3ee671f2a4aa29","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$DF23388F-E3E9-4373-8395-8C3542CD60DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"484e36242dc96945449b6ca92530c4cea45d08b2","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$D0E53A3C-4B6E-4EE0-A712-2C5F6DBCD18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cce9708c735eca903b9027de804184e2f0ded4b","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$C6320614-7DB0-41CF-AD3E-D9714F33F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddb5d9ba8c7b12a5f0945a2de007119f1615e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$A1B06BB0-D6D5-4A72-B94F-CED8181A59C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d3ae6b55e9e20844caaf8bf6a12e368e99b1d1d","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$B10B3C7A-0DCE-494B-BA8B-9F57CEA85674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"506ca92f4d2e993af30c0ddbc6e82ee43fd41020","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$3EDDB0DE-2B99-4B8A-9BB1-05A05DF32E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fce7364c9ada652403795199c8e33208353e97d2","datavalue":{"value":{"entity-type":"item","numeric-id":18663,"id":"Q18663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$66808065-FE7E-428F-ADB4-D5BE42603771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$14A054BA-C283-4E07-AA0C-786BAAA34E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd9117bb2b0e98e97f710df5c62fc1fa82922397","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$E801FDB9-AD58-49F7-898E-FE6F99E7AE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c862528104c319162f0714346b07f5cce70fb7c","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$263B3E4F-4233-4432-A335-BFD6C045F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ad6485f9cd6fabc89e09a26b7df6f0930bce7975","datavalue":{"value":{"entity-type":"item","numeric-id":32840,"id":"Q32840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$B825E2F7-3DEC-479D-8FAA-8FFEF80D93A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bd7f70eb24c576b3e3d45c70855bbd63c624f67","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$4D7BE04D-B9F0-4532-8D02-E00D8A9F5D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"54abef53d63f84cb9124c80bf7d78ea9465215e9","datavalue":{"value":{"entity-type":"item","numeric-id":37636,"id":"Q37636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$1CFEAB14-6336-4144-A42F-4C59EAF0620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"960a6e9eefc6046e7851d8a4fd1dcfc8411fcac1","datavalue":{"value":{"entity-type":"item","numeric-id":35705,"id":"Q35705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$5B5D7E70-B418-4D88-A9E6-07E9FACB6397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8994b18079ce098a66eee800a8e65765ea908418","datavalue":{"value":{"entity-type":"item","numeric-id":5975100,"id":"Q5975100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$2B70FEA3-23E1-435A-8E81-09C8687C6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$153DC5D1-D612-44C0-B435-E8C994BC4877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"12dd61c77ed922d1c6859c02070912ad9381e846","datavalue":{"value":{"entity-type":"item","numeric-id":16596,"id":"Q16596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$6373FB14-1BD4-4A6E-90DB-7398199F13CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"47afe778420a0c72effed3399b01be2aaf420259","datavalue":{"value":{"entity-type":"item","numeric-id":14038,"id":"Q14038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$28DD62A7-766A-4277-B89A-1E9CBF506FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b5578953c0698570feceba614ce29d86f713bd9d","datavalue":{"value":{"entity-type":"item","numeric-id":25239,"id":"Q25239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21925$FF50D5E2-4B66-4E19-855E-44C05F6CA2DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ESBMC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ESBMC"}}}}}