{"entities":{"Q2464035":{"pageid":2474778,"ns":120,"title":"Item:Q2464035","lastrevid":50231156,"modified":"2026-01-13T14:31:16Z","type":"item","id":"Q2464035","labels":{"en":{"language":"en","value":"Solving \\#SAT using vertex covers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5218960"}},"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":"Q2464035$D0A169DE-2215-459A-8707-127F89C18277","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9d9b60fd3ede3251013664028c09fb349314de0","datavalue":{"value":{"text":"Solving \\#SAT using vertex covers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464035$06CF4E57-E834-4E58-9D71-6C1B84A736E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feb030d0dcee8cbd664656b622a715f6aa8abbdd","datavalue":{"value":"1133.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464035$1AA30F28-B63C-4B58-BD83-8B4E0AF0DCE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6c1ea196a21dfa02623870727c5ba688009bc2","datavalue":{"value":{"entity-type":"item","numeric-id":346507,"id":"Q346507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$CE0185AB-DF1A-4108-BBF6-0DD92A1EF332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1078dadceba4c60c801967c8568490c45d0068f0","datavalue":{"value":{"entity-type":"item","numeric-id":919821,"id":"Q919821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$9EF8CB95-8DA4-4776-A137-572555F212CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$5ACF8871-59F2-4828-9F99-FC6F420F2B8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$6282D16A-004C-487C-ADD9-88F8B330699C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faa4e2db889e78b8ad508b312ddd6133608474a0","datavalue":{"value":{"time":"+2007-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464035$0FC2EAF6-1798-45DA-9CD6-A1C0395923E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464035$A1BE507C-62C9-4E77-B7B1-4D4CB7DE4B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464035$23236066-2640-42A8-B90A-D714DC5B0F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"640bc2642207b5dd5719a6edfe87dea7a77b8681","datavalue":{"value":"5218960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464035$7A34EF25-29F0-49C7-81CA-AD80EB7251A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eacdb054d96e4e832b1585e2082c2a552a9a570","datavalue":{"value":"obstruction graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464035$B9097B59-7DD3-40A3-8D32-92359A5027CF","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":"Q2464035$2E857995-729D-409B-98A9-B37AC228C7B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6deadb30c2374655bb42924db505d026410e94e","datavalue":{"value":"https://doi.org/10.1007/s00236-007-0056-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464035$4ACDD237-6F8F-42D0-8AF4-3FF0EFCC440B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d041bbc244149ea998bd65083dd13129d0b0adf7","datavalue":{"value":"W2093939144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464035$FBCAE1CD-B4D9-45CA-A032-C27B68048FC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$FBD696DB-7882-41F3-A9B8-4697A7F62A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530c44e692cd7fc61b1e312c0cbd39162c4add2e","datavalue":{"value":{"entity-type":"item","numeric-id":2775891,"id":"Q2775891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$053DFD6F-7DEA-466E-B5CD-554B20056671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7c6a3d15214a0315545a5229b3f196f2e12e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5756684,"id":"Q5756684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$5A35B941-3A33-40C4-A4EC-A78F0F2CA04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$6F2EF365-742B-44CD-835E-C8095CE9A390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$6AEDF509-8C24-4758-A3FB-A10732AF4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b1a3469bcf85c5bdc034429e87442cc51f8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$4801E751-A787-40D2-B437-B5C4C330A82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb4eb1ae0d6b2098df61963537d029b3f93b13a","datavalue":{"value":{"entity-type":"item","numeric-id":4651498,"id":"Q4651498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$F5640FA3-4D7F-4332-979F-C54937674066","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":"Q2464035$0681B435-6E33-4A25-891C-7EF997D245D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a6603d29a77f8174c8e6fc2316564ae080fbde","datavalue":{"value":{"entity-type":"item","numeric-id":1603733,"id":"Q1603733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$F439602F-07B1-4C68-BC4B-152688B555CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a832b120c4508a676a7e1f40bc2d7ec4752a4f02","datavalue":{"value":{"entity-type":"item","numeric-id":814914,"id":"Q814914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$3A513448-6173-4760-8CE2-8BDCEBB6E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$3F400A57-52F8-4264-A622-B331C0FFEC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f90f14c7f17aef07745280dbd63e19b5c6789d","datavalue":{"value":{"entity-type":"item","numeric-id":2741513,"id":"Q2741513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$8CBBAD61-8677-48F8-A010-170797695D9E","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":"Q2464035$79189331-E1BB-4666-BA1E-5CBF4F0A6E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea587c95b7231ee2f30c675a05e440be741861c2","datavalue":{"value":{"entity-type":"item","numeric-id":2496203,"id":"Q2496203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$0668808C-C5C0-4390-8819-E1E5D1BF2F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b399d8eafcdd5c70e0a548940189236fe91ec86d","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$E6C964FF-6FE5-45B3-BA08-4F9C8D8E716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$A8323E9A-EC29-44A1-850E-31B532D4237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a4fc9ca95d1d33ed6b73ec75564b022565a111","datavalue":{"value":{"entity-type":"item","numeric-id":862400,"id":"Q862400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$F03D44B2-1C21-4B5D-BC3F-A812D48D9F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464035$8558F275-A289-4CAF-B835-34B92B21AC77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26e07aef243663d6819053d77d7bff8ca3449ea4","datavalue":{"value":"10.1007/S00236-007-0056-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464035$EC7618E8-5D31-484B-B073-A11276076921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdf96af51d9cd5b5e56a11bc165112f273fc839","datavalue":{"value":{"entity-type":"item","numeric-id":5756553,"id":"Q5756553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef06bc603a6a7c73208e4f37464e694a8108e44","datavalue":{"value":{"amount":"+0.9964763522148132","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":"Q2464035$BD2280AC-40ED-4286-B11A-CF7193AD6F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93dd43b1172c0a92f2f3abd30a80e730559ddba","datavalue":{"value":{"entity-type":"item","numeric-id":2872132,"id":"Q2872132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdadba2460a294b6407fa921f58f009891fcc3b3","datavalue":{"value":{"amount":"+0.826100766658783","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":"Q2464035$86362EF0-398F-473C-A1CF-68E447AA4D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfc6de8543516fd41a4aedbb0866be1ef41ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":1680240,"id":"Q1680240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e36764cacc73f78c2ec3c616ab1cd8a4210fd5","datavalue":{"value":{"amount":"+0.824553906917572","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":"Q2464035$76BE85FF-740A-4837-8387-2AFED030398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fbd704632b6ed04868eaee2d449e815a8228b","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7ae4b5ebb23f43cc9f2d3a140e4929c645ad20","datavalue":{"value":{"amount":"+0.8197951316833496","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":"Q2464035$DCEE9899-57E5-4D56-BE43-904340D4A8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258c80fab1f94fc13ff1472f57ee8b5e3d036e95","datavalue":{"value":{"entity-type":"item","numeric-id":2238644,"id":"Q2238644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c01ff67c9f138b2008c18c4301d72014d1a23df","datavalue":{"value":{"amount":"+0.8180276155471802","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":"Q2464035$08B75AB6-7CB8-41E0-B2B8-7B57EB09A998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2464035"}}}}}