{"entities":{"Q2283027":{"pageid":2293770,"ns":120,"title":"Item:Q2283027","lastrevid":53624300,"modified":"2026-01-25T10:58:23Z","type":"item","id":"Q2283027","labels":{"en":{"language":"en","value":"Algorithms for \\((n,3)\\)-MAXSAT and parameterization above the all-true assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7146688"}},"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":"Q2283027$F679527E-BA0A-4A9C-9F26-027B1CA8F8AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3847205f6391285997ac734c24a5cec184ccf4a","datavalue":{"value":{"text":"Algorithms for \\((n,3)\\)-MAXSAT and parameterization above the all-true assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2283027$D2D758C1-CBBA-4FF0-BCA2-D3C5AACE111B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d15e402953d3115c5d71b86a47cee440ee37e3c","datavalue":{"value":"1436.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$F29C6483-11E3-4DA3-A8EA-CF39BFF29FCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50621014d029d761fd0b6c65c37b7f1923a270c9","datavalue":{"value":{"entity-type":"item","numeric-id":2283026,"id":"Q2283026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$FD73380A-A862-49F3-81E0-91B64486C811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad6996603b7850d02c6839571cce935453d8b075","datavalue":{"value":{"entity-type":"item","numeric-id":1946834,"id":"Q1946834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$F59C70A0-93AD-4C33-96CF-9D8A7D5E661B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$62DFD25D-577A-4770-8682-838567A99F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03234405970b92a1e1e92703ce8133c6083d387f","datavalue":{"value":{"time":"+2019-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2283027$2E653A87-AB80-4261-930D-BFF80D3DF9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$BCA0616D-ED91-4218-B4C5-6AF0427D9A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$4D671B6A-6282-4DAF-AC58-ADDFE0848B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$DAB8CC79-3EB0-4FF4-B617-24C8BC95B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$1EAA7734-3FAE-4DFB-B0D6-E97EB663E091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2489973c32809f837ed84160c0df1a76ea07a4","datavalue":{"value":"7146688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$50431C6F-117F-44A1-9203-64EBEE776D08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283027$E28A4619-3239-4331-A5CE-9C5858E460AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f05553a5308936a7205a0d3afccb9b8d271916","datavalue":{"value":"exact algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283027$EC4D8C91-9FDB-47E8-BCFC-554F3607A14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5359dbc6bb39947c1d74b9a9ebb9e961b4f8eb6b","datavalue":{"value":"parameterization above guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q2283027$539F58EF-107A-4342-A99E-7073CEC60974","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":"Q2283027$E674D27C-8067-4783-B8A0-66177DD7C81E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb9f997d498c187111b7981e95d2fb6d45e6b1d2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.11.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2283027$7059BD54-A31A-46AB-AA39-CDC20AA026B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bfee51f096cdbf50d2dcdfce29242ca9d50947e","datavalue":{"value":"W2989778209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$8F338716-0851-48F1-9A1B-24CD7EEBB6D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7824bcc2c0cef48a59c7af5cea7e9a1a9ca3c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4899239,"id":"Q4899239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$FA9892D3-BEC8-4F19-9A26-A758808BD28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ece69a19dd1a5492c7ce9be64e86137802541e","datavalue":{"value":{"entity-type":"item","numeric-id":528862,"id":"Q528862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$F60BF806-9819-48BE-B715-68CE917A7CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c91f7565cf2db1f95e7eb525f27192b8c5f5d1","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$EAF45E43-C17F-4A0B-8E4A-D1AFD69D8B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be99ec67e8fd9ded7c91a5594145bcf7b947930d","datavalue":{"value":{"entity-type":"item","numeric-id":3449815,"id":"Q3449815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$63A201C1-5E55-41EF-91AB-1495EDD22CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfc1af08efbae047d09b87b7532c7c585ac6f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5269825,"id":"Q5269825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$DE801E99-A004-4F57-B1CC-825E023067E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44c4b90cb60c7bfa768ecf7a7ebba05346d5efd","datavalue":{"value":{"entity-type":"item","numeric-id":5463369,"id":"Q5463369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$C0D86468-0024-49CB-8D2C-6E36514B14CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df538756408d7e74427c12d433dd67d6c7eb172","datavalue":{"value":{"entity-type":"item","numeric-id":293164,"id":"Q293164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$AC6C91D4-568C-429E-9F1D-AA6CFE56C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d5b0726494a65e0b703d8d8075fdbda44c3a69","datavalue":{"value":{"entity-type":"item","numeric-id":3581524,"id":"Q3581524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$3BBE95DC-55CC-418A-8D32-DEA09F8677E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0accde3455e1cef4120856a85cb495a61ffa6138","datavalue":{"value":{"entity-type":"item","numeric-id":3225865,"id":"Q3225865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$C55C47C3-731E-49BB-B36F-A53E8F13D843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47614eb02f0bf4af90ccdbaabb6abfe86e3de0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$56AE7572-901C-4EE1-94BA-477058F3CC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42d8a204e7327ab6fd71b0855847576ddc81fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$FFECC080-DFAD-4B8A-947F-D25923DE2A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24593529f4181b1b702a5df35f12b15aba1cc0c0","datavalue":{"value":{"entity-type":"item","numeric-id":1708599,"id":"Q1708599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$72B5DE68-17D6-40DE-9886-9C4F2CA38C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671a4409a2433a335f15aa4e2d3714ed06fd49d4","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$C3306A47-4768-4300-A6AE-7EFEF76C758D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986e11c26895abc65ae1797f03e21abcea7e1ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2424882,"id":"Q2424882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$E6CA33A5-3B21-4FB5-8CE7-1F0B2FD24C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40337796e68c8e4d563581aad5f07ea090152cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5741085,"id":"Q5741085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$CAF97701-96CB-44BF-B395-2B33774AABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa007e8375cd44407528433de42d99c21a8586f","datavalue":{"value":{"entity-type":"item","numeric-id":494801,"id":"Q494801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$7DFEE00D-BC62-4984-A847-56934E656135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7769253c4a2a032fb8d52b7e3610bf3caf40c67","datavalue":{"value":{"entity-type":"item","numeric-id":1625174,"id":"Q1625174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$79BA4631-E5DC-4F64-86C1-7F4699AB9E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f27930b4745fc3b691015d1f5d397def86e843","datavalue":{"value":{"entity-type":"item","numeric-id":2464326,"id":"Q2464326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$319BB288-F510-41DD-9FF3-557E87EA35C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfed760164550ef0fc65fd7284dc5ce3aeba6821","datavalue":{"value":{"entity-type":"item","numeric-id":633768,"id":"Q633768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$F2294AE5-E792-461F-AD0E-28EC0852B109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e8ac3ed2a92cdc7a0ec1fa72d148ded1bb370d","datavalue":{"value":{"entity-type":"item","numeric-id":644808,"id":"Q644808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$9561B743-3560-4917-912B-4457D2238266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a2fb6d6e604b7e9682fe686b930c6f89648aa","datavalue":{"value":{"entity-type":"item","numeric-id":4242660,"id":"Q4242660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2283027$90B7798B-C356-4836-A16C-1D4B5F528803","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f942e6d440c39240c87d8b71043af32857c4ff0c","datavalue":{"value":"Q126647435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$54E8160B-3E0F-43DD-B51D-818663EE61A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"025d9ed945f4ab797c80bb021282154f5093f93d","datavalue":{"value":"10.1016/J.TCS.2019.11.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2283027$D2E4BD81-70C0-4D49-9024-0CDD49A1A8AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c78c667cc751c06d773892335dfb8ff5a777ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2327118,"id":"Q2327118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d966c655ffb2e62beab4e953607d394a474120","datavalue":{"value":{"amount":"+0.9323315620422364","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":"Q2283027$B1932DA4-7E12-4993-86AE-D91C65A49F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfd952c4dbff9b05b5d1bf0775fbbbcf8fb8946","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5946a9e9d85b45c838db367d0b05be9335d0d73f","datavalue":{"value":{"amount":"+0.8807993531227112","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":"Q2283027$68384C06-C182-4D92-B663-D1F7CEB1CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7dc36f96bef172011617a641db5a0d357381cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2051907,"id":"Q2051907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64346d0e505b199a20d6ba8ec5bfe2767d97d7a7","datavalue":{"value":{"amount":"+0.8578606843948364","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":"Q2283027$2387D0E2-00A4-4B76-99F3-8F8F256EAC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d2df80563fa92976ace146e641f9bedd43eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3df780796dea929ce9d4e6deaddafb7b6e2e968","datavalue":{"value":{"amount":"+0.8433746695518494","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":"Q2283027$64B6E038-1A71-4A43-9BBD-EA6FBD2BB6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7042fa2de22b05e00e4ffb0c9d8e8fe62979524","datavalue":{"value":{"amount":"+0.8423991799354553","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":"Q2283027$5D8E8BA3-7D46-40A9-943A-186A08CD37FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2283027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2283027"}}}}}