{"entities":{"Q15887":{"pageid":15943,"ns":120,"title":"Item:Q15887","lastrevid":56929566,"modified":"2026-03-24T17:47:20Z","type":"item","id":"Q15887","labels":{"en":{"language":"en","value":"MAX-2-SAT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"391cb6b772077c1370069c320fbb71553c06ab9a","datavalue":{"value":"3355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$0E14ABA3-984D-47A6-A95F-4048C8817A19","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"9478069b869ca5ff5fba684d2a5a8e425b01194e","datavalue":{"value":{"entity-type":"item","numeric-id":4501522,"id":"Q4501522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$DA4CAF83-480C-453D-A046-20262995348A","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":"Q15887$13A220AC-5566-4408-BD51-504AA6FBC0EC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3572960e2395bd8608c1d5fa4b40288dfa685ae4","datavalue":{"value":"http://logic.pdmi.ras.ru/~hirsch/sat.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q15887$DCD524D2-0A86-49F7-AAF0-000713FBC622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$4AC33B60-417F-45C4-940B-997DDD9C7D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$8DCBC165-EDFB-4B63-AEE9-4B0AB8312D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$1C567F46-4CE0-4515-9012-D5345D15F289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$EF2B1DAE-FE52-47E3-9C69-2C6B99364EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$BF796C20-89F6-41CC-8962-F11DAF36B7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15887$EA053A0E-9EA2-494B-B113-CB8BBBBED910","rank":"normal"}],"P1458":[{"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":"Q15887$E9CB9A7A-B944-4ED1-BC49-88DFA754EF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4da18989a4c3f83bd1cd1918e64c29f30a1fa3ca","datavalue":{"value":{"entity-type":"item","numeric-id":12937,"id":"Q12937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$9238D19C-5A37-4EB1-BC7B-F1ADA74F05A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"30d32c0023a271ff908d48d5826be341facd36c2","datavalue":{"value":{"entity-type":"item","numeric-id":14538,"id":"Q14538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$C5A6BB40-9DE7-4408-B741-20699953F1CC","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":"Q15887$DDFEAC68-6F8F-43A5-B236-F0DFEE9D167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a36999a113def92ad540b5562ee17cc7bc34461","datavalue":{"value":{"entity-type":"item","numeric-id":16192,"id":"Q16192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$AA2AB5B1-6D07-455A-8C38-1E0FAC4D369E","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":"Q15887$2491603C-D7F3-46ED-AC7C-8A39DDA0FACC","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":"Q15887$C1D462F4-DD74-4C5D-9030-4C0D661EB306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32d494f84a32ac3c004e7c4e55475408a541563e","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$57466B32-A541-47C6-92AA-BC1FF964E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"610cffc5a5de32b23d4d120a1828d0d562795e4d","datavalue":{"value":{"entity-type":"item","numeric-id":16946,"id":"Q16946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$230F9573-81D8-461E-A3FE-EC1245CE6770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fb177ff845a0825d39f15f7990a73d8f52a6def","datavalue":{"value":{"entity-type":"item","numeric-id":15807,"id":"Q15807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$7B762153-20BE-4EBC-8EC7-0E2A05D16224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"06b9f7664a55f37d3896f4f7bf944468dd1fc856","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$C991BBF8-B76E-4548-A9E2-9157A6C6AE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b7f095a92b782a02bd908fa7df9ee86d1fec2e50","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$CD44EABB-8ABC-4A9B-AC29-AB45F6298677","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":"Q15887$AEFCDE31-218E-4551-8FD6-E25C7ACA9D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74146d974647db251c3f3c72d131d04acf8668f6","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$07F0B430-2C6C-44F3-BD30-DD5AA8269AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dc25a8747eb3cf362d1aa74d91f52e82bc80877","datavalue":{"value":{"entity-type":"item","numeric-id":13776,"id":"Q13776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$D8D81037-3D1F-4523-9E6E-15AAE06558C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f014356e955a4890f179267ef98314ebed729bfc","datavalue":{"value":{"entity-type":"item","numeric-id":16199,"id":"Q16199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$A7EB2F53-26E1-4D7E-B580-0B923E17D7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c0643ed48e2fbaa5ca11e3415e758a5528ea88c","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$EEC26A07-4B62-472D-948B-F36FCB3723A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20a2f59e5f8a9777951b362c6d1eb411ee4a7b19","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$F2C7651E-C364-4340-8BEA-B5F005FA11D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9d30f05e044fbb678ba40c706a85f88715773ae3","datavalue":{"value":{"entity-type":"item","numeric-id":16875,"id":"Q16875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$E837AEAA-1C0A-4F40-996B-8FBCCBEB166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c38796a1d1527aa5fcaa5923719b6e8438d1540","datavalue":{"value":{"entity-type":"item","numeric-id":24801,"id":"Q24801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15887$13C74316-EF0A-4761-800E-B249E26F38A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MAX-2-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MAX-2-SAT"}}}}}