{"entities":{"Q778525":{"pageid":780374,"ns":120,"title":"Item:Q778525","lastrevid":42690934,"modified":"2025-07-08T12:44:40Z","type":"item","id":"Q778525","labels":{"en":{"language":"en","value":"On limitations of structured (deterministic) DNNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7217006"}},"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":"Q778525$B4B9093D-BECC-4507-8545-EC8AEA75783E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b470c6bd7e9371e96b2ac7221d066deb1510b758","datavalue":{"value":{"text":"On limitations of structured (deterministic) DNNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q778525$D49F1ABD-1356-4F10-A372-2416AAABC837","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f03435fbf6853f8a7a10916344ef3f089fba4e90","datavalue":{"value":"1446.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778525$39B0AFAB-E8C4-4BC5-AF6D-13E967481926","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$9F000148-04D0-4E98-994C-FAC51041313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dad6c7d2d412d9f51b35d2e45f9554627285a30d","datavalue":{"value":{"entity-type":"item","numeric-id":778524,"id":"Q778524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$A6C6D424-D4FD-418C-8DD9-FD9BB749B0FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$7D94F538-5FE1-4CC5-98FD-24CDE9BCE735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a26eff5f772b2d8b2a62dd873811b984c591713","datavalue":{"value":{"time":"+2020-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q778525$8476F04A-3EDC-4661-A68F-EE6961226B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778525$6B5BFC98-5716-493D-AB5F-1E1DEFC856E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778525$7271D838-0B59-40B9-BC28-4FCEC9872C2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90b42e1e13ddf45fe8e5c7525770b562c53220ca","datavalue":{"value":"7217006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778525$020A2D8D-9611-48F4-A45E-143CFDBDBCDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q778525$3F5283B6-8C26-4166-9171-5F10AB1613BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ccf86c146459d1ff408ad742ffbdc1943d5241","datavalue":{"value":"decomposable negation normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q778525$F688FB2C-C367-40BE-A2D8-3D7FC5962CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q778525$60EDCA7C-C13C-4590-B33C-49838CA02C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q778525$65C03B04-A5E0-4415-BDB4-C740069D8AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08686e2028e58adfc68629bbc494ed604e731f08","datavalue":{"value":"sentential decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q778525$1679F417-8C55-412D-9EAB-F6E1EEA00223","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":"Q778525$9CAAF5FB-1BB6-4BA3-9E13-C1C36EA44554","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ff3b22050314ff377671dbfa7cfa585634d0d0","datavalue":{"value":"https://doi.org/10.1007/s00224-019-09960-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q778525$25660551-5E91-47A8-86FF-884CA56B89D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50e0d9754309da322549876ceb981a01012b0171","datavalue":{"value":"W2993167090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778525$D63FDFF9-FB92-4198-A183-65C82CED0F8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50359ee1328a68c139f6e82d8640330e2abeea5","datavalue":{"value":{"entity-type":"item","numeric-id":2322709,"id":"Q2322709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$FF78098D-BDDD-497B-8832-F10094EF6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcedbec4926199f3d9980a40ec0a64f7ad5874b","datavalue":{"value":{"entity-type":"item","numeric-id":4265532,"id":"Q4265532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$7412C030-4F7C-4289-B362-7A3AB2349B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$D35C98F2-ADA0-4B99-AA71-970B4FD4006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$3FBAE32A-3C63-4F00-A462-F8E86D8FA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$4DD9A288-8F57-4105-9C82-8EA86F8C4A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$51BA5D0C-1FDF-4511-A7EF-860E894D4EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06144b163217d1b7a9a59ed5ceceee6cbd48b7bd","datavalue":{"value":{"entity-type":"item","numeric-id":359877,"id":"Q359877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$7CB9DA28-9900-4B4F-928D-DA139EA78D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f94c357cde2b4f18340db99582ef961b69ec90","datavalue":{"value":{"entity-type":"item","numeric-id":309788,"id":"Q309788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$3E78F77F-F238-45F6-83CC-F08DE6B71E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bffa96c82a09323679c24bc10cb6a42977623ec","datavalue":{"value":{"entity-type":"item","numeric-id":2408558,"id":"Q2408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$17E93C3D-096D-4F06-A8DE-AD42CAEA4310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$6BF383C5-9BCC-4032-BF78-F21095C220BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q778525$700A72DB-694F-4320-BCB6-123E2FB973C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f33faa0a9b21dccf2edcb94a8e9e2f96825e60f","datavalue":{"value":"10.1007/S00224-019-09960-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q778525$7E3F7AFD-B15E-4D7F-9A04-63AF80655CB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48078a13e984f22f5a3e13cf5e26ecda0f82336d","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a5776831a882c65355867568cba90d3c36549c","datavalue":{"value":{"amount":"+0.89194","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":"Q778525$5FD72A02-87CA-459C-BCF9-D23BD21E3D48","rank":"normal"},{"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":"2db3fc943acfc35fc77afd0d1de6cb645654ac43","datavalue":{"value":{"amount":"+0.87981087","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":"Q778525$51FE20C4-7F84-4D0C-AA80-54EE381496BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea934bce0a2032ebb617707e7c44346e875bd74c","datavalue":{"value":{"entity-type":"item","numeric-id":2035477,"id":"Q2035477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b5f946346c1e75115028a1ba311447ff193a68","datavalue":{"value":{"amount":"+0.8704857","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":"Q778525$DA6623EC-A517-44D8-9122-BF2D98827AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbf1a9bf0529c52523547e3e4830ab40780d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":2999097,"id":"Q2999097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53239a9c349bcde7ee0fcebd23d35b3bc5819290","datavalue":{"value":{"amount":"+0.8688387","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":"Q778525$537101FB-2BF0-4B61-A22D-9C58FF4D5E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f4cbebd32cc301b8580605a6781f95535c2839","datavalue":{"value":{"entity-type":"item","numeric-id":553328,"id":"Q553328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2e6a8b08a89242abfabaa044a207796954c3af","datavalue":{"value":{"amount":"+0.8425929","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":"Q778525$87F5B8BC-23C9-4476-BA30-851C8138BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848376a67e06a7d5edde4017b903777652a3a905","datavalue":{"value":{"entity-type":"item","numeric-id":3785993,"id":"Q3785993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480c14e3afbf8e1b0fd401d46c80bf7598710ee2","datavalue":{"value":{"amount":"+0.8376053","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":"Q778525$2E2288CF-D128-4000-8F26-60A16034D77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46dbf010b8a473c3b853083c083bd59cae9077c8","datavalue":{"value":{"entity-type":"item","numeric-id":5746360,"id":"Q5746360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8304494feae0b449dee3d1a3f562d7f3cf989540","datavalue":{"value":{"amount":"+0.8353393","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":"Q778525$5751C8B5-B63D-4F3A-9198-5EB71FFDAA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278831de3591ad712e0844179ee6ce6804cc6606","datavalue":{"value":{"entity-type":"item","numeric-id":1715860,"id":"Q1715860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8304494feae0b449dee3d1a3f562d7f3cf989540","datavalue":{"value":{"amount":"+0.8353393","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":"Q778525$C98FC59B-2BFB-4B7D-BD21-23FD1CFB85F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82b86d9964b01e2a3a2ac0b2bde680fe46b545be","datavalue":{"value":{"entity-type":"item","numeric-id":4259986,"id":"Q4259986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7341c9d922af4d61efe35ef86e2a482fb280c0","datavalue":{"value":{"amount":"+0.8336639","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":"Q778525$38082A43-38BF-43E3-808C-5DC35810979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49ecf271dccec3306aba6fc3e68acb4dd2d2132","datavalue":{"value":{"entity-type":"item","numeric-id":1751204,"id":"Q1751204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ecb8d11cf4d3afa46871c6dec3982bb2484ff5","datavalue":{"value":{"amount":"+0.8331739","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":"Q778525$E255CF54-DAFD-4813-B064-DC778671606C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:778525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:778525"}}}}}