{"entities":{"Q6829035":{"pageid":15114148,"ns":120,"title":"Item:Q6829035","lastrevid":56014627,"modified":"2026-02-24T13:54:17Z","type":"item","id":"Q6829035","labels":{"en":{"language":"en","value":"A SAT approach to clique-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483254"}},"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":"Q6829035$65FB8912-4D7F-41D3-8479-D93B016AB48C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c255549a95ef184b5c6feab3cac458fcf96b83b","datavalue":{"value":{"text":"A SAT approach to clique-width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829035$C0D1F440-CF89-4E4A-99D2-D5BF2CBCD554","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caba817cfa39da83194a8e9a1a95f308ffb272f1","datavalue":{"value":"1354.6824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$3BA0CE38-5704-481A-8E6C-DA9FF842F18F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d5b73c7b59ecfb53bab50196bcc7f831c28ff18","datavalue":{"value":"10.1145/2736696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$17228C6C-FBFB-4ADE-922E-32BCE345923F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829035$8DF344E4-18B4-4A5D-BEC8-F352FF636409","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":"Q6829035$C3DB9C98-F137-4B11-9AD4-555D39B60E55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829035$E20022A7-D1DB-46D1-8DF1-2BFABC467D58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829035$4032DAF4-340C-4EAC-9333-D9FE08465EE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$7B712DC0-795A-4A8E-8FEC-1FC00FDAFD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$49778EE9-8DED-46CF-8F5C-B7DF094E8F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$7018EFC8-5629-4780-B91D-07DC756EC651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5333d0205ccf54f8482367bfadbaa8f4afc5f8fb","datavalue":{"value":"05C78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$FA5EC635-CC34-4CC3-8B6C-4D69E8E14288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$F69E2708-F672-4CD3-B069-B549734BCD9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbab8f3ffbb74062bf2be752c329c4d931c1df58","datavalue":{"value":"6483254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829035$E96C84C3-F3D0-4132-8717-ABA1958668FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$63316E9D-849D-4ABB-8B06-952356925D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$030ED7D9-B0F3-4D86-9759-DA77E39BE14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$2668AB3C-2C23-4B17-B040-234BA20986CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9ea69f98993ec8c397b4afcc0cf69fb524db51","datavalue":{"value":"cardinality constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$201C03ED-F14D-42C6-80DF-2FCEBD1438F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447554cbf72f18c1b4187a928184b06030c37855","datavalue":{"value":"\\(k\\)-expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$2898402D-2130-493D-B344-9805ED3B58CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122e758871384e92fcf30d73145ed2193fd7dd27","datavalue":{"value":"linear clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$68DAD701-D80D-4F66-BB3F-8CAC2D40437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829035$C0D52571-C67D-4F1A-8893-5A30E9CF1824","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":"Q6829035$76BE65B6-E0DB-4CD8-AB8F-BA5AA4383C0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A SAT approach to clique-width (scientific article; zbMATH DE number 6483254)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_SAT_approach_to_clique-width_(scientific_article;_zbMATH_DE_number_6483254)"}}}}}