{"entities":{"Q966161":{"pageid":968009,"ns":120,"title":"Item:Q966161","lastrevid":65745687,"modified":"2026-04-12T05:04:52Z","type":"item","id":"Q966161","labels":{"en":{"language":"en","value":"The Helly property and satisfiability of Boolean formulas defined on set families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702096"}},"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":"Q966161$5EC2E1C9-619D-4F46-96A2-2A7F0A955903","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e84ce65ae52df0b90983789188e363335599d39","datavalue":{"value":{"text":"The Helly property and satisfiability of Boolean formulas defined on set families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q966161$4D0BD9E0-51F6-43AE-8A4B-167E39B26F2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"068e0c5ae26f4660d6b21413edbe430705b9e73e","datavalue":{"value":"1202.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q966161$3F8DC0A8-4C50-4CE5-843B-0F653D171D9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a95867a5b75b07313a8a78cd2790c25ecbd939","datavalue":{"value":{"entity-type":"item","numeric-id":263092,"id":"Q263092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$106D83C9-B9E6-4E65-8F0F-9FCEE8E69404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$E010ABAF-4D57-419E-9521-EA79B7758B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92e0e03478e58d040be69827ae9c62731f981e8","datavalue":{"value":{"entity-type":"item","numeric-id":235689,"id":"Q235689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$FB0231B7-18C8-488C-99FE-B5AFE683FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$E045FCCA-10D5-44F6-9873-E890FCE18DC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$7EC4E189-7C37-4983-BACA-E28A717C0B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-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":"Q966161$00B7E9F8-041A-4801-AEA1-0804CB70B155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q966161$87148D79-E7C5-4DD3-8AE6-061500B27FC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bff48b7944458f0f33aa493e8c45479c08036a0","datavalue":{"value":"5702096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q966161$B1A95DBC-F2D8-4B63-A96E-389662F8A69B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152b459eddbc5ede2d0a59e12ad51d46808e942d","datavalue":{"value":"Helly families","type":"string"},"datatype":"string"},"type":"statement","id":"Q966161$EDA9B9E4-2077-4EAD-BAEB-13C2726512C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddbb2bea6446029c5f18b017edd69fb0fc7f9de","datavalue":{"value":"satisfiability of signed formulas in multiple-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q966161$7917CE45-3E5D-4EE4-ABA3-96B01C23137E","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":"Q966161$85F87D36-98D3-4FF2-B0D3-22DA5E735045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e55b44e705a92842bbdafd900d1731c8f55a2da2","datavalue":{"value":"https://doi.org/10.1016/j.ejc.2009.03.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q966161$A59B35A8-D1D0-4942-A7A0-DB48022DB097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d227c4cd6a1c3dae87edbadac01a28fa663ade9e","datavalue":{"value":"W1981947400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q966161$9E36372F-8389-43A3-AE9E-43BEF358CC87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd5b7122a4d3f9518cb624fcaf6b6e1945e681","datavalue":{"value":{"entity-type":"item","numeric-id":768180,"id":"Q768180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$0E8B0414-FE20-4940-BBCD-9803ECC302BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$A342DA99-08D2-4016-85F0-636BE790F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6845f81e38582f9f9addef8894205413abd86a","datavalue":{"value":{"entity-type":"item","numeric-id":3279320,"id":"Q3279320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$66CA0E66-5203-406D-B34A-930B43C64449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75695a8beeb327509bdf451e6c8d3a3f23213ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$AE6BAB03-453A-41A9-84C3-BA9941F68CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06da562fabc310101f8569b9388674f193fef9c","datavalue":{"value":{"entity-type":"item","numeric-id":3514516,"id":"Q3514516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$1A356A4D-F41B-4734-A012-74D6968BBE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32a85002dcb8dbd9f5273fc6ee209ce6957a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1121291,"id":"Q1121291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$34298C5C-5EFC-476D-B6D7-B35A6572E428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c7614b43d84c8d8ed1d554726839fa2acc4220","datavalue":{"value":{"entity-type":"item","numeric-id":802632,"id":"Q802632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$C01DF664-78D0-40A6-A39A-D5BCA85D7DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679d3cb934e94f70006b46101e8c7f61871b7b81","datavalue":{"value":{"entity-type":"item","numeric-id":4071273,"id":"Q4071273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$A8C1EF06-49E2-42D3-A3CB-E3666E9D80F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1d4f71e37f764c9e3122ede8aa30fa1d999a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4088860,"id":"Q4088860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$D2C1C9B1-0ADA-4BF5-8878-03E6361B7CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df9df797c66e2105b650b58bb72a65315b081d","datavalue":{"value":{"entity-type":"item","numeric-id":3546290,"id":"Q3546290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$C07CAF7A-5556-447B-A590-34975AC70C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$14103431-2E5F-45B0-80AE-25C0A668AF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bbf6eee86767cb587044b9afcdc2ceb905f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":1056946,"id":"Q1056946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$1FF783D3-77CD-4975-AEB8-F7CC88EB4886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b665418c652509efbef1024db2897fb32d05141","datavalue":{"value":{"entity-type":"item","numeric-id":910755,"id":"Q910755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$C6FC611B-5A2F-459D-92BF-99F9C36B7275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5807d010f96a9cff1c289033231c26fa760a075c","datavalue":{"value":{"entity-type":"item","numeric-id":5622201,"id":"Q5622201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$218FFDF5-94A5-4157-AA76-1AEE50795AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$CEC0562D-7966-42DE-AF80-77B1FB90B555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967ee43eeedc0f68009be4f4a6ac9a160bf68fc4","datavalue":{"value":{"entity-type":"item","numeric-id":2525528,"id":"Q2525528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$66DC0901-F5AB-4846-9C44-A6B7CAB806B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$79DF89E3-8FCA-47C2-B95F-93257D0EBCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81fab68e16be7b952bde5a339edb827ffac6be7","datavalue":{"value":{"entity-type":"item","numeric-id":4542611,"id":"Q4542611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$19CB3B9B-858A-41D7-AA93-19CFB1081D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cefa05d704d074dd504e3354a9ead2b249764a","datavalue":{"value":{"entity-type":"item","numeric-id":3890733,"id":"Q3890733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$A1FA6006-01BB-4B8D-AA92-AFE0198AA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a8e15108d0d96c4426b37c119b5fbeacd42eec","datavalue":{"value":{"entity-type":"item","numeric-id":1252871,"id":"Q1252871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$1DFDDA0E-8E9E-49D2-A3D6-BCB815974D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2331ce68ffb229fed2b483ef84f522a367994688","datavalue":{"value":{"entity-type":"item","numeric-id":1838985,"id":"Q1838985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$3293B50B-46D6-4C8B-BD3C-640133730849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bae2ccb2159ee543fc77133d6c32cf2e76a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2545523,"id":"Q2545523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$51B5A8CB-91AD-4EE2-969D-5B15D265D36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$7929ECEB-CD84-4A28-B9ED-3F7997A688C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f585a2c35f3e41179c624bc2c71ea67a9e41d109","datavalue":{"value":{"entity-type":"item","numeric-id":4940014,"id":"Q4940014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$5F9B75B3-0693-45E3-A952-98549F457160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c22fa836d1220bdff92a7b7505ed66068b5b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3141898,"id":"Q3141898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q966161$07DA3C5B-3BB6-4548-8A4E-A6BAA9A61CB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a634d99647c48d1516e630397d4317c3a5a8366","datavalue":{"value":"10.1016/J.EJC.2009.03.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q966161$C016D03C-6535-4992-B992-FD35B1F0151C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11af500dd4558b25bd0d1fdece7bdf6f7830d504","datavalue":{"value":{"entity-type":"item","numeric-id":1960293,"id":"Q1960293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3684c5cac2c914d601a4ad6e1ff197966a91f9d5","datavalue":{"value":{"amount":"+0.7315450310707092","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":"Q966161$94D10D20-11A0-4792-BBB6-9C040AAC0B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389b154908ab06dac2520f2163bac7ba92ea06e4","datavalue":{"value":{"entity-type":"item","numeric-id":2741513,"id":"Q2741513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85426547eb1e901a474bde6be3ac9ab16ad0324","datavalue":{"value":{"amount":"+0.7168521881103516","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":"Q966161$FCE7C08E-961F-4517-8FBC-16B8624EACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbfbe5d8336817e1fa213681f96dce25a14ae2c","datavalue":{"value":{"amount":"+0.7153481841087341","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":"Q966161$EEF12CE0-D2F4-4097-A2E9-1B1FCC236223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f992f5ea97e57ded33d6bd5ac6e0d793c98d8d","datavalue":{"value":{"entity-type":"item","numeric-id":834991,"id":"Q834991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2cd89812ea0b51fd4b8b300af7a2b092933940","datavalue":{"value":{"amount":"+0.7153279185295105","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":"Q966161$94E5DE14-563E-4ECE-9FD9-6815DE7DEDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0917673757a63f6c86195d9c7340a075ff3558","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95acba0fc3aa2f63a52c73d1346f380e31fcc535","datavalue":{"value":{"amount":"+0.714615523815155","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":"Q966161$ED55B71F-5C42-4330-9A93-3A28441A0103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Helly property and satisfiability of Boolean formulas defined on set families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Helly_property_and_satisfiability_of_Boolean_formulas_defined_on_set_families"}}}}}