{"entities":{"Q2180507":{"pageid":2191250,"ns":120,"title":"Item:Q2180507","lastrevid":72778722,"modified":"2026-04-14T07:46:10Z","type":"item","id":"Q2180507","labels":{"en":{"language":"en","value":"A tableau calculus for non-clausal maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200661"}},"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":"Q2180507$3BBA6E42-5854-42AC-A10B-67F63FB5803C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ff263fc7b698b9603d1f081a51f319ee35d2e8b","datavalue":{"value":{"text":"A tableau calculus for non-clausal maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180507$23ADBBE9-B222-49B9-BA7A-592E01CE3AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fa6548a528f71e6bfb9946fbc1d55e8ec8e14a1","datavalue":{"value":"1435.68372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$9F90F57F-2565-4171-A8DC-7750654234D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d91174e11cdeeaf9200337a39e0f58ee4dc067b5","datavalue":{"value":"10.1007/978-3-030-29026-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$40CCF77E-BAFF-427A-9AF5-61A5D29C65FC","rank":"normal"}],"P16":[{"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":"Q2180507$C851DC8F-972B-4D03-9725-8647093B26C5","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":"Q2180507$29A54962-908A-4D76-AAD8-EC4589E8D4BC","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":"Q2180507$4FA66568-8862-4901-8C5E-A621916791EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180507$146E57FE-6915-4D9A-9CA6-6207A251547B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6b4d2c776236c79912837590767946fc234c0b2","datavalue":{"value":"http://hdl.handle.net/10261/238716","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180507$9CDC1258-7A68-4CBA-8357-AAE553858379","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$81EDB589-E18C-4F4D-BD39-D91BE989156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$1948D17A-032B-4EAB-9BC6-169C0124E6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$05B69959-7686-4F65-AB10-2953AD649C61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13200dcbd5a5b79e0dbe9f2f11fc647a965bba5a","datavalue":{"value":"7200661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$43567EFD-E6D9-4535-A262-42B8B4C25177","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":"Q2180507$A1B5474A-FAE1-4FE1-9D30-D2A17F240451","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b724d93848b66a34b97b60674bd3ac70b8b4c279","datavalue":{"value":"W2969747068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180507$931C87EC-4D46-4F8B-AA23-887F0D318384","rank":"normal"}],"P1643":[{"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":"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":"Q2180507$18AE6DB5-CA30-4D45-A095-4AB4A2FCBA0B","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":"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":"Q2180507$268B6CC5-6287-42B7-9C6B-BAED160A4BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de373dba00c67603bc857bd717d548c697aa30b9","datavalue":{"value":{"amount":"+0.9009888768196106","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":"Q2180507$55E98BC1-92AA-4F13-9734-51E1DA7ED82E","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":"ec8418477a78c2a7b8ed52ce32f265cbd8137d32","datavalue":{"value":{"amount":"+0.8236767053604126","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":"Q2180507$CFF1B4C0-EAB7-4174-8BE4-C7EEFBE9D2A9","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":"0c7e9724eb6ec85e9bc69a0e58f7100065451ef2","datavalue":{"value":{"amount":"+0.7990175485610962","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":"Q2180507$80A44BF4-E05D-4792-92E9-8C4AF3A17DA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau calculus for non-clausal maximum satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tableau_calculus_for_non-clausal_maximum_satisfiability"}}}}}