{"entities":{"Q5018764":{"pageid":7048341,"ns":120,"title":"Item:Q5018764","lastrevid":91194233,"modified":"2026-06-04T22:30:03Z","type":"item","id":"Q5018764","labels":{"en":{"language":"en","value":"Clause tableaux for maximum and minimum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450459"}},"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":"Q5018764$8D9FB8B0-59AC-48BA-AEA4-9C6672CF4231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c42351a7cb63f43e97489c26e09f1156ec0b415b","datavalue":{"value":{"text":"Clause tableaux for maximum and minimum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5018764$6807EBA3-58EF-4E8C-A5C7-8873D1E625E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"020b7b03434454bde83442c66980eba824126b86","datavalue":{"value":{"entity-type":"item","numeric-id":421448,"id":"Q421448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018764$AB6B32A6-1C29-42FC-8D1F-0D835BE721A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018764$CDC54A4D-AD99-4213-B02B-698AA735B663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018764$9E5336C5-EC6C-4921-9751-7800BF8A68C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23bc7cee9b5fe83587df88d1aff77427046a4f41","datavalue":{"value":{"entity-type":"item","numeric-id":2180506,"id":"Q2180506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018764$5B8772DF-59F3-487C-9A55-BDCE06A64905","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":"Q5018764$A83BF7EB-7494-4085-9347-BADCEF8E82AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef7e614aee6bc6b48c017c8ec2cbbdd223213048","datavalue":{"value":{"time":"+2021-12-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":"Q5018764$17886003-33FB-4EBD-AC3A-831C49BDD370","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018764$8768B68C-25DA-4473-ADCB-735FB9FDECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018764$BB7279E9-2EE0-42CA-9729-BC60D4B54DFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5e957ce9a593a249330b4e7a87451119d95f843","datavalue":{"value":"7450459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018764$FDB9D715-870C-4FF2-B2F7-EBA8BC28AD72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adec997d4cc3ccc52ac94baf4acdf869d81bd7a6","datavalue":{"value":"Boolean optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018764$6CC11554-28C3-472E-8A63-05464A46CD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018764$E350649A-651F-46D1-BDB8-8AF931728D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a90132f49533a1fd91aff0434e3f590cab07d7","datavalue":{"value":"MinSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018764$ACC293FB-968C-4A42-9958-38DD85C7A58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018764$64112108-7222-4CD9-AC55-4C7949328816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018764$EBDC12AF-7C44-4E2A-A1EF-4158064C47E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018764$B55322B1-5B1D-464B-BFCA-41B68E57D52D","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":"Q5018764$79A9374D-9890-4473-94AF-DCC3967EC75B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09aa5974f21d989b36969de13083719002099e3a","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz025","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018764$363E7C63-F300-4F9E-8ED2-D979B9A854A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bccbbe7f030c3f9771d871b8098286e5811b590","datavalue":{"value":"W2971244387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018764$C4360222-8874-44B6-8ACF-937C06FF5F64","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0ffe8e3363dc088827d87c84b31908f7c37547f6","datavalue":{"value":"Q127703789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018764$40E24A20-2EF6-492A-9806-A172B595755F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5366b1bbd9724fca80e5bb58c2736acfc904eb78","datavalue":{"value":"10.1093/JIGPAL/JZZ025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018764$49FB98C6-332D-4F72-9B9B-D6AEC4EE6F3C","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":"5109eea14bcf7f54be69879d5cf4e00aa71a0c6b","datavalue":{"value":{"amount":"+0.8627398014068604","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":"Q5018764$AF2312B3-79F3-4B80-A5A8-157C0AACD752","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":"1f6545af1fa3d37bb274ef821d302636414e16cd","datavalue":{"value":{"amount":"+0.8508546948432922","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":"Q5018764$E1ED50C6-2ED6-4E91-BC8E-815CBA31FADD","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":"e65b83278b07f883ddfab5620d048aa1021911dc","datavalue":{"value":{"amount":"+0.832656979560852","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":"Q5018764$CFC65FE0-2552-4373-8795-1321B010E1EF","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":"0373c405d2fb2beb593d84ac95a6f6625600a136","datavalue":{"value":{"amount":"+0.8211752772331238","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":"Q5018764$36C63F40-F7D0-41C4-8C11-10BBDA72EC15","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":"7842a2c8574657a2fd7c1c98e58601eecf6ab64f","datavalue":{"value":{"amount":"+0.8151984214782715","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":"Q5018764$8E6F521A-71A9-49DD-A50E-C5BD578EE028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clause tableaux for maximum and minimum satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clause_tableaux_for_maximum_and_minimum_satisfiability"}}}}}