{"entities":{"Q920087":{"pageid":921935,"ns":120,"title":"Item:Q920087","lastrevid":65388492,"modified":"2026-04-12T02:14:40Z","type":"item","id":"Q920087","labels":{"en":{"language":"en","value":"Two hypergraph theorems equivalent to BPI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4162871"}},"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":"Q920087$2EE9A0AA-44E4-4E22-B669-F7A7CD99960D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"175acd0b5fed4f5a1b17e0d95d67b6302d6ed9bb","datavalue":{"value":{"text":"Two hypergraph theorems equivalent to BPI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920087$0F1E5EC3-6D7C-4A99-9383-55A0A8785A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9076c50e75b71ca61fe9ba043088b1aebb0570c2","datavalue":{"value":"0708.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$FB3F01D2-7EDA-42A6-B2B7-DFBED458EFA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd44f8afaafd597582884a2d4bfffe0e6fb40c04","datavalue":{"value":{"entity-type":"item","numeric-id":920086,"id":"Q920086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920087$59BE0323-7464-4D32-9EAD-7E21C8C92CEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920087$24612C83-45A7-43BD-937E-C1580FA57037","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920087$3D9D7D6A-1291-4764-85FE-D7837B71AF07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6a1152809599126042efed9c0693710f7e24af0","datavalue":{"value":"Techniques originally developed for establishing NP-completeness are adapted to prove that two compactness theorems concerning hypergraphs are equivalent to the Prime Ideal Theorem for Boolean algebras (BPI). In addition, some possible connections between NP-completeness and BPI are explored.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920087$DA3DF4FE-A951-4D6A-BA01-CA5BE7EE2CA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$1CD9BC6A-5547-4ABD-B69B-7C6CAB9867AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$E7F931F3-C930-437A-9913-A7C281B8AEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$8D68D980-9785-493B-BA31-551A8B827357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7222c9dbf7820b8b2bf47611c1ed0d4dd2f9a310","datavalue":{"value":"4162871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$7BF43162-0481-46D1-B828-D7433A6E6366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q920087$69CFD5D6-4B7D-40D3-A03E-AA62C0577EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q920087$3FC76A0F-1664-4375-A1AB-24626D2F415E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q920087$1413662A-4614-4271-94FB-9AC7DF4A5E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fc878f3e1e5094828b0406c38d39437fc49bb3","datavalue":{"value":"Prime Ideal Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q920087$29018AAD-E081-436E-9DE2-D6CA6AE6B32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q920087$170B0336-7206-4982-9A08-843F77D22AF3","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":"Q920087$18602AC4-5382-4FEC-9204-6C21B4462E83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2519914be3a0c617007ebda4f2034a692fdb0579","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635418","type":"string"},"datatype":"url"},"type":"statement","id":"Q920087$D9C0BC84-08C4-4185-9F3B-042AFDB0F3A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a05d92e1a36c33c29de78f844e53970f10b46554","datavalue":{"value":"W2006078799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$36F34184-3552-463C-B21A-2936E529EA81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"832499485c42fd605b36c33434cf79d717ea6e36","datavalue":{"value":"Q60680295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$0466F8C8-3B34-4184-829E-0950329F57E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef62bc1c31de934fdaf2309d622848f8e05bc1f","datavalue":{"value":"10.1305/NDJFL/1093635418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920087$46196621-8C04-4F32-BDD1-30511A95DEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0a89fcdf664a7bc00df73ba8493fd72e7bf706","datavalue":{"value":{"entity-type":"item","numeric-id":4798546,"id":"Q4798546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b540820d4e510067eb5c4f1066bb1d9c88f7631d","datavalue":{"value":{"amount":"+0.8334458470344543","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":"Q920087$210AF4F3-D6EC-47BD-84C8-956241EE8F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae21d6f5f858514cf44a44965cc21f1253a20a1","datavalue":{"value":{"entity-type":"item","numeric-id":1778064,"id":"Q1778064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b540820d4e510067eb5c4f1066bb1d9c88f7631d","datavalue":{"value":{"amount":"+0.8334458470344543","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":"Q920087$AE3D7C2A-2C08-4CF8-B443-E5F21C48B0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d7cab3532aa64818de2886e04653417c7024bb","datavalue":{"value":{"entity-type":"item","numeric-id":4282585,"id":"Q4282585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea39e97003fb3cc7fd9a0a120177be344c3934d","datavalue":{"value":{"amount":"+0.7972992658615112","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":"Q920087$4887560E-A1C5-4C6F-9473-5F00400479D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fd973e34b1b8fda06864b719edb6fd19a44a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4943496,"id":"Q4943496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae57b30a53abb851ae63740c4a3e48ed7648283","datavalue":{"value":{"amount":"+0.7885154485702515","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":"Q920087$A635B13F-5E6D-475E-893A-D9C1856F7BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76c23fb51999f3229399f473bba82efe7610357","datavalue":{"value":{"entity-type":"item","numeric-id":4907404,"id":"Q4907404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9651144f3cf0fe4f165a248cf84029333d14e81","datavalue":{"value":{"amount":"+0.7652900815010071","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":"Q920087$00EEE580-4C00-4887-A35C-FB22C1BF39DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two hypergraph theorems equivalent to BPI","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_hypergraph_theorems_equivalent_to_BPI"}}}}}