{"entities":{"Q2234795":{"pageid":2245538,"ns":120,"title":"Item:Q2234795","lastrevid":54116336,"modified":"2026-01-26T06:58:48Z","type":"item","id":"Q2234795","labels":{"en":{"language":"en","value":"A non-clausal tableau calculus for \\textsc{MinSat}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7411505"}},"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":"Q2234795$93BA457D-F6F3-46F1-9A02-4402C88DC858","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e727ab01f7faf740a967d4f7ddceb7a135e9679","datavalue":{"value":{"text":"A non-clausal tableau calculus for \\textsc{MinSat}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234795$043B24A1-3496-4803-A2D2-7DBFC0E13C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de8a1a11ed34c9ba7733b61f281b516d39173acf","datavalue":{"value":"1482.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$DECFD4C1-9F74-4CBC-B22E-DC780D60BE0C","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":"Q2234795$525C1FA4-09BE-4214-A5A4-6F40CE114C6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$1F6B31ED-3499-43EC-A4C0-BFBFFE0A88A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d505cd39ca96f19f450c8fbeb6d9a9721fad674","datavalue":{"value":{"time":"+2021-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234795$7873E111-498A-4882-919A-DB512B68A8D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00cae6eb03d6694f74e0847a0ab42be4534c9afe","datavalue":{"value":"The non-clausal MinSAT problem is to find an assignment which minimizes the number of satisfied formulas in a given multiset of propositional formulas. Basing on earlier work for non-clausal MaxSAT [\\textit{C. M. Li} et al., Lect. Notes Comput. Sci. 11714, 58--73 (2019; Zbl 1435.68372)], the author introduces a tableau calculus for the non-clausal MinSAT problem. The calculus is proven sound and complete in the sense that the minimal number of occurrences of \\(\\top\\) in the leaves of a completed tableau for a multiset \\(\\Gamma\\) coincides with the minimum number of formulas satisfied in \\(\\Gamma\\). The author also provides extensions of the tableau calculus to other variants of the MinSAT problem: partial MinSAT, weighted MinSAT and partial weighted MinSAT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234795$9ECF29D0-B96E-4162-9222-DC0032F3B522","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"748551b4391e5daf819d29c98559cdf77cf98d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1663239,"id":"Q1663239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$084356DA-47A0-4362-827B-56AFD0707B1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$11466E47-6F73-475F-BF60-BCC76C6D821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$3C93672B-1020-41E2-8A4B-2A0F556F9648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$FDDFFB8C-9327-4922-AB0E-70689339B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$6C1F551B-63A8-4822-B34E-D9D66115DFD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03e103f23a5c246fcb78891ffdca328189b7ef23","datavalue":{"value":"7411505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$9BE1A22A-1D37-46E8-9F7B-0DF28CF19857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588ada1adc497778c575dd99d165f4fdcd909b49","datavalue":{"value":"minimum satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234795$24D04877-8605-46DA-B871-39D170EFAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234795$15D1FCA3-5F53-4AD3-8A61-C9DDDE5BD9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234795$4D52480E-91EA-4C77-8BD7-0E63E7ECE3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234795$AEED918F-A72A-4E42-881D-3DBED0398C2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db9a3e11bfc8def7d98aa39e62594c2c96cc2801","datavalue":{"value":{"entity-type":"item","numeric-id":23329,"id":"Q23329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$F7102567-1422-420F-997A-0883531ABFC3","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":"Q2234795$04DCD203-7B0D-44F6-99A3-AFA929A6F78E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff4000df3ae6abb20bd61de6dd3075722aee722e","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2021.106167","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234795$7C0FA72E-7EC0-4E5E-87B4-1ED33F6C874D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1beec98746a6d5d38bbbf5c0185c820e1e6f7ea","datavalue":{"value":"W3183746973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$27CB1720-5C1D-40E9-8532-11511CB70CBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"542888ceb7da443f54a33e6f419ae61f757c7d08","datavalue":{"value":"Q114014155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$3087A257-362D-4BB4-96CA-D1EDC1A53C46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d1474dbea9db106dee7d36b144faf5e15c4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4583798,"id":"Q4583798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$EDF496E1-0486-4F7D-8E8E-14BCDB2E90BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f581071e8538d4822011951fb3bc1afccc76b2","datavalue":{"value":{"entity-type":"item","numeric-id":5018764,"id":"Q5018764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$25D0C027-ED6D-4BCE-A445-AE010669EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6415e299b5771a743ef6603f15f330af0061b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4933312,"id":"Q4933312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$4DFB4E09-8C06-477A-AC19-F87ACA061C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620dd26102ee661ce24f776b2a3b6e36d331247b","datavalue":{"value":{"entity-type":"item","numeric-id":2946662,"id":"Q2946662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$86EC27CF-B29C-4D75-8278-1694BF4D60D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$3EC2CA2A-93F6-472F-B1CB-56EFE9327842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5afe68a606f250c9ddf33dab134a32e292d800","datavalue":{"value":{"entity-type":"item","numeric-id":3192058,"id":"Q3192058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$B5E1A41B-E291-4EEB-B3B5-92D559537913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d8af2df779085adeca485e2691445d9b764369","datavalue":{"value":{"entity-type":"item","numeric-id":4296521,"id":"Q4296521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$94B59698-6997-41CB-9D7A-5BA834283924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b1252e38f165562e10eb9f2caa0751338e0629","datavalue":{"value":{"entity-type":"item","numeric-id":2180507,"id":"Q2180507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$4AEE6A6F-44C1-4A9E-A43B-2172AC4F5711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f7c35802c0e9f09d1d9c9e7cdf9d4619363791","datavalue":{"value":{"entity-type":"item","numeric-id":5018765,"id":"Q5018765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$6867CAE7-DCB6-4AAA-89AE-0359C7143023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec375ec9797e50b179bb591acf21a99747dd0ec","datavalue":{"value":{"entity-type":"item","numeric-id":1761303,"id":"Q1761303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$2EC2915A-56AF-46A9-8DF5-AEC4D9D48F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30ec572585cf4b40178401f51be4fda2291a102","datavalue":{"value":{"entity-type":"item","numeric-id":1351157,"id":"Q1351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$E3E4CF41-33EF-43AF-9259-981928D6A90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0d4c2d95b428d7f5e0cd7b276542ece2442854","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$6F0CAEC6-0FF8-440F-86E2-8CA7B202D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234795$B5E3B51C-A140-40E5-B045-AAF0D06334FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fa4e97e0f7b629c44951736129deec4ed979a22","datavalue":{"value":"10.1016/J.IPL.2021.106167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234795$490298F3-66F9-4ADE-9EA0-525B1E2200D2","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":"2b50dac6b36e091d58469d54a26694d2c0e67df6","datavalue":{"value":{"amount":"+0.903422713279724","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":"Q2234795$A5BB3E38-A5F2-4C89-9DB3-F85504E223D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619e4323b381785d20cfe7699dd840f731579a79","datavalue":{"value":{"entity-type":"item","numeric-id":5092559,"id":"Q5092559"},"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":"Q2234795$DE03A4C0-DCE7-4591-9878-23CFA408A50C","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":"debee235f13dc1d0c862bcb69d45cdf1cfff8731","datavalue":{"value":{"amount":"+0.7717964053153992","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":"Q2234795$1DAE0B15-3735-4EF2-A6D7-48779F3D9A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53662f7d469e3946380eb22df706dc7c81ce8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaef9253126745b0044ec6aa9081101b4a2ac47","datavalue":{"value":{"amount":"+0.7690392136573792","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":"Q2234795$83E0AC37-E669-4FF7-B436-82B8B0C0041F","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":"d389e5dae23e3566189d6b2805d0a9cff25be1a7","datavalue":{"value":{"amount":"+0.7552136182785034","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":"Q2234795$55C4ECB2-AB16-467F-9D3B-B460095B1ECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2234795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2234795"}}}}}