{"entities":{"Q23394":{"pageid":23450,"ns":120,"title":"Item:Q23394","lastrevid":56255997,"modified":"2026-03-13T05:47:04Z","type":"item","id":"Q23394","labels":{"en":{"language":"en","value":"PMiniSAT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"672f1657fa0f3539928fc04410cf47660a8d8d99","datavalue":{"value":"11452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23394$61EA88A4-50F4-4D00-B8FB-1E6587FD375B","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":"Q23394$D70D3B9A-19A0-44ED-AFCE-F0DE479AABB3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"332f5558d3ec42cfcb6ce0b0f3f0187cf29f4460","datavalue":{"value":"http://baldur.iti.uka.de/sat-race-2008/descriptions/solver_32.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q23394$DCA3ACBD-8A9B-4FBF-B197-2E52383D5AC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23394$1338C34A-C10A-4274-9470-007B65339670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23394$B70DFE84-6DAC-4EAC-8617-AD495F038850","rank":"normal"}],"P1458":[{"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":"Q23394$8484D41D-9B2A-49BE-898A-480E0E94D517","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":"Q23394$071B0455-F652-44E5-9AD2-AA693105442F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"43e84f76dd71045e94f4cadb48cef32c033a4f1a","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$9E2D4AA8-6F6B-4A82-B72B-7E7D338AFC36","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":"Q23394$5710F539-7251-4387-B42E-744CD4811949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"84f31e6b2e406669ea0622fb61fc5032ef64f1c5","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$1CEA5D4B-CB22-4CA7-A876-052831174B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a6acc2b70a6434b0341e5d8c6a919729d0e0a1c","datavalue":{"value":{"entity-type":"item","numeric-id":14509,"id":"Q14509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$EA7C4F05-48E6-4909-BC27-8CDEA8FFA570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"94b203e171f0110c41872f4a7fed8dada27b7cd5","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$2E82AAFA-859A-4EFA-8551-0CA00E94FD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a29e28d9e3c1ee6aa6c80730488a63a9f94cc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":19060,"id":"Q19060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$E0F6A7FB-2DC0-4E65-B9B8-950ED4C45D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b70a386d0d06eddafe07c186e72f64fad470eb9","datavalue":{"value":{"entity-type":"item","numeric-id":19061,"id":"Q19061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$BBDC6B2E-7EEC-4DD2-A7A5-205C92E52F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d713a79d23b14edec2c301692068d258b595bbf","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$4C075C15-1D74-4101-A0D9-8E9A2344E20A","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":"Q23394$14B9C153-99ED-4581-827C-F8A87996D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"212cfce81320d822079b3218eb4033b04fd5ea71","datavalue":{"value":{"entity-type":"item","numeric-id":23399,"id":"Q23399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$FCD46666-7B4F-4CF5-BF2A-B089639CA976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b853addf154743645437aff9f8dd6474d32d303","datavalue":{"value":{"entity-type":"item","numeric-id":23398,"id":"Q23398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$A10320CC-19EE-46DD-9997-B9F3BF4C9E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"700b400b2be825b1ab26e7faf3c6b9695d1a4d6a","datavalue":{"value":{"entity-type":"item","numeric-id":23397,"id":"Q23397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$9CACD7CF-8A98-4025-A40A-AAB5C4480B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"501fb700d14f32bd550f25933a7a5f6ced6359f5","datavalue":{"value":{"entity-type":"item","numeric-id":23396,"id":"Q23396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$F3A38231-3549-4894-A797-54FA3190D848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ad926912b8a33725ea36967957b48b8ef21b672d","datavalue":{"value":{"entity-type":"item","numeric-id":23395,"id":"Q23395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$662C2A6A-26A8-4EEF-8E73-EA82D1FFD289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf3522d84556a75529343b0a9112ceebfd06656c","datavalue":{"value":{"entity-type":"item","numeric-id":18600,"id":"Q18600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$02145391-664B-4405-89BB-4A8C520D42B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"22bcc122372963f9b59fb988669ed36464a2c046","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$097EE4B5-2F9E-44DB-9EDD-7486A1FA1D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0a1440c031278a8f69dbeeb43ad704028362b37","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$36A7433D-28C2-4221-82C0-7188776D598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"49feff0f1e06c7627e2b98d7cc0cf7684f04f999","datavalue":{"value":{"entity-type":"item","numeric-id":23393,"id":"Q23393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23394$EE1EA7D0-F8F5-42A0-99E2-83D849EA52E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PMiniSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PMiniSAT"}}}}}