{"entities":{"Q1840723":{"pageid":1851465,"ns":120,"title":"Item:Q1840723","lastrevid":71427903,"modified":"2026-04-13T22:11:47Z","type":"item","id":"Q1840723","labels":{"en":{"language":"en","value":"An illustration of the power of structure theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563340"}},"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":"Q1840723$C4A58AD7-21B6-4C7E-8763-448EF58F4515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3363372a30d834dcd369d68b83d65edda9b8a130","datavalue":{"value":{"text":"An illustration of the power of structure theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840723$75034EE5-19AD-4F3E-8CA3-C2A5C93BC443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be26d5fe3aaf26c0ebb2de581adfd758bdbb2c1c","datavalue":{"value":"0978.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$EBE6899D-8FD7-48BA-9F5F-956F306CEDAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac8361df744a3a8b6020d8c39b10be11fc643370","datavalue":{"value":"10.1023/A:1008655708680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$B3D4826F-62EA-43E2-9C7D-08E00CB51682","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840723$2665D738-552C-472D-B2C8-857A1318B0BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6972800c8dc67b8b1bf0abd739533cab2ade0c6e","datavalue":{"value":{"time":"+2002-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840723$79D08F61-5892-4C00-B2D6-C6530AC15072","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"834c45ad9949fec621e6bfe0e9fbd032f8f0693a","datavalue":{"value":"This article contains a sampling of applications of the theory of compact topological semigroups to diverse branches of mathematics. The theory of compact semigroups with one-sided continuity can be used effectively in Ramsey theory; this is illustrated with a semigroup proof of van der Waerden's theorem on arithmetic progressions. The theory of semigroups with separately continuous multiplication is applied to the study of the decomposition of a linear contraction on a Hilbert space, a result that has useful consequences in ergodic theory. Finally the theory of compact semigroups with jointly continuous multiplication can be applied to the problem of classifying topological spaces that can serve as models for the untyped \\(\\lambda\\)-calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$FCA767C1-EB33-4351-BEA5-156D99FFCE76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$33DC891F-57D8-427E-A272-6367F22E9454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a68c1edd6061ab533c131aebd2c39a079db130e","datavalue":{"value":"22A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$D1F1E190-00A7-4DB1-8DF4-59CA53EE85BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$446A21DC-2F52-41A9-96AA-4686B4C6997C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$CB048E58-2DDC-40E5-87C5-ED2D9A55B5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"679ddfba371ea56c373d120bb6ab79b1a5d003aa","datavalue":{"value":"11P81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$620F6CB8-8D2E-4DD8-8B8D-AB3A9FD2467B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72c8b865c2c78b52392cdb1eee39270b44ddc4b6","datavalue":{"value":"47D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$437CB0AA-6B4F-48FA-80C7-C99C6CC288EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$0DD86272-7CB7-43D0-AD6B-B763290AC2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$2E4EACDE-A13E-48FC-8162-0EE3D42C7FA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c26d0387bc61ae4ed86615edd963c14d872975f","datavalue":{"value":"1563340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$377CB736-7B82-4D6F-A96B-CD005B88AE7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$5D904BC0-0792-479E-B1BB-D653349A0658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa0fe38129969d1ae2cf5f9092f5ceab22da44c","datavalue":{"value":"topological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$F487F65C-E0B4-410C-A8BF-525AB02B585D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39191b31ef96b1f6c56b5c677a4b2debfef0abcd","datavalue":{"value":"operator semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$73CB5B6C-E4D9-4037-99B1-A274E69E0EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$F64938AF-73CA-4E99-A8BB-C54C9289FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a8c6514c696ba18b367cb0604a7e85fcf07374","datavalue":{"value":"van der Waerden's theorem on arithmetic progressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$9572B114-11F2-4C47-B8B7-DBAB82C600B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c774411f278d75db921565befd0f3dbf94690691","datavalue":{"value":"\\(\\lambda\\)-calculus models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840723$75403F82-56C5-42D7-9F9C-756FE061E616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44641edc78f4af0d112fa09511c82271d2efcc91","datavalue":{"value":{"entity-type":"item","numeric-id":581558,"id":"Q581558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840723$92E9ED44-F0E8-49AE-9576-E779E1BE5A4D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36050b54f2c6fc0c913df56241219ed2ee903672","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840723$527734E2-2F2F-45F6-806E-BF22F314C9B2","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":"Q1840723$1A7F6375-334A-4029-8B1A-37CABA1A842A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f292f2d3065cadcbcbdc06e985b04e4334dee04","datavalue":{"value":"https://doi.org/10.1023/a:1008655708680","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840723$AC3E0707-8F12-444F-8EB7-0BF54E62616F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7be182c3cc5459c520b90217c89247d766a45606","datavalue":{"value":"W4242027559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840723$E0DF3F61-8B30-4317-B652-23DA7A021C34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dffcba5ba74dc1846de7f81b8fde73130df0a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3995290,"id":"Q3995290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7e158ec3c039a78c4c267bed4e74b2ccbcaa68","datavalue":{"value":{"amount":"+0.7593450546264648","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":"Q1840723$3A45FC8C-949C-4F39-BB92-8E21EB35E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb0c1060d6a2760898884620bb4fc96087927ca","datavalue":{"value":{"entity-type":"item","numeric-id":1084519,"id":"Q1084519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc18efc98ad8beebc8fbbe380e678968205a6dc5","datavalue":{"value":{"amount":"+0.7357958555221558","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":"Q1840723$264AC9A4-58EE-4CA8-9FF4-586213ABC270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ffbb037b5c44756a031024461c1a47d9785188","datavalue":{"value":{"entity-type":"item","numeric-id":4332286,"id":"Q4332286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605bc42726873e1b4c137936264b5612a422581c","datavalue":{"value":{"amount":"+0.7354626059532166","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":"Q1840723$2540BF6D-501B-40CE-8A72-348238F7C31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d5d7a84aae163c543c95b4a7f704f087c6ad87","datavalue":{"value":{"entity-type":"item","numeric-id":750471,"id":"Q750471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e050e882e39911be3ccc3ddc77e94eff0bc74262","datavalue":{"value":{"amount":"+0.7331259846687317","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":"Q1840723$BC6D5525-A05D-4DE6-B753-C9162BDEB05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940cf0227699da38c7c671987ebf1c5fb5a6e61c","datavalue":{"value":{"entity-type":"item","numeric-id":3199477,"id":"Q3199477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441c94a0984c73fe293876d64ab1a61fa48e46b1","datavalue":{"value":{"amount":"+0.7315807938575745","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":"Q1840723$83078532-F4AE-48A9-A7F6-350170E57CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An illustration of the power of structure theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_illustration_of_the_power_of_structure_theory"}}}}}