{"entities":{"Q5973052":{"pageid":12560697,"ns":120,"title":"Item:Q5973052","lastrevid":56477748,"modified":"2026-03-13T06:45:08Z","type":"item","id":"Q5973052","labels":{"en":{"language":"en","value":"QMaxSATpb"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ae665f3a9357c4e5ae1e1a87531ccacb34a7f82a","datavalue":{"value":"46483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973052$B1E1954D-EF14-4FB1-98A7-348EFC91361C","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"fcde4a52011de9d86849a1a6b6316551a21715e2","datavalue":{"value":{"entity-type":"item","numeric-id":2694600,"id":"Q2694600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$14EC6BD8-CCA6-4393-BF78-ECAC28EF7758","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":"Q5973052$B7BB261C-BF68-456B-98E5-A4E1B5EEAD98","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"3b6cd61213b5192f411f1f42fe07097bc0c6b777","datavalue":{"value":"https://github.com/DietVds/CertifiedMaxSAT","type":"string"},"datatype":"url"},"type":"statement","id":"Q5973052$5B33D6BA-211E-4CFB-9A30-E19560D08D9A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2442048512b477220118bc8ac8f4df50255ba283","datavalue":{"value":"https://www.bartbogaerts.eu/articles/2022/005-LPNMR-CertifiedQMaxSAT/CertifiedQMaxSAT.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5973052$0ED6EBFC-2A63-42DD-A22C-00ECD17A9962","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973052$DD9048C9-FCE2-435F-BB38-AA4DC5A10C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973052$2A388BAB-6F86-40B3-A90F-90C8767E52CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973052$8D2554B7-92A5-4523-B1CB-44C004A2582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973052$966DC4E5-7671-457B-8D0C-21795F9CFB89","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5b43378ad25c4688935e819cbfb6b2e14ff33a08","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$2F37C405-4086-4E2E-9BDF-A2FA6BEA4404","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":"Q5973052$486C895B-DA5B-4B7C-ACDD-30916EDFD83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d90cce978c3a3798884091ab15e129c9f27ab774","datavalue":{"value":{"entity-type":"item","numeric-id":32998,"id":"Q32998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$B02A78E2-6083-455A-8EF2-5EFE645ED0A2","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":"Q5973052$BDDE2468-5544-498C-A93D-6A462A213EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0185100e7ff66258b6169653b837189d45a624ce","datavalue":{"value":{"entity-type":"item","numeric-id":29885,"id":"Q29885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$19126AF3-1013-4532-8A86-D7D21DF72360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e61d7110ca6526a0feb22a643f49231c91c2f711","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$9782047A-6875-4737-8DCE-E0D3C68CA160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"787aaeec3444d6eb70be9f52518b8cae22068e00","datavalue":{"value":{"entity-type":"item","numeric-id":1354070,"id":"Q1354070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$AB48C294-48A9-4A37-A64C-BF0D0CDF1AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc5d208aafe6fae41d2e1db03d265c578258996c","datavalue":{"value":{"entity-type":"item","numeric-id":46461,"id":"Q46461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$D200F051-063B-4434-AF0D-146EEFB69E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"db3fe41c602e2f7d50776ce88118a123b7a3a930","datavalue":{"value":{"entity-type":"item","numeric-id":25492,"id":"Q25492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$611760A5-4CC1-4034-9543-5B5B55D76E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"185600e3c0f9c304b6f4feeb5db2d6ef1245abb1","datavalue":{"value":{"entity-type":"item","numeric-id":33659,"id":"Q33659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$F71D6799-FAD7-4C22-A5C5-A11CECAD89B3","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":"Q5973052$A2424B83-7467-4799-B753-B5C6B8114D5F","rank":"normal"},{"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":"Q5973052$42E42277-FC0F-44F0-A96B-F50ECD3CCD14","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":"Q5973052$A0F3E6CB-F767-468D-A8D7-51CAAC4061CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85aa8f46adb7aa66e535022b051acce698ec8276","datavalue":{"value":{"entity-type":"item","numeric-id":33751,"id":"Q33751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$8BAFCDF8-736C-4867-827C-FD638A9E7FAA","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":"Q5973052$F94485BA-E1EB-46A4-9C46-4D582E1A130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20cde90a4f699e4a3581f61a3a7ae603923d8fdb","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$EA07E96B-3145-4EED-9C7B-A878AAC75F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973052$F20200CC-1065-4DA1-9A47-6B8607B84F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"QMaxSATpb","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/QMaxSATpb"}}}}}