{"entities":{"Q818117":{"pageid":819965,"ns":120,"title":"Item:Q818117","lastrevid":64605204,"modified":"2026-04-11T21:00:44Z","type":"item","id":"Q818117","labels":{"en":{"language":"en","value":"The DNF exception problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015092"}},"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":"Q818117$52890192-2B29-484B-9A3D-A11F0855AC65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c422812e60f9956d6aee6374f3fdc9ac2ab4a9eb","datavalue":{"value":{"text":"The DNF exception problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818117$D29CFD4D-3263-4C61-ADBB-19A2D5BCC7E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae22027721d5136abe24669bcf19745254638200","datavalue":{"value":"1086.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818117$B116C882-D876-43A1-8320-657A3BD2E2BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b2dc7fb86714f67c87c73e07c13ee1e0d7b9d71","datavalue":{"value":{"entity-type":"item","numeric-id":168649,"id":"Q168649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$C9E41926-9B38-43FC-B8A6-307A58C9CFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66a437d74ae466cacad614cef92f8e5d71204e6","datavalue":{"value":{"entity-type":"item","numeric-id":239429,"id":"Q239429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$2D390871-420A-46AC-AC13-91599C97353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ea1713e37ffcdc739e0074865cb969ff0d305d","datavalue":{"value":{"entity-type":"item","numeric-id":409468,"id":"Q409468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$74140993-A930-4D90-874D-935FAAC578F1","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":"Q818117$DE5ED831-477D-483A-B253-898643821379","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fef8c9cf3d2f543921a74da5978434423c744d","datavalue":{"value":{"time":"+2006-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818117$0544BEBF-2F57-4CC4-830D-C2F9E209C7D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818117$371746FC-9884-45A2-9D9C-A93F6EF0EBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818117$2C8349DF-204E-4CB7-B9C3-5E392EF104C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa9f1301d9f6e637f1de446ce7f062f867fbfddc","datavalue":{"value":"5015092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818117$68D85C66-C894-427C-8232-024C029AA053","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q818117$AEDA9431-D27F-469A-AAF8-7ABDE1E171F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204ec06a742963eec55bac70698ac68ae86e0986","datavalue":{"value":"updating","type":"string"},"datatype":"string"},"type":"statement","id":"Q818117$BBDE23EA-C8B5-498C-9A5B-5033915E8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a12cf841042f0882ccab0e551ecead535a4cde0a","datavalue":{"value":"Occam algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q818117$ADA2CE34-A6D6-4D47-869A-F13DAADE14BC","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":"Q818117$4FA93BE2-BF1D-4843-844B-E31C3E40E1E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c36e4fde61c5e7c55291f23d87133f01dd834424","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q818117$36B45094-E3C9-4CEE-9395-711B55525EFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d109a3d18150ae491dc7893111fae729df509665","datavalue":{"value":"W1978315284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818117$F12B40EF-63EA-4406-AA5F-DC88FDBD6666","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$AE8B1C8B-B74C-4A37-B1F0-4D6967F495E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f8154a143ddbdc6e9f451973cf416edbe21d07","datavalue":{"value":{"entity-type":"item","numeric-id":1369067,"id":"Q1369067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$3ADB9737-1E36-4DCA-ADD5-5B55B0CCF036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b5472f277e92281639750a2de8914a529899e0","datavalue":{"value":{"entity-type":"item","numeric-id":4194709,"id":"Q4194709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$DF22440F-3A5D-4027-AD92-AF4B10371493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f4496e9c5097df00995c9eacd5b0b3cb6d9ba4","datavalue":{"value":{"entity-type":"item","numeric-id":1108056,"id":"Q1108056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$3732C756-A11B-4ADF-BE84-20AB73F3725E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c00d0ca9bf904a270fb7845c88dca9297a4aa2b","datavalue":{"value":{"entity-type":"item","numeric-id":1193631,"id":"Q1193631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$6DB5587E-2FC0-4D62-8C25-300C5D5D36E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b3cba760618818299c912e3150aa4d0699e8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1395277,"id":"Q1395277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$A30F8D1A-8B0F-41D4-A54F-1837B71DC6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5c9b77c74961d65e89fbe1bd6c4655e9511015","datavalue":{"value":{"entity-type":"item","numeric-id":3160196,"id":"Q3160196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$D27B7B15-9203-4BD9-8E0F-AE3CC3A9E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d4335470cf4b2ffd869da18e5e35ebc1a3701c","datavalue":{"value":{"entity-type":"item","numeric-id":5316995,"id":"Q5316995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$3D1BD96A-8D5C-4109-AD48-3A32EEF20A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deaa25b42f72fddf18a97d9acc50241c0d2ff11a","datavalue":{"value":{"entity-type":"item","numeric-id":3348932,"id":"Q3348932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$9CC9562C-E067-46BD-9E2E-1B9C90C773E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ef8eb2c8557aa69a4a728c8ca2dc1d42abb23a","datavalue":{"value":{"entity-type":"item","numeric-id":5901048,"id":"Q5901048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$10753BEE-0289-42BA-99DE-D9E0F323A262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8f0ab1b5194f594d9d1d52c1abb7d41e512983","datavalue":{"value":{"entity-type":"item","numeric-id":3818994,"id":"Q3818994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$1223E759-8D94-4D68-BF00-18CD1239D1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7d58436d467ba4c83d00774808ff361b4042e2","datavalue":{"value":{"entity-type":"item","numeric-id":3807129,"id":"Q3807129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$D37329BC-68D2-40C7-9C0C-1F4C6E66CC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$B870EEFA-4E6D-49EB-97C8-33AAF6DEEB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ce2a6ef9919cdeec3e45660c7718e33658ed86","datavalue":{"value":{"entity-type":"item","numeric-id":1007542,"id":"Q1007542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$C485154E-BA2C-4D13-9FA7-DB0EE664C3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4da8e098441790891566bdcc130072dbb47f098","datavalue":{"value":{"entity-type":"item","numeric-id":4205391,"id":"Q4205391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$BF186AD4-515D-47CD-B7D5-531B0B0A1F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6546bf7e49ce200cd2d14aa5a4c8d098b42f7c10","datavalue":{"value":{"entity-type":"item","numeric-id":3728820,"id":"Q3728820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818117$5723DE5C-AB0E-46AD-84A4-0AD007C0043A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4488a4759245d825a59b62c3cf192c470a4967fd","datavalue":{"value":"10.1016/J.TCS.2005.10.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818117$36F62FA3-69AF-4954-9211-94FE0BC88FE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb806cb08dd02ad77224340c8e13e263e6e2635","datavalue":{"value":{"entity-type":"item","numeric-id":4738378,"id":"Q4738378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3fc920d53bb4e8c3106d0a31482003e03d33d7","datavalue":{"value":{"amount":"+0.76412964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$5BF58929-71A2-4CCE-999D-CBFE3861FE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f5542a6a92c166c533724e1972a644f7022353","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772d84fa610d27d17a20ef8edb7c8b20b6dee8b6","datavalue":{"value":{"amount":"+0.7575903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$FFD95AB0-E06C-48E4-BDDD-79F604A2E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3252dcef05d12f04e9bdb7b8046416e0e2853d","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ed52ab9009e639b8e23b0dc12620dc07c7958a","datavalue":{"value":{"amount":"+0.7573979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$1CC15E87-03F8-4C12-BFFC-20DA569A0C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c961808bbfc37810ddfcc4eb33c62d8b19f57a91","datavalue":{"value":{"entity-type":"item","numeric-id":2758694,"id":"Q2758694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb15093baa5d8fd436a2988d87c2c3791382fd4","datavalue":{"value":{"amount":"+0.7544582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$D9FC6AF1-8FE8-4E2E-A74D-D5300B242465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379619104e2575627ef4d10150d8c4bbb454e302","datavalue":{"value":{"entity-type":"item","numeric-id":4600393,"id":"Q4600393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e26d3450385ef11b62a91a40947f207612d8ec1","datavalue":{"value":{"amount":"+0.75350845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$BE16DC80-7D28-44BE-B9B0-1EA76830DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4d8d41cfd2d59e702941cfc32bc1e5a429de74","datavalue":{"value":{"entity-type":"item","numeric-id":4031322,"id":"Q4031322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b40095140012a68c90b7e51d1979662382406c","datavalue":{"value":{"amount":"+0.75247526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$A7331D1D-AB95-499D-873D-FC78DB27C351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01884381dfd810d448287684c30bb5df594e5a88","datavalue":{"value":{"entity-type":"item","numeric-id":4818831,"id":"Q4818831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556020f22d710db55d4e8bc22c6656e84295c247","datavalue":{"value":{"amount":"+0.75184846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$D2CA3006-08E5-4504-BDAF-39D6071245C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70adb996c3577c8071114ae55c36f5ef837c73ef","datavalue":{"value":{"entity-type":"item","numeric-id":4665746,"id":"Q4665746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c919e47426edd3e600442d664a7d34b804999c7a","datavalue":{"value":{"amount":"+0.75027335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818117$BAFF8F73-E8C8-4242-B1F1-28871343897A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The DNF exception problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_DNF_exception_problem"}}}}}