{"entities":{"Q703486":{"pageid":705335,"ns":120,"title":"Item:Q703486","lastrevid":63746211,"modified":"2026-04-11T15:16:13Z","type":"item","id":"Q703486","labels":{"en":{"language":"en","value":"Linearity and regularity with negation normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126079"}},"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":"Q703486$C3709FA4-6E08-4DAA-864A-ED1DB37CC7CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03195f6111085717772e45ab9d8dc8b9c0c698bc","datavalue":{"value":{"text":"Linearity and regularity with negation normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703486$385EC23F-0D31-43B2-9EBC-6BF20C8A760E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a67edc8a0e270e60f210d54a9f8981838f1ea03","datavalue":{"value":"1071.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703486$F96FE24F-58E0-4568-B3AA-369F5BB18C44","rank":"normal"}],"P16":[{"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":"Q703486$783D9435-E80F-48E3-9FC6-A6421F99D9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$9E73FD17-9EFE-458F-AAB9-064D4CCEBDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$6B415D22-DB25-4F07-A631-020025194330","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":"Q703486$7747AA23-47A7-4F8D-8514-DD1134A452AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703486$5023E686-8754-4656-9AC9-DE5AF7BC092C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703486$EE15DD2A-842C-49B8-939F-525F47AEE06C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8630aeb4e429f21509ef0f94304329e9b97e30c5","datavalue":{"value":"2126079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703486$6D57D884-3ABD-49BE-9E61-B59BFFC5CFC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85745d8965112db9a93755ffbfbc90c80e630c0b","datavalue":{"value":"Automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$4CE3E7DC-E61F-400B-B47C-B80955C00D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c09f008ed2e6c8dbe0128b56ba6e76c8ee9cf00","datavalue":{"value":"Negation normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$C22545AA-F1B7-4BFE-838A-AD2C53456B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0530ef18563772d3f741322062bf074cdc527e","datavalue":{"value":"Resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$A2F783C5-0892-43EB-9D3A-DAFBA4216545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f4b821493ef40472c66aa8039003fd8034cbc7","datavalue":{"value":"Linear resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$98B37157-4699-4393-86E0-EDCA3CC19609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee7ab8dab921d954acf43d17faef3b3933b61ea","datavalue":{"value":"Non-clausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$7AC987BF-62C5-461E-86DA-6C8905E03614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72bdc05f80ec81feb47a1c1305d4151a049dc2ff","datavalue":{"value":"Tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$8626922E-EADD-4CA9-84D6-2BEFBFADBC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe94d805eb0e68efb431cee97e75f29067a2ede2","datavalue":{"value":"Regular tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$F2246C52-D634-401A-B89A-7B04C9944FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95ab3b56046ec9705bd9085edc15640c8923aca","datavalue":{"value":"Excess literal technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q703486$DE6B2EC3-070F-466E-BCCF-E02200A5B7AA","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":"Q703486$6FAF0EE0-4A3A-4B84-8A91-DACC62E6419C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d080b7fae7f1816efa13db2795331ec6eb6c00c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q703486$65D90C51-5547-4FD7-BF13-383EC13BD3CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55b10468304bf4069f3deea8531ae6f6fb35e74c","datavalue":{"value":"W2070794501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703486$5B869103-180B-4D50-B98C-43670FC2122E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$C0958FD4-5DCB-4BFF-8A36-1C02F78089DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$C86F5335-131B-4F12-A12E-36D094193796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$F943A539-C4CC-412B-8B91-FBF162BFE876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d51506a7596e8959151c2c9b9334a415c6932a8","datavalue":{"value":{"entity-type":"item","numeric-id":5210764,"id":"Q5210764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$FC4DC4D7-1109-444D-A946-00B9A4AB3A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$D701D4C1-1F5D-406D-B6FC-2235D972BF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$55241E86-B1B5-4BB8-B6AC-43053B374C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$2ECC3259-F087-4026-A1C9-364BD548F5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$69C9814F-3428-4182-88A0-297296CD7EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$BCBD7C9E-CE1E-42F2-9395-A7BCF2727040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077e5b1460ec14f7d601af4c2ae642e9c274132e","datavalue":{"value":{"entity-type":"item","numeric-id":4366602,"id":"Q4366602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$DB3CF982-F9B4-4A64-A53B-64459CF66019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$33DBAF3F-BB73-4790-860A-4C57200DDF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$A99DFFFC-C063-499C-99D1-856D2C3B6685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$869193FC-E5E2-4FEB-9B74-154A58AF26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad2ed6b7262bc4aaf760dd16acb7d192abb88c","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$44567CE2-743B-4A37-AA15-80E5E54AD9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$19290334-0F7A-4694-8159-C9B7ADB75B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66777bfd2cdd8b5d07f511e9ad32ab6af7890be6","datavalue":{"value":{"entity-type":"item","numeric-id":3773844,"id":"Q3773844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$743DAD9D-24F4-459E-A6CF-1B0CC36CEA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90f4bbf6bc7735bf0bedb03783935847e3cbf07","datavalue":{"value":{"entity-type":"item","numeric-id":3140015,"id":"Q3140015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$C23B1798-BC5D-4369-9C8D-08EEA6D5F8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$E7DC1B89-9A92-4DA6-836D-EF6BBC589E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e169af1b2927cc066a8cc188c6dd43f7cce9298","datavalue":{"value":{"entity-type":"item","numeric-id":5591533,"id":"Q5591533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$A049074B-FA63-44E1-A038-19E7855620E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c6dccccb47191efdb0fb7171a2dcc7ca6f7923","datavalue":{"value":{"entity-type":"item","numeric-id":5624684,"id":"Q5624684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$DC36E72D-A40F-4999-90DA-1D4E01A24912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$E0ACB1A2-2C33-44E7-A63E-5F62E5ED9136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760df30ca41971176d129aff49dfb79a744d4ceb","datavalue":{"value":{"entity-type":"item","numeric-id":4860660,"id":"Q4860660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703486$EF07BD03-F22C-4780-8FA2-CA261557E180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d8a4ee05b49667c0ff7bc1a55521a5aaead5623","datavalue":{"value":"10.1016/J.TCS.2004.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703486$A925CE9C-6C41-4159-B4CE-95E5E1EFF75C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82aea306446b95c358789a653a6291dcbba4381","datavalue":{"value":{"entity-type":"item","numeric-id":4366602,"id":"Q4366602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2ac7572e28885af27c27f49358db00c0b2067a","datavalue":{"value":{"amount":"+0.8654762506484985","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":"Q703486$32E9981E-2302-4189-A732-EA5DB4844D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9c74c9db018dfbb5b23d0b41a0944740db80a0","datavalue":{"value":{"amount":"+0.8654761910438538","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":"Q703486$1B1A18CA-DFC7-4A9E-80DA-E17C8E34BFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8646e9027f41f5dc673a2b71f3be21d545bea84b","datavalue":{"value":{"entity-type":"item","numeric-id":1331227,"id":"Q1331227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c9c4c1d29085246a99c813c2767a98ebddac37","datavalue":{"value":{"amount":"+0.8013901710510254","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":"Q703486$A9BE3F51-7F96-4657-9B6E-A965B0F1B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c531ef8436a69b0a3aebae7ad1281f69f2f88a7","datavalue":{"value":{"entity-type":"item","numeric-id":5015599,"id":"Q5015599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb15dda58320502b7d57ac4145ddee4ea7558226","datavalue":{"value":{"amount":"+0.8010410070419312","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":"Q703486$A21DB5AB-3677-415A-9016-C880573C5B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7af018f8b2ebf4b0b3e603a833e0faa6948251","datavalue":{"value":{"entity-type":"item","numeric-id":3358707,"id":"Q3358707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39151eecf1b5f5d43081aa623eaebd9fa8046ad4","datavalue":{"value":{"amount":"+0.7548989057540894","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":"Q703486$2875037F-F5C1-4011-9438-6A107BC8D5A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linearity and regularity with negation normal form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linearity_and_regularity_with_negation_normal_form"}}}}}