{"entities":{"Q6883369":{"pageid":20796757,"ns":120,"title":"Item:Q6883369","lastrevid":84209279,"modified":"2026-05-13T15:09:30Z","type":"item","id":"Q6883369","labels":{"en":{"language":"en","value":"On using SAT solvers for graph computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8137426"}},"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":"Q6883369$A78C7FC3-7ECB-4FFA-B301-E3245C8FFB95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"394292d3cd3c4aa039032b2dce024ffb818333d9","datavalue":{"value":{"text":"On using SAT solvers for graph computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6883369$C394451D-45D3-46D0-8F66-5E55B23D34EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d80f3540a52ca7865064fa1a2ba3be2e38940a80","datavalue":{"value":"10.1016/J.DAM.2025.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883369$02C05BC9-0783-4E30-8CDD-C340B694C1FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$80ECA4BE-1B9D-46B1-9086-BC367B9CD9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c53283f06a783eebebf881549b5dd1ed498267f","datavalue":{"value":{"entity-type":"item","numeric-id":248923,"id":"Q248923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$693AA0B9-D5EA-4D36-9687-F0F54B4022AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$FC2B2679-1B7D-4706-A2C3-152D7D0578C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a94defba830eabf58be46009559b4e03d1d63d4","datavalue":{"value":{"time":"+2025-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6883369$550DEF67-26C7-4288-925F-EB6290309552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883369$F09B1E2F-01C5-411A-A545-801B099EA106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883369$D4CE59A8-2F0E-4A99-9D67-B8C8B9A0ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883369$30FAC701-ED24-4137-A22F-640950820990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"410b47c7531d2608a96cfd68271ca7077d8932e6","datavalue":{"value":"8137426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883369$84367D1F-4485-449D-AF92-33417CB3C2B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883369$B20BF4CC-DC4E-485F-AE0C-A83B03182F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883369$3D27B450-24CD-4DB2-B982-04E9A4166B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427181b25d58ac71ec9ee6e3624d7761ab60600c","datavalue":{"value":"excluded subgraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883369$CCB1BBF5-11A5-404C-AB6A-991D724CEF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db92bc7601eaee178ffaed0103e4107bc22c468","datavalue":{"value":"tournament","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883369$D1ACDDD6-08D8-4B71-B5F7-E670E330D6EA","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":"Q6883369$11C64081-876D-4A88-AFBB-6E871C9E40B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4fc40cc4aa6e7ed85430f1d05d0412bf9e7d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2346380,"id":"Q2346380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$BFAEC343-C64A-4CF3-8E0B-ED829161BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a35d67d7deb88aa05a4aee5e170727c681c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4606952,"id":"Q4606952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$469508AD-35ED-4785-9405-E2C4D9DB9D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8ded06ea25487612e26a0a728cfa41b8d8f646","datavalue":{"value":{"entity-type":"item","numeric-id":1842126,"id":"Q1842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$236DC9E6-01B1-4115-8C1F-A5F5CD644FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5bd305cceb36257482c5a47a8fab706bae9510","datavalue":{"value":{"entity-type":"item","numeric-id":2350597,"id":"Q2350597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$3F9646D9-4F54-4AB6-A62B-07DC2E4EBFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77760aa7755f262820afeeeaa88e7102636780ee","datavalue":{"value":{"entity-type":"item","numeric-id":2174559,"id":"Q2174559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$75BE1E28-2E39-493C-9848-A63D57374F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70180dd81d52e0bb39ef3d7c25a1e9750f697a49","datavalue":{"value":{"entity-type":"item","numeric-id":5049040,"id":"Q5049040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$A61DC1B5-AF49-4E61-99BB-92A5AEDB8E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb058c20b3fd753fc795924860262d9dd1511c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1948277,"id":"Q1948277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$8F109930-C44C-4A49-B3FE-5D90F7F3E26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$C16B628E-F734-4376-9BF2-7F2C79C0BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11d0e272613ca08a3b8f424c24cada97e122a76","datavalue":{"value":{"entity-type":"item","numeric-id":603891,"id":"Q603891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$6628C71D-F62E-4CB6-9130-10E69BFD2E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195615ac83646c857bedc64ede01bc9b848ee126","datavalue":{"value":{"entity-type":"item","numeric-id":3563951,"id":"Q3563951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$3343924C-CDE5-451C-890B-7B4B2BEEA84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53df4ea1d5adf9fadc54aabb27e9b91268fb1cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1591661,"id":"Q1591661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$78702D18-12EE-4BE0-B5D8-803E32321B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291f43b3c3314deaee3a1b29096a4461fb8e8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5249049,"id":"Q5249049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$016F3868-A376-4C22-8AC6-F252889EC8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77f6283e17141de84d46dd61c821d90f443b238","datavalue":{"value":{"entity-type":"item","numeric-id":519907,"id":"Q519907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$19D53A42-8F18-414C-BA8F-D6EF82637E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262d53b73609faf2dac1a3230c03aef4e738e335","datavalue":{"value":{"entity-type":"item","numeric-id":6829035,"id":"Q6829035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$3806EC1C-6BDF-49F6-894A-03A224D8D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314bccedbbcd978213d2ae76bc09168472e3e672","datavalue":{"value":{"entity-type":"item","numeric-id":4448762,"id":"Q4448762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$BD44CAE6-8519-4E96-A276-50FF473FE516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$4D04ADB7-5859-4890-8E18-683D26987C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a913520b4200286bbaf5910195bb2d3b791f75","datavalue":{"value":{"entity-type":"item","numeric-id":2642017,"id":"Q2642017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$095BE27E-9542-44AE-9B66-251055397408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb14a6349264d436a9f2d54a52e0333a34891a87","datavalue":{"value":{"entity-type":"item","numeric-id":4962768,"id":"Q4962768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$D6DB79C6-F832-47EF-AF01-AD911C26626E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0f4ad021673248c27451b22c4375e8bc812f85","datavalue":{"value":{"entity-type":"item","numeric-id":5668845,"id":"Q5668845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$765DE872-FFF8-42CF-B79E-89C512A6E430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cec0d902e3fbcf7273174b450a901b527681eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3637156,"id":"Q3637156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883369$8D0BABEC-D4E8-4BA6-976F-DBCB00A414EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On using SAT solvers for graph computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_using_SAT_solvers_for_graph_computations"}}}}}