{"entities":{"Q2701980":{"pageid":2712725,"ns":120,"title":"Item:Q2701980","lastrevid":47583673,"modified":"2026-01-02T03:44:50Z","type":"item","id":"Q2701980","labels":{"en":{"language":"en","value":"The SAT problem of signed CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574458"}},"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":"Q2701980$2DB3FF31-284E-49A5-B774-1B08F1CAE129","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fca08ae08fc71d074128a3f7f75bcff098d2951","datavalue":{"value":"0966.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701980$28675C97-05D2-411D-A79E-FFE68ED7E56C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701980$743EA324-9731-48C0-900D-F397083959AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701980$8EB99104-20A7-40EA-8BC8-D602982B1D1D","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":"Q2701980$F34D94F6-5984-4585-8EDE-C4E32C380A6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763e2fac54cd7102c0b681a36ae0f081948e4e0f","datavalue":{"value":{"time":"+2001-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701980$DA16431B-9560-49B4-A1D5-F93ADA90E8F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701980$BCBE483D-AB68-446F-BA63-90199F1FE932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701980$13C992AB-16B2-4129-950B-DDCAE1EE6A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701980$CB9FDBEE-BDE1-4927-AEFF-2D0322C73E9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b206a7da412b4a24dd42a5a2d478d43d47d3b089","datavalue":{"value":"1574458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701980$02CD557F-6167-494E-B8A0-FE2F4915B8DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b166b701d58d883997cad9f0328504d2bb78187","datavalue":{"value":"signed conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701980$5C607B1F-2523-45E3-BECA-D18DA3A2FAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701980$84802542-DF53-4DD2-A65B-DB46F7CA0889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701980$B99B8AAD-ED29-49D1-AF60-05B198B2E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05caa8c15dba532c1707ba32989d3242f6f059e8","datavalue":{"value":"signed literal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701980$355607A4-F469-4AE3-A775-FBE750FDF19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f105ad44a21b3b7884ffb769bd0c80382596641d","datavalue":{"value":"logical language for knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701980$D3D09BF3-4611-4F38-B408-9776AA308C0A","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":"Q2701980$D1689434-893A-4337-B828-5BAB449B6B8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44bd9d4cad23fff2ec2faa17f278a414e5ae2b12","datavalue":{"value":{"text":"The SAT problem of signed CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701980$8583B44B-3ED0-46B6-AF9B-E9BDACB2633D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97eea7ff95db044d83741b6329ea562cd80eaef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542611,"id":"Q4542611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7b5a32930652e538a9cb8070bc9c906e79ddd2","datavalue":{"value":{"amount":"+0.862546980381012","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":"Q2701980$5F11E3D2-3C76-4ED4-99C1-3A74C02FF5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a310df75cd2fae920b256198da8236162f57d0","datavalue":{"value":{"entity-type":"item","numeric-id":1977918,"id":"Q1977918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42dd3a4852183c29c9a8a1010d6098035d482240","datavalue":{"value":{"amount":"+0.7921479940414429","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":"Q2701980$206B476E-A17B-4968-8D8A-76F35F2B7F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c4b6fc671a8a5dd3d7d316e25e93f3b46195b5","datavalue":{"value":{"entity-type":"item","numeric-id":2510176,"id":"Q2510176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca01a2d065804740cde1879c4de02a53273809b","datavalue":{"value":{"amount":"+0.7851371169090271","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":"Q2701980$02D61ED5-91DA-4E62-8507-2802FA4D8B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8856d1c6f16e9a2723e202741471bdba20e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":5475258,"id":"Q5475258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acbba4b4ea8c94136cf07ce5fda969db46ce9556","datavalue":{"value":{"amount":"+0.7625434994697571","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":"Q2701980$EB17DC6D-2E53-456B-9330-91F4D9EA43C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f115160aa1470a97cf91c353be35bc21e7c491","datavalue":{"value":{"amount":"+0.7485165596008301","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":"Q2701980$8A2E01AD-5624-43C9-B981-6AE3E488D8D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2701980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2701980"}}}}}