{"entities":{"Q5401556":{"pageid":7431130,"ns":120,"title":"Item:Q5401556","lastrevid":74429217,"modified":"2026-04-14T22:17:39Z","type":"item","id":"Q5401556","labels":{"en":{"language":"en","value":"Automatic theorem-proving in combinatorics on words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6266665"}},"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":"Q5401556$D8686549-B08D-43D2-BB98-00673EF0B956","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f97a30741362c2cd153a4e1919d5fdf1e0c3cc0","datavalue":{"value":{"text":"AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5401556$92902A26-9922-4305-B506-652EF200A39E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1296c980165215484ee9e4ce7e9f315c2975d6eb","datavalue":{"value":"1304.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$8DB50736-0211-48AE-9444-28D292FFAACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41e75d6bdaf8b9fbf6deacbe58ef37897cf114b","datavalue":{"value":"10.1142/S0129054113400182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$CCCAF5CF-3E33-427A-B613-021D0CDC814C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d874bdec2908fa379f43adc1781d0ff503d40","datavalue":{"value":{"entity-type":"item","numeric-id":2358682,"id":"Q2358682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$A0D26966-D744-4A9E-BFD3-B0CE2C324142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbab5d9e136270a3770a6a31ccc46a4fc58c92dd","datavalue":{"value":{"entity-type":"item","numeric-id":2914706,"id":"Q2914706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$83845F70-375E-46D7-B919-0504DE5F09BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$1BE690BA-E27B-404F-BBC8-8B57E8356FE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$81C44288-4E9A-49AA-A749-AE6986E24E8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263711ed51fd12cc335121a0bdee06ca0225e302","datavalue":{"value":{"time":"+2014-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5401556$E6820A38-9EEB-41A3-9446-7C20751CAFAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$5CB4AB44-29D2-42EE-BC27-FEBCD34C0957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$F0E73532-A841-48EE-A16F-C9281128F642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$03F7D0B3-861B-4FAC-9B68-DFD975136BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$1EBF8E68-3D08-4524-81E4-E2F3A15FEE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$A31C2A24-09B1-4E59-A125-CAD5BAF58569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$728B4CB2-89EC-497E-9481-D280FFB2F304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0466624e58b1bf89af870cb1ad909a2339cd21a3","datavalue":{"value":"6266665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401556$D47C58DD-521D-4BCA-9AAC-1D2128013859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b484bb6f0dddb57c90f4d11a46f937ee51725","datavalue":{"value":"automatic theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$C9D39DF2-DB0C-4315-BE8E-5731635E0556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8967d0a934eaa6194b5afbe1fbb4e78c8127645d","datavalue":{"value":"combinatorics on words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$6A3EA975-B907-4D3E-9B41-46FC57E13928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50b734d7a3583a654f5eb3937fc5e003966b3cc","datavalue":{"value":"automatic sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$7DFAE61A-79B0-436A-8EAB-A893FD452CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$CC13A25D-18D9-4CD7-96AC-1F3D45B96695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$6F7549FE-03D0-4E9C-BF71-4CF7D8D3EA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae397e7f921a6b3270abe44841e94f92d3f417f","datavalue":{"value":"borders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$2932DC07-2951-4173-B1EE-EB347DA961A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e67b1c12be0c27b92cb3751d4f2a1c54be8688","datavalue":{"value":"linear recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$27C1871B-3789-4658-AFD3-117F8A6EE430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c420e01a4c7ebed8995727fb3d65fa03799b0a9","datavalue":{"value":"periods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$8411231C-1164-4717-8E98-4C86DBAE02A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401556$7D5C57ED-7378-450B-B73C-B87D627E12D0","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":"Q5401556$18A9CBCD-BD18-4939-85B2-F20F8FA731EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd81893b1a6b85a67a06959cafbfe9612624bb","datavalue":{"value":{"entity-type":"item","numeric-id":2271417,"id":"Q2271417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$A0FC9913-E92C-4EE0-BA99-3601802809FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff7ea7b76b3b433c3380d9e6de929126f27a682","datavalue":{"value":{"entity-type":"item","numeric-id":3636020,"id":"Q3636020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$37B2177C-8C66-4CA5-9359-926E78F40F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71755715fe4201a0443c497aeac8917ef2a1a306","datavalue":{"value":{"entity-type":"item","numeric-id":410714,"id":"Q410714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$B28770CE-269F-4005-A7A7-C7FF56E2DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ff45a241585a7eb3570ff2c5bbafca75bb741e","datavalue":{"value":{"entity-type":"item","numeric-id":3147019,"id":"Q3147019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$8EBDB5FC-91E7-4BB3-9679-4EAE09CCA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f3e5bc1e24b4cdc567ff00558a65aad7a37a89","datavalue":{"value":{"entity-type":"item","numeric-id":1401214,"id":"Q1401214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$551225A5-F8E9-4158-90DE-B8D2AC273A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047aa43ed73756ce47a15f42e62591e968327941","datavalue":{"value":{"entity-type":"item","numeric-id":3549293,"id":"Q3549293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$29C497AE-23D8-42B4-901D-F3C3B4C04C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012d86b7442713ec122b29ae9cc8d7f3cbf35bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1168345,"id":"Q1168345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$8EA53A92-DA83-47E9-A269-B4C5E894D5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36cc831c4f793d92dbfc417ebba825e26f03aba0","datavalue":{"value":{"entity-type":"item","numeric-id":1159466,"id":"Q1159466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$C79436BE-A49E-41A1-A302-05488791389B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c825cbcc3877130bc56958c5d8944663c7e1907","datavalue":{"value":{"entity-type":"item","numeric-id":2483406,"id":"Q2483406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$A45864A1-9AC3-4B4A-9F78-230E027455F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a06077d755c5922858512c1ef5c5edc5af4d11","datavalue":{"value":{"entity-type":"item","numeric-id":754298,"id":"Q754298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$A9DF8119-E1EA-4710-B924-568B5893FFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d73746e3b8c0df5e6fdeeb430ac2ae14fd04285","datavalue":{"value":{"entity-type":"item","numeric-id":2914707,"id":"Q2914707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$2E4AD24B-CC3A-4DE8-BD20-8EFE6993A1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb0607106dc61219a435c620ce9974783204282","datavalue":{"value":{"entity-type":"item","numeric-id":3546338,"id":"Q3546338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$CA206398-CDDB-44CB-B446-63A4B1397A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28c43ed7cad02476964654d28f8799770ae3dac","datavalue":{"value":{"entity-type":"item","numeric-id":557916,"id":"Q557916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$7143123A-3F32-4DFD-BEFD-EB4B3BEA2F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd841272b5c76bae06b70e779b385e73d16eaa1","datavalue":{"value":{"entity-type":"item","numeric-id":3586408,"id":"Q3586408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$6B0D0117-8AB8-444D-A924-9FC431C8AAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8565eb12b826a4cb9b9fe22fea6c64db38fc438","datavalue":{"value":{"entity-type":"item","numeric-id":3780465,"id":"Q3780465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$C0C3940E-E6D3-45F5-AAA7-BB89B051C8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae90cd915c12aca0321b8e5bf3eee74cd874b9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3246337,"id":"Q3246337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$445C21C4-18BA-4CDC-A017-F0846D0DB5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24789ff80fde748886822d3ca005505f65f8e6","datavalue":{"value":{"entity-type":"item","numeric-id":4404777,"id":"Q4404777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$0312A1CF-30AD-49A9-83CE-065EE81BCB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947edecc7132e864fdc0501ccbcc532c59b591a","datavalue":{"value":{"entity-type":"item","numeric-id":1132880,"id":"Q1132880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$BF43E5AC-D823-438E-86B7-23A24E7A7D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e280f1d4e709348905ab96490fea70867a47552","datavalue":{"value":{"entity-type":"item","numeric-id":1944913,"id":"Q1944913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401556$44A0BBAD-B43B-4088-AD63-EE1B45EFA88E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb660413318448826a8fc18d7575c50f6e63bf3","datavalue":{"value":{"entity-type":"item","numeric-id":2914707,"id":"Q2914707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d485cabeb4946490607c4277cc22d64395a888e","datavalue":{"value":{"amount":"+0.9419050216674804","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":"Q5401556$69102161-7DA2-4FEE-9672-4FE39E59B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fac18174061b165be473dd79115e87d87d90cb","datavalue":{"value":{"entity-type":"item","numeric-id":2271417,"id":"Q2271417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b7dd8523070aa7c62786b2162e88210513d087","datavalue":{"value":{"amount":"+0.7741672992706299","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":"Q5401556$E73DFADB-391B-471D-8A2C-C2B1BC852A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f146687f84a0115889614caae389877cee5481","datavalue":{"value":{"entity-type":"item","numeric-id":4662840,"id":"Q4662840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0202d5facf663654c885ddc995be1b881c087c9b","datavalue":{"value":{"amount":"+0.7592260241508484","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":"Q5401556$61F6270D-AAA0-4053-9B83-C51049E25C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec38830a61c819678ba29522a45ab6f11667422","datavalue":{"value":{"entity-type":"item","numeric-id":2222098,"id":"Q2222098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f71c0ebde44d8b0e892787cd912ab7aff7d1c0","datavalue":{"value":{"amount":"+0.7545047998428345","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":"Q5401556$7B8E4466-578A-498D-84A0-5A23F26C8110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995d00787679adf44ad8213b7413c0f53957b520","datavalue":{"value":{"entity-type":"item","numeric-id":4910467,"id":"Q4910467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e937e5f3afdff58d96b93337517894417c3e919a","datavalue":{"value":{"amount":"+0.7531901001930237","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":"Q5401556$D246A8A6-BE30-4025-8C8E-60D08B8D2F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic theorem-proving in combinatorics on words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_theorem-proving_in_combinatorics_on_words"}}}}}