{"entities":{"Q5756553":{"pageid":7786104,"ns":120,"title":"Item:Q5756553","lastrevid":50157671,"modified":"2026-01-13T07:24:39Z","type":"item","id":"Q5756553","labels":{"en":{"language":"en","value":"Solving #SAT Using Vertex Covers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187209"}},"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":"Q5756553$FDFD5065-D923-419C-AB96-6E37E3DA6859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f78d1eced93b43599955e3568ec1dd0d15d9da","datavalue":{"value":{"text":"Solving #SAT Using Vertex Covers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756553$8CE126DA-6094-44DB-861C-1E7AAA74BEE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d72fa8a0f0ef49327b24c5633f6e35b724ce89c","datavalue":{"value":"1187.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$D9E937BE-597A-4E0E-96D9-366FB0F1BD0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fbeac487fee28b6cc4540047a193677598ac756","datavalue":{"value":"10.1007/11814948_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$A2E63A31-BC7D-47D8-925A-5DDB0D1AF983","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":"Q5756553$1C1FA925-7483-41D5-92EF-B7D58DC88EAE","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":"Q5756553$41A96B76-2CD2-4EA1-BDF3-671DC5F39E7F","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":"Q5756553$FD32202B-E37C-4085-96E0-E0CA96DC68DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756553$D714F76A-8659-45E2-98A5-005A8008CA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756553$FF208C60-FBAE-472B-B1E9-8B2CC495BF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$F2CE6FD8-4709-47D5-B440-787687CCF448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$1078CAFC-4D9D-4198-BE66-622AD9147C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$8EB3A1EA-08E0-4B4E-98B4-3ED65C289897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb0716b52af612bda4e26e0e3e8ceedbf0645c4","datavalue":{"value":"5187209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$74A245F0-DE47-45E4-A52E-ADCFBEBCACF2","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":"Q5756553$F280F366-5CB6-44BA-8758-C929C9C16F76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9379c9ba8f8b54606f7aa0f9ac40f2b97515cfb8","datavalue":{"value":"https://doi.org/10.1007/11814948_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756553$C4D84501-F47B-4FFE-A1E4-78D9B5072C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc279d2e6d18b6fcfbf27b9db49f83091f480f11","datavalue":{"value":"W1752314164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756553$5E3FF208-AE71-4C5B-AFB9-626AE010CE5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162c6598e23f5f8c881b1053ba72a442fff19a21","datavalue":{"value":{"entity-type":"item","numeric-id":2464035,"id":"Q2464035"},"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":"Q5756553$EFB5036F-D522-4B85-8306-EEDB94033C27","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":"91c9e1b8d4e2fa712239cda706d9ea6c71088092","datavalue":{"value":{"amount":"+0.829979419708252","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":"Q5756553$87A06013-1BA3-4B6A-A566-02B27FD72B07","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":"73df949649307cdb8c65d56ff0bede8925544c0e","datavalue":{"value":{"amount":"+0.8258811831474304","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":"Q5756553$ABF7C2D6-37AD-43EF-B5F3-A26BE36F90C4","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":"cbb56378be6da8fe7976b6c89ba4e020174c56d7","datavalue":{"value":{"amount":"+0.8206381797790527","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":"Q5756553$82022480-034F-4FBB-98D7-B4C05E4BA61C","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":"1f3a298520fa01fce2766bed9c682e952d3c2726","datavalue":{"value":{"amount":"+0.8197759389877319","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":"Q5756553$6032CA4B-8CC4-4286-9123-53A270C1B1DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756553"}}}}}