{"entities":{"Q2314419":{"pageid":2325162,"ns":120,"title":"Item:Q2314419","lastrevid":78862088,"modified":"2026-05-06T12:36:28Z","type":"item","id":"Q2314419","labels":{"en":{"language":"en","value":"A syntactic approach to the MacNeille completion of \\(\\Lambda^\\ast\\), the free monoid over an ordered alphabet \\(\\Lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7083957"}},"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":"Q2314419$82B29217-78CB-4C16-BB3D-718CB41D95B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22eccd964971b549786f871592f4336e9fa1bd23","datavalue":{"value":{"text":"A syntactic approach to the MacNeille completion of \\(\\Lambda^\\ast\\), the free monoid over an ordered alphabet \\(\\Lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2314419$3F7BED78-C8C6-4519-867C-7D462002EBAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"668e5e95c85899a20089d2899fdbeaa6574f851b","datavalue":{"value":"1441.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$0A15C007-6F3B-430B-AD79-00E079898EAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0adbb1357f28935f1684fc542514f52f1a06d10f","datavalue":{"value":{"entity-type":"item","numeric-id":494222,"id":"Q494222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$C2C5C157-A850-48F5-AB6A-38E6FF444809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0030acd98cbe4786cbae362aba391b5681a10","datavalue":{"value":{"entity-type":"item","numeric-id":186055,"id":"Q186055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$50F411F7-D990-444B-A495-8C36D240528B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$EF9E08F5-EB87-4926-B88D-3B550362DC41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9188f4fbcb344562138d779febd5aeba85eab48c","datavalue":{"value":{"time":"+2019-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2314419$E6FF98F9-E929-498F-8B5E-1A86554E0DA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a25351a830a3c4767ae577550b0ad0f69d4a0b92","datavalue":{"value":"https://arxiv.org/abs/1712.08516","type":"string"},"datatype":"url"},"type":"statement","id":"Q2314419$5F1788B9-78CC-4906-8A4B-E495DC7C0DDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91e215b54629e7957c965d3d488af347300c783a","datavalue":{"value":"Let \\(\\Lambda^*\\) be a free monoid of finite words over a not necessarily finite alphabet \\(\\Lambda\\) which is equipped with some order. This order lifts to \\(\\Lambda^*\\) , where it extends the divisibility ordering of words. The MacNeille completion of \\(\\Lambda^*\\) constitutes a complete lattice ordered monoid and is realized by the system of closed lower sets in \\(\\Lambda^*\\) (ordered by inclusion). Under some additional hypothesis on \\(\\Lambda\\), one can esily identify the closed lower sets as the finitely generated ones, whereas it is more complicated to determine the closed upper sets. The following result was proved in 1952 by \\textit{G. Higman} [Proc. Lond. Math. Soc. (3) 2, 326--336 (1952; Zbl 0047.03402)]: if \\(\\Lambda\\) is well-quasi-orderd then \\(\\Lambda^*\\) is well-quasi-orderd too, whence the complete lattice of all lower sets of \\(\\Lambda^*\\) is well-founded, i.e. every upper set in \\(\\Lambda^*\\) is finitely generated. The authors prove the following crucial result:   Theorem 4.4. Let \\(\\Lambda\\) be an ordered set in which any two elements bounded below have a meet and an upper bound. Then for every finite nonempty subset \\(Y\\) of \\(\\Lambda^*\\) the smallest closed upper set and the smallest stable upper set containing \\(Y\\) coincide. If, in addition, \\(\\Lambda\\) is well-founded, then the closed upper sets of \\(\\Lambda^*\\) are exactly the stable upper sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314419$19B849AE-911B-49A1-9E8B-DC6D2CE22CC0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$A4C45D65-F7EE-42AE-9A51-74325E13E6B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$9DF32767-D102-44B3-9B64-52DFF564580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$B4A70A0B-B3EA-45B1-B8C0-F7B77AC6CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$D8A426C5-3F82-4B01-B185-6E1D08FE0950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$22546267-AD80-4189-90E9-32F234537631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$E590381C-2E2E-4CE7-9FBB-634AA0C480C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27bb57240a63f3cc53735ab33e8d51da212a707","datavalue":{"value":"7083957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$C973737B-0118-4C60-B5D2-2D1A9B7F589A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314419$2A815013-FCA7-4CDF-84ED-15961F17F7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314419$584ECEAE-68FC-4218-94EB-0EAD9CFFF124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ff59ef55abbc49531789be75146892803a5475","datavalue":{"value":"well-quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314419$78E88B11-E103-44CE-8160-E90E55F445BC","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":"Q2314419$1B53EEFE-0E6F-43EC-8ACC-45E06B9E8394","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f20985ee2d0a18a5111b67522b5e9c90cd28f5d6","datavalue":{"value":"W2810888652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$D1FA7D66-6F77-4CC4-8B39-A7BEB5D97B3E","rank":"normal"}],"P223":[{"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":"Q2314419$72A3D9AF-6559-47E1-9928-39AF6F922665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbab4acd996db78483779636177b87951d203b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3910579,"id":"Q3910579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$2F8D91A7-59FF-4A0B-8B44-491BA9C5A2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$07ED5B23-55F8-4C90-8EA9-DD784257F0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b104bac463a96b0f294e83cf48e67f4b2df22c7","datavalue":{"value":{"entity-type":"item","numeric-id":5538951,"id":"Q5538951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$B60D30D2-1459-4932-B52B-D4121C2E3C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b5cd6c70c236b352c4285a9e412099e843e61f","datavalue":{"value":{"entity-type":"item","numeric-id":3730636,"id":"Q3730636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$4959C010-E394-4275-88B4-999EA17C75F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dd948681470753b01cd89b23adf0d42caf1306","datavalue":{"value":{"entity-type":"item","numeric-id":4020513,"id":"Q4020513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$E91EFC74-12EA-40F7-972D-C5DE0D6BBDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461c8ce493708474b2fd2d77f52ef391527861df","datavalue":{"value":{"entity-type":"item","numeric-id":1584442,"id":"Q1584442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$B9037F26-7C4D-4780-B752-666CA440C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41cf8279b38bdbd5b0598166477cd940442cbae","datavalue":{"value":{"entity-type":"item","numeric-id":2311378,"id":"Q2311378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$535C64B0-96A7-4467-8C5C-B3A511C64EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbd552339b50e4fb637ebebf5d4cba84a9a9e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$09D8ED51-23CA-4EFC-971A-36B433F0C2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$01A4A11E-2A7B-456E-A2D2-F9223CD2695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2331ce68ffb229fed2b483ef84f522a367994688","datavalue":{"value":{"entity-type":"item","numeric-id":1838985,"id":"Q1838985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$77D5009E-2A0E-459A-BE27-12204F3CB4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973ad636dad488b151b68fa6f9805c29523a8bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1331969,"id":"Q1331969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$4F903390-ADD4-4E60-A0C9-BA73FCBB1F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9a6b6d8cc0f21b1a6e9331d32aa0fd0a6d319a","datavalue":{"value":{"entity-type":"item","numeric-id":1051660,"id":"Q1051660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$CA26CDDD-9C85-4A51-91DC-439DFC55FF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed713c66c5e7a05a3e6714ae41223d81fb4df5a7","datavalue":{"value":{"entity-type":"item","numeric-id":5680161,"id":"Q5680161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314419$67B7838A-05AA-4E1E-BA7A-A343B0F0435F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0f80afd6195aec19cb88b9001a2e17c390faafd","datavalue":{"value":"10.1007/S11083-018-9462-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314419$A0F8855E-4C29-413E-8E8D-6030FC56C20E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eb7d4b8dc772b637617d6058aa36ab0e8153a3","datavalue":{"value":{"entity-type":"item","numeric-id":2179340,"id":"Q2179340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8c09e89146a7b43002b7ff2b783b9b3b31919a","datavalue":{"value":{"amount":"+0.7419703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$CE4E66E2-347C-4EF6-93E7-48E374DCD74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d5f4f628aa178173b1d25610811c99ccf039c1","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81e19647f45a97197dad9944c828042f20c80a2","datavalue":{"value":{"amount":"+0.7109349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$BBB6637D-C018-401C-AFC1-1AD84D8B5D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67a1ee4bed168638a5307620db8285ca2b344ad","datavalue":{"value":{"entity-type":"item","numeric-id":412015,"id":"Q412015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794baff318f6d7b43521e07b06311279d7265ff6","datavalue":{"value":{"amount":"+0.7045973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$C89E7345-8486-4B88-B612-2083FD0C2B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9bbf9aedab07f5cf61b75a01e6c932121da204","datavalue":{"value":{"entity-type":"item","numeric-id":1304914,"id":"Q1304914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfd1a30dec44049f1d4de54d760f53572db99e5","datavalue":{"value":{"amount":"+0.7025559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$46F62C52-59F5-494D-9536-D1BE40DD108F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7eaa740cdb7611bc506fc0c16801f4bf2e34a1","datavalue":{"value":{"entity-type":"item","numeric-id":4384809,"id":"Q4384809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e3bb3c16856fcdc81b779461a288a3c8c462b2","datavalue":{"value":{"amount":"+0.70109296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$BDB61868-8232-4D7A-8C8D-98ED419DE2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2236dead20fa3e87a04e528259394af96fa4ebdf","datavalue":{"value":{"entity-type":"item","numeric-id":4605147,"id":"Q4605147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704447b08eef9dba381815dd478bbad1df38728d","datavalue":{"value":{"amount":"+0.69607663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$92756BD8-C49D-4024-9E20-DDBC91530E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cac27929f87a69bdf8652a661e018f8bb15a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1319061,"id":"Q1319061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb2947df1af85994bd0f1f384f4adb7e6d5e1d7","datavalue":{"value":{"amount":"+0.6934179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$F5387B26-213E-4A69-B652-2DC08D08B732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8818d0501105205e717bee1eb116ae4a7c76c329","datavalue":{"value":{"entity-type":"item","numeric-id":5422507,"id":"Q5422507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae59cacfb1d5b7500aa4a3322e5db3b33513ede","datavalue":{"value":{"amount":"+0.6907544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$096C5388-07AA-4931-B80D-BB60DC9152C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d496a947f1ec3a75fb8aded9c01a7b4bbc0cdf18","datavalue":{"value":{"entity-type":"item","numeric-id":934887,"id":"Q934887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dc25f4bb5dfad6a50a39edfac962428a24c285","datavalue":{"value":{"amount":"+0.686809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$E550BB76-51CA-4655-8E6B-4610E3DAE222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22edee8a8bbe2f68e2bd73042d88d6662ac7884","datavalue":{"value":{"entity-type":"item","numeric-id":2503153,"id":"Q2503153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf3b99cc9c3c64e220241025dc1f612b3a2c733","datavalue":{"value":{"amount":"+0.6681707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314419$3FE437D3-A80E-41B8-9F3A-37B2A8E5D9D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactic approach to the MacNeille completion of \\(\\Lambda^\\ast\\), the free monoid over an ordered alphabet \\(\\Lambda\\)","badges":[]}}}}}