{"entities":{"Q3502702":{"pageid":5532605,"ns":120,"title":"Item:Q3502702","lastrevid":50365517,"modified":"2026-01-13T21:54:48Z","type":"item","id":"Q3502702","labels":{"en":{"language":"en","value":"A Max-SAT Inference-Based Pre-processing for Max-Clique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279242"}},"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":"Q3502702$A5EF5B33-D5C0-423C-93C6-EC167542B31E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea7ec3ace11baba03a81dc5ebe21d6cf199097e","datavalue":{"value":{"text":"A Max-SAT Inference-Based Pre-processing for Max-Clique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502702$4F630068-9C5D-4224-B152-3832EA14F902","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7956d29fa83c6fd8f7b929c2cb030b474689bf04","datavalue":{"value":"1138.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502702$66C578BC-DF34-42AE-A834-2B30F08D0C2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50cecc9396fb875d4927fbf32f9ed0cf8d016fb7","datavalue":{"value":"10.1007/978-3-540-79719-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502702$920AC5A7-6891-4A0E-8040-BEF272922748","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d5029a19407694c0d46deb444f7fc5d33718a4","datavalue":{"value":{"entity-type":"item","numeric-id":2348539,"id":"Q2348539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$4D1C51E7-2A7D-437A-B9A1-6898E6FD59F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$9836C50E-64E6-4F0F-888B-AC692F19DC66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$0952C585-4B8D-465A-B471-DAD1BE70152F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502702$033BBA77-2B50-4998-9568-A38BA4E4B9AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502702$A0970BC9-AD54-4489-8D83-E767293B1ABD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9483407ceb6cd3ab9953263db8c9639e44776c3f","datavalue":{"value":"5279242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502702$B6EA0003-F668-447A-98C7-FDFAB4DB12DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a333935da086cb77becd7a5a0c09ca5ece4acc85","datavalue":{"value":"Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502702$149B5653-E7A2-4F4E-B837-E429B8222D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff491a3aa9395a34d104c477648b74944f064651","datavalue":{"value":"Max-clique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502702$27FD48D4-C930-4CBB-B9FD-6B03BD5E51FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1594c0e6e1ae43b17e818c36d900538a306d9dfe","datavalue":{"value":"Inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502702$3051F99D-15AD-4753-A8A9-9AD0F7592DF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$412BFF2C-A3CB-4C40-8BD2-D48A3111FD82","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":"Q3502702$970CB289-35B4-48BD-81FB-72D68E515529","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57ba30748e49134788dbf4223d542b4312bed40b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502702$D9C5DF35-27FE-42C3-8D1D-8848524C3E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d23dc791296dac68a2e3ff8197e571defaea952f","datavalue":{"value":"W1562762628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502702$7EE8D9F8-A4A1-4306-A794-32CFE3CB1F0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a2828087f78007f73cfacbaff90bfd2fa5160e","datavalue":{"value":{"entity-type":"item","numeric-id":5713725,"id":"Q5713725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$47DE3C3C-B7A5-4E84-B98D-536A1433BEEF","rank":"normal"},{"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":"Q3502702$70409AE3-6D53-4ECC-A2F2-2128846AA62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b5b04ed3aa0acdcae036286ca8192fe935fcbb","datavalue":{"value":{"entity-type":"item","numeric-id":3741641,"id":"Q3741641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$F70BCBEC-05AD-4F83-9296-CFABA2C229C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195e255bdeaf4bf846130abcc4540de6bcf13af0","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$27744DB5-5A3B-4E43-B1EB-810C1772A239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c453b78bbf198108e0e5bbae98806cc8162c09","datavalue":{"value":{"entity-type":"item","numeric-id":2433799,"id":"Q2433799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$547712BD-D83E-4494-AE0F-7D903336E2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3672c9d2d9a732376b2bacc5469a68613a21edb","datavalue":{"value":{"entity-type":"item","numeric-id":922964,"id":"Q922964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$DF4EFDED-4FB9-48B8-A572-6AC999D6BFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd5ea09f62833227a24f79b59dd689805476109","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$FECC5BE4-5C51-4B1E-AE48-D74E3AA7EDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61dd51419d60e2ab76ec45a1a87fd0fb000dc03d","datavalue":{"value":{"entity-type":"item","numeric-id":5322098,"id":"Q5322098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$BCFE1881-D2F3-423E-BE6A-E9E337341289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028663f78e40d74265033cbd67a68980f9fa4411","datavalue":{"value":{"entity-type":"item","numeric-id":4411385,"id":"Q4411385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$55F8A1D1-E419-470C-B3E0-0301A2211B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee9603877ee270ab2f53b2de882181d8007df72","datavalue":{"value":{"entity-type":"item","numeric-id":2506238,"id":"Q2506238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$DCCC2026-7A5E-4D5E-88A2-65E35A7B6BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d15a265400ee74b7ccc90f74849e6820eee631","datavalue":{"value":{"entity-type":"item","numeric-id":5687246,"id":"Q5687246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$BA5DD9E1-1BBA-41F4-B30D-4B9084887880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d9185421849e56243989a0374734d81cc0501e","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$12A49E4B-FAFA-4E40-8EB1-CF48B16AC348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3d7c1abc412ecf1785400f7144300e07765fe7","datavalue":{"value":{"entity-type":"item","numeric-id":814626,"id":"Q814626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$1AFCF303-7735-4219-9D77-267516A923CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443cd473ebce78c7ad31f34ee6d5d983cef28bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$1387B30F-E843-4769-9AC9-909636D3E7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a8d987551eab7ec18164c57255bdefb0c42a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5435834,"id":"Q5435834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$EEEF5360-5323-4E33-AE05-8932A53AB832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671a4409a2433a335f15aa4e2d3714ed06fd49d4","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$1AF3B32B-DA50-49A5-97BB-B59549ECA36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5965b20793d5f0fe6b84b5c821604df73f5653f5","datavalue":{"value":{"entity-type":"item","numeric-id":1613374,"id":"Q1613374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$6E99E5B8-06F6-464F-AC78-7BD382268C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ee278d5fef6953ab772dea8f2d3142d70423b0","datavalue":{"value":{"entity-type":"item","numeric-id":3623999,"id":"Q3623999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$0964BA2C-286A-47C1-A41D-D4522DA2C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ceae3734afea155e9dc7561cf1011ac5f6ddfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5897220,"id":"Q5897220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$76AAA5C5-AD3C-43B4-BFE2-EEB590C68688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a6695b7e2036bc0bff39440bd5f6f823773e81","datavalue":{"value":{"entity-type":"item","numeric-id":4452109,"id":"Q4452109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$CB743EA3-638A-42E8-AAB8-BF88222E97F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da15692b7b129bbd5aa6f3835231c364ea3e207","datavalue":{"value":{"entity-type":"item","numeric-id":1267190,"id":"Q1267190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502702$E440C3E6-7222-4BD5-809F-0CD6785EC2E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97e2cce2e0f50a9842e6f5e1a3c113b078f788d","datavalue":{"value":{"entity-type":"item","numeric-id":2870118,"id":"Q2870118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f251a5fc2d7361c03f17e394632b57f90122133f","datavalue":{"value":{"amount":"+0.8049192428588867","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":"Q3502702$2DA45450-06A0-4787-AFD4-BEB3D0F5A8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24ac00bd5f3eb86c49d70cbbc09fcc92919b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502688,"id":"Q3502688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee65ed460c56f4ddebcbbaceee681ccb72a54fc6","datavalue":{"value":{"amount":"+0.8029552102088928","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":"Q3502702$7E6B9EBD-4C0F-4A46-B3C0-A5D726677D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ae5f982dd7204e07414846ad16cac565afc42","datavalue":{"value":{"entity-type":"item","numeric-id":5282985,"id":"Q5282985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a16898a3459a06725f6a21295df723af6be3d4","datavalue":{"value":{"amount":"+0.7999693155288696","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":"Q3502702$EC55F15E-3728-4EFA-8A6C-CDD70A1F7CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85ccb96b4a36ede34393235d7c8933b5815ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f013e0c09871e6884b31b87b7e32ab26f858a2","datavalue":{"value":{"amount":"+0.7952693700790405","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":"Q3502702$7A649C00-E57E-44D4-B3F6-95D9AE08CE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7474712dc4b272504b93c4509fb19c294e878f67","datavalue":{"value":{"entity-type":"item","numeric-id":2800956,"id":"Q2800956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd1cc0b1fb9856dff0cec92124d5d21729f127d","datavalue":{"value":{"amount":"+0.7923703789710999","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":"Q3502702$0631EBDB-71C2-47D7-8401-7976D5D266A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502702"}}}}}