{"entities":{"Q4637759":{"pageid":6667340,"ns":120,"title":"Item:Q4637759","lastrevid":90542777,"modified":"2026-06-04T20:38:49Z","type":"item","id":"Q4637759","labels":{"en":{"language":"en","value":"Achieving new upper bounds for the hypergraph duality problem through logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6864816"}},"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":"Q4637759$5B05EE4C-B93E-4641-8101-78B4CC7EEE48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78792581672e95b4ac1f84fdd6abdf54f71a18fd","datavalue":{"value":{"text":"Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4637759$77B4548A-5EB2-4719-8931-CBBDEFF02DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cde0517824f68b27efb2221d8d14e702b4710116","datavalue":{"value":"1506.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$81CA59BB-D81C-4EC9-B1C4-50C44012A41E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2af19794d29eefd131ecf2d97cd2f44aa7d1531d","datavalue":{"value":"10.1137/15M1027267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$54ECF94D-AF8C-416E-B692-61BFC6EDCBEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$42007D81-9326-4BF6-A461-A9BB22B24D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b048031e35b2ba3ba76cf353893601980fdc4aba","datavalue":{"value":{"entity-type":"item","numeric-id":650524,"id":"Q650524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$82B917C6-9FFC-42D0-94B8-C58FA5B86EA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$744E09D4-3354-49B3-9EBA-2FA125B1523D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29de59ee98b5fbc420ed6fae6a398738cedccbb","datavalue":{"value":{"time":"+2018-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":"Q4637759$F7FBB608-8C96-4B65-8619-C4898B2CF951","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eb98b2f24795135da0d6d062be3bbf36db5ec2b","datavalue":{"value":"https://arxiv.org/abs/1407.2912","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637759$32567428-5E8B-44FE-9423-4080BC2FAD04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$9215ED9B-5134-4B67-A05B-371AEC46E31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$F7BCB99F-3EC5-4F05-BB2C-B061CC16BF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$A6136DC3-F0AD-412B-9A14-E519ED04479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$73B700EE-8F6F-44BA-B28F-01A86FDA8E4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2087d9dcaa98c9a755946f4dbff1b474d7e10c3","datavalue":{"value":"6864816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$768D11DC-C784-4BAB-BE3E-4DDE3D074824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$3C1BC615-1295-4291-93E3-09380D42564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85764ca43c559bbce6bb1f01bf3a9edca9e557de","datavalue":{"value":"hypergraph transversals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$29E75112-B6C8-4750-A57F-CAE1CCB6C4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2c489a1b09595b939540fa567ea080a90b2497","datavalue":{"value":"hypergraph duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$C44A4946-8AE6-4D00-BF9C-51CA7C712D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00e1dcf51ffaa6003f1f73f657694a21d70fd340","datavalue":{"value":"DNF duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$4A0C5D7D-AEEF-4B28-9EE2-37A2329CECBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$FFBE3E92-A2E4-449D-9E75-EA46654AE1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$5CBA2415-92DF-4352-9483-5D728457D862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64fa366184c40df9cf2594cbe5510bb57eec47c5","datavalue":{"value":"logical analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$6FC71504-988F-4987-8C3E-BD9FE03D0F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0397651051c43a61884a9b27b5926a0afcd553","datavalue":{"value":"first-order logic with counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$68407143-11B9-44C2-BD30-AA4C81107FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$5B0DAE76-2ADB-4DF8-8FA8-3165842CDD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d628e56706ca9d139ecc7af628e4a593e5acf52","datavalue":{"value":"limited nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$FD5CB8FD-932A-4A38-8A39-3976EE6C0963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637759$573C735B-6A9E-4E7E-9EFE-A04C777B7DD9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04f4ee67cab5ec7c6bcd1ba93dc4a22e9be3909a","datavalue":{"value":"Q62044178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637759$84ECEF26-E0D8-4FCC-A584-2130FDC2EB2F","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":"Q4637759$8C101179-4B48-47D0-9B70-3076FE19D805","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$98C90D1E-B5D7-4D60-A6EA-B69F2211B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ec7a90e8465eab11346e076fe94e95b5c1d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3993087,"id":"Q3993087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$9AFC26BA-82FE-4261-BF88-F37482506EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d546340ddfe5fda8eb7b2c0d584ebd8a3b4ab960","datavalue":{"value":{"entity-type":"item","numeric-id":2508337,"id":"Q2508337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$6BDE2FEC-B821-4AC2-9EA4-37DA5BF92EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52016165b080fef4a4622ebad0bb6dca37923054","datavalue":{"value":{"entity-type":"item","numeric-id":4736834,"id":"Q4736834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$38256579-1058-4523-A404-DF2EFFFE188C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f8d056ed5e344afcd8e4634de69cde2daeda05","datavalue":{"value":{"entity-type":"item","numeric-id":1404408,"id":"Q1404408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$1342D1A6-B730-4A4F-8AB4-F97943ABE597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5144ac9ccd7f987239af0d65753e8c191f5b3c54","datavalue":{"value":{"entity-type":"item","numeric-id":3638034,"id":"Q3638034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$8DC78EB5-CFC3-4B36-91F9-1374D13393C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0476b21dfb07e99ff255915d2eb1df03e84bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4337644,"id":"Q4337644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$EB3C63B1-6B65-44B0-BA6F-21C35C49915D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$2FC1CE13-7319-480C-9738-3D3E0CB25163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$E72E5E05-0023-4A49-AEFD-3E3D5062D6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$EA3E795B-8874-43A0-864A-2727B8D9847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2baff2b3fcd933b421c46ded9fa320ffaaebb6","datavalue":{"value":{"entity-type":"item","numeric-id":4862797,"id":"Q4862797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$5C769ADE-64DD-476A-A58F-07ED8BC0B477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c899235653f556a0aa7859035023b96ac1cb9131","datavalue":{"value":{"entity-type":"item","numeric-id":4708957,"id":"Q4708957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$24535D5F-73B2-43C5-AC49-A5983EB6BE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe8912fadd6f4853de438e9d1a184039553ad9c","datavalue":{"value":{"entity-type":"item","numeric-id":4706216,"id":"Q4706216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$F02C0177-E86C-417D-930F-52C3F6FE4ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152d144c488c7b4947b57a57e7786ca07fb0456a","datavalue":{"value":{"entity-type":"item","numeric-id":5292637,"id":"Q5292637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$94B62630-A787-447A-AD5B-58CC2923F995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a38ca1c550201e38ed00e32a726b3d29bf5d4e8","datavalue":{"value":{"entity-type":"item","numeric-id":943839,"id":"Q943839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$C083CF29-05E0-49B6-9DCF-DDFAE1B21E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6fbb7bc4f167ae14ad757b187c4c0c9cc6ce6","datavalue":{"value":{"entity-type":"item","numeric-id":943847,"id":"Q943847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$50032891-468D-44CA-82A9-2B37967381CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$7E53A3D1-4AAE-4F81-AF87-02F1000101A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2789910efc698ba7ba9e2fbcb7adb23b38768fbb","datavalue":{"value":{"entity-type":"item","numeric-id":2581756,"id":"Q2581756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$56167A97-610B-4CCB-98B8-5CE2A5A1AA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b733d3c598f4f60dac05c662888fe6ef36a0cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3837390,"id":"Q3837390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$C0374313-763F-4592-BAAD-D74210E5599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c48713acd3037a2e87e8e9b9cf4a2e7ca04ddfe","datavalue":{"value":{"entity-type":"item","numeric-id":3771671,"id":"Q3771671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$F37EA154-B536-474A-B07A-741011DCCDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66182844e2825c0ae986160f8b4e994cd1f8d356","datavalue":{"value":{"entity-type":"item","numeric-id":5901319,"id":"Q5901319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$8D856400-3DC8-408C-8F7D-466693489014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded34f0edf2e790dca59ffef51aa883e9bff9516","datavalue":{"value":{"entity-type":"item","numeric-id":4386975,"id":"Q4386975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$C9DA61F5-60F5-48BB-A2BE-BE9C37B61AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f428ac10435969dc4db64dc649e079dac2a9dc8","datavalue":{"value":{"entity-type":"item","numeric-id":3349969,"id":"Q3349969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$E3842517-B31B-4183-9A6F-01E8FB60BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517e398f0499affd248961b867602d7f54b7288e","datavalue":{"value":{"entity-type":"item","numeric-id":4635628,"id":"Q4635628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$547D2B3D-BF63-49B7-BA2E-A71E11279CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a062c7c896a22ba205263b316e2103cd82761158","datavalue":{"value":{"entity-type":"item","numeric-id":1124378,"id":"Q1124378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$F7F978F6-ABE8-4C68-936A-3072F89D5F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a26a1af667e232ab14af2dc3552831d3e45f382","datavalue":{"value":{"entity-type":"item","numeric-id":2368950,"id":"Q2368950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$F87F2ACB-AF58-4BBC-BFB3-F74998F2B761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$3BEA07FA-B45B-4297-81FB-92D400BE6516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$0DC7864F-5928-470C-BE21-45E31D5D50CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec6a23c3d13b88fed862805e0103394acbd1dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":4268444,"id":"Q4268444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$6B48AE24-F844-4579-9C0C-3A7A2A4A84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0170464a97f24128f066bab572aee3e095cfff36","datavalue":{"value":{"entity-type":"item","numeric-id":1853168,"id":"Q1853168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$C8111926-0BE4-4A69-99A6-FE195E2BDC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04673d29945937082fc722ce859d7e19b6568db7","datavalue":{"value":{"entity-type":"item","numeric-id":860396,"id":"Q860396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$8FB0F7DE-D838-4B22-9D96-142B764E3B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72168e6c6e46570575011eb4d6af4d2bdb52546","datavalue":{"value":{"entity-type":"item","numeric-id":845919,"id":"Q845919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$14F9F02A-1A27-476A-9B45-F319D98CC86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$298B0647-B54F-4E03-9A1D-EA13A8E0B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690ab0d5d8cb427a2f1bd4e5155c9e981df19f1","datavalue":{"value":{"entity-type":"item","numeric-id":1202891,"id":"Q1202891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$C9B34E6B-0E98-457E-867D-8C0F8E395CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e483166f7a87283989fd7d214bd2e66b67396c","datavalue":{"value":{"entity-type":"item","numeric-id":4294515,"id":"Q4294515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$33B6FB3C-D189-4822-A17B-6C5B6626C739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$A3EFAAA3-45B5-4F14-A739-B7459F32A3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0894d04e9aadc958cec3572c3b26c775480f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4382863,"id":"Q4382863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$010E1D14-4A91-4D61-9344-96AB14ED3DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969baff162be3d801a36acc8fd1c08d817414a4c","datavalue":{"value":{"entity-type":"item","numeric-id":4730785,"id":"Q4730785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$D207F2DA-DBE4-4517-8905-7AAF4731B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637759$A2E057E2-3586-46EF-8A99-D67F4E455846","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf7d71d6b014290c4bf6ec2f9a44ae3c1e6631b","datavalue":{"value":{"entity-type":"item","numeric-id":4635628,"id":"Q4635628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5f135b18df3dc4253911b28a37ce603894dd80","datavalue":{"value":{"amount":"+0.982458233833313","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":"Q4637759$D20EB15C-D314-4EAC-8EDB-F9BBD9BCEB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3ddc0b5f5e7d7688fb1d7729a501a5a5f8ec24","datavalue":{"value":{"entity-type":"item","numeric-id":4706216,"id":"Q4706216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c675632971bfeb30c856af0c2bba589ef1712a2","datavalue":{"value":{"amount":"+0.8357291221618652","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":"Q4637759$A204ABEB-C7E0-499B-A2D5-07F8E4EB6D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cb0cb2dbb9bef16f2c12cf8b5f5d147c8bc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":943847,"id":"Q943847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7032961edc5a2017bbf0ec67c0154c350d7088e1","datavalue":{"value":{"amount":"+0.8120476007461548","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":"Q4637759$580D0BB9-EB18-45CC-91EC-D5BDD4CC9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b0817d35d9ed11bf2ea332df81b1207a53ea24","datavalue":{"value":{"entity-type":"item","numeric-id":2310740,"id":"Q2310740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ada32d0e2bd1ad2f989fc238402baf95596d98","datavalue":{"value":{"amount":"+0.7742971181869507","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":"Q4637759$510766D8-ABC8-4690-A214-45D3F8BC38BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b90ac947f52bd1159773c56cf4093422d8f668","datavalue":{"value":{"entity-type":"item","numeric-id":3503581,"id":"Q3503581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1bb464ceed4b97cbab4326161e68f7964c3f7c","datavalue":{"value":{"amount":"+0.7742286324501038","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":"Q4637759$B9821DEF-40B9-4B40-8170-0FCC15F665A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Achieving new upper bounds for the hypergraph duality problem through logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Achieving_new_upper_bounds_for_the_hypergraph_duality_problem_through_logic"}}}}}