{"entities":{"Q6572049":{"pageid":14183204,"ns":120,"title":"Item:Q6572049","lastrevid":42356129,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572049","labels":{"en":{"language":"en","value":"Proofs for propositional model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880751"}},"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":"Q6572049$678914CA-6602-46D6-8DCA-08620CBE7FBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64a10f2602ba45bebcf34752d4637b1b9519e770","datavalue":{"value":{"text":"Proofs for propositional model counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572049$7011DED7-2F71-4AB2-8535-7D89C86F0289","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572049$E4FAD52E-BAA5-4640-B59E-51A3DEED0A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad042a5aa549a448aea28a7c63c386d0f68b470","datavalue":{"value":{"entity-type":"item","numeric-id":1647690,"id":"Q1647690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572049$75AC6681-4B4E-4A8F-93C9-9F28D1289AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04bea03cd68e08ad5b95b0200ae4370b9fa24e64","datavalue":{"value":{"entity-type":"item","numeric-id":6572048,"id":"Q6572048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572049$B8DA00AB-C6B5-496C-AB59-A6939BC6365E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572049$FEEB87F3-73E2-4485-94FF-7EDC52F428B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572049$E79545E0-8D01-4358-87CD-E1AA14EB0217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572049$E6BFF61B-5E26-47CF-8682-1C110FE23E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572049$FEA2AE5B-CB00-43CC-B719-58E1C0DF9AE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"849880c6189085bf2400261ad955bb4122dfdaae","datavalue":{"value":"7880751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572049$D5F51521-6800-4FA9-B1C6-3E740D5488B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572049$EA51718F-E912-4E78-A03D-947C9725038D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572049$3B8103E0-713C-4C3C-9940-1D5E66FD8C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3576afbdcf050e03589cb285baddbdc3de6c533a","datavalue":{"value":"certified counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572049$0B2A2080-C2C8-494A-AF38-8410052AA4FF","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":"Q6572049$58BB817D-94C3-4A86-81A0-7EC8E93C40BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78af6993bbfab1dab88c702a13dd002b957ebf40","datavalue":{"value":"10.4230/LIPICS.SAT.2022.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572049$9EDAA799-35A7-4A8C-B262-43064E2EAC26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572049"}}}}}