{"entities":{"Q832940":{"pageid":834788,"ns":120,"title":"Item:Q832940","lastrevid":54271850,"modified":"2026-01-26T13:59:13Z","type":"item","id":"Q832940","labels":{"en":{"language":"en","value":"Lyndon words formalized in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498728"}},"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":"Q832940$15E229EC-3074-46CA-ADBD-B5C23B69CC94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3ea2bb12d6650d0d609149aa608965d8c99f05c","datavalue":{"value":{"text":"Lyndon words formalized in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832940$AC05D6A8-881F-4AD2-B0A3-9619437530FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64dad3c2f56b7fec1618d81167b51185eabf0963","datavalue":{"value":"10.1007/978-3-030-81508-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832940$1A591832-CB26-412B-9307-E1E02BEB7001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"083e0bda31789df46789b9fb623330c0a36ad760","datavalue":{"value":{"entity-type":"item","numeric-id":512188,"id":"Q512188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$8B4BF768-53E2-446D-8118-C7A989D851AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48fa56d082ab761d3efc8cb554afe18fc4d8ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":389459,"id":"Q389459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$0E1E7A3D-AF74-40D6-B947-7E75EE66D97D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832940$099B3846-0166-47FC-ABCE-ED07AF55835C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832940$1C0B63C2-5499-432D-8557-14816A079A09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa2a697ef3cb7b3922c190729ecbc5f274aa7af4","datavalue":{"value":"7498728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832940$C119F6D3-0D2E-4F6E-BEDC-CA0F0B1CCD1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q832940$6D3626ED-ABC4-41D2-881C-DC4006FC48E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f055a9e322124bb2b459bb0bdd4f348ffe085a7","datavalue":{"value":"Lyndon word","type":"string"},"datatype":"string"},"type":"statement","id":"Q832940$B80CF9C4-6130-47C8-A3D7-2EF033A126C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa40ef7fccc550b4c7d1004335ce6c676205c6","datavalue":{"value":"Lyndon factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q832940$EA235B80-58B5-4E22-9069-80BA5B4EC8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8967d0a934eaa6194b5afbe1fbb4e78c8127645d","datavalue":{"value":"combinatorics on words","type":"string"},"datatype":"string"},"type":"statement","id":"Q832940$347D7533-C572-4050-B2FB-CBAC17F0A573","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc29763529a5299d36db7713d4ab1c2162195cb2","datavalue":{"value":{"entity-type":"item","numeric-id":53570,"id":"Q53570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$BC549F0A-8B05-4990-ABA5-77F02AC5AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$1261A8A5-FE94-4320-B312-95126D703E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df57bf59dc59c3216a06a8de0d7e97b7b37f222f","datavalue":{"value":{"entity-type":"item","numeric-id":5972880,"id":"Q5972880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$1950BA8D-0AD6-4DEE-882B-8CB037074B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecf052c5bb7181e8330aefdad108e67bd3e0ce36","datavalue":{"value":{"entity-type":"item","numeric-id":5975195,"id":"Q5975195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$E7077334-90E8-458E-A118-2B7220AE1864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$E935BA59-CE5B-4E50-B56D-921167E957AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$C3F7CC74-CC65-4B08-BC09-3CF93C07CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$1CDE0AEB-AEC7-414F-9495-29BFF51018FA","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":"Q832940$AF062A85-17C5-41C5-AAA7-F613E8D1D1C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a207996aaba1b1d87d22c16b4f249a4c7da63e6e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81508-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q832940$FFF6BEB3-6754-4E7E-A717-5FF00DD1348E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a5e8212767dc71d04d9b560ea68b0ffadb9fcb9","datavalue":{"value":"W3193153727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832940$7F2CD960-5C88-4964-9A38-3F073D90EACD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$85C3CA52-0DBB-4B85-A2A8-B16D3BD2E0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e847ff81b6a7f82057cdefee85e7e6f1289cd9a","datavalue":{"value":{"entity-type":"item","numeric-id":5363085,"id":"Q5363085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$4A615BFA-F690-4132-B932-2E38E624D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$9B757616-F8B6-4E37-8709-AB137926C026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a46b618729e5a6773996985455fa79a48db0","datavalue":{"value":{"entity-type":"item","numeric-id":2922009,"id":"Q2922009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$8453256E-B227-46E8-B1B8-E7EB6162CD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8a1407ff40a3a04b7ee710bd3af484653cca12","datavalue":{"value":{"entity-type":"item","numeric-id":2422029,"id":"Q2422029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$B9084869-E847-45F4-B366-13F87424F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636b1cb6e28ebc758de77cc69e0b7551ef745825","datavalue":{"value":{"entity-type":"item","numeric-id":1121024,"id":"Q1121024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$9B17F0D0-7DF5-49DD-8BA0-53FE2F88462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b17648008f83f710ec86a5e65f2569a080aa45f","datavalue":{"value":{"entity-type":"item","numeric-id":1248514,"id":"Q1248514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$39421A0F-F97E-45C2-9A11-3D8279833103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e615433d7c0da849d212b92d36df1a27bb8523","datavalue":{"value":{"entity-type":"item","numeric-id":3183516,"id":"Q3183516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$015C676F-1721-4156-8E27-D9659E6A2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e10c8f3409cfbbdac481711e4c0f8c1b787331","datavalue":{"value":{"entity-type":"item","numeric-id":2662679,"id":"Q2662679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$F450B968-9C5E-41A0-A144-1EFAE72E5219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0560364fb5559c076d11fb860dbca7d41969ed40","datavalue":{"value":{"entity-type":"item","numeric-id":2011632,"id":"Q2011632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$AB2F139C-7E87-4450-80E8-F33A00E46F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8c5efe62c1f0f284e1e3160910ccbd8c92ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2219386,"id":"Q2219386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$26B79060-FF3C-4BFC-BAE2-3C8510092767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$7FE25D6D-C9D4-42BE-95F1-1544A5F1BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f68d91365993aaa2606a826b6e2ae3f7b55c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5831360,"id":"Q5831360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$80BC25D8-09FE-402B-B24B-2A40965CB6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6c51399550a6973b95e8044fc35f836a0db916","datavalue":{"value":{"entity-type":"item","numeric-id":513297,"id":"Q513297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$99FEC9A9-3485-4B13-BB89-3E2B69D3A90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017089f1b8820cff138bb4305c5e5fd1db1ba3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$6085AF27-2506-439B-B49C-6949D447FE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$C442AAA9-3F4F-4267-871F-4248B15C2C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27cc39aa2929ec53eafd10c831d1d68f45fdb83","datavalue":{"value":{"entity-type":"item","numeric-id":1040010,"id":"Q1040010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832940$166E04EE-4EAF-4C24-A667-64323D5FCE73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d47e95270f6ce0b4350cc512c9beedae37ad71","datavalue":{"value":{"entity-type":"item","numeric-id":3451100,"id":"Q3451100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4022a5b8813dd087ece09b021e319c8e84dc7a6a","datavalue":{"value":{"amount":"+0.734137773513794","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":"Q832940$3B03AF7A-3063-4634-A5B0-F2398AE854E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fbbae8f6eb76703ab86d49d2fca69a5baa52ed","datavalue":{"value":{"entity-type":"item","numeric-id":5140264,"id":"Q5140264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce8980d689d9211efb9c8039167884b057cfa3b","datavalue":{"value":{"amount":"+0.732836902141571","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":"Q832940$863187C4-1E21-40AC-BB53-B5C85CFDE2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5ed8ceebddad3218c937acb09e18a99abf2770","datavalue":{"value":{"entity-type":"item","numeric-id":2318478,"id":"Q2318478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac588b0e02cfaeda068074819da34812212e43a","datavalue":{"value":{"amount":"+0.7193471193313599","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":"Q832940$E2FB1F78-2475-4DBB-B1AE-497E291E409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef9cf33160cf3464a262cd79fcb39599293ebe5","datavalue":{"value":{"entity-type":"item","numeric-id":1121024,"id":"Q1121024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3717f6872370d6143fa2f829595725d6ee56712","datavalue":{"value":{"amount":"+0.7168321013450623","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":"Q832940$D5CE7504-7AD5-4C20-B4D1-CA68FC0345A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d29296bc83962c86fd85f2faebab46cbfc9de9","datavalue":{"value":{"entity-type":"item","numeric-id":1791180,"id":"Q1791180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a584d659b5f49439be1f76ee13117b5fbef16d","datavalue":{"value":{"amount":"+0.7110722064971924","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":"Q832940$9B88D431-CD61-43F9-9CC4-B4D8FB1CC3A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832940"}}}}}