{"entities":{"Q40314":{"pageid":40370,"ns":120,"title":"Item:Q40314","lastrevid":105427142,"modified":"2026-10-09T10:06:56Z","type":"item","id":"Q40314","labels":{"en":{"language":"en","value":"Stone Algebras"}},"descriptions":{"en":{"language":"en","value":"AFP entry Stone_Algebras"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e77262af20519c3361e879370df39fb9dbd340cf","datavalue":{"value":"28600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$57A4ED5F-A380-4433-B045-531475B59E17","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"4722a7f1971dbc60f2313bf7f1e6e1b64066cfc9","datavalue":{"value":{"entity-type":"item","numeric-id":5283207,"id":"Q5283207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$C3BC4179-535D-444E-A783-552ACF7A6921","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":"Q40314$A2539715-EE4C-481B-AA2D-B414F9B699E7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"193a588f1f4702a8f866ac6039fbfe80b9f13824","datavalue":{"value":"https://www.isa-afp.org/entries/Stone_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40314$1DD54FC8-789A-47A7-9A04-5276B2E66D07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$16112199-2498-4EEE-81B8-8B2CFD048E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$1BF6EA56-C837-4697-AFF7-F99FCD294A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$4A569CB8-FCBE-4681-8359-2CF544363E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$06FEBF99-69E0-4CC1-91D2-E0272582AECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$A5DCE127-DEB2-4A11-9AAA-900BAF108B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$F235B8F5-49DF-43BB-A134-70FD932778A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2becadfb03f0a4ea19120ee675d7cd2fe8450d8c","datavalue":{"value":"6.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$F2E92623-467F-4E92-84E8-AA1BE6281A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40314$F05B643E-452A-4179-B0B6-14C90AB0024E","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$2BB6C84F-1DC5-46E5-A0FB-7A9E21DCAD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$9E817512-628A-4A31-B773-772BA8D42D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$55BA9AFD-0C8D-4364-B39B-911998C7AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3780eee939d0a6e96d45e65c74bed949cc1565b3","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$47E93E3A-882F-4322-98C3-A3CCAFA203DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$6FECEED9-1969-49C3-A194-B4931D3AB7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$883747FA-09F6-4426-A286-9FC6D5154A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$66F91012-B8F0-4947-9EE3-7F7A23681864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$D264F056-828E-4E7A-ABD4-4340CFC4BF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$513672BD-9903-4E9B-B0EA-999647BB056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$A487ED92-50BD-405E-AE00-7D76BC948CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"65cd7f06de3fe4515776b59789e3a881f448c551","datavalue":{"value":{"entity-type":"item","numeric-id":43913,"id":"Q43913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$DE343F7B-34F4-47BC-A466-921938AEC3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$5D2E1EAF-F70C-4B93-9328-BF1CAACD165C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bede6a37ebe08319061984bb68beaa8e4664a82","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$AC668A8A-9CB9-4812-86AB-D040015A27B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$A5DF4B6C-EC62-4D8C-B5E7-BFFDA302AEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09e2993cb5d494a347b340b5a9f971135cd04442","datavalue":{"value":{"entity-type":"item","numeric-id":43942,"id":"Q43942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$8B3821A3-5F14-4331-AB38-08D2A0EE6D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d6bbdf972f98d8ad7ee0f8e03926967202151aa","datavalue":{"value":{"entity-type":"item","numeric-id":5974073,"id":"Q5974073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$80A3D51D-3503-4BA1-92CA-86BF014F7FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$507A5BFB-ADD6-46E9-8B16-BB1455628115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$63536928-7B07-470D-BAE0-0079159BE485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e495ed8f3470a3385279e173117fd58ab2ee880","datavalue":{"value":"https://isa-afp.org/entries/Stone_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40314$521C1D93-A42F-4232-A4A5-94B41AEA81B6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40314$C0E48B54-4309-4B53-BAFF-B7BF1AD6A249","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66c7fb21a244af3e1867fcebbae410d520b22aac","datavalue":{"value":"A range of algebras between lattices and Boolean algebras generalise the notion of a complement. We develop a hierarchy of these pseudo-complemented algebras that includes Stone algebras. Independently of this theory we study filters based on partial orders. Both theories are combined to prove Chen and Gr\u00e4tzer's construction theorem for Stone algebras. The latter involves extensive reasoning about algebraic structures in addition to reasoning in algebraic structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40314$12DA66F0-F701-4CE3-B725-0C8AE52658D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$080CD2BE-A512-4BB9-89F9-EFFD5FA5187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$E27E9279-5A09-4CCC-9F60-C1F1027E0AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$BF2ED629-D403-4427-BE20-99CB8A572113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbc38a4cb6bec6ce1bb7aa494466f3c96211894","datavalue":{"value":{"entity-type":"item","numeric-id":5575588,"id":"Q5575588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$4C04AE62-C48F-47F5-8A5A-1FA4D3E139E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1845121d7204a561acfbb8b55f7d2a361a55e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":4178997,"id":"Q4178997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$5E4E297D-3EE3-427C-9568-C44874152907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$BB8C013B-46DD-4093-8ED7-E7EAE9B88C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23da055412797c29f8737a832166566f69c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$8151239F-261B-4588-B0ED-E1D6FEB8D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c3b88289ab48c73bd4ac9ec0050012522ed031","datavalue":{"value":{"entity-type":"item","numeric-id":5692888,"id":"Q5692888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$FFC626C4-7F1F-48F4-8743-9277C2A17C7E","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":"Q40314$FD23C333-6C8C-455E-B6E1-8200E7599516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adbec2e61991fe422142426a96ba946bfdb4f48","datavalue":{"value":{"entity-type":"item","numeric-id":3268348,"id":"Q3268348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$A90975A2-3783-429B-B929-316D79CF02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bef23118bf98d63fdbb00d06eb4b6e716d89399","datavalue":{"value":{"entity-type":"item","numeric-id":3179390,"id":"Q3179390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$75789317-5F01-4A73-A7E9-C60B4B90153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24258212baa5d4408a0213e6435369e63251a17f","datavalue":{"value":{"entity-type":"item","numeric-id":5672679,"id":"Q5672679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$C3C371CD-82C7-4441-9292-212F96CF6AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbfcea2166cf55628dc74bb062db5b5b011195","datavalue":{"value":{"entity-type":"item","numeric-id":2914753,"id":"Q2914753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$C41ADF2C-356E-4C43-AA90-355998161787","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":"Q40314$48816152-ECE2-46D8-B9F2-65889C3CFEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35593f56c469c37182022e5dfe9dfc791c8656c","datavalue":{"value":{"entity-type":"item","numeric-id":3098056,"id":"Q3098056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$3799AD4C-F060-4DA2-B6AD-5F8D823CE0E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac29eae65679ec4daa83250ac6240c854e9b22a3","datavalue":{"value":{"time":"+2016-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40314$7B982AAD-7591-4A6E-A96C-33BE82CE814B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c878b276562b9f21914f595ed6d3815a39527369","datavalue":{"value":{"text":"Stone Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40314$9C7C0126-E095-48D0-8F53-394554CE987C","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":"Q40314$66AC60EF-CD53-477F-A1D4-3CF718DD8954","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a4f736a78ec41288f78e3c0d6553d1178e87e9d5","datavalue":{"value":{"entity-type":"item","numeric-id":7360831,"id":"Q7360831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40314$DD185575-1C32-47ED-AC4C-845290058F16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stone Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stone_Algebras"}}}}}