{"entities":{"Q1061863":{"pageid":1072615,"ns":120,"title":"Item:Q1061863","lastrevid":48832897,"modified":"2026-01-05T23:17:34Z","type":"item","id":"Q1061863","labels":{"en":{"language":"en","value":"An effectively given initial semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3910646"}},"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":"Q1061863$23ADE7F9-8C4B-4711-BFF8-448218526C92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d6eb2245bfc6f5103d9161920cde9c0b976b47d","datavalue":{"value":{"text":"An effectively given initial semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061863$521A10F4-10F1-4EC9-9756-447A307D64EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6baa1a3194e25a5f6f1b54f427e4d29e91a55f1a","datavalue":{"value":"0571.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$24332EFC-DBA5-4B44-9F35-3FAA5AF6F129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aa6dacad01fc6caff177847774c046ce65f5011","datavalue":{"value":"10.1007/BF00264231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$492AE26B-08C4-4197-960C-C5C106BC06DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2867839381c736ca55f750bfdac192f382282a5","datavalue":{"value":{"entity-type":"item","numeric-id":800728,"id":"Q800728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$CBDE7922-30E6-4366-B135-A9888B225468","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$C5604AA8-E994-4C02-A301-9B6BE08E2936","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1061863$56DD9302-6263-4F9C-B874-48D470A949F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c72b4120a9a7a7982a5ebd01e6313cdf9f708151","datavalue":{"value":"A domain D (i.e., a conditionally complete and directed-set complete poset with a countable base) together with a continuous, associative binary operation on D is called a semigroup domain. It is effectively given provided that both D is effectively given, and the relation \\(e_ i\\leq e_ j\\circ e_ k\\) is recursive (for a base \\(\\{e_ 0,e_ 1,e_ 2,...\\})\\). The paper presents a deep proof that the free semigroup domains on finitely many generators are effectively given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061863$3B6B59AC-E612-496B-9AE7-EF27AB52AB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$BA2EA1E9-C835-46C4-A67C-26B6056E5778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$9EF3DC43-F368-44ED-AF73-27509C2B752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$647BD028-10EA-4D02-A5BB-D435D3CE6DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$5FB9D82F-35B1-4EDC-9763-59F89BB954CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$9C92D2F2-413F-46DF-A2C5-9193F37D578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$2BD0FCB6-2C83-4246-ACCA-D9D0625CD322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8346ea48abc1ec0904133fa6209b0c0e18ce19a5","datavalue":{"value":"3910646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$EB0808E6-3753-478B-8826-92935273DAB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004dcd2ec9e44481e9cde3b91a24387d53de3b62","datavalue":{"value":"conditionally complete and directed-set complete poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061863$1F4BD187-4873-4406-9BD0-97E801750541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e356b3dda43670b530615f489ff2acd80759c4a1","datavalue":{"value":"recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061863$2ADF9BD7-EC02-4873-8606-373AE6D2A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df2892b7d5af27be30389519118d725f9d07e5c","datavalue":{"value":"free semigroup domains on finitely many generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061863$14B01142-E9DD-4B01-993C-5A2FE0F45172","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e0f347ef0578eddd2127c28322dfd018af75e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$08B0D63D-539F-4224-AC3D-DAEA56C0B95E","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":"Q1061863$70C78BB5-32FA-40A4-B5AA-31940B585740","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7be593dbe28a0cc8d0ed3f039e02a29fdf3c72","datavalue":{"value":{"entity-type":"item","numeric-id":1160149,"id":"Q1160149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$D0E4BADA-30AB-4DE1-8620-89A7EA935A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$F7B0464A-BB55-40D7-B6B8-A4930CF6FBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$3E2F826D-5C01-4EEC-8923-C9A57CE94793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$1078AB2C-050D-49A0-9FB1-7EFE6284C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b07894c12d7b693f9987930a5a47cf121be0a23","datavalue":{"value":{"entity-type":"item","numeric-id":1055794,"id":"Q1055794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$76A809C8-DF40-441A-B95D-406611C34B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a34e670b7dcd662e709ac0b6ab19acfa09e9ef","datavalue":{"value":{"entity-type":"item","numeric-id":3318764,"id":"Q3318764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$89E00AC6-0397-4804-87FA-9BB0C816CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a354c052b51cc33cab380ef8c8b129e94109267","datavalue":{"value":{"entity-type":"item","numeric-id":4190093,"id":"Q4190093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$80235837-1D1C-4336-ACD3-7678CCD43B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ce73af83d9e584a526f246c29b1d0145d1e612","datavalue":{"value":{"entity-type":"item","numeric-id":4145866,"id":"Q4145866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$6E7CFAB2-F960-4171-994F-2FF0F1E1568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$2B523D86-43C6-4662-AC02-EBAF768C2CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$15F43C1E-FAB6-47BF-8262-B1523B4BFAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061863$B22397AA-72A5-4554-B029-DB24BAB5816F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd9ccf384833392acb6d03931a1a9711bfc332c5","datavalue":{"value":"https://doi.org/10.1007/bf00264231","type":"string"},"datatype":"url"},"type":"statement","id":"Q1061863$27C765DA-154A-4258-A988-0D5CFB9D7063","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cee24b4a9861cdabb88a462e53261d1a71423026","datavalue":{"value":"W1993100546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061863$F775614A-895C-44EA-AC85-F9DFD8AEB3B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de272a05464d57b8e4e0c011bd081943d145e01b","datavalue":{"value":{"entity-type":"item","numeric-id":3498417,"id":"Q3498417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e4988f8e84e0e8d8fab7f522f0342c9c0ecf7f","datavalue":{"value":{"amount":"+0.7431303262710571","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":"Q1061863$F1B1A21B-E719-4D42-B8F1-843562AEB0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9914232017fe3a29cf03a6061fd2381b4fc49733","datavalue":{"value":{"entity-type":"item","numeric-id":3734353,"id":"Q3734353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8130765154ecb8de105b9b0a756cc995d8a8d20e","datavalue":{"value":{"amount":"+0.7178579568862915","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":"Q1061863$2BC23D74-E08D-4C20-8B5B-A57D5DC438E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92179b1e2ca6fddc3df76afee41e3996e96e5775","datavalue":{"value":{"entity-type":"item","numeric-id":5497840,"id":"Q5497840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba1d3e4a170aa721d8d066a023d92746067e927","datavalue":{"value":{"amount":"+0.7053894996643066","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":"Q1061863$34DF45A7-F111-434F-8581-D7886057D8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154393dec021492b4deaf0608d480aeba9294acd","datavalue":{"value":{"entity-type":"item","numeric-id":3651509,"id":"Q3651509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefe6826a99c4ccaecb05d15acd2e1939db919bc","datavalue":{"value":{"amount":"+0.6998797655105591","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":"Q1061863$A08C0CAD-53A8-4C56-B0DE-BA18BD9F0C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d918c54e55725d4e39b008f761dfbe649be2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3809789,"id":"Q3809789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe279f608f72dec90bd6390b7abf9aa93663795","datavalue":{"value":{"amount":"+0.6927757859230042","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":"Q1061863$A7523B1C-2531-4821-B387-9BAF68B9975B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1061863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1061863"}}}}}