{"entities":{"Q5012574":{"pageid":7042151,"ns":120,"title":"Item:Q5012574","lastrevid":92042384,"modified":"2026-06-05T00:43:10Z","type":"item","id":"Q5012574","labels":{"en":{"language":"en","value":"Exact model counting of query expressions. Limitations of propositional methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7433209"}},"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":"Q5012574$AB7A8C2E-5980-47AE-877A-756D12428DCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c0b9c20b615e0f393c468e135963ae2ac8307eb","datavalue":{"value":{"text":"Exact Model Counting of Query Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5012574$3A4232BC-4E48-4551-B333-20C61DAB1FE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0c72751f284de2a9f0a7a39b48a60968d9ae9c0","datavalue":{"value":"1474.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$A08EE6BF-4F01-4171-8BF9-ECD2C3D15CB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6857a1ca44c30cc68a28c55243ff1aeda201d43","datavalue":{"value":"10.1145/2984632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$FB2C29D1-4C70-4E8E-972E-D62D6DB51F1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858fc3f2f5a9706b6a252c5db4d2d03f06917909","datavalue":{"value":{"entity-type":"item","numeric-id":2071385,"id":"Q2071385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012574$CEFA6869-6D62-42C3-9778-303EF50324B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eccf75992d21e7392a74df46e936601c39dea32","datavalue":{"value":{"entity-type":"item","numeric-id":2402611,"id":"Q2402611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012574$D6D4B942-6D16-460C-8667-4ABC3B12610F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24e7224d840cec212fc8ddec549eb39bfeae62f1","datavalue":{"value":{"entity-type":"item","numeric-id":269330,"id":"Q269330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012574$9737A4CE-1705-43AE-8786-3DF8DD3A38B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdeac5e928e087a649bdeced20db2b34fab0678f","datavalue":{"value":{"entity-type":"item","numeric-id":1822913,"id":"Q1822913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012574$172CC3C2-BB1C-4254-B7F6-5EE80B7D407A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3691136478f306e2c70355b5c59c9d0698f3a2b4","datavalue":{"value":{"entity-type":"item","numeric-id":2790121,"id":"Q2790121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012574$8A83B41A-6392-45C4-A352-502E897D79CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6871f7c40db32fd48137a4cc4b7dc04229ff05","datavalue":{"value":{"time":"+2021-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5012574$9F713D6F-1D8F-4344-909D-06B63BFAA8D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4ffabd3343a604d67af4ee4edff24532d408e43","datavalue":{"value":"https://arxiv.org/abs/1312.4125","type":"string"},"datatype":"url"},"type":"statement","id":"Q5012574$4313A292-1A98-45BC-A862-4CA252BC7221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$A5682AC1-6B5D-4847-B519-C0B8FC01B4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$117AD7BB-8DB5-44BF-A0CC-FED189D10349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$231BA445-184C-45AF-B5B7-72F9C9A979FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$E5032133-0119-4432-97DA-B426AF42CEA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af0ae5ba30cd0eaf95d3c9db2a8ef163adac662","datavalue":{"value":"7433209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$8BB4E4A0-BD6B-4B8E-AE3F-D40B2FEA6B27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec9e5bd0ce6d4d4aadd7c41431a4f910ae24d94","datavalue":{"value":"DNNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$9445D331-67D0-4A20-A7B5-9FAEB9B7F2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff34c5ef3ae5a86fdd01c9a1e3db202694ec1e28","datavalue":{"value":"FBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$BB329A29-B1C3-4EFE-944A-45DA7A9D5612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$8A23742A-F7AF-44C1-8A05-77021A14A0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$5914B798-2DF8-42E0-95C1-4A074E0791B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$FE66C499-D4E3-4EF2-9F35-17F1EE66BD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc00e19efbc7a6ba6fa4f02f52bab6b867214028","datavalue":{"value":"probabilistic databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$F7A7A389-3488-4184-AE74-5257DA1E114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1296749c47c91f5d2a0da93372cc04163e57d3a","datavalue":{"value":"read-once branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012574$A770C7DC-D3CF-4181-8C3B-81574ADD08EF","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":"Q5012574$EC6AA8F2-CD45-441D-AAFA-C7319F5E4DDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56897495de04bf954aa706b3c245d5ebcb004031","datavalue":{"value":"W2586666171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012574$9FB7F751-B3A7-411E-BA2A-A8D7969CB642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c865d1928eb57fd5de0294cf120debd482dba24","datavalue":{"value":{"entity-type":"item","numeric-id":4443390,"id":"Q4443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37c94d47f8decddd83e9eecd65ffbe7bf8680b7","datavalue":{"value":{"amount":"+0.7737081050872803","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":"Q5012574$4F4904DB-EFA6-469C-B532-0B03DDCFA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b508902f2f172ebba7e2daf408f5da47b921fbb","datavalue":{"value":{"entity-type":"item","numeric-id":5395698,"id":"Q5395698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d3aba1b187a0530f5bae87e34a446031704a37","datavalue":{"value":{"amount":"+0.7582238912582397","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":"Q5012574$548AC2DD-F303-4C43-8CF3-811525C4E923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8444bef407ba02ce03559a91ca29928cad93d0e","datavalue":{"value":{"entity-type":"item","numeric-id":359877,"id":"Q359877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e95ab72e8647838fd2aed2b6e85253f8e548849","datavalue":{"value":{"amount":"+0.7568845152854919","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":"Q5012574$C10F587A-303F-422D-A1EB-8F06922B9F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e21852165bf53c530db96628a42399eaa0c525f","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262914a4b8226f2bb0a4323c87f9d5dc6c785f25","datavalue":{"value":{"amount":"+0.7502906918525696","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":"Q5012574$BAD40910-E382-472C-89FE-F99777EF224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c36fd949a78669f2f695e81a0e269310f8001d","datavalue":{"value":{"entity-type":"item","numeric-id":4592980,"id":"Q4592980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8f0981fc48015fe24c1473e48878135d9c906e","datavalue":{"value":{"amount":"+0.748939037322998","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":"Q5012574$04FA8EDC-32E1-4D3B-BCEA-3167B4E0E508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact model counting of query expressions. Limitations of propositional methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_model_counting_of_query_expressions._Limitations_of_propositional_methods"}}}}}