{"entities":{"Q6492726":{"pageid":14071499,"ns":120,"title":"Item:Q6492726","lastrevid":99629045,"modified":"2026-06-05T20:24:24Z","type":"item","id":"Q6492726","labels":{"en":{"language":"en","value":"Certified Core-Guided MaxSAT Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838477"}},"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":"Q6492726$11B25DB4-0F80-46AE-A6FD-2B278EA7AD93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a06d3ddc5af8422f67c63e6726ccb4b340fe947c","datavalue":{"value":{"text":"Certified Core-Guided MaxSAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492726$95B4889E-AAC1-48C6-B028-4CCDA8812B5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97f81936a2a743da74968a3e151a49ddbdce177d","datavalue":{"value":"10.1007/978-3-031-38499-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492726$44A55103-0CC6-4FF5-A417-C397BB44F0EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec291fc5099378f73627d6e17cd33de333e7876","datavalue":{"value":{"entity-type":"item","numeric-id":511771,"id":"Q511771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$58C20C81-0928-4364-8D3A-DA084A52D045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$7A9BD049-1C79-4FF9-A8E6-9D1EA8BC2D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ade4990ab7a79bdd900e48d3fab8c751fcf8949","datavalue":{"value":{"entity-type":"item","numeric-id":989568,"id":"Q989568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$95F5DC40-CDBE-4971-AA95-A22035D521AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c87ecec548aa1436ff5031dfe2a554bf1fddc4d","datavalue":{"value":{"entity-type":"item","numeric-id":2700625,"id":"Q2700625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$D858445E-9D87-4413-B59B-A27B701B9071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"261e801213b9774607adbb47c0b49c147f7b5ef1","datavalue":{"value":{"entity-type":"item","numeric-id":2694598,"id":"Q2694598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$D3DE2ACC-AF42-4CA3-857F-65E435AB0643","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6492726$D1C61DE1-E909-4D2A-AC17-F32166DA6DF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492726$F491A2A6-6633-4DE7-8750-5626ADE03470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492726$5CA44CB8-CA1D-40A9-A464-53A6C2B2E438","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3880849b9187757b2c6d1473ef157121682e016","datavalue":{"value":"7838477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492726$2A8117B6-5919-49FE-BE41-97CA53FB03C6","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":"Q6492726$3CB0FBA9-581F-4381-BE8E-16C6D7FA80F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d01b683f896e11284c54a632af14840b650cc21","datavalue":{"value":{"entity-type":"item","numeric-id":5265181,"id":"Q5265181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$FF683E8B-396C-444C-98DD-5ECC43601673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$40C7B4A9-35D1-47BC-B82B-83C2FBD00211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57937a9c956d174d89caf7fdfb1456b3ee92b049","datavalue":{"value":{"entity-type":"item","numeric-id":1680676,"id":"Q1680676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$BAFA4509-318B-4098-B9A5-ED98686E6931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$D112D42D-4FE0-41DB-83AB-EDEAB927E5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$1C0983FF-B1E8-4DC6-90CE-CA14E83CE4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f15b3efcfc6dced2849f98f6095535c402ec10","datavalue":{"value":{"entity-type":"item","numeric-id":537580,"id":"Q537580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$A105B2FA-9722-4214-B1C7-DBC4A46E38A2","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":"Q6492726$C5B6E015-E435-4FA9-8ED8-B61697A96F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a4c23b508911cd4dee06950b209c7fd3b1801e","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$EE0FF251-C0F1-46E8-951C-3AC895D3DD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$094C0CBF-6253-4AF2-BCFF-617FEEE6DFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4dfebf95c9b318135b0e990c7191060998089","datavalue":{"value":{"entity-type":"item","numeric-id":744213,"id":"Q744213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$18CB45D8-482D-4F69-83D0-639FDDF2790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$D5ABAD77-49B7-4E1A-B4FF-5A255DEEA1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$1A889FC0-AB1D-4903-B743-51AE68032B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$788C86B3-0873-42CB-A0BB-F1C55F73ED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f378e56e664c7444ff164f0b4460653f8198e0a7","datavalue":{"value":{"entity-type":"item","numeric-id":5918427,"id":"Q5918427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$5300D09B-585C-47AF-8A54-423243D07758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42328a46f2e4f214dee0dea2f06e1b3bb5c38291","datavalue":{"value":{"entity-type":"item","numeric-id":2661356,"id":"Q2661356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$00A83FEE-D4C7-4D69-A8D7-B1BE204083B9","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":"Q6492726$CD2F335C-ECA2-4ABD-B86B-71625720F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3756d046b370004150e7e5785ce307e01d217f27","datavalue":{"value":{"entity-type":"item","numeric-id":2110407,"id":"Q2110407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$95E3015F-A796-45C1-B9FE-60EB5B5273A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$B199388C-D0D2-4875-9EC8-AC1831631D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fced662d092146739767f429e22d65ae5d6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$76CC2ED3-B806-47CE-BC1A-9DD9F1C6E1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcc27bd566d98052c20ed4cd3e09f9e42074b19","datavalue":{"value":{"entity-type":"item","numeric-id":2104499,"id":"Q2104499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$F711289F-C888-4980-99CE-4DDBFF088BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$3325B1D6-51B9-4DFD-92DC-608FD84EA995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2036f192d0e47a9c7d86fbd5938343bfe0da7b","datavalue":{"value":{"entity-type":"item","numeric-id":2009191,"id":"Q2009191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$6043075F-192F-4E6A-9B93-8F482AFF9A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befba925018cd06acf3b8432b83fb612cd098fcf","datavalue":{"value":{"entity-type":"item","numeric-id":2429985,"id":"Q2429985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$034C3A73-2A1E-46C7-8C79-A0A63B7394BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ea3dfc29a726785e923f7b9287ba2e34c4e2ea","datavalue":{"value":{"entity-type":"item","numeric-id":5106262,"id":"Q5106262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$B2189CB2-642E-4FA3-A1A2-7A09C1243E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f472adf6f98b7ff0cf666c418ca949d6a2d2b5fb","datavalue":{"value":{"entity-type":"item","numeric-id":421451,"id":"Q421451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$410C3A2A-DDAF-45B6-8864-8D31294764E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$7848CF66-44C9-4F84-904B-7F9A01C48142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$73E5EB42-7B88-4AE5-BDC5-F08FC1EA87ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c587c970b4a4b1bec321c1668333ab9d53f17656","datavalue":{"value":{"entity-type":"item","numeric-id":2181935,"id":"Q2181935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$9FDB2BF5-B559-49D6-A40E-21CCCC4F43C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d48738d1586389300da381482fb72ad8f6da807","datavalue":{"value":{"entity-type":"item","numeric-id":1656559,"id":"Q1656559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$51DFBFCB-3F89-412A-8D85-FEE168EDC8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d7e9ae4237c4d5115fb4495d58b5336de037f5","datavalue":{"value":{"entity-type":"item","numeric-id":2118341,"id":"Q2118341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$EB782599-F80A-448C-AC10-FECD941C1FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75854e564121bb66486d4b2b942a763bd60f7bb0","datavalue":{"value":{"entity-type":"item","numeric-id":5870516,"id":"Q5870516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$45F7304E-4407-412F-AF00-75EBC437A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$2361919E-6831-4761-A7EF-23CB3E949802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928e652e9785632e3bff8e827c2e425d0a017a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2694600,"id":"Q2694600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$88C02090-BB6B-4150-835D-7C14198D47A0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492726$5C750707-DE08-46EA-AE29-3102360F8C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certified Core-Guided MaxSAT Solving","badges":[]}}}}}