{"entities":{"Q6572028":{"pageid":14183183,"ns":120,"title":"Item:Q6572028","lastrevid":42356114,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572028","labels":{"en":{"language":"en","value":"Weighted model counting with twin-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880736"}},"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":"Q6572028$438ED22B-B5F4-4B56-8DAB-32449AE80A1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7abbc97cc792b41f476488348644117ce38194a8","datavalue":{"value":{"text":"Weighted model counting with twin-width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572028$27BB8FD8-1795-4844-9661-6043068F299F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20032bcc84344d7c9c68c7fbf55beb604aad0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":395001,"id":"Q395001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572028$7D9135C7-2F0A-4D27-9CAE-3F98F16FD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15404bc914f6eb5b9a88f8501a03dc5c40fe5118","datavalue":{"value":{"entity-type":"item","numeric-id":1631772,"id":"Q1631772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572028$627DD7D3-7E37-485F-BC3E-9D6111855E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"693b10c86dd171eaa1d3c9be5d4be01094006595","datavalue":{"value":{"entity-type":"item","numeric-id":5101316,"id":"Q5101316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572028$1430573D-1299-4C47-BC59-36EF0FFF9D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"505f84a72ad56e4b884a3adf675371f0903538ec","datavalue":{"value":{"entity-type":"item","numeric-id":2221802,"id":"Q2221802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572028$92E7F66E-CB48-43CF-8D30-79CB27D52B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572028$30EE6F26-EB64-4215-BE5E-B425C0EDFAC5","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":"Q6572028$BC672032-B254-4F2D-AA49-7ACF3D9F0C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572028$35106CF0-0DC4-4CE2-A9AC-106B143E0911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572028$8FB0B6F6-1D52-41F2-9BE0-3C40F145924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572028$7A02C432-5869-4570-ADC7-D756EDF441E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d99ec66a4601630040ffdda96930110a45137063","datavalue":{"value":"7880736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572028$68E44542-75A1-447C-B7F0-9DD232226F27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aa5d84f6988ff903ef9fa1fa0b56ae7a302c7a","datavalue":{"value":"weighted model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572028$4C001066-ABCA-46FD-A7E7-095A5A2B4720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fec7762af342aa421aae27c666c47477920bd6","datavalue":{"value":"twin-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572028$10169BEE-966A-4BCD-9142-02CE47046906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572028$D813C1AC-19B4-49D2-A177-0A93FBCD5A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572028$E65ACA0F-5EBF-4F25-9319-CE5EEE12185F","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":"Q6572028$8A41F4BF-9256-479F-89DC-96C3338FD58C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"503826e061b70d3dc274a879aea67a460131c3eb","datavalue":{"value":"10.4230/LIPICS.SAT.2022.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572028$D7B26E11-D206-4D45-BD3D-1023BCC71BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572028"}}}}}