{"entities":{"Q4933317":{"pageid":6962899,"ns":120,"title":"Item:Q4933317","lastrevid":51101786,"modified":"2026-01-16T16:33:35Z","type":"item","id":"Q4933317","labels":{"en":{"language":"en","value":"Clause elimination procedures for CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798908"}},"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":"Q4933317$6FAD3AC3-3CA6-4416-AB72-C5D60ECDD7C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a41bfa1d0515aaec8d9323e63d44bb24312eabb","datavalue":{"value":{"text":"Clause Elimination Procedures for CNF Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933317$FF8AC80C-629B-49C2-95AD-2312506C434B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a0cd2dd50707c9bb46a76b38c461f6e24b95b98","datavalue":{"value":"1306.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933317$2B7E7713-DCF0-47BF-934D-91711F866D24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ede347c8cae63bac554560d94c51f111cf59c68","datavalue":{"value":"10.1007/978-3-642-16242-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933317$1FA6920D-00A5-463D-8B1D-B1A1C78582C4","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":"Q4933317$3181CCAF-9BE6-4EEF-BBD1-D59047FB5D43","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":"Q4933317$284ED8B5-8241-493B-B112-2A893D37C8EA","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":"Q4933317$13B7F112-3704-4122-8143-2F5AAA8A43B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933317$B0798F5C-F31A-45B1-92F7-76FAAD1891D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933317$2E844CE5-9A5B-498D-A63D-EC101E904CFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933317$D7AB7A9D-BECB-439C-9283-16868312438F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933317$BDA53ED8-21A6-4026-AA78-A500E49A5D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92062320b4e1b97c60b9c50dbc38e283c828dbf2","datavalue":{"value":"5798908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933317$8F51735B-30FD-42B2-9E3F-B1D0C8A39B81","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933317$9CF20EB5-6BD4-405C-A7E4-69577578C4C2","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":"Q4933317$7923FC72-E182-47F2-813F-187E7A75D18E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2287bb9c761537d2f1e8798c9281e39b85ff494","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933317$CAA0AB76-B2B7-468D-B381-5EEEDF074425","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a119fffd3a478c98145b925ffc310db0afe9fe6c","datavalue":{"value":"W1564470442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933317$EEE7779E-14F5-4C91-84D6-B7405E951692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"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":"Q4933317$2AA87044-A387-43C2-A368-B1DFFB9C3CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4269f24f54f163866a6d0eb10fc176bfd58f3a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb685563150d79d6cd20b4c0363d84b60320ceb","datavalue":{"value":{"amount":"+0.8302972912788391","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":"Q4933317$D360D63E-7DC1-4F83-8FA9-5502C2A0FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994e5f3e3e72ca81969fe53e5c106688e758e8b6","datavalue":{"value":{"entity-type":"item","numeric-id":5713747,"id":"Q5713747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a5829a4ff7675de34fce4424559ee02f8c9be6","datavalue":{"value":{"amount":"+0.8252573609352112","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":"Q4933317$A62BBE6D-3F48-4AE6-92CF-7BC0C757DE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788f0a16c79ab56e04ce284ffb35c3613ed56c1d","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4851071ca8877eed453347a8e974d59d9c67008a","datavalue":{"value":{"amount":"+0.7988252639770508","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":"Q4933317$F41231F9-EC7C-408A-86F5-446780507FF8","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":"9e5c24e850b26635e3e15e387adffe1ee6f33210","datavalue":{"value":{"amount":"+0.7965802550315857","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":"Q4933317$91DCE5B2-06BA-428D-B154-E877C6300884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933317"}}}}}