{"entities":{"Q2011632":{"pageid":2022374,"ns":120,"title":"Item:Q2011632","lastrevid":43474795,"modified":"2025-07-28T10:51:34Z","type":"item","id":"Q2011632","labels":{"en":{"language":"en","value":"Formalizing a fragment of combinatorics on words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756745"}},"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":"Q2011632$03B0B9CC-8502-4037-B03A-9E05BDA59FDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eb10ed4649a03c52263a89103adbe0ef4069d5a","datavalue":{"value":{"text":"Formalizing a fragment of combinatorics on words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2011632$5FC0400C-5A84-4FBE-A608-FF0BE6F34059","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d05cd2d6b20bd0d7aecef12243facac326ead6d","datavalue":{"value":"1433.68579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$8C7BAD32-B464-415A-AAE6-D63706588782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d38606a0b8a0e1e5d38581e420f3b82d8a3796bb","datavalue":{"value":"10.1007/978-3-319-58741-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$A2FEAC04-C529-4B9F-B084-92353D899E7A","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":"Q2011632$67A646F5-5B5F-4A5F-8220-30BBFD53F1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$54E6C8FE-7AC8-4277-8BFC-3796C08AD825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"727c42383df97611bcf127d7abf9a5bc6c620eae","datavalue":{"value":{"time":"+2017-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2011632$E3E9D911-9E5C-458F-B4C5-E1B5B48700F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$733C8EB5-1CE3-44B5-BBF9-01912F0BB726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$A4AAF438-3E4B-4AAA-94CE-266F76DD1ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$F35ED908-F8F5-4B21-AA6B-E0B26EC03A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"335a540e33d385c2843a1d0afd282ea821950d5d","datavalue":{"value":"6756745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$97D8F3F6-7491-460D-A124-03C708879AE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011632$C2F83F84-5458-443E-8331-1F8B42A0A07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a64fc47d6b4374dda5b80285e4867d8288957c1","datavalue":{"value":"periodicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011632$E6664EE6-36F1-4073-9029-ED7EADE2376C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8967d0a934eaa6194b5afbe1fbb4e78c8127645d","datavalue":{"value":"combinatorics on words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011632$396C3248-C059-4F9B-92FB-35D690E2024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011632$1C5C2E09-BFA8-4E10-9012-1F24F252656D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$13340732-FBBE-44BB-999C-248E8D8BDCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$CDA9E7DE-858C-4E27-909E-C249CACCDE07","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":"Q2011632$8FFDC2CC-5D1B-4019-8A65-E691983FA65D","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":"Q2011632$D0E5FB87-F16C-47CD-8341-AC02A5DB2E6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c1ad6f47dbe7153a7ef6c8c8840123a5853881","datavalue":{"value":"https://doi.org/10.1007/978-3-319-58741-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2011632$C2D0C6EA-9190-47D3-B474-67636A8086F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a289ecf3990f9a9d8a54428ca6d18c9d5a208805","datavalue":{"value":"W2612612198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011632$815E9B5B-7CB4-4AA6-B5C0-87862D9C5B1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$B3035643-0D26-430A-A1D9-9C3EA44EE8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a6cc612cd69e71b2b1680c5fce10af5da3602a","datavalue":{"value":{"entity-type":"item","numeric-id":3901701,"id":"Q3901701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$B3C2D17D-29AA-4CCF-AEF5-7BD699269093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab6025265730efef78663c665b66ca401ceac62","datavalue":{"value":{"entity-type":"item","numeric-id":3401462,"id":"Q3401462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$7E62F086-4451-4717-A120-E47D51564DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec063e97134a956b4adef0cc993fcbb16c7d0af9","datavalue":{"value":{"entity-type":"item","numeric-id":5340253,"id":"Q5340253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$4C8C9594-E411-43E8-B41A-D51AD7AD3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a5c491e27bbeea4d7b95894d477a28fdcc0015","datavalue":{"value":{"entity-type":"item","numeric-id":5302558,"id":"Q5302558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$7776BDA2-6DD1-4DCE-9829-19C3C160E22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a659eb58db2d778f9efed2226ba5f6a755330d53","datavalue":{"value":{"entity-type":"item","numeric-id":1867297,"id":"Q1867297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$DCC8AE91-5D44-47EC-BF52-C1BBC4501493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c15b75ec923ad67c7aab1d20695adb2c0a1b5f","datavalue":{"value":{"entity-type":"item","numeric-id":4412116,"id":"Q4412116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$69E584BB-438D-4A1B-9978-6222B0815AE4","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":"Q2011632$CC85E2CE-6DB8-492F-A103-625DA0CAE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e5b4de83e7ae9fbd1341b4ba6f503332c93636","datavalue":{"value":{"entity-type":"item","numeric-id":3094959,"id":"Q3094959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$A44A3C52-E581-4C39-A44D-DC54F58B8C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c6cf0274eb7cfb7bd99b5462819b29146ce932","datavalue":{"value":{"entity-type":"item","numeric-id":5840053,"id":"Q5840053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$783425FC-2832-4EE5-8AAA-1716FE14766A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$E78D0569-1958-49AD-9437-01E2D5C47DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca970164517030c1d68d21b85053761baf38cfb","datavalue":{"value":{"entity-type":"item","numeric-id":4913871,"id":"Q4913871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011632$FFB88C91-DC44-483B-9CA4-D6D53568044C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2011632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2011632"}}}}}