{"entities":{"Q4914311":{"pageid":6943890,"ns":120,"title":"Item:Q4914311","lastrevid":40704699,"modified":"2025-04-04T10:18:23Z","type":"item","id":"Q4914311","labels":{"en":{"language":"en","value":"Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155500"}},"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":"Q4914311$965328DA-72E9-4FFD-A98B-93C9EEED4055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"059f8e7fbe7b13d0e39650d5b3c908e180e8e4e4","datavalue":{"value":{"text":"Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914311$630A1E2D-E14F-4AF1-AABB-631B799A964F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17cd42d4931f45ca0315cfa42fee52879c5f0fa9","datavalue":{"value":"1280.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914311$F912EC14-BF30-49C4-8873-62D7672993D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b94b61adfcc84a219e82dbdd88e7475be361697","datavalue":{"value":"10.3233/FI-2013-800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914311$C82D9650-3070-457D-B0E3-34D70F5159C5","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":"Q4914311$FF2BD1D2-7DA7-4E4B-AFE4-068486074218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914311$AE4C80BF-388C-43AC-8C28-D870D4559CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914311$B1CFDF5A-53E8-4880-8A10-8DFBBD134F5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914311$AA7022BB-186E-4A3F-914C-B1BE4ADB5E3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc7e66db6101b78e3ea7c15b1ab0503a867fd99a","datavalue":{"value":{"time":"+2013-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914311$870452AA-AE91-42BB-83BB-49690E626D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914311$7F0DB2B9-0D5A-4DFF-B32B-2D62C419792C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914311$38814295-A0BA-438F-9095-9F12879D0BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914311$D5B2C97A-FE05-446C-82FC-010A551BC35F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14edff4ca555d087fc3ab13f7daad2ea0a7a8939","datavalue":{"value":"6155500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914311$427D795D-6FE0-4CBC-A778-6431731EC9BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed4a649f4d39fab749ca19a80f58e70f49d4823","datavalue":{"value":"propositional model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914311$656A63D6-0355-4641-A9C8-05D82352A7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914311$40E27E8A-7D91-462E-93D2-E101A97810D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e67e88bd2345300d0633b669f5623f033e3f99","datavalue":{"value":"rank-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914311$9252CC96-A3F6-44B5-A974-040EC7FADFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914311$C9772D4B-4D23-457D-A77F-0E49C9A9CF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914311$59A738C4-031F-40BA-9A67-9B0F368846AB","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":"Q4914311$64691327-A6F7-4405-A1E7-40E592923748","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4621f0e11819ec3ef443da0cbe1d6898f3e13d","datavalue":{"value":{"entity-type":"item","numeric-id":2908838,"id":"Q2908838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$5CE03BF6-72C9-41F8-8E1F-3384443DF8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb237ec0f03166e294e8c0d7afb00e933d9e13c","datavalue":{"value":{"entity-type":"item","numeric-id":2232607,"id":"Q2232607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97e863d1e318105deffa36b7f2c1d45af00aee3","datavalue":{"value":{"amount":"+0.89976376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$E8786B37-B33D-4D32-B328-D696992BCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb99da77c4cad897c30658ec35cd00f2752b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2487388,"id":"Q2487388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa54bcd2e6e8a1d28cd1b5d50cf741417d7b4c7d","datavalue":{"value":{"amount":"+0.8887522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$390D3261-E9EC-49C6-9C1B-67FD7E65185C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3f59b105cebd2bef8df572fce8915b60d0647d","datavalue":{"value":{"entity-type":"item","numeric-id":2692222,"id":"Q2692222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19a09b109fc4d4c2985cae488d499504766a792","datavalue":{"value":{"amount":"+0.8859919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$08919EA4-B10F-48CC-9115-B748C3518837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6985c22af77a52be8efc42105281e2881334988","datavalue":{"value":{"entity-type":"item","numeric-id":3651552,"id":"Q3651552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167c435b2d7f643592bdf92c6f3d7a5e9e886120","datavalue":{"value":{"amount":"+0.8836386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$FD0BBB2E-6011-41F4-B01F-CDBCD769D262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3866a5cf1915d26e00f0648cff995c69da7361f8","datavalue":{"value":{"amount":"+0.8820083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$55C42F39-8D87-4A3E-8A08-C7E034EBA35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cb56bc98e027200428d2c8f519e6bd7cd4b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3590928,"id":"Q3590928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa6fa937e15ec9d596ea376303ab3bc540c3025","datavalue":{"value":{"amount":"+0.8816367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$ED1A7E17-70EA-4134-B2FE-AC9AE43AE454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597041e59d27bc288d979855e7ebac79c3b32e45","datavalue":{"value":{"entity-type":"item","numeric-id":2946392,"id":"Q2946392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52fc922e53a1932b39259684f482ad1e1d49b67","datavalue":{"value":{"amount":"+0.8815011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$3FF67AD2-C079-4E97-87F5-F59E61B09FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a9801562e5c7bc7b6c88a48c21fcb41b8bf771","datavalue":{"value":{"entity-type":"item","numeric-id":826119,"id":"Q826119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7bae69e3a49b5e0348e0d92e030a0cf5b7745f","datavalue":{"value":{"amount":"+0.88016784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$1791C2B8-BDC6-4C92-9CB4-5B94780B23A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c57d34cdf0f903d61e4e08642624a06990c7af","datavalue":{"value":{"entity-type":"item","numeric-id":4267801,"id":"Q4267801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd440af58f1bf37661bbfeaaba5909cc0f7234b","datavalue":{"value":{"amount":"+0.8759223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914311$41EED9BE-711E-492F-982A-DA21051285FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914311","badges":[]}}}}}