{"entities":{"Q40545":{"pageid":40601,"ns":120,"title":"Item:Q40545","lastrevid":56357598,"modified":"2026-03-13T06:13:25Z","type":"item","id":"Q40545","labels":{"en":{"language":"en","value":"SAT Solver Verification"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"875eb27f9fee5c5a9bbe6a80236b6c4a810ce5a8","datavalue":{"value":"28831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40545$AB5EAA97-32B0-4B97-B161-30993C23A426","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"8fa3becbdaa3b6b926177038933b242e8ec3f5ca","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$D9C6F4E2-E66C-466A-976B-847DB4D92AEA","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":"Q40545$C8124293-2E88-4ED8-B073-3BF1D8AA9897","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f8acc0d026d37534203aa49d27a0fd9baa0bea75","datavalue":{"value":"https://www.isa-afp.org/entries/SATSolverVerification.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40545$12533894-A01D-4EC2-AFBF-8F5E1C1A3714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40545$60540620-B5DA-4CDB-9B0B-D3E692BAD03A","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$282BA4A3-29C3-4761-BEE3-3945BF170334","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":"Q40545$F80993E5-DC27-4387-A094-EA53E99348F1","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":"Q40545$9070C895-A6B5-4912-A824-94F0EF2F65E4","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":"Q40545$1176A89C-6B7B-4E4B-BFC0-3267CA9C6284","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":"Q40545$A6FFB236-276E-4353-82F2-A62A839B270D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$7C61594D-2900-4FFE-B544-5DCE1DE08D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$1EAEFB5A-967F-42AC-BC20-3524D5A21EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"910c0d56c707b627677af77ef9434b6a948b9a46","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$E561FAB5-9958-4D89-B15A-0280E2555260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$E2C94203-2481-46AC-BBA2-05C174293A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0c8f75759135cda8b7961f8c9fcb00c686c349c","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$0590DEAF-6DFD-4879-9628-DB38D074D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"19be57195dbd817ea4084dc22b8007528a15e1e0","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$55592FD6-CD6F-4B9B-9347-51FDBB55B099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2aad95369d69c08086a6600b609b3220c2705e","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$17CA2959-D5ED-45B0-90B2-8A276DC00328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$2ECB0FAA-C857-44A5-8D2D-FA6D3B33F7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$6C0CC826-2522-426B-A9EB-4FA8AD8CD882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3702312e6d97a69409579d346ce761c95d0ff2a9","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$339187AB-BC5E-46FE-848B-1DD5913E3D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"485b63894219b8c81472ad502491b9d2d5703cae","datavalue":{"value":{"entity-type":"item","numeric-id":31023,"id":"Q31023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$9020BE5A-1C42-43AA-AE22-B066D77F1965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c1111a4af73946d995c6025450c33305be35b38","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$E7515CF5-8634-4378-8B7C-9FC852BFB34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$432B2468-125F-43E7-AC54-FF26A1423BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8867f0360bdc88f3de7f59059d26234eaba924c2","datavalue":{"value":{"entity-type":"item","numeric-id":5973201,"id":"Q5973201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40545$9A6788D8-989E-4CE8-8EC4-5B6F2570FC5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT Solver Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_Solver_Verification"}}}}}