{"entities":{"Q17045":{"pageid":17101,"ns":120,"title":"Item:Q17045","lastrevid":56222283,"modified":"2026-03-13T05:32:17Z","type":"item","id":"Q17045","labels":{"en":{"language":"en","value":"KLEE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"cdb86556c546a856cc19e7c86288c98917915209","datavalue":{"value":"4894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$D9610E07-9266-49BA-9C90-C5623FC695FD","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":"Q17045$5A62AD41-8570-49A6-A860-444131B9CF50","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c6273e9450650c0e918218fa17748f3197022fe7","datavalue":{"value":"http://llvm.org/pubs/2008-12-OSDI-KLEE.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q17045$10D04830-3A2D-4E95-B4EF-952B9C140D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$EE565AE2-1445-4742-90A5-C2A29EA847C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$E5EECE35-3529-441D-8ADD-562D992C8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$DF027E55-6E21-47BB-B983-204C589D5E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$EAD52119-3637-413D-A6A6-51F8AB3F90D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$AC783F41-3541-43D2-9018-20CCE23FF057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eafc2970861edb4c7004312b82ba31ab41f8cd06","datavalue":{"value":"76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$8BD10D85-2007-4DFB-A7EC-04FD9ABE2D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$A4062947-D392-4152-B264-B068C542E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17045$363F2902-A0F3-4D97-A735-0153E8CA9975","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$F9316655-E3FF-41E7-8865-B78691292F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c727518dabc166c675c7b43ae93b867ba73107c6","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$38647EC6-4A59-4FD1-947B-34F2F61EFF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"15cf6162efa291cebe5dd972dfa4eff00017a3e7","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$6246F394-00B9-4FDA-8CE2-96C5631E217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e238dc5dc0b4042463067e088ce52f9cc637d703","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$F24D6743-CBFE-4FF2-B0BF-9D17F960D6E6","rank":"normal"},{"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":"Q17045$9BC7B38E-1014-4C2F-8FE5-F0820E1839BF","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":"Q17045$905AB3FF-D904-4CE9-A532-8E45EEEC474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$D6C20282-CC88-49B5-8CB3-26813105241F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e072a738543502cb1df91e8cb89fd6f06eabadf","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$F4C919C3-3C51-4008-88AB-641A8E70701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$B8270119-447B-4620-9FF8-A8DBE43D8C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$C797A1C8-6F8D-46C5-AC14-BE03B30DED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"12dbd2466c1d24d8d59a07e2c07a5753b3fbc874","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$6E6C786C-91C4-443F-883F-2502208712A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"929d5ae123d16d7d1416ccdcb0bb8cac6c7e0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$8D4C23D6-0C98-4251-8DCA-18BB98EFDCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$DB5CBA6F-3A2C-4B02-9455-26AA4B5763FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$742EC78E-6304-4A00-8958-12C66BCAFB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7328564303d1929bbeab82ebc64c91f01ea9372b","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$91ACB737-7CC0-4CB9-9E37-2CFEB659CE3F","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":"Q17045$E3B16A47-8374-4942-8750-0C05D7BDADD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b39d64539b14b4a543b87a05446bc10714ae479","datavalue":{"value":{"entity-type":"item","numeric-id":38421,"id":"Q38421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$C30A41DF-7C2A-412A-81B1-75726A0AF3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$8D80BA8E-8D8A-4352-B2E2-BB17B34018CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d03c375b1fbbe0a810fb04a9f9434b8658bd9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17045$D1AB63AD-DDCD-4D36-BE1E-174D2EB566B5","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":"Q17045$816F048A-81A8-4627-82A2-43535CF31D4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KLEE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/KLEE"}}}}}