{"entities":{"Q2219060":{"pageid":2229803,"ns":120,"title":"Item:Q2219060","lastrevid":57799371,"modified":"2026-04-02T14:13:56Z","type":"item","id":"Q2219060","labels":{"en":{"language":"en","value":"Generating clause sequences of a CNF formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297779"}},"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":"Q2219060$6AB9C53E-212A-427F-8192-6CA2D7023DE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3361febaf31affcd369b00bdd46de9ca875a767","datavalue":{"value":{"text":"Generating clause sequences of a CNF formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219060$4ECA8F66-27F9-4008-A05A-3F60F8648C20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8becfcf05db3fb157ce15761c0bf41605a2968e","datavalue":{"value":"1476.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$962A5AF0-6F21-40EC-B0E4-BFEAD5A8B954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6be74b3b3aea4fcaadf00582dd1aad27b9ec27","datavalue":{"value":{"entity-type":"item","numeric-id":414632,"id":"Q414632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$FFD1D7AC-EA55-4CD8-A3BC-96D7E47E219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$0FAB1239-86C4-48F1-AD0E-9D71E2B88C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db66f8f8eeba705ad18f41f8ce73717dd91f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":392183,"id":"Q392183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$6A1CA866-5106-4960-8BE5-316BD1FBE5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa48f1028b234c27f9bc905789909c202f226910","datavalue":{"value":{"entity-type":"item","numeric-id":392184,"id":"Q392184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$F82E29DB-B3C3-46AA-92C5-06C30C88563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$84141671-83D9-4035-BC3C-8A9ACF584215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fefe00fe11451201e2007cb77a6995a7eff3756","datavalue":{"value":{"entity-type":"item","numeric-id":835214,"id":"Q835214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$A3A72FF6-30A9-49B6-A10F-F714E78BACB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$3156B19F-9AD3-4DE7-96E7-CA10EE955FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-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":"Q2219060$03AF5B3B-F3A4-4B26-808C-4312C9D42E90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595a83d0ebbefb01791f7297b7a02111d968afb6","datavalue":{"value":"https://arxiv.org/abs/2002.06727","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219060$BD23C658-C5A5-416F-A8DC-CC243C63FD94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$61FD6321-55F2-4DFE-8B9F-6B654D235107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$D0886B3C-4637-495C-91BA-6EF35403C4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$4C1BBA4E-A8C6-49D3-B3FF-616A9436988B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bb87f82af9df90618a977f1d8c8b25e07491680","datavalue":{"value":"7297779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$6FDDD690-3B47-48E8-82D2-FEA17EE3B599","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219060$E4989E86-6FE9-43E6-8F11-3E54876E8A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e356060472f533bbc2b33596810b1dfd290ab1f","datavalue":{"value":"clause sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219060$478D2177-7740-4913-BE31-DDB379982BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219060$EC6A5BA2-A802-46BF-95A9-C4B1C4433DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e7f61a8f056cf5734dd302513cf87a92daeaf4","datavalue":{"value":"generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219060$3104C785-AD74-4375-B6BD-B7C9DBA2FA07","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":"Q2219060$55907D51-56CF-4974-B79B-30825AFA7291","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bc94d63029f8afa8b22df981d1fdb879dfa1ff5","datavalue":{"value":"W3111239883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$663C5FA1-F410-4680-B447-165AF8CB87D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bae78f6ef006c8982111c3d32ff92c0e1d71ea","datavalue":{"value":{"entity-type":"item","numeric-id":2943555,"id":"Q2943555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$92AD0BE2-4713-43FB-9230-80894921C102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c525a7476d9c79884dd0c4a61d601f3427071a","datavalue":{"value":{"entity-type":"item","numeric-id":414933,"id":"Q414933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$BECC26E5-4E0E-477F-AD9B-03DC3A48C466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1003d632eb363548eee6704599e419141f35b768","datavalue":{"value":{"entity-type":"item","numeric-id":5276203,"id":"Q5276203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$DAA51BFF-FAE0-4991-AC2E-6AD364A9C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$DFCF5485-2CA9-405A-B944-82A3A38383D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a75da9ce2ce33caec5e27b4e5bd7fbd727418b","datavalue":{"value":{"entity-type":"item","numeric-id":5464572,"id":"Q5464572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$4A04EF7C-17BA-47C0-8C73-B7F3CE9FD6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4628e3e8764688dbda8a25a2421c9a06e1fbbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5226843,"id":"Q5226843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$A0E26DD5-033D-48AA-851B-1A14FA557588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb85e2a08b123210f7ea1cf8a8c1c958121dd184","datavalue":{"value":{"entity-type":"item","numeric-id":4138754,"id":"Q4138754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$640D0537-DD89-4C2B-9745-CDEE3ADB3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$B2518F4A-5B39-4ED6-9D16-6347970DD013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a700db12d35919903ce0c2784e58dbd1487eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5315378,"id":"Q5315378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$677E5B31-4926-4419-A346-9A70713AFAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$EBFF1D2B-824A-4141-95D9-CB3912801734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$1CDF9963-0391-425A-B706-D358815F50FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c66e79cf8f4a8f0751a40aa1aa4d871c49c842fe","datavalue":{"value":"10.1016/J.TCS.2020.12.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219060$485D8770-ED3A-41EA-8AA1-60C86DF15166","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d438c5647f094771755b5a4a4ebb6cd2455aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235bbdce8f3c9973855334a8458a5bb633cd53d1","datavalue":{"value":{"amount":"+0.7522587180137634","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":"Q2219060$1DE3A230-C751-4AE3-A97C-B5C690E5DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733d6a0f3ce9bdebf7f80ed945f8d96f7adc1710","datavalue":{"value":{"entity-type":"item","numeric-id":827897,"id":"Q827897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823bd60a3bd19bdace0e92675f8bdc0ceb6cb4bc","datavalue":{"value":{"amount":"+0.7514680027961731","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":"Q2219060$C547374B-E076-4462-AD32-B35DC7CA0537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913d3a0e9758b7606d499e28a0ffca6ad68ae2ea","datavalue":{"value":{"entity-type":"item","numeric-id":294760,"id":"Q294760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0fb15e90f2bf7c44e1caaa0c081b5a994d49c5","datavalue":{"value":{"amount":"+0.7361873984336853","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":"Q2219060$297B01DF-AA30-4CC0-A3E0-E7EB199C358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3541c4517e0fc2ecbc830f321989f9b15835d8ac","datavalue":{"value":{"entity-type":"item","numeric-id":5739835,"id":"Q5739835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f88129e2fddeabceb0d6b6ccad8f7c17083147","datavalue":{"value":{"amount":"+0.7269188761711121","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":"Q2219060$C064F52E-708A-40C9-81BA-EBC2AB38BBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812a2fc98093638ac533509c7176138f5feee3f1","datavalue":{"value":{"amount":"+0.7248061895370483","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":"Q2219060$9B28A763-F37B-4AE4-90AD-64AC7CEB5C0C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219060$1F18F8C2-9AF9-48EF-AF8D-08520B7BD99F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219060"}}}}}