{"entities":{"Q4635628":{"pageid":6665209,"ns":120,"title":"Item:Q4635628","lastrevid":97929509,"modified":"2026-06-05T15:50:04Z","type":"item","id":"Q4635628","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 6863101"}},"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":"Q4635628$8D45B982-9891-4D24-9539-2DD1E2F54BD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7222be46b42be87dc29c428e183a2eecb1413e4f","datavalue":{"value":{"text":"Achieving new upper bounds for the hypergraph duality problem through logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635628$D4C57FA3-A01D-4CDD-B0FA-70FB8436072C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a72ea1804d296674ae062dfeacaf9703e1b4838","datavalue":{"value":"1395.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$A7B70726-BC13-404E-9DA6-633D95D52B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5321e8ee833e18d93246153b29a9210b4c4dce3f","datavalue":{"value":"10.1145/2603088.2603103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$0DBF7829-4DAE-4824-915E-9CE59DC43D64","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":"Q4635628$9425DAB4-BD47-42F5-BA4B-2B2C0F6BE228","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":"Q4635628$8D3944A8-7918-4C1B-B115-01A4FAED5478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635628$8DE84272-9665-49EA-A2EE-51B4A0B3B6E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635628$FE4524A1-3A98-4E15-9AC8-33D8A8D2CFEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd2d5ab90eb832684bc9332ce7886c7293cf6951","datavalue":{"value":"http://hdl.handle.net/10871/33327","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635628$2132E749-3336-4166-BBD3-A347FC7FD01E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$AB7DF5B9-5FB1-4B7B-B61D-5DA7A72EF791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$0EEF3B93-05DB-4CDD-BE42-541DBDB02D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$70F42153-A610-458B-B411-F6C1B80C0E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d89f6887bd50bd2a72124c9e4cbd99e93d495a1","datavalue":{"value":"6863101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$99194A59-3AA7-469D-815F-CC402F1302F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00e1dcf51ffaa6003f1f73f657694a21d70fd340","datavalue":{"value":"DNF duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$5D22E99D-A681-499E-8014-9176F1947215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ab2d3b48ed863e983a4721b41b24e1b6834d35","datavalue":{"value":"\\(\\mathrm{TC}^0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$E027DC41-0451-4B96-9935-478346A2649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$0D05BD87-D161-4425-AB3B-4A9E2823FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$E32196D0-B45B-4115-9D93-3ABC2A1A2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$C28A6AD0-6858-416A-B21C-32AF16424112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0397651051c43a61884a9b27b5926a0afcd553","datavalue":{"value":"first-order logic with counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$2444504B-EB7F-47D2-8535-62ADC488A77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$20EC4AFF-83BD-4AAF-AECB-81A61E97FCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2c489a1b09595b939540fa567ea080a90b2497","datavalue":{"value":"hypergraph duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$AE6979FB-EAFD-4F3B-8941-5B95E3343303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85764ca43c559bbce6bb1f01bf3a9edca9e557de","datavalue":{"value":"hypergraph transversals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$E73F5066-CDDA-417C-9B27-19ECC49550E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$931DDA1C-55D1-4969-9BB6-3321A07DD77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d628e56706ca9d139ecc7af628e4a593e5acf52","datavalue":{"value":"limited nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$B398EDCD-BFF9-4595-B944-73D3521DD36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64fa366184c40df9cf2594cbe5510bb57eec47c5","datavalue":{"value":"logical analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635628$B49D8FE8-0271-499F-A6D6-E0D91E77DB44","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3152bb90511db9f10fa54fb751b7d66fce0753e2","datavalue":{"value":"Q59259467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$A1F7CB57-F18E-4F83-9BF3-D42BDA919A35","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":"Q4635628$14678141-C77F-44AB-A6D8-F7C802774260","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ddc89d1ac2eb1f0b3c4636309212c43bdd10874","datavalue":{"value":"W2088113003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$25739EEF-248A-41B2-8F12-41C20FB08A3B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7b9ef19ce5dc4c74e0d140ac9640c4b406852fc9","datavalue":{"value":"conf/csl/GottlobM14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635628$D23CEC4C-7B8B-4650-AB85-2BBE511DF786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5761c36964c407fd917b3c1684caab3e8d30c1f3","datavalue":{"value":{"entity-type":"item","numeric-id":4637759,"id":"Q4637759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00077dd6b66cb086854447504111cc75a8d1e6a6","datavalue":{"value":{"amount":"+1.0000005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$020400C0-3C02-4E44-A29F-3FCA0A452373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f861f4558c48b906a6e52596d355b2e51b454283","datavalue":{"value":{"entity-type":"item","numeric-id":4282610,"id":"Q4282610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f6cd97c5a736a1c1b45be73fff693e6c63104c","datavalue":{"value":{"amount":"+0.8945751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$7F231C87-356C-494E-BF70-998C51450E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccabe67d3729b5bcdc211fb52508e565c8db13b","datavalue":{"value":{"entity-type":"item","numeric-id":4039141,"id":"Q4039141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9aec0502675c11f59e904c9999d8548e706db2","datavalue":{"value":{"amount":"+0.879519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$EB3903A5-5DF4-4FE5-8A51-99C7D1061901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a841205e5133a1a428b69a0cd61f125edfe79bef","datavalue":{"value":{"entity-type":"item","numeric-id":3575763,"id":"Q3575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0b055ed16563e4b0237b5a55ca28029f3cb38d","datavalue":{"value":{"amount":"+0.87152815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$25DF021B-3F1F-4B99-B37D-C8B258EB71E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93133ae1a0c708b4b57a41c899624af989e86957","datavalue":{"value":{"entity-type":"item","numeric-id":3720645,"id":"Q3720645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2ccb449059710a3a9500b252dcd992804a0357","datavalue":{"value":{"amount":"+0.8703759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$17023CE8-32FC-4A73-B89E-DF97326BF6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fe535299f0d871965a973b456364df834f0f5d","datavalue":{"value":{"entity-type":"item","numeric-id":1313082,"id":"Q1313082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8d3cd31be18e05262681c2687a3846b13a45a7","datavalue":{"value":{"amount":"+0.86996484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$4EC3C2BC-215A-44D2-BE3F-CED633D374FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b981f354689fb74fa20ab948881d506ff1cc13f","datavalue":{"value":{"entity-type":"item","numeric-id":4025013,"id":"Q4025013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d5709e04f77ff8421856a15e36f420f561710a","datavalue":{"value":{"amount":"+0.8684666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$DDC4531F-8A89-4E21-B6DF-008B5ED8CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5996d46a69aea0faebcd39d52ae3795adae448","datavalue":{"value":{"entity-type":"item","numeric-id":3225865,"id":"Q3225865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db69129dd4eafaf89dfc039beb40559998383cd4","datavalue":{"value":{"amount":"+0.8632265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$9D56836D-09BA-4BD6-AF87-A46D83DDC116","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":"9b819c94165eaa2f2996b19e77f6c4cb8448521d","datavalue":{"value":{"amount":"+0.86139125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$E354DD30-A4F8-42B7-8D23-87D1FF6920B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc6458125605baeab07753b48a658d6ae6366ca","datavalue":{"value":{"entity-type":"item","numeric-id":3003354,"id":"Q3003354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fef760cddfd259389e9ed14ccdbaf791fee27f","datavalue":{"value":{"amount":"+0.8611408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635628$FF2CBB7F-8860-4966-9C76-8D90F8C6B3B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Achieving new upper bounds for the hypergraph duality problem through logic (scientific article; zbMATH DE number 6863101)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Achieving_new_upper_bounds_for_the_hypergraph_duality_problem_through_logic_(scientific_article;_zbMATH_DE_number_6863101)"}}}}}