{"entities":{"Q7361116":{"pageid":31518887,"ns":120,"title":"Item:Q7361116","lastrevid":105363068,"modified":"2026-10-07T13:34:45Z","type":"item","id":"Q7361116","labels":{"en":{"language":"en","value":"A Hierarchy of Algebras for Boolean Subsets"}},"descriptions":{"en":{"language":"en","value":"AFP entry Subset_Boolean_Algebras"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e555d5c715f8c7e58220fc1ae9f29a996ab1d8f","datavalue":{"value":"https://isa-afp.org/entries/Subset_Boolean_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361116$D581EBFD-E723-44DA-BAFA-1988BEC5F8B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361116$0AE1272F-43A5-4988-88DB-0E5EEB490AE1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361116$3868A7A2-B44A-4E41-8B5F-CBA4B2D2DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"da9bdff9e96f4966ede4d0f6192d3437427ce3a0","datavalue":{"value":"Bernhard M\u00f6ller","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361116$4AC0E64D-61BE-4CAC-94B4-13A0483AE94C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6d0665809987f4e103fee76ba3b0eec20f8ffeb","datavalue":{"value":{"text":"A Hierarchy of Algebras for Boolean Subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361116$FE1B4C41-61DC-40CD-94CC-5170E079E341","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6378f4bb550133b731005dcbd0825c77524bf56","datavalue":{"value":"We present a collection of axiom systems for the construction of Boolean subalgebras of larger overall algebras. The subalgebras are defined as the range of a complement-like operation on a semilattice. This technique has been used, for example, with the antidomain operation, dynamic negation and Stone algebras. We present a common ground for these constructions based on a new equational axiomatisation of Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361116$7D328ED6-3102-4AAD-92F3-D10C6A0D0978","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf1557297a3d207451989d491672faa9a36e338","datavalue":{"value":{"entity-type":"item","numeric-id":2543001,"id":"Q2543001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$E037C05B-543B-4873-AA9D-17CE5A5F2E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee28afaa91c56544daa8ae2436b871819574e607","datavalue":{"value":{"entity-type":"item","numeric-id":5834615,"id":"Q5834615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$86670D1E-85D3-48E9-B698-EC94B0079B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c9d0d67c2f80493f5ff1d22671474150009cb1","datavalue":{"value":{"entity-type":"item","numeric-id":3651509,"id":"Q3651509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$4064F1BB-064F-4088-8716-FA316CF5D14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339143ea74515d30e393d7db857b8fcc2ff51b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5410498,"id":"Q5410498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$940D2C6E-8AF6-49C4-BE54-B0A7F3F79745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$ECC96C61-19E1-4AFB-9EF0-2C860BDB5884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a599e78b7f6ac88556b4a2cd8e0cd4dea641b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$369B416C-4FB0-494D-8ED8-B9C97BD0B1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0dc16508877fecb9994b520f0ed77f4ce3b776","datavalue":{"value":{"entity-type":"item","numeric-id":5505433,"id":"Q5505433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$2B615C2D-FB7D-4517-B596-1A31291430BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$668F1D2E-26D3-4E53-A6B3-B5310F2FE0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21ab58bb009c7fdacc36da53719083d12f58009","datavalue":{"value":{"entity-type":"item","numeric-id":5843021,"id":"Q5843021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$15509CDF-5055-4431-B22F-C41C4B1E0E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$E5A73B6D-D9C3-4FD3-9325-B02BE886AA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$198ADCCF-2667-4857-A3EF-0D58862AA5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466de9108e83281686b0a7a7ad213d23accf5e39","datavalue":{"value":{"entity-type":"item","numeric-id":715050,"id":"Q715050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$E413F29E-AC11-4DBB-BB30-87608501A7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f1737076dc313cc8310424628d232438f7012e","datavalue":{"value":{"entity-type":"item","numeric-id":1994364,"id":"Q1994364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$A59C6C67-A9C1-4B91-951F-C7DE37FA2293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6033f89382b7681dc41866dfe2af8a6216b47a","datavalue":{"value":{"entity-type":"item","numeric-id":5098719,"id":"Q5098719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$BB8C5D3C-1387-44CF-850B-F9707BC3D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b505b8d56ce32f5bd927de5ce0f364ed7bc3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$2600924E-BC0D-42D7-85C3-A2D93FEE9E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6492ba77d8c359f41c0ff445fa725284276e282c","datavalue":{"value":{"entity-type":"item","numeric-id":4752671,"id":"Q4752671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$5200AFBF-DE7F-455F-AB81-B04A86AC746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43dbe5913d7cd3fe983be5396f1713604710bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3158290,"id":"Q3158290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$A3815081-69C7-4A1C-A083-240606FD0765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ccaeb75a4a06146511408fcab920e4b77b6f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1350513,"id":"Q1350513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$45F06EBA-AAC8-485E-9881-BE5DFBC27F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b595ad0e5b8905c51ca026cb1705ec3659a79bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2533179,"id":"Q2533179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$75921143-425F-4A84-B826-EB7A644DF45F","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":"Q7361116$09880F97-5203-4DD7-B0D1-8DE779DC5F54","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c3a1f00ce63bd58846507672771e4d1861f00566","datavalue":{"value":{"entity-type":"item","numeric-id":7361864,"id":"Q7361864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$3222BA27-26BB-4F7E-96D7-E2E431F9FD88","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361116$B988AA5E-7284-4823-B3EC-6FE8A5A5584C","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":"Q7361116$B2160096-618D-48C3-BB53-9B0212B7A187","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hierarchy of Algebras for Boolean Subsets (AFP entry Subset Boolean Algebras)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hierarchy_of_Algebras_for_Boolean_Subsets_(AFP_entry_Subset_Boolean_Algebras)"}}}}}