{"entities":{"Q37641":{"pageid":37697,"ns":120,"title":"Item:Q37641","lastrevid":56335458,"modified":"2026-03-13T06:07:46Z","type":"item","id":"Q37641","labels":{"en":{"language":"en","value":"JBMC"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"89a8d8378e9468fe0a675d10e6efb68cc306a26f","datavalue":{"value":"25908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q37641$79910087-C3E3-4B24-8D8F-FBBA0D544E16","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":"Q37641$286DF782-5B5D-49A9-A979-629A5427865F","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"07df91946f1d4ddc008009d20831a730c307b456","datavalue":{"value":"https://www.cprover.org/jbmc/","type":"string"},"datatype":"url"},"type":"statement","id":"Q37641$06E7451A-3E5A-4253-82E4-9711521D09E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q37641$41685939-0E94-4C52-B42A-8201ACB5C5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q37641$7D6FDD18-0899-4195-996F-77646DEF95B2","rank":"normal"}],"P1458":[{"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":"Q37641$A7C56453-308B-443E-AC94-6A38A5A8FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4af4abac1aab840f701d062b0125107063c436a5","datavalue":{"value":{"entity-type":"item","numeric-id":31665,"id":"Q31665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$87DA108D-51F9-484D-801B-B04562FC3187","rank":"normal"},{"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":"Q37641$ED162ECE-E111-452A-A8B4-71E4C561BAE9","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":"Q37641$B73AF3CC-D8FF-46B1-96F2-AE23D1323BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c6f750f8aa6943eb063dc33394f8d6f3f017c508","datavalue":{"value":{"entity-type":"item","numeric-id":13232,"id":"Q13232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$7ED43825-6C81-466B-9F73-4831E33A73D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc2348e1cf1948acaf152531b1616ff290d1df00","datavalue":{"value":{"entity-type":"item","numeric-id":33653,"id":"Q33653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$754725C9-4AF7-41F6-9D2A-0EBC652CFC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28c3661cef8b55fa7be63e1e0776c729123a0926","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$DE671864-7206-4AC1-BB78-257122C45E58","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":"Q37641$0DF5F24D-1A9F-4D18-A8CE-12EA4627AF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aea0ab4aa185418a08316853dcad4681c058166","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$47A57B47-C92A-4F4D-B225-F72B0F2400FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$FA17A495-B287-4E53-BB9F-6D551CB2A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6650fbf75e0dbe49568108f9d8256ad57a1c7ddf","datavalue":{"value":{"entity-type":"item","numeric-id":55890,"id":"Q55890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$57233CC0-F3B5-4A6B-954A-E74C10A2AD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d54d4fae2aa8f81f7960a49dad3bca3da3b039fa","datavalue":{"value":{"entity-type":"item","numeric-id":25235,"id":"Q25235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$2873F2BA-53BC-4E92-9824-5E3E253826C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1fe16b8996e82c531787e83c4a9652d3ef4e58f","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$F06C67D0-2E66-418F-BB26-1D47382C2C55","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":"Q37641$241C74B2-CAB3-4095-90F6-14DC052F2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f0bdd72c849b1ab62f1efacf1c7e3ec045e846a","datavalue":{"value":{"entity-type":"item","numeric-id":5974139,"id":"Q5974139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$D806874B-7D72-4892-B289-30221E519D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$3C668A76-07B9-49A1-9DA1-7A0692EC4920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$D7E8DDD9-C0ED-4B12-A49A-1124568FF6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$8889ECC4-575A-451C-B76C-C560C9CB611B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$C5FF371D-AD96-48DF-91C5-7D6AFC131563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q37641$A26839E0-91A1-4329-8E77-825914917B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"JBMC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/JBMC"}}}}}