{"entities":{"Q7034847":{"pageid":21711966,"ns":120,"title":"Item:Q7034847","lastrevid":77522594,"modified":"2026-05-04T15:32:47Z","type":"item","id":"Q7034847","labels":{"en":{"language":"en","value":"Word equations, constraints, and formal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977170"}},"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":"Q7034847$45E3AD05-93FD-40C8-88B5-1F5D19CF15B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97de19a950afd4ab6832c79561e68c2ad110d193","datavalue":{"value":{"text":"Word equations, constraints, and formal languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034847$8AC58BDD-F310-4DC9-B590-646972816446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c43100f975a8b210955da718a3bf30cac39157f","datavalue":{"value":"10.1007/978-3-031-66159-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034847$974CCD3C-4BC3-4E11-9BF4-5E473B4AA38C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db1cc0a9d5111404666f7aa89bf92d3cf23019d","datavalue":{"value":{"entity-type":"item","numeric-id":273096,"id":"Q273096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$7E3D5E77-6C98-4E96-9D51-5F64529A445D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034847$D2BD652C-8526-4DD5-803F-16F78C95A613","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034847$178F160F-C74E-4EC4-9450-62367FE49EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe8472d9249879593f43a09e1ed0e3af74897cf","datavalue":{"value":"7977170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034847$BCEDEF0E-16A4-45CE-82A9-F5187095D3B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9b282e2f1a60ca466f0d48378e17d5a9cbda6c","datavalue":{"value":"word equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034847$8D865524-6BD0-4AFE-A581-9E94BD869D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cb95026d1560293aabeff22524112e5889a66c0","datavalue":{"value":"free groups and monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034847$B86EDE09-7626-48F2-8644-ACEAE56D6897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23dbb7287537c1fc63f747004363976d558cfdb","datavalue":{"value":"length and counting constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034847$2BA1B901-163F-4C28-A53A-A4EB93B66436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba58a57e9db2369f22d1e7ac29ec4ba8aba5f9ba","datavalue":{"value":"EDT0L and indexed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034847$18D364EE-1839-4649-97F4-1FFE46EDBBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034847$B6B9FE95-DBFA-4AE3-A013-B4E3992D1A87","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":"Q7034847$A1FD936E-56FB-4748-BA4A-331F6D675C56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf045231a1ed32f3a90aba5b68efa5e97dc9514c","datavalue":{"value":{"entity-type":"item","numeric-id":3773843,"id":"Q3773843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$E115B1F0-60E7-4DF2-BB94-0A598BFDC230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf25c058d1aabe0d99d7f1c68b569216b10bbddf","datavalue":{"value":{"entity-type":"item","numeric-id":6623545,"id":"Q6623545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$5E5D10FD-BB07-4E57-AD7E-DCB3E40AB41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e12cc7cecacd2ea7a8aa2a7cba4bdc48ea56b2","datavalue":{"value":{"entity-type":"item","numeric-id":2821818,"id":"Q2821818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$49C3F9EF-EDBE-41D4-A2D6-08259DE23B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e03cdf5e155d2133825c01ecb3a6e4adcac0d3","datavalue":{"value":{"entity-type":"item","numeric-id":2282983,"id":"Q2282983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$5854BDBA-63E6-45D1-80C0-5E4D8B087DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9415f2e2f97f012e43ac343e43dd0b9b1d20adc9","datavalue":{"value":{"entity-type":"item","numeric-id":6970253,"id":"Q6970253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$35EDD451-2E81-4680-93E5-031A42A761B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21aef2498859ca7b20ed4e316b32605ddbbfa17c","datavalue":{"value":{"entity-type":"item","numeric-id":2655754,"id":"Q2655754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$0A91D8EA-E8F6-4432-883C-2835D2E22F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e502216328570908941cee35272f6b5768b31","datavalue":{"value":{"entity-type":"item","numeric-id":3574855,"id":"Q3574855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$EC7608C3-468D-453F-9F47-CC66D13383E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d900351da38b5aee7b71b54ebcad9b0a795d46c","datavalue":{"value":{"entity-type":"item","numeric-id":1798903,"id":"Q1798903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$A4BEF1C7-13DE-434A-9294-61BE4134372E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a48175690831108dfd86f32cfec71076e150b1","datavalue":{"value":{"entity-type":"item","numeric-id":2762503,"id":"Q2762503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$8A141200-3E05-45C5-B8B5-6EFCAEC17064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56cb5a5043aa78a3c23e16618016e354a979ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3521473,"id":"Q3521473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$ACC7C43B-4B53-47B0-BF7C-108AFF7B4F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8216515eb2100520795bf817f2bfb345ded1788a","datavalue":{"value":{"entity-type":"item","numeric-id":3430310,"id":"Q3430310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$C5E0B97F-0E9D-4E85-8027-12385CA3CF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b4d7d3d4e6582a072f58494385a2b2689a3180","datavalue":{"value":{"entity-type":"item","numeric-id":2944847,"id":"Q2944847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$7CA8C4A3-8156-41C4-9F8A-E52D7D728197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67eb33663bc2979a5e1497f39fedc80221089c1","datavalue":{"value":{"entity-type":"item","numeric-id":5075700,"id":"Q5075700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$F428B7E0-43F8-4E32-A2F8-92F335C03E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c151c75889d132345966963053685bdc39a0a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":2051781,"id":"Q2051781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$CBE96012-6222-491E-8D19-8DDD156F1E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16718f55ed5fc4abc488c35fddb512e8a1d78bae","datavalue":{"value":{"entity-type":"item","numeric-id":5415800,"id":"Q5415800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$910D2E32-8023-42F0-8174-37AE5C68E4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cc3c19c0a5df79cee24977f378f438dd3d651b","datavalue":{"value":{"entity-type":"item","numeric-id":260112,"id":"Q260112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$D156E5B6-997D-48D0-AD0A-32053B8AC80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1718b07ab1c1b78d94f72303f081cc24fb94a176","datavalue":{"value":{"entity-type":"item","numeric-id":5028423,"id":"Q5028423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$A3191D10-46E2-4AE5-9BC1-99CD5EDBEF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516799c82fb39c92923206092dc1c86efbfcb753","datavalue":{"value":{"entity-type":"item","numeric-id":4750010,"id":"Q4750010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$FB8D6127-B3F1-4C5D-BD17-CBFA8AF53ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933399d936da9127c1e83c40f5c894c6cbc9d911","datavalue":{"value":{"entity-type":"item","numeric-id":6072396,"id":"Q6072396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$7EAB4A8E-2605-43FB-A83C-2078A260EF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bde61a3e391aa9fb217f65662aa5d2f2949c6","datavalue":{"value":{"entity-type":"item","numeric-id":1895691,"id":"Q1895691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034847$50010DAD-E503-49E7-9E97-EE5D053BEA6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Word equations, constraints, and formal languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Word_equations,_constraints,_and_formal_languages"}}}}}