{"entities":{"Q2786908":{"pageid":2797646,"ns":120,"title":"Item:Q2786908","lastrevid":58009878,"modified":"2026-04-03T10:49:03Z","type":"item","id":"Q2786908","labels":{"en":{"language":"en","value":"Compactly generating all satisfying truth assignments of a Horn formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6544916"}},"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":"Q2786908$13362F13-C8A9-43CC-9250-4C56C31280F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95d7f26c34587fc2f148c26f2bd0860d5c7deb50","datavalue":{"value":"1348.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786908$2DC7C4F2-7EDD-42D3-B7F3-B53106BEE4F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8edc5904dd2851735677fd4946153329bf4566e","datavalue":{"value":{"entity-type":"item","numeric-id":418893,"id":"Q418893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786908$F6FF5DAC-12C2-4B8C-A4FD-302BCEC992D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f429de4bb61af0cec7dd689742f7976bba897976","datavalue":{"value":{"time":"+2016-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786908$E731B187-90E3-4EC6-88F9-17E7DC75531B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e74165d7f55d516137b5ea138150a5546db1d85","datavalue":{"value":"https://arxiv.org/abs/1012.1769","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786908$EC50BE2E-0F88-41A5-BCCD-E815BDB8C7E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786908$CA99CD05-7B09-4689-8F2D-C4245BD8235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786908$138720B7-374E-4C2B-859F-6E054AF12F0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"965b078614ab2afc793dd113f051bbe4da9ab0cd","datavalue":{"value":"6544916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786908$02D3FCF3-59EC-4B3F-B8BA-BFFC4440C092","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c786a615cd95e1d8cdd1b6ce906326d3577a66e","datavalue":{"value":"Horn models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786908$4BDC01F7-8729-461A-8CF3-2C2B9CB21B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c44aeb59d3b9383bfdddf1a7853c7ee4915769","datavalue":{"value":"output-polynomial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786908$226770E3-5F63-4132-889A-6B0B9E128D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d43c2bd0a729b1472cd46522fcf87efe676e8","datavalue":{"value":"fixed-cardinality models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786908$136231D8-BC59-401C-9BCC-F803511BB012","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":"Q2786908$0D0CB459-0B6C-496A-B671-62B20B7CA2FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f67455fafa334e98252a918ce99f2f87020a76a2","datavalue":{"value":{"text":"Compactly generating all satisfying truth assignments of a Horn formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786908$99FCF47F-0C0C-4B20-A3F0-B8BB427BDBDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b42cd1190c17abf3583de3251015c8863d46fb20","datavalue":{"value":{"entity-type":"item","numeric-id":6618904,"id":"Q6618904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786908$4FA9C9F5-7030-40DA-AFA0-CA2B8D940C90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913d3a0e9758b7606d499e28a0ffca6ad68ae2ea","datavalue":{"value":{"entity-type":"item","numeric-id":294760,"id":"Q294760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc64d16108faadb8e346c892ab6809d5b013fc67","datavalue":{"value":{"amount":"+0.7851600646972656","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":"Q2786908$19470756-3B9C-4319-996A-00D67794E690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d438c5647f094771755b5a4a4ebb6cd2455aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5450c7e393b46a559b168b2407d962e49abbc9f9","datavalue":{"value":{"amount":"+0.7752065658569336","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":"Q2786908$F09F4486-06A2-4B28-9D5B-19D0155CEA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd112c7edc36a15c36bc3986c255068e8246237","datavalue":{"value":{"amount":"+0.7745779156684875","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":"Q2786908$6D1024F1-B5A0-4F29-827C-8D2D0FFC1288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1b93fdbb25dc4fc216e29eaddbc7a0fde8918b","datavalue":{"value":{"amount":"+0.7697328925132751","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":"Q2786908$F0FF7A39-A818-448B-88A0-7171CE57565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5da45d76ec4a2dd2804beb9f035247925e14d0d","datavalue":{"value":{"entity-type":"item","numeric-id":1029007,"id":"Q1029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f201b85587eed343822fa1727e592c95bb97376d","datavalue":{"value":{"amount":"+0.7433642745018005","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":"Q2786908$898DF22A-9376-4215-B2C8-C6C5A50C794C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786908"}}}}}