{"entities":{"Q43356":{"pageid":43412,"ns":120,"title":"Item:Q43356","lastrevid":56375904,"modified":"2026-03-13T06:18:48Z","type":"item","id":"Q43356","labels":{"en":{"language":"en","value":"CaDiCaL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d121faae8a43386eed6c5e291301740de74957ef","datavalue":{"value":"31645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$9BB9352F-5EEC-4B46-AEF9-1B33A7D2390E","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":"Q43356$6754E4B5-31D4-4BAD-9B73-39FABED5C911","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"49b42cc99e1abdee8e8cb29d53fd7cd13573b2a4","datavalue":{"value":"https://github.com/arminbiere/cadical","type":"string"},"datatype":"url"},"type":"statement","id":"Q43356$4B84C113-8FA4-420F-BB7F-A918084D7232","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"f6f035fe4e25866f1fcf0c16e1d71203ad75ca83","datavalue":{"value":"swh:1:snp:820364efd78e2868ac213dd98f94759993cd604e","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"49b42cc99e1abdee8e8cb29d53fd7cd13573b2a4","datavalue":{"value":"https://github.com/arminbiere/cadical","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"b762e1da0c8d4d3efd756a1187a553421953b66c","datavalue":{"value":{"time":"+2024-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q43356$E8981F5F-7136-47AD-B3FD-86D95250DA98","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e96db3cdce64d9868dd94079e55cb7758d04c8b4","datavalue":{"value":"http://fmv.jku.at/cadical/","type":"string"},"datatype":"url"},"type":"statement","id":"Q43356$4CD70839-EAB6-4FA6-A3C7-8C0C8AA169FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$B0DBFFB3-6ABD-4242-95EA-598DA4954CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$AF33DD2F-6C84-4887-A87C-7F97CD567EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$FCCD7668-69DD-4B0A-846A-5EE6036CE65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$8837DAAE-7152-4177-8F52-A1BC446A5EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$F105E5F9-7F9C-4C5F-A5B2-BF7D46989A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$5D1EEF57-2D86-46B4-8330-F807B77C5875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$AC88BE33-C4A8-43FC-9AD9-CECDBC0168E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$6903BE81-5EA4-4192-B632-70D233107579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$979CFBAF-1C50-4A4A-961A-E5766C5C31FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$A0D9BAA7-498F-4794-B650-E1AAF3D65557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$956ADA4D-BE9C-4E76-994F-4794DD96EC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$8B458500-BA89-437B-82D0-F860745EF05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$FB466BAC-72BB-457F-BA86-80E282461F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$734FD9F4-FB03-45EE-B8E1-CBD88E0B9596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43356$6085A6EE-C972-407A-9819-5079EBAFAB1E","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c7e6852b329099c4057cb13ba68988cec7eacbb4","datavalue":{"value":{"entity-type":"item","numeric-id":1354213,"id":"Q1354213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$2AE7C7D0-389F-47D6-A5C2-9DC190FEB1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6625003e074b94179be9346690140608d3525057","datavalue":{"value":{"entity-type":"item","numeric-id":1354210,"id":"Q1354210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$C2482C82-B18A-4B26-AE7B-6B0FDE68D7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"96b21d88302f381ebecf19008b3e1df95aa2e41f","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$272E44F9-F7F7-4E2C-90E7-9B7C4AA6085F","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":"Q43356$A53578E4-019B-4870-B85C-2FFA9B15010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e28a7dc622b7d530f6322756bb2503578815887a","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$091B82E5-014B-4D97-9565-C392F06800E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2b5abf97856e6cb14daa646095346ca168e052","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$62DD02BB-E8FF-479F-9637-E74CDD9496B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6c073dc082722634375a91d63c70996976c6e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$36723317-6177-45CB-BB05-674795DED70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d9a241ea62c19819316dc010d562c6313b3903b","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$7173719D-4BD4-4A29-A944-01EFD4C7CAFB","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":"Q43356$FF49278F-A6F4-4C4D-83D6-CA7D626955EA","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":"Q43356$BAAD7F45-CFD0-412B-9BC1-0484D3589DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4dea354d88e288ce7769cf94e094255b1c32a60","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$69721492-9060-4C3A-9151-05513AD4ADCB","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":"Q43356$1D4BE4BB-5FAF-458B-9C64-0AD168000F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53b9a65755d142aaab53b35bb679c5ce2db64012","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$466C7023-8C95-46B8-B45A-8B29492C092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac316f70b70f914c2f06fb4f9b616c764d435f3b","datavalue":{"value":{"entity-type":"item","numeric-id":1354216,"id":"Q1354216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$2DF20D38-8051-41B3-9FE9-E6BD39D7801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d1fbfc19f44379302f87f91b9bef44f706f7015","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$012B2135-0224-44DE-A64D-1574B90637E1","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":"Q43356$AA26DD7B-53F2-451F-BA90-A38433137D43","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":"Q43356$2B2E7669-9FE3-4962-BAD0-2234AD7459FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a577aa16692ad2ae74a465197adc642cc0f820df","datavalue":{"value":{"entity-type":"item","numeric-id":33766,"id":"Q33766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43356$C48FAE80-5757-4297-A5CE-FC2D88F88CAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CaDiCaL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CaDiCaL"}}}}}