{"entities":{"Q7361042":{"pageid":31518665,"ns":120,"title":"Item:Q7361042","lastrevid":105362489,"modified":"2026-10-07T13:34:13Z","type":"item","id":"Q7361042","labels":{"en":{"language":"en","value":"Transitive Union-Closed Families"}},"descriptions":{"en":{"language":"en","value":"AFP entry Transitive_Union_Closed_Families"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef17174eedac02653828def5da7fb28cc299294b","datavalue":{"value":"https://isa-afp.org/entries/Transitive_Union_Closed_Families.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361042$FE8A417C-5DF6-436F-9B35-9AC995885C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2f555dad8e2a90cb8af80db4e917a36a03ca60","datavalue":{"value":{"time":"+2025-01-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":"Q7361042$EE65886B-FA5E-48BF-98FA-F862CE2E0588","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f15dd4dfe6d906a1011049420db5f460af4a149f","datavalue":{"value":"Angeliki Koutsoukou-Argyraki","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361042$E498CD75-0009-4BFC-94D1-298051FCFC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361042$5E2A171B-8E8D-4928-A0D4-198B1EBD42FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b01410f914fa876e1ec998a5f019c660e1702d3d","datavalue":{"value":{"text":"Transitive Union-Closed Families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361042$EBABD89F-8446-4603-B897-00F41C747690","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc0260002cd5eeac6192aa1dd54d908c2c9d1fa2","datavalue":{"value":"We formalise a proof by Aaronson, Ellis and Leader showing that the Union-Closed Conjecture holds for the union-closed family generated by the cyclic translates of any fixed set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361042$EDABC52F-B9A0-4B83-9B3F-B6E50D3FCE03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b1115e8cf0f8687d5dd6a0c916ca54ac65498a","datavalue":{"value":{"entity-type":"item","numeric-id":2662344,"id":"Q2662344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361042$AEA29CC4-AAFD-4ADC-AB27-1547718389E4","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361042$FE43A986-DBBA-4437-B28A-228E5470CF6C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"7fad623c5bda26e649634be8eb8ae41db892018e","datavalue":{"value":{"entity-type":"item","numeric-id":7361818,"id":"Q7361818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361042$3A86DC0E-21FA-43AB-973D-46A2090752FB","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"5634edfbfbc0239093a6d080d47ef70273afec4d","datavalue":{"value":{"entity-type":"item","numeric-id":7360824,"id":"Q7360824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361042$F0A0745E-C910-493A-A7C0-F96E46775F9A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361042$78D9F3FE-C783-44B5-BED9-5AC9B588FEF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transitive Union-Closed Families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transitive_Union-Closed_Families"}}}}}