{"entities":{"Q5145338":{"pageid":7174909,"ns":120,"title":"Item:Q5145338","lastrevid":58456698,"modified":"2026-04-05T07:30:47Z","type":"item","id":"Q5145338","labels":{"en":{"language":"en","value":"Weighted model counting beyond two-variable logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298787"}},"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":"Q5145338$30DEE040-CFBB-4EBF-8DD2-7F4D063CE07F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e86172d145e2a7156b111a02d1b30deb3f664fc","datavalue":{"value":{"text":"Weighted model counting beyond two-variable logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145338$436847AB-6F45-4448-88BB-447421CDBBDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc3cafb2188adb74df91131e09757eec2c94e80c","datavalue":{"value":"1497.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$0D1EC4D6-0F91-40D4-8B5D-E8CE2C8BF935","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d52575f1714f553ef87ee342be62da1716edc686","datavalue":{"value":"10.1145/3209108.3209168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$E6063E5E-FCA7-4618-AC42-DB3E2C093537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145338$D6AFA855-4121-4AE0-99B9-B589F8A7F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145338$DD6522B5-3FEE-40E6-B5E8-B541D46046F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145338$405E2414-C392-43DC-9C2A-00F5C751C1C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145338$25BC62D1-64FD-4487-A9B2-6CD3E0986F4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82794553ecf13d8de9b9e0cb3d49018965084736","datavalue":{"value":"https://arxiv.org/abs/1804.10185","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145338$BE740C5D-17E3-480F-B549-EF97117E472A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$DFA4E70E-AFE7-44BE-8230-347EEF86A32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$E26B0D76-184D-40C7-B25D-0B546B7510E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$DE413046-3190-45DE-B7C9-33FFE4F2C474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$6D535CD8-CDBB-48FB-BA98-BB0512B09BC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f053f1d40b98017f1dc014742cf7aab9f082c69","datavalue":{"value":"7298787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$08913E11-E992-438A-BD2E-AF27F58C0E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f760e4e68d47db9649a28fb6c72054eeda8bba08","datavalue":{"value":"enumerative combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145338$8CC7D00B-85F0-4B13-8EFA-5D3FB32D6EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ffd2ca9452a95455f19f35bfb3f100bed2aeb1","datavalue":{"value":"tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145338$1DA114E5-69ED-480B-962B-CC4C208468AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145338$7E680272-67BE-459F-B7B5-989DD8AD45F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aa5d84f6988ff903ef9fa1fa0b56ae7a302c7a","datavalue":{"value":"weighted model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145338$DA9E29C4-5B81-4237-A45D-B10A90D1C162","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":"Q5145338$BC3EDCFD-8F64-4EE5-A25F-5808A58572CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"087acd26c71a044c12dcdee877e8447439b2466a","datavalue":{"value":"W2963742388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$9125FA93-5F8E-4884-889C-5BDEA78456D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9a3b5522caf316a9177de08220c281f201909f10","datavalue":{"value":"Q130838827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145338$72D62D38-F9E0-4777-9E54-ADF078693B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb665447b291dca2248a560139b6c6e02831490","datavalue":{"value":{"entity-type":"item","numeric-id":4989322,"id":"Q4989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba26b9c5d12b77eb901c8e9454915404ca94a2a1","datavalue":{"value":{"amount":"+0.9233500957489014","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":"Q5145338$9E908B7E-88B5-48B3-9547-C38D0D89D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e835e8c7fdda96dcb54fa6780cd25333c24083a","datavalue":{"value":{"amount":"+0.7677279710769653","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":"Q5145338$EFDBD23E-A3F6-4C4E-87DD-75F3C47A82F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55958dec6f04d280060ce2e215ec95eb1d6a1292","datavalue":{"value":{"entity-type":"item","numeric-id":4635661,"id":"Q4635661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d646bac4f6b10c8e7c69022c8641136ca846ea","datavalue":{"value":{"amount":"+0.7677279114723206","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":"Q5145338$C69E7689-6559-4E29-B764-75FE63798587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a408266088efd3e6b8ebc78d6455e5197e9b22d6","datavalue":{"value":{"amount":"+0.744385838508606","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":"Q5145338$8E12DCD4-FCF9-40B8-B3BF-D7DDC3B3693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc7b13a6a8d064b4ea1edf15b6f5a6a8907067d","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0632fe0570fed95e05475d3e831829747d6a129e","datavalue":{"value":{"amount":"+0.7400265336036682","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":"Q5145338$620AF799-1CE5-41F2-B683-860D96C4C3A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145338"}}}}}