{"entities":{"Q393085":{"pageid":394852,"ns":120,"title":"Item:Q393085","lastrevid":61501359,"modified":"2026-04-10T23:46:43Z","type":"item","id":"Q393085","labels":{"en":{"language":"en","value":"A new bound for 3-satisfiable MaxSat and its algorithmic application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6246022"}},"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":"Q393085$93CA01A3-E4E9-4F1F-AF46-F4F5D0EE5900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86fa6d9bb90cffde35a4e051b96b4704acf63df4","datavalue":{"value":{"text":"A new bound for 3-satisfiable MaxSat and its algorithmic application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393085$DFDC00B9-09AA-4104-9C05-E8508AB962A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"845d75ff7f243de688a76085f063cb9aaf77942b","datavalue":{"value":"1358.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393085$344389B0-A600-4B6E-9E6A-EAB12ED788D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$072712BC-FA3C-4345-9A22-7CEAEA0602D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9094b62160fbbb09066d67269c0f1a577ec33a61","datavalue":{"value":{"time":"+2014-01-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":"Q393085$2B052211-449A-41CA-95B7-529FD765374D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393085$F54B8660-2EC3-4C13-B577-0EAC390996DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"884d430f19ec4781e434a7b47077a45f9de21124","datavalue":{"value":"6246022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393085$5A752ED5-1A21-43EF-9D92-52BF1388B133","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d06bae0e0ce516d850aa5b87785a8d2203c77d","datavalue":{"value":"MaxSat","type":"string"},"datatype":"string"},"type":"statement","id":"Q393085$A7179018-98D7-415E-9085-31EE3C0B0784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f051e4c0158c9b4f46e698632ad284bc81057efd","datavalue":{"value":"3-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q393085$2EC287C7-A5A0-4FAC-8910-4C6F3EB4118F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676957cb97439560a58dd39a6351ac3ff2dddd2a","datavalue":{"value":"fixed-parameter tractable","type":"string"},"datatype":"string"},"type":"statement","id":"Q393085$E44948BF-A114-4428-A08D-13FC4190064F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6502121864a1dff048ddc4823cf928079ab042bc","datavalue":{"value":"kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q393085$7F228A4B-6A7F-42A1-9762-487B10663A3F","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":"Q393085$696F430E-7DDB-4522-8577-28E1594973EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ab1fcc8d3becd76029be10c9d37292760d3c9eb","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.08.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q393085$C7205444-DB6B-4B17-A2F1-73943299B07F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57d75f5e6b5952638f92e0b4d9ffe60f005b6d5f","datavalue":{"value":"W2145759487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393085$83833318-7509-41DE-A6CD-4CD85832C81C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1af0f33c186ba4b3999dae9e72b1ce5d81e4522","datavalue":{"value":{"entity-type":"item","numeric-id":3499744,"id":"Q3499744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$2B3BADCC-A30E-485D-A7FE-5B800F84CD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$BD9390B2-9CCE-4ABE-BBDC-47A5650D4A40","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":"Q393085$0B4516A3-B236-4163-A0E9-581140E9B014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$76684D54-E864-481E-BC10-388311E42A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b10fa9e2a42a4616f5d4acf2f338586aef951cd","datavalue":{"value":{"entity-type":"item","numeric-id":3576044,"id":"Q3576044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$4B8A1ECF-D4D6-44E9-81A1-41E98C50D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c7c89d7a481bc41bb763e1a98c6e0bb9b0ed56","datavalue":{"value":{"entity-type":"item","numeric-id":656604,"id":"Q656604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$0F4478F4-96A9-42A4-8D8F-0B09BA8A5E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79387ac38a03478593410344285a7ad25cd2238e","datavalue":{"value":{"entity-type":"item","numeric-id":3569888,"id":"Q3569888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$C295ADF5-74A2-4D07-84CD-3C1D834BDC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$3AB8D2A1-C550-408D-A8BB-B2BB07813FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$EC78A24E-75C2-444F-B689-28B034D1CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$76B52AF0-D4DE-4AFF-BC26-8B683DE364E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30bb1181cc5a945c9adb0d4a14b5b28dd7d24778","datavalue":{"value":{"entity-type":"item","numeric-id":3088277,"id":"Q3088277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$38C6287A-FE3D-42BE-826B-6E628DFAF3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5174524ca8ecd2a43db3a6784a3465663d502ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1082812,"id":"Q1082812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$9AC31B17-AE16-4321-A560-13DAFF274D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c65db875896e08ddcb715a3e9d58c7fd189858","datavalue":{"value":{"entity-type":"item","numeric-id":2891342,"id":"Q2891342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$EB80931D-402C-4B7B-9928-093C47348D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f8d0f99451c7b76e703c8f39b406e8547a54bb","datavalue":{"value":{"entity-type":"item","numeric-id":5501275,"id":"Q5501275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$BA2B78B3-2F81-41B2-9199-8334BCF99235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$87CE22F2-035A-4B05-8D56-66B02B76A7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937cff77f3008ec75c747bc39da74a24ad81205","datavalue":{"value":{"entity-type":"item","numeric-id":3906440,"id":"Q3906440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$A9142698-8D6F-442F-B5B1-00A20BB2D44E","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":"Q393085$B5045655-98C6-4A6C-BA86-29DDACBABE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$705F26A8-E68B-4E77-A4E1-DE4AB79E8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$4164F384-45F4-47BC-BFA3-D9F4F461A969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b89a10d5f8399d9170c00181a2ba1cff53d7043","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$F0253741-CA54-418A-B53A-B1B7882BDAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64eca57a292fb535c64f0ee00c7747458afe5823","datavalue":{"value":{"entity-type":"item","numeric-id":4652606,"id":"Q4652606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$463D7CE0-3722-4D63-8D91-C2144E796F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$07E311DF-28F2-47C8-91F5-33B9D7F2C978","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c8e7a3a27b1556ef36235f1b21cfab7df890fc","datavalue":{"value":"10.1016/J.IC.2013.08.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393085$52CE873A-CA5D-4B84-B154-2A93379FCCAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d62d1b98a8e47330bd8d09b4c364147d7b3d1f6","datavalue":{"value":{"entity-type":"item","numeric-id":168084,"id":"Q168084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$00BFE9DE-000E-4A84-84E4-6A7DF2FF7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d388b3df58013183d505e2badfa7e50cfcb16cd9","datavalue":{"value":{"entity-type":"item","numeric-id":6202837,"id":"Q6202837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$EEE51516-CC2D-44F1-8158-65752B61C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$75097F7A-0CBF-4ED5-846D-B893E59651D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce446809cda0969b939786a794eae79a100b8b76","datavalue":{"value":{"entity-type":"item","numeric-id":168085,"id":"Q168085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393085$BC5F5983-64F9-4D41-A520-873751F83F69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fece9dd337b33a817470a2bf01e546f5b3184151","datavalue":{"value":{"entity-type":"item","numeric-id":3088277,"id":"Q3088277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df66c24345d713eca762c3e73cd23a91f4c717b2","datavalue":{"value":{"amount":"+0.9500247836112976","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":"Q393085$0668B843-7C55-4DB1-90E9-FD48FC4D8650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57f3043faf0a1b1e487429e1713f75ee09f2dd","datavalue":{"value":{"entity-type":"item","numeric-id":4899239,"id":"Q4899239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d40aaf98cb27501a84f319515c1ad887f72a490","datavalue":{"value":{"amount":"+0.839911699295044","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":"Q393085$C9367451-161B-4F7F-8C58-59651945FB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe5dd179830bb6e9aef3970522f0529f51f6f12","datavalue":{"value":{"entity-type":"item","numeric-id":2283027,"id":"Q2283027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bda5ee4dc6047502cf205d0bde6d823565bd82","datavalue":{"value":{"amount":"+0.8373816013336182","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":"Q393085$CE828F8E-0ECA-40B6-91A2-3A345F864F89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new bound for 3-satisfiable MaxSat and its algorithmic application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_bound_for_3-satisfiable_MaxSat_and_its_algorithmic_application"}}}}}