{"entities":{"Q5092559":{"pageid":7122135,"ns":120,"title":"Item:Q5092559","lastrevid":54369359,"modified":"2026-01-26T17:21:53Z","type":"item","id":"Q5092559","labels":{"en":{"language":"en","value":"New tableau characterizations for non-clausal \\textsc{MaxSAT} problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561911"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092559$E255E1DF-968E-4FCE-AB83-42B67640620A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ec4d5d93ccac0481b0c402b6ab963775ec60efd","datavalue":{"value":{"text":"New Tableau Characterizations for Non-clausal <scp>MaxSAT</scp> Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092559$CDC75BB7-0E9B-489F-9F38-891B02AA5DD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae4b5fbb90e548d8ebd90c9f4086a9f1771a2faa","datavalue":{"value":"1494.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$49FBC2D9-2DD6-4FE5-9077-E90A5D678BAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092559$958BA607-34C4-4A36-9EC8-3515FE7A5DB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092559$02230A1F-D8DA-43B0-AFF0-E8E4F5DB1807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d46ecef1ec827ad3e2f040d1d1db4685eddc02e8","datavalue":{"value":{"time":"+2022-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092559$D4FEB285-D85D-4979-8F1A-968C83D7AE3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$07AD53FC-469A-4E24-BC30-6E9931844C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$863118C1-0573-40E7-B65A-52B0499B487F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$F4223A42-D098-401A-8DB4-A20FCCB3DE20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52e69bcf402603efefa14fa8866a251464478e3","datavalue":{"value":"7561911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$C9AC9260-4D7C-454B-898D-3DEFA2DEC230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f9837579cc0a5a32082cb8260f92b9843268e16","datavalue":{"value":"\\textsc{MaxSAT}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092559$2572C0FA-A711-4FF3-BB24-E01002550F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092559$E515559B-76EB-429D-B2F1-648B01707804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"957820a00f9660a33d1715c825840ebac4859c6e","datavalue":{"value":"non-clausal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092559$FAA58837-1E4C-4962-86DE-3C63B0B2FAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092559$6B41A003-D154-4367-B775-0C48AC1594FA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092559$8A814B10-A6B7-4930-8399-16683A4086BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75654b25ae39836cda206e1eeee265b83ddd10ea","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzab012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092559$07FACADA-ED62-466B-A7A6-A2DD9D065234","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623bbcf68ae985504baeef97cfbcb1aea2b9abf7","datavalue":{"value":"W3137140266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$ACE386FA-4CD6-4A82-91E4-1EEFF40EEDC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d375d425e11a5a24bbd2707ce67050e7f4ba7822","datavalue":{"value":"10.1093/JIGPAL/JZAB012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092559$1CEFE0B3-551D-430A-9C90-10F3A21A034A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33b6682b5e9081a197f3d038d4b731e316faf21","datavalue":{"value":{"entity-type":"item","numeric-id":2180507,"id":"Q2180507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de456663093644d6a586db57030dad9424ccd75","datavalue":{"value":{"amount":"+0.909403681755066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092559$D4434F29-8A7C-46A7-BD69-16AED35F7BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b78f1eb7fa9e877f584dfdd09863d398df1a279","datavalue":{"value":{"entity-type":"item","numeric-id":2234795,"id":"Q2234795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1e8bb540828e7d47c8e8abf5d8473e21b866d3","datavalue":{"value":{"amount":"+0.8886725306510925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092559$CDC892EF-798B-4906-B260-4AAC9EE98393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd1d9d2229979ef301f7231ede5168cba5eadad","datavalue":{"value":{"amount":"+0.8649189472198486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092559$84019CDD-3117-4186-B5AB-31F381FFBD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e98ed37361c6e50899f7764860f279c641aa03d","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a2aaf7c4b2def4f4bf22c7a2ad64dd86a9434a","datavalue":{"value":{"amount":"+0.8046749830245972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092559$ECFD2C0E-2688-460B-A309-82A6EC0DA5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796ca7778e8044d2d0932db568498d67a7ae8b78","datavalue":{"value":{"amount":"+0.7788660526275635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092559$5E5B204E-45EE-4393-A520-D9251622D858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092559","badges":[]}}}}}