{"entities":{"Q4988946":{"pageid":7018523,"ns":120,"title":"Item:Q4988946","lastrevid":91820633,"modified":"2026-06-05T00:09:23Z","type":"item","id":"Q4988946","labels":{"en":{"language":"en","value":"Unsatisfiable core analysis and aggregates for optimum stable model search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350053"}},"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":"Q4988946$FE63909B-5AB0-4187-A471-65272CE61562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9ac182f3e013e5e730a633a8297793cdeef1405","datavalue":{"value":{"text":"Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4988946$19FB10EC-7796-4D6C-841D-8D37AEC58338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cb5dbcfa97b5f8305e55da7c88f5db46150f1a1","datavalue":{"value":"1497.68451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988946$F322A0A2-0810-4476-B949-7496D0271EE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1166d3a0d6d40f7113997ded8f980187e0b464ff","datavalue":{"value":"10.3233/FI-2020-1974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988946$78B8D348-B043-4FFB-92A4-9FAD1535AA54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$B533D42B-8B8A-4B43-970C-CC5D8FD06C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"750927c5fb765835282b75675de140e07cdbdd80","datavalue":{"value":{"entity-type":"item","numeric-id":2238695,"id":"Q2238695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$21B1F32E-2423-445B-AA22-BA2AE3BB4C1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$209BFAB8-4731-4280-ABD8-35DC840E72C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4988946$9008093B-E1BD-4410-80FF-E52B3F4D8C0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988946$8FD2327E-8801-4B86-88B0-FF6CF3D79217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988946$CB4182E2-C21D-43BF-929C-D51D5D1AC99E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6f2bdd37f31c229ef4374fd499281a4f1753cd","datavalue":{"value":"7350053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988946$47184233-7493-4EDA-92DC-E866046FF46B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988946$650A90F1-92ED-40B4-A78A-5F3DF799D71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f81adf0154780781f5d1957e5f30aa38fd30f7","datavalue":{"value":"weak constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988946$7C6DA1CB-645B-446B-8DF0-203D5F29E6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008cabf05a406881a13f213ec19453b86630460f","datavalue":{"value":"unsatisfiable core analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988946$54223B80-528D-46DF-94F8-9C30ABB39498","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$C92E67FE-533D-4E68-BF10-67322A1ADD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"021feba347e27c3b816d7e11daff9332ef511cf6","datavalue":{"value":{"entity-type":"item","numeric-id":44802,"id":"Q44802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$9BC2373A-A68F-4B7F-90AA-361BF3EF7938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2789c4180cb74657deb2517f82f92af150a6fa95","datavalue":{"value":{"entity-type":"item","numeric-id":44803,"id":"Q44803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$052C6FA3-77E9-4E19-90B0-C9F3F565FE94","rank":"normal"},{"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":"Q4988946$9C664C6B-44AF-4005-8EAE-A522EDAB58EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$DF15B83B-5F75-46BD-886B-B515BC60183D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"135537fb2cc7ae7d8917eaeb53646025eb373b13","datavalue":{"value":{"entity-type":"item","numeric-id":21546,"id":"Q21546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$4CCDB892-50D4-4A6E-9422-4530C09AEF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2397af574e013d1cb2f59fb4483a52a833abee","datavalue":{"value":{"entity-type":"item","numeric-id":16611,"id":"Q16611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$291D3C40-28A8-4B00-A99D-FDEAE4A953F9","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":"Q4988946$45987A98-1BA3-4B4E-B8B5-23E49CF538E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$5A1B0B74-C2D0-4687-A83E-0DA85379F579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$56407FFE-1F26-4E95-8AE6-CEA6F904849A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$6C439B61-4604-428B-A294-6F0B539E8C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d9538b155cd5619c14c671ea100857febd03f","datavalue":{"value":{"entity-type":"item","numeric-id":1603732,"id":"Q1603732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$EB1A4C49-ABE6-4ADB-9CB7-BA827050AA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$A91F2A01-FB53-475E-89BD-EDE3FB722507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3ed2382088a4963963343aa835160547a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946644,"id":"Q2946644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$4D41F949-AD9E-43EE-9DF4-EF6D5A521B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$CDC54E7E-AFD8-487A-BE10-30DBA58273D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daca2a79e7566c449a29f626072fab84a88f0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3432855,"id":"Q3432855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$0D8837C0-C10E-4457-AF8B-D996DF5AD1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c6484d38dcc3d9ce05da67ebc6b57449ed56bf","datavalue":{"value":{"entity-type":"item","numeric-id":2851230,"id":"Q2851230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$247987CA-8CB7-4ACD-A59C-B759C97977CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078399993fb88fa6f7f5178e548d0f2d27dfeee","datavalue":{"value":{"entity-type":"item","numeric-id":4592997,"id":"Q4592997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$88F11B8A-75BD-4C21-A686-E760D2220FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e1d9db7b2ed8cf46b962da875cbf96b29a6222","datavalue":{"value":{"entity-type":"item","numeric-id":4589242,"id":"Q4589242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$1481F3DF-1EE5-4258-B704-1F54F83281FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b219333753dc50f385a213774825448a4018d47","datavalue":{"value":{"entity-type":"item","numeric-id":4800172,"id":"Q4800172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$F2AF66CF-B194-4C50-9A01-E413B4E11FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c5da400fcd5e99d0d3ee4e7ebc525826735f84","datavalue":{"value":{"entity-type":"item","numeric-id":2909524,"id":"Q2909524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$2E5D5B31-4CDE-47D3-818B-99AA1D4E341E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d472e5aa1c3e728c053991600b29943df75df657","datavalue":{"value":{"entity-type":"item","numeric-id":4798009,"id":"Q4798009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$FBCBE746-94B1-4EEB-B83F-B8117AE419D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946557fb10ba9a8c20d56a2b245b1dcffa111765","datavalue":{"value":{"entity-type":"item","numeric-id":4593001,"id":"Q4593001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$5FD22DFF-676C-4F36-8BF5-6EF368FDDB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a8c12615c31f4a7bec3457f926218d3e86c91b","datavalue":{"value":{"entity-type":"item","numeric-id":2355463,"id":"Q2355463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$81EA73C2-55F9-48AD-AA92-0985148220BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d0c2d5a0702bbef4241389072d088a5a7ff0a1","datavalue":{"value":{"entity-type":"item","numeric-id":3449221,"id":"Q3449221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$BD19D7B1-623C-4903-AF74-08AECE40AB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95b826e2da2298db17497778f5d0398edec5b26","datavalue":{"value":{"entity-type":"item","numeric-id":3449220,"id":"Q3449220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$918C9545-CE1D-4D7B-B35A-21B4B736114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d51c47976dcda9c5a8e121ff9368920c64528","datavalue":{"value":{"entity-type":"item","numeric-id":2401936,"id":"Q2401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$BF4DC79C-DCC7-4B9D-85DF-45797AC1C12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871f387d790ef8a665a675ba073af976307861ec","datavalue":{"value":{"entity-type":"item","numeric-id":5424888,"id":"Q5424888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$75DC043F-AA7E-4A39-A3A8-0BAF607C78CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72751215e6c47f4faeb8c3bd9dd3fdebd52b1cb","datavalue":{"value":{"entity-type":"item","numeric-id":4593015,"id":"Q4593015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$3ED142C8-D94E-4AD1-8EBD-0FAB9E6FBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5328e451b0d7c342f16bc074d98c4d475917b2","datavalue":{"value":{"entity-type":"item","numeric-id":3304091,"id":"Q3304091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$2F2AFA23-12C6-40CE-AB89-8774FEDFF180","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":"Q4988946$7434DA05-49D1-4F79-929B-685189AC47A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6add4c59beb8d4f29d6ca1fd236d3b257e8ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4593041,"id":"Q4593041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$861E9900-9914-4CAA-AFFC-6E8A7DE0AE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422fedf581688d661a94425d81d9239fbe45c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4559794,"id":"Q4559794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$09320199-52D5-473C-9065-9A2133197ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f364604ba0031d1062e4e1621462e0d1431988b","datavalue":{"value":{"entity-type":"item","numeric-id":2326731,"id":"Q2326731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$A56A5C77-8927-4DEA-BDFF-4824413461B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44eac96582f3efc81bc5119081e70ccb40c5083","datavalue":{"value":{"entity-type":"item","numeric-id":2401918,"id":"Q2401918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$3A63838A-3688-45F3-9742-BF0BC9E40215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$B9DDCECE-E9D9-47E8-A06C-9D1CDFCB63E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c337d12d1fce2d6f32267753653c9887252cb69b","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$05011AE8-FB40-45A8-8C3F-6DD422C80EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c8d5197dd8fd9d2228af5f121dc5ebad4f6142","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$AF5A6E7C-3AF5-4E65-8692-13A8A5A6044B","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":"Q4988946$9B34CC85-0D6D-49CB-BBAC-675830117E82","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":"Q4988946$DFF70C23-B90A-474F-84AC-F1118D723CE6","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":"Q4988946$D35F49D7-0EAF-4642-AF55-5CE84B19572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$B72CE434-078F-4D74-8CAF-395FBD95DEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$2F773AC6-80BC-4E1D-A700-CA8C31C9D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85ecf7b9e9e1bfbfafd10c5384ae5e6f3abbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":2938492,"id":"Q2938492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$3BFA6CB4-F4F2-4331-8EE9-F155CCD8F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7379ba0283d361c23f5de64e69a5c9e4da1baf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2851248,"id":"Q2851248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$A23AAF3B-CEEC-4C12-AD2D-C7EA1CDB0532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$90B1BF67-2868-4395-98F8-1CD733668BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3812d39c71bdcd655c6149230a6ae090e1a345","datavalue":{"value":{"entity-type":"item","numeric-id":1028643,"id":"Q1028643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$275659E4-CFD2-4860-863A-589605C1D8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506caca47d1f2a2389e155eec13a640dbadba1de","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$745D9E3D-15D2-411B-B50D-8BAF540ED679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$986DCF44-2243-4A3B-B673-6B3ED37703F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22ccd98445c7492e5ed42449fe1dbedc391f2a8","datavalue":{"value":{"entity-type":"item","numeric-id":3449199,"id":"Q3449199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$04951E94-524F-4785-8FE6-B9F7F655E60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d98daae7e04254fadc0c1e35621b16c8925c53","datavalue":{"value":{"entity-type":"item","numeric-id":2818041,"id":"Q2818041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988946$E6DDB436-1CCF-4F04-B3F8-4B1244084F9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58c2e8f6a5742fca273a53536f2036d6b56adcf","datavalue":{"value":{"entity-type":"item","numeric-id":3304091,"id":"Q3304091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2a05e2ac812bd517c21cbb73303749fa4f2ac4","datavalue":{"value":{"amount":"+0.8009853959083557","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":"Q4988946$4E0D10F8-BBC8-42E8-9C2C-752E225E7FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fea1f249267dea549b25f212459ed7aaedd0519","datavalue":{"value":{"entity-type":"item","numeric-id":4593041,"id":"Q4593041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4362c518c78589de755312a103707643402302dd","datavalue":{"value":{"amount":"+0.7669392824172974","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":"Q4988946$9D3B8996-8A09-408F-823D-C4617A74DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24db9665a49e519c9e6d18b01a1aca251703c7a","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dd49c19a3e0f5888a4de1aa09186ebc53e68b0","datavalue":{"value":{"amount":"+0.7557762265205383","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":"Q4988946$C9B10078-6C6A-4DBC-8C4B-68B0BD21D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c729705cfa6f4ac5940b0f4a2e213ec772b37ae","datavalue":{"value":{"entity-type":"item","numeric-id":4559795,"id":"Q4559795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7702aa9392ec8b3495d53a9a06399364029a48f","datavalue":{"value":{"amount":"+0.7506692409515381","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":"Q4988946$AA44DBF5-4E79-4769-8E10-B6735E23F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7023c6af0856fd0779a8ba889e5032c25b41421a","datavalue":{"value":{"entity-type":"item","numeric-id":3643122,"id":"Q3643122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea76f415600b893c7edb62a97a12ccfd41593bf","datavalue":{"value":{"amount":"+0.7402896881103516","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":"Q4988946$2F38AA47-7EA4-41CC-9E87-A9708DB53FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unsatisfiable core analysis and aggregates for optimum stable model search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unsatisfiable_core_analysis_and_aggregates_for_optimum_stable_model_search"}}}}}