{"entities":{"Q1801736":{"pageid":1812478,"ns":120,"title":"Item:Q1801736","lastrevid":47169976,"modified":"2025-12-31T21:53:17Z","type":"item","id":"Q1801736","labels":{"en":{"language":"en","value":"An approximately fast algorithm for deciding the validity of disjunctive normal forms (DNFs)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 205788"}},"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":"Q1801736$1978430F-96AA-4D05-AA17-3EC02F4095DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"decb8be8bbb665378880f3564cafc5c53211b656","datavalue":{"value":{"text":"An approximately fast algorithm for deciding the validity of disjunctive normal forms (DNFs)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801736$31345ED2-743A-4829-9FC6-6D9DE10E9F53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"120bf1355b253d164c82022c24a4e15a9a92d4b8","datavalue":{"value":"0772.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801736$5FB77826-7232-4540-A68B-4D8FE4D2EB82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70cdf2f5c2d9da4db17bc3a13c940304f462947c","datavalue":{"value":{"entity-type":"item","numeric-id":328284,"id":"Q328284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801736$247B3992-79E8-418B-B712-21244E819DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e2512034d19a3eab819988b4daafe629ceac71","datavalue":{"value":{"entity-type":"item","numeric-id":322526,"id":"Q322526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801736$CB4C8487-C184-4D52-898D-780937E463C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801736$CEC5C9BD-AECB-47FD-AF5E-276471CDCC2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801736$1941E131-24E4-487E-B1DF-82A4D104CF53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc731c664a9883f609a9836d3becd1837c99a65d","datavalue":{"value":"An approximately fast algorithm is given for a model problem --- disjunctive normal form (DNF) validity, which is the dual of an NP- complete problem. By this algorithm, most of the DNF validity problems can be solved in the polynomial time, even though in few cases the time required is longer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801736$1A266A61-31ED-4541-8580-0A13903DFE86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801736$43CCDDBA-1931-465D-AF1B-74DC62B6BC16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ad1e8ef5ca034880f98d9c73b82267d6e51d33","datavalue":{"value":"205788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801736$C2665B29-21AD-4D7C-B59F-65DD11D6C6BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb58c2d3d669126e619b848b2a1b5254ad86486","datavalue":{"value":"disjunctive normal form validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801736$6E18C8D5-2FD2-4634-8D0B-866BA8062039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc5a1d041f9e444212e60e5236dde69d229f7d","datavalue":{"value":"NP-complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801736$B23DB4BA-2AE5-4C61-885D-329CC4E33670","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":"Q1801736$C7140531-8198-4100-A79F-3744D8BDF211","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf640427fcc7ba5fd3785dce25eaa4cb961ed9c7","datavalue":{"value":{"entity-type":"item","numeric-id":1923857,"id":"Q1923857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2f1b75b64b30919c3867561cf1b695d9dcf0e6","datavalue":{"value":{"amount":"+0.8000303506851196","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":"Q1801736$E12AE707-FC25-4A7F-88D6-95F1AD2EADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4a8114d9ee16454f0be5c8aee16908c8cba884","datavalue":{"value":{"entity-type":"item","numeric-id":3820038,"id":"Q3820038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5753524313ef37f6de0203046987f971c96e51e","datavalue":{"value":{"amount":"+0.7994267344474792","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":"Q1801736$23107AC8-A5E7-43EC-A7D0-0AB597FC3219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5b8ee4385c2b7c8e57d536b946ea27da8a1255","datavalue":{"value":{"entity-type":"item","numeric-id":4037920,"id":"Q4037920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc2cdbd4d7264d6ecf282b96939bcfdd9d3e61b","datavalue":{"value":{"amount":"+0.7840801477432251","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":"Q1801736$D60CE4BB-1D43-4655-93AE-AB8265329DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7850c789ebdfad76a35d2fa801e5607a83c1b2","datavalue":{"value":{"amount":"+0.7797040939331055","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":"Q1801736$0000367A-A186-46A8-8E94-B9EA8618A97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78477f7fcb3999396e0f16f36fa7c80ebafafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":1900981,"id":"Q1900981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28c73f02ea7fce61f051c02077e397a658ba9c3","datavalue":{"value":{"amount":"+0.7766273617744446","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":"Q1801736$3765D70C-A2E8-44E1-AB86-BAF213F242D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1801736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1801736"}}}}}