{"entities":{"Q1367074":{"pageid":1377814,"ns":120,"title":"Item:Q1367074","lastrevid":68746137,"modified":"2026-04-13T01:47:50Z","type":"item","id":"Q1367074","labels":{"en":{"language":"en","value":"CNF and DNF considered harmful for computing prime implicants/implicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062577"}},"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":"Q1367074$EE3BCE69-2A7B-414B-AD2E-60979B6FD174","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0904e04ca5faf69f23ee0593169d22e98af90cb8","datavalue":{"value":{"text":"CNF and DNF considered harmful for computing prime implicants/implicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367074$E8DBE528-C841-497F-BBBA-BE536A9F164B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb913e1a6f4c48893b43872a59215ca45a73fa18","datavalue":{"value":"0881.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367074$512993DB-BB77-470D-995A-E84C68514939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b077e94a2e690dcfa17a00f102c4089d5ffd94d8","datavalue":{"value":"10.1023/A:1005721905269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367074$B1CAD07F-F679-4B09-9060-51C371E2FE59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a9edf78168df4c355c531f4e0662606653b001","datavalue":{"value":{"entity-type":"item","numeric-id":679245,"id":"Q679245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367074$15E1F912-F4AF-433C-B3B4-19BF59247CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3947d09134ab0e6b40405aa9c68ecf0ef1892691","datavalue":{"value":{"entity-type":"item","numeric-id":1367073,"id":"Q1367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367074$DD0E512B-AA4E-4D39-B18F-524EE74F9369","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":"Q1367074$B94F728E-6BFF-4423-A910-9221AB7E3711","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367074$3FCAF82B-A207-4002-B5F0-5DB432144126","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367074$37135CA5-6AA4-470D-9373-7268EF856704","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367074$35599261-88F6-433B-8EC8-9651CAF91B41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60b422e1cce0febdae68327e067fb5afcc3acab2","datavalue":{"value":"1062577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367074$3B79FF3B-998C-47E0-8E6C-45E1F5821527","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367074$4BB8BA4C-84B8-4FC8-844A-7F20AF825BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebaf8c68af2f167f6db4495cf5a023c843d6de0","datavalue":{"value":"prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367074$140D4BC3-21E1-4D8E-B48A-C2A2E5E9681E","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":"Q1367074$B06E0283-B606-4A14-9F6F-8EAE5A62BF93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acc5a5ba3e7cb1c33f54fea4f94655a0388376f2","datavalue":{"value":"https://doi.org/10.1023/a:1005721905269","type":"string"},"datatype":"url"},"type":"statement","id":"Q1367074$FB5298BC-129A-4ACD-9D78-B58C41607191","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12a21cda497f73a8a3df504e9ec13b90c272f122","datavalue":{"value":"W1526521033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367074$93B8B393-8334-4174-9913-3C9D3AD66583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e62012da57e08bc2a27a6ed10d659a688f14a","datavalue":{"value":{"entity-type":"item","numeric-id":4282528,"id":"Q4282528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f321abda51ceebda212e8d1292ccd94856495b5d","datavalue":{"value":{"amount":"+0.951403558254242","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":"Q1367074$5A29E72D-30B5-41FD-B958-E674D24E5C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42720ae6925ae837e99cfd1e847306b4f517017","datavalue":{"value":{"entity-type":"item","numeric-id":4243266,"id":"Q4243266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7ebd57c24e6d482b378eb707ccd66118532a8d","datavalue":{"value":{"amount":"+0.8447502851486206","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":"Q1367074$4A3B42D6-BB61-48BE-AF6D-DA3A26F5E852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e6902b64e1b718289182e4f48efa63d61cc412","datavalue":{"value":{"entity-type":"item","numeric-id":2938491,"id":"Q2938491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaed1f8a2cde50e2b6b5f75cced5090a95885d6","datavalue":{"value":{"amount":"+0.8399695754051208","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":"Q1367074$6A6F5EEB-3F12-49D8-9081-481672097B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7765be794efebb7c75576cd0c160347e09d88f28","datavalue":{"value":{"entity-type":"item","numeric-id":1606302,"id":"Q1606302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b6c9e4a7fe93899833d9b8c1dcfb844cebe7bf","datavalue":{"value":{"amount":"+0.8261127471923828","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":"Q1367074$0B27A802-48A1-438D-9D66-E5A82C7255DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CNF and DNF considered harmful for computing prime implicants/implicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CNF_and_DNF_considered_harmful_for_computing_prime_implicants/implicates"}}}}}