{"entities":{"Q3637181":{"pageid":5667087,"ns":120,"title":"Item:Q3637181","lastrevid":87537200,"modified":"2026-06-04T11:55:50Z","type":"item","id":"Q3637181","labels":{"en":{"language":"en","value":"Generalizing Core-Guided Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576310"}},"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":"Q3637181$CA05E019-ABB8-4B4C-89B9-A6BCA73D4592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53615b5d57237393b751cb6c1989f2827212414d","datavalue":{"value":{"text":"Generalizing Core-Guided Max-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637181$746263E4-552B-43ED-B005-16E572533468","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab0221410c873e1176e4066feb9f40830596bcee","datavalue":{"value":"1247.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637181$FBF8EDA2-9E22-4313-B8E1-6A5054EB5840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b8d4753ddaadaa7749a0579c1190ee70e4d60f2","datavalue":{"value":"10.1007/978-3-642-02777-2_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637181$2953F0D3-E528-4B51-89AC-3BF270691908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529723ee5f6982b56cdb7507d9245342c9f966b8","datavalue":{"value":{"entity-type":"item","numeric-id":272006,"id":"Q272006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$ADCDB266-07BB-4B69-AB4C-2FB4CE06BF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$C2232B1B-775B-4AE5-9316-DA3968ABE06C","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":"Q3637181$8FE55994-FEA2-41C5-BA91-0274F13E8614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637181$A528EA82-AFC3-4258-BCBD-D63C2A7BE58A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637181$DFA76867-55DC-4F03-B18D-C42DEF23F010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c2b401c83971c2919baba178ac110477443be3","datavalue":{"value":"5576310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637181$8C5B259F-E784-4554-8131-0F81F20F40B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$AD5B5580-88EB-433C-97F9-0DB19A5A8DDC","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":"Q3637181$6870A9D9-0240-4E65-A423-B1A8897D0680","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"016f17f541a650558225d666223bf7c4ecef7e36","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637181$DCD5AC72-1143-4FDC-A2FB-CCCF1DB45F45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"982c78233667ea37d6ac182e52908ae67b67748a","datavalue":{"value":"W1681979991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637181$9C21223F-A8EB-41EF-AB79-46E898FA3EA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$9CCCADB7-E847-49DB-8C15-C1308085F612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca9cd7786a555a68bf8f9117f3115c81729ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4407240,"id":"Q4407240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$D254E1ED-3CD4-4EA1-A878-289C27ABD8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$10B47584-1104-4893-B628-7D8BF9125C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$42B381F5-2075-43D6-A516-1D7833D7FD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a33ce35f676b680d016698e0b2b6311d0722e3","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$F2120418-531E-46AC-A5C9-58381C2A28C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$D73A87F9-09AA-478E-8238-F587E12129FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c8671ea56229ceece5a54197ab8b5ef49e6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3502707,"id":"Q3502707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$F045E584-D917-47C6-8EA0-E5F40F053042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0a89606ff47e4c6b9d8d3811a5203f7347f11c","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$6C7E51D5-A83A-4E15-8FED-8792DF58E4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ecf9e0e457fae9cd7c3df5a24778489f86e6c25","datavalue":{"value":{"entity-type":"item","numeric-id":3528927,"id":"Q3528927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637181$5805F5E4-02FB-46D4-BCDF-1AB8CF88288B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94851d8563ba275202b8910bc97ac866bde4824","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0501e4e2f040a1c03787e1a00f32dd1ca18c4a57","datavalue":{"value":{"amount":"+0.8363111615180969","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":"Q3637181$AE7F0A73-36C0-4E67-83FC-F25FE1E10DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944677192979990d1e36614027371852ce6358f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4c690767e8346e235b14cf84d4d04826371d9c","datavalue":{"value":{"amount":"+0.8166239857673645","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":"Q3637181$2F760222-9488-454E-98EA-CCB16ED10026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9921438c2a07bb80e04ae819c1b06940513e50f1","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3728d1d12379b0b3bee45f4d96ef01de5380a14","datavalue":{"value":{"amount":"+0.8110089302062988","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":"Q3637181$1E7C900B-B743-458A-A6D6-68343B87AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d526bc0ae721d58c0346f48a38c28650c0a224d4","datavalue":{"value":{"entity-type":"item","numeric-id":5283008,"id":"Q5283008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63e6525e017f0ddc111bc6878c705d16b33bc73","datavalue":{"value":{"amount":"+0.7855860590934753","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":"Q3637181$AD459979-5561-4E9C-B3CD-15178CC26098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71544db130f71863703aa6b9e4aa5a1dc2fe65d5","datavalue":{"value":{"entity-type":"item","numeric-id":5326468,"id":"Q5326468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3af9d0eba1c5b26bb52294e4bda4c1a24f635c","datavalue":{"value":{"amount":"+0.7764264345169067","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":"Q3637181$D38A8332-9494-4F05-9E80-9C287BF459CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing Core-Guided Max-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_Core-Guided_Max-SAT"}}}}}