{"entities":{"Q3088277":{"pageid":3098992,"ns":120,"title":"Item:Q3088277","lastrevid":58110735,"modified":"2026-04-03T20:36:28Z","type":"item","id":"Q3088277","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 5940770"}},"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":"Q3088277$871EA197-8987-4D1E-8BB3-26F4DE7B149B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e06c40144472ad4c92ea7e5017b8457129d2045","datavalue":{"value":{"text":"A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088277$B2F6B726-2F34-4E8D-A775-FB8C2C9A0531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc408bb7ff92b51a153250e6d1769816de1baa5","datavalue":{"value":"1342.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088277$128DDB49-0A2C-4538-A9C3-26A3D0CCC83C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba5eabb4c401f90adce399ca9f9f730d584d3ef1","datavalue":{"value":"10.1007/978-3-642-22953-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088277$03EF2577-43AC-4D3B-9EC1-452902CA49CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088277$16BD91BA-B68C-4331-B6F4-960B2EB8C0D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9973b58de11bddbd329b1cc3e6e49b7db7b7641","datavalue":{"value":{"time":"+2011-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088277$CC5D5254-F6CA-466E-A8ED-8678BFD86C9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b872528c09e27591a15e2647843d6e8e9f2e5fc","datavalue":{"value":"https://arxiv.org/abs/1104.2818","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088277$359FD98C-1942-46CF-B01F-22DA644F9C90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088277$F2C69203-E5D2-4B4D-98CD-272C8FC6F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088277$6E0E50EC-8615-4D9F-BA00-D1DC31F4AFA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5e341b163ac48a2a0ddffaa886b23dd0e9d4898","datavalue":{"value":"5940770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088277$BD024203-BCE9-432E-AA81-2D4913BF91B8","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":"Q3088277$7D590F7A-B721-4595-A3D4-475DC6888D5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3ea6809c1439d589671b539a288659fe3367746","datavalue":{"value":"W2568591931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088277$DC49DC34-EF48-4117-B9BE-0F87D8E8EBFD","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":"Q3088277$65C9AD6C-4020-42E1-8FEA-82EF48DDDFA6","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":"Q3088277$D919001A-B356-4885-8104-1E29EE34673C","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":"Q3088277$FCF50C66-0F5B-4AFE-A4DC-A298D6CD78BE","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":"Q3088277$D2148D61-2933-4E45-9A7B-82DF246FC442","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":"Q3088277$50ED78E5-503C-44E0-BB6C-0859E53682FA","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":"Q3088277$FDA48511-5562-425A-AFCC-0C628BF2013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2089a67f9b8a8cd49a26ef6753dc708a9b5eac46","datavalue":{"value":{"entity-type":"item","numeric-id":393085,"id":"Q393085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088277$DF77A392-CE6D-4A0D-BEEF-8C6D266D6A50","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":"Q3088277$A3238DAC-0172-4412-A331-9637B58415CA","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":"Q3088277$28724B1C-C1F3-4641-AD6C-F0C8C2CB2462","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":"Q3088277$9D8B4F76-0E93-41BF-9A69-D40F6004BA83","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":"Q3088277$F0D952CD-CBF7-47AF-A1A8-FF73FE87C8A7","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":"Q3088277$214B4E59-FCF1-47B0-8E4D-6B3244B11408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7783807a27a99afd6b0a28e9ac8462796accb95c","datavalue":{"value":{"entity-type":"item","numeric-id":452481,"id":"Q452481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088277$A516A527-638B-4850-A814-4AB647E1736A","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":"Q3088277$0CFC0F88-A016-4873-A048-523962586C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6370b6f9413b59eb95bff40c0e97d85e873716c","datavalue":{"value":{"entity-type":"item","numeric-id":1004602,"id":"Q1004602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088277$AF3BB58E-A2B9-4695-A53D-54D8D1DB48DC","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":"Q3088277$7EAE0494-857E-4A9D-8FCA-C2E199AA11DB","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":"Q3088277$675C169A-9F9E-43C1-B15E-3DEC98718ABD","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":"Q3088277$D2FAD28E-D2B5-478A-ABFA-4DA525F7AF29","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":"Q3088277$51EF6CB1-D5E5-4B18-8BF2-005C71CB9802","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":"Q3088277$40BF1F11-5ED5-445F-BBC2-46FE715F869B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19258b56ee504dba65941abeeabdff026151c7ad","datavalue":{"value":{"entity-type":"item","numeric-id":393085,"id":"Q393085"},"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":"Q3088277$36484394-B955-458B-88D3-3ECDEC464C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40929754a6d68a5aff570783a44cafd5cdb6028","datavalue":{"value":{"entity-type":"item","numeric-id":5417644,"id":"Q5417644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac5bc3e6c2ee49f63416954e8416d46bb8aabb8","datavalue":{"value":{"amount":"+0.8299636840820312","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":"Q3088277$8CD9DAAB-2188-4E59-B13E-AD9CAC98D29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab086089bf0694bcb2b4f41f85c40bdcc11df13","datavalue":{"value":{"entity-type":"item","numeric-id":644808,"id":"Q644808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe02b1e575820022f263508e8d126b1d822eeea4","datavalue":{"value":{"amount":"+0.8208447098731995","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":"Q3088277$F1D7BF89-CF85-4839-9232-E9C94A00F8F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088277"}}}}}