{"entities":{"Q5145676":{"pageid":7175247,"ns":120,"title":"Item:Q5145676","lastrevid":32582575,"modified":"2024-03-19T23:24:34Z","type":"item","id":"Q5145676","labels":{"en":{"language":"en","value":"Sparse Hashing for Scalable Approximate Model Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299508"}},"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":"Q5145676$3E258875-0509-4B19-A23C-1272705EB338","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"625cbcca10cff6e578bd01c7e3ee45dce174f7e5","datavalue":{"value":{"text":"Sparse Hashing for Scalable Approximate Model Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145676$3CF4E4CA-A5D8-4A26-8488-9DD638B391C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"014a6f421b452da3b729b646f4c5d24a94bfe50d","datavalue":{"value":"10.1145/3373718.3394809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145676$BC0E34F5-7B2C-45D8-AE0E-7F0852DC062A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145676$3227B45F-0AB6-4272-B737-315901D18A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145676$EE7C2407-90F8-49C9-A780-817BE9CFD47C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145676$23D5E926-5C7E-44CF-93E2-90E134512F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145676$4EC5EF07-D82C-4C14-86EB-80EFC0C9AA98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5752c2145473d372782372a9db7a7b40289fd43","datavalue":{"value":"https://arxiv.org/abs/2004.14692","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145676$A7F6FD35-07E7-4D8E-A6A0-3B500E1355B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145676$04CF2ED2-3261-4D42-AAE9-CCF6EF4EF5B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"200be7207105623912b6a8db0b3d577d4a1aa2c4","datavalue":{"value":"7299508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145676$333559D8-3C65-4580-BFA7-C3E6BEB876E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145676$2BAAB1D8-2228-460E-838E-7C70352FF14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f9a2adc04516f7806472d1c6b5b07524a09c31","datavalue":{"value":"SAT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145676$EFFD8626-1F62-4159-935F-980FC221A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4321629a215ce029843309a44d5864efa5c9d6","datavalue":{"value":"sparse hashing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145676$BEC46DB4-0D7B-4BA9-8DE3-2247C3C50C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f59468b071eaa229e96b6cc08cce01852f28ce","datavalue":{"value":"universal hash functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145676$9E1589E8-C0F7-46C0-9A65-A9CA7E34BD3B","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":"Q5145676$652C0097-59E5-429D-8728-5BCAED692B7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"129ace09acdec09f697a33b9fa93fb358af5f86c","datavalue":{"value":"W3028996067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145676$C237F21B-952D-4FA4-B816-60792E5EF2D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145676"}}}}}