{"entities":{"Q12856":{"pageid":12912,"ns":120,"title":"Item:Q12856","lastrevid":56522058,"modified":"2026-03-13T10:06:28Z","type":"item","id":"Q12856","labels":{"en":{"language":"en","value":"Boolector"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"00775c5b470e11b56e8ca7f00dffee5352a34b1c","datavalue":{"value":"85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$A6DA3399-9240-4149-9449-4077F874ED83","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":"Q12856$973CCC9C-2C6C-43D0-B9BD-CB6E7E315AFD","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0fc8b1ff842bba2ef9e73d31f2ae0b942762551d","datavalue":{"value":"http://fmv.jku.at/boolector/","type":"string"},"datatype":"url"},"type":"statement","id":"Q12856$9AB0B291-423A-4D73-8200-EE8C29D41DF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$55AC3995-0CCD-4C05-80FC-077E98D0B845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$D58DA673-4DB7-4A17-B468-9E237447D20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$23D52F65-5CB6-47E8-9CC3-D6A5536C3F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$339864C3-C12F-47CA-A39A-E3570615BB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$952DF18D-1859-499A-8FF6-AB688CFE8402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12856$1175A43C-8FB1-4E64-9561-FEA92A65CD11","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":"Q12856$FC7A2A15-5CC0-4E6A-ABA2-08F4541B0991","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":"Q12856$6D24AB40-F348-4F35-B008-9E54345C4EC5","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":"Q12856$9FBBF0A6-9178-41BE-BFCA-C9CAAD1AFC0B","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":"Q12856$6E9080FF-3FE6-43C3-B182-B60C01BB4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$5DA6586F-31CE-4A98-A16E-59A7D2B758F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2edf404b472c4aa4442b7f47053e26ebff166fa","datavalue":{"value":{"entity-type":"item","numeric-id":1353546,"id":"Q1353546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$E83CF219-FBEA-4803-83F4-6E0FD5AC476A","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":"Q12856$3EEF6029-2E3E-4CCD-8254-B16477D90D87","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":"Q12856$CF274ECD-F831-49C7-A3CE-7B915DEFA665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b69dfd6aefb61fb62fe0c9bd5bda4c391dd9a94","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$FC0B7A0C-A8D2-417F-8125-A56473287ACE","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":"Q12856$658F02DD-7C68-48DD-9BC3-04D52B09C8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$4BECAF4B-48D5-4E49-A79E-69744C087161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60b0b9c91adb8d09f1c02fbec7661becb3b46ed9","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$824B4803-464E-492A-A943-FFFA5F7ABB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"67dd98e79593da7fb2523abb7bdc433bc752d2ac","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$FF0677F3-E448-463F-89DB-F764B438DCD7","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":"Q12856$32B48000-EFAA-4D86-9E13-C930EAE7D688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"827838c16ff6199af0328a8495e277b76839ef42","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$C62E08A2-F22D-47D0-A50F-A1434F4ABA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$583F8575-C1E2-4CCD-8A4A-43E867CB686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53ea2bc537887160fa1f4aed4e41eaa700bbce69","datavalue":{"value":{"entity-type":"item","numeric-id":41082,"id":"Q41082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$F8C0A207-0179-427A-9631-D7369D71DEA5","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":"Q12856$E30B1BD0-1F60-41A7-AF6F-323B216322B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b37a8a80b69a51617bb49d05d0c34a944056f381","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12856$E81D2224-0D40-45AC-A724-FB8785181FD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolector","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolector"}}}}}