{"entities":{"Q1604210":{"pageid":1614950,"ns":120,"title":"Item:Q1604210","lastrevid":68020794,"modified":"2026-04-12T20:54:40Z","type":"item","id":"Q1604210","labels":{"en":{"language":"en","value":"The minimum equivalent DNF problem and shortest implicants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1763410"}},"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":"Q1604210$40BB21DA-0EF5-470C-9AB7-EF27AC337C04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e578a660f148e196d4858ffeee982d1c2ef73de0","datavalue":{"value":{"text":"The minimum equivalent DNF problem and shortest implicants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604210$17444561-F79A-4987-8D3C-001A1499DE83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1751dd8bb979eda5ff27a86316c02c71b08ee2d5","datavalue":{"value":"1006.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604210$CDC2E636-F92F-4D46-A24B-E9DBEA5E92B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f9713b33c60ebac5c746bbd60ab2092a5fdce3","datavalue":{"value":{"entity-type":"item","numeric-id":354641,"id":"Q354641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$492ABF46-4795-458A-BB6D-F34E64ECBDC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$659034FF-19CF-478B-B8C3-10C37D1B9B60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adb3ef540eac58911e63cf63f703d86d64686cb2","datavalue":{"value":{"time":"+2002-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604210$AA39837E-D9B9-4CB0-A7DB-6AE9BCE31153","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac0983f3a387645346543906e4f32de29889ce6d","datavalue":{"value":"https://semanticscholar.org/paper/e46cb895f66ae8671bab35200b825c1fdbd1f740","type":"string"},"datatype":"url"},"type":"statement","id":"Q1604210$C3E048B4-9A77-4138-92BC-BCED5D562AAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604210$1A38C967-65CE-456B-946D-0E3E312AC7CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d74f2c955db8cdd65f2fef75ce52d5d94882cfb","datavalue":{"value":"1763410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604210$DFF548B8-6498-4A7A-A765-C550863457DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f904cd7ce82c72126d55c5a47ee9135c5cedcb89","datavalue":{"value":"minimum equivalent DNF problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604210$176E87DB-FF5E-4CF1-A91A-D371815F0FCF","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":"Q1604210$1C23FAE9-1309-4D28-B505-1C183CA08023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"135cc1183b7eeffaa89d4bfc44e76c9c6339063b","datavalue":{"value":"W2046132190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604210$4425B1E0-F4EB-430C-A3F7-FEFE1213BEEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b1f6b250c3ac3bddd1a8c1d83075cf34d3d608","datavalue":{"value":{"entity-type":"item","numeric-id":1272598,"id":"Q1272598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$04BC32EE-60EE-411F-AB55-D2F01F95BE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0476b21dfb07e99ff255915d2eb1df03e84bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4337644,"id":"Q4337644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$3E47B5D4-2179-4643-A55B-4A710B93A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f8e628120e37a7c3e15f88b344869a76ec6bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4325354,"id":"Q4325354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$6DD04E90-5AED-42C3-A693-11EF1A280DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee0d8e4c28135414cd0564a619e491715231def","datavalue":{"value":{"entity-type":"item","numeric-id":3034815,"id":"Q3034815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$F7A60138-09CA-47F6-8E90-51C1ADA8B2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2383fff16ab66772d79125e56160a733fa09a05","datavalue":{"value":{"entity-type":"item","numeric-id":5543050,"id":"Q5543050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$177A911F-EEE6-48F7-BEA1-E1FA871ED5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65049120db84eb3a64559cb6dce6f2ce61c91d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3893305,"id":"Q3893305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$36D5AEA8-712A-4B38-ADC1-6CBEACC23997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e068568af19d27f58f296a8ac724e6b2846918","datavalue":{"value":{"entity-type":"item","numeric-id":1816725,"id":"Q1816725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$35C57D69-85DE-4C9D-A9F3-0205A147B628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$A75B2DF7-17A1-4795-958D-0BA6E8CBA567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$FA895E83-D6C0-4B0B-9661-E6D16A64AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124dedafec5f24e1c2610244b95678c3a9275618","datavalue":{"value":{"entity-type":"item","numeric-id":1190532,"id":"Q1190532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$83CA0B20-2551-43F2-9E73-CCE9C75F5C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d825ccc462d0f4ec55e9d5da8d8afd257e6fab","datavalue":{"value":{"entity-type":"item","numeric-id":1107524,"id":"Q1107524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$876C9A4C-83E5-480A-96B7-6A638A5573AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604210$E701B691-8187-4BC4-883E-95D1E5658CED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88e80dfc942f3865dd8b95e3ef52d678a87d2e2c","datavalue":{"value":"10.1006/JCSS.2001.1775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604210$CE1833A5-E5A6-406F-9CC2-C0B653892669","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f565a95c5814e31f578e2b603a40ba754e109b4","datavalue":{"value":{"entity-type":"item","numeric-id":4938653,"id":"Q4938653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d9cbbd497cca6f745da27e087e6be219222d0f","datavalue":{"value":{"amount":"+0.9043848514556884","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":"Q1604210$525F8C53-3BC1-4C0F-A2E5-793D7B3EBCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f614cc1a4b9163a9b7ded2de992f438ad7d9bf4","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70600090c9045488df07d9a86d38d197bb5927f1","datavalue":{"value":{"amount":"+0.8383224010467529","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":"Q1604210$37230919-10A7-4518-8249-1BC1295ACE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2369832fe5edfe5290cf1d5c4616390b7a8fe088","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93aa9e385dd650bbe834eb0c6ee28f2efa005f6","datavalue":{"value":{"amount":"+0.8359559178352356","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":"Q1604210$75205153-8DC5-4030-B486-7919C06637A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324288387ab643390a94c4b80d8b62f77fce8486","datavalue":{"value":{"entity-type":"item","numeric-id":939444,"id":"Q939444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af31f150138a3a57c86173a74fae4048531972a5","datavalue":{"value":{"amount":"+0.8336419463157654","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":"Q1604210$48B36994-37C4-4BDC-8C71-3924B969BCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bcffa93f27a14a565de160555bc8234a625040","datavalue":{"value":{"entity-type":"item","numeric-id":2445231,"id":"Q2445231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e12a43363fe5ccacf06ae2a201aae75d45abc5","datavalue":{"value":{"amount":"+0.8287330865859985","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":"Q1604210$8FA23856-A4EF-4D98-A457-8F6CBCB89D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The minimum equivalent DNF problem and shortest implicants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_minimum_equivalent_DNF_problem_and_shortest_implicants"}}}}}