{"entities":{"Q2941732":{"pageid":2952452,"ns":120,"title":"Item:Q2941732","lastrevid":52330643,"modified":"2026-01-21T11:28:33Z","type":"item","id":"Q2941732","labels":{"en":{"language":"en","value":"Clause elimination for SAT and QSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475322"}},"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":"Q2941732$F09CEE64-CACF-42C7-B165-9398D0F30AD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c7b8ef7f520c44a2dc87006249fd3b7066ccef7","datavalue":{"value":{"text":"Clause Elimination for SAT and QSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941732$420A2F9C-C7BE-43C4-B642-8BCA7A7ADE29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f849720118990e756b9d79a1d2026ec9d64710d","datavalue":{"value":"1336.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941732$4C6DF989-A49A-4A9A-94FB-4A04E6B56A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941732$CD523F71-A89B-47DF-A806-760D46F71F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941732$78B6D92B-6D51-46BB-B012-007BBA93204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941732$E414CCBE-9551-45C6-82EF-274FB8723B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941732$2DD48670-B0A3-446F-BAB7-216A53CBC525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941732$8E493698-ACAF-4E0D-B6AF-FE227ADD78DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941732$A2B4131A-2C0B-40E7-83FF-F805ECE9B519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941732$5B4ACD5A-1444-4701-80FF-53CD26143C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941732$AB65C194-E050-47B7-848C-721112203158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a063ba388c8208150a52424b0b912691ac799a83","datavalue":{"value":"6475322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941732$8FBBF7E0-559E-4A93-B098-843D5CDC8DFC","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":"Q2941732$01A54DDC-73A9-48B1-A659-2512E376D0C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4667aa64cbcdb8408b874039f228752f83077e06","datavalue":{"value":"https://doi.org/10.1613/jair.4694","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941732$530CFFFB-3060-41BD-9E42-787EE025FCA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2426710f609aea122d6e964c2badd717d102083c","datavalue":{"value":"W2212515300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941732$0D31A5EF-09D7-4E89-85E4-AEC2C507EFC2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f972bf18a7a08e2d3c67989131315fc632321927","datavalue":{"value":"Q129489075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941732$FCBEF5BD-E8C6-444C-9198-88FD9A1C0AAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c86da978a382b387eb559bd706bf866097d663ab","datavalue":{"value":"10.1613/JAIR.4694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941732$2FBD4D96-5312-4E56-B80E-A402F7114F98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7d4f963e6140eee104f8bc9927781326d99f0","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33191189268060d2c64d3f3793cd4cea42ef55c2","datavalue":{"value":{"amount":"+0.870439887046814","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":"Q2941732$16BF9DDC-2D84-4383-8FCA-79C2D7498A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaf83c4e5c1b8c341a0d2e5c5dd8741ad36629f","datavalue":{"value":{"amount":"+0.831395149230957","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":"Q2941732$0A75D2B0-FE98-496C-A3F0-4B8E6C844101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7052f4231baace1e92ccc7b2f12ff9fe359ad65b","datavalue":{"value":{"amount":"+0.8227485418319702","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":"Q2941732$35C8AC1D-18E8-41A6-B6D2-B7ADE043C76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21cd9955e33e781b6d9ac9dd9ed690b1848946da","datavalue":{"value":{"amount":"+0.8062406182289124","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":"Q2941732$8D516FA7-6A64-450F-AADB-B32F4C7D2DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889c411f3b68395fd1dbfef8e4d7d90fbd5ca1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1983709908ac2951383426fbf9d5a19f452db672","datavalue":{"value":{"amount":"+0.8034982681274414","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":"Q2941732$463DC7D9-882D-419C-99D5-02C28C239705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941732"}}}}}