{"entities":{"Q1110344":{"pageid":1121093,"ns":120,"title":"Item:Q1110344","lastrevid":66452412,"modified":"2026-04-12T10:10:17Z","type":"item","id":"Q1110344","labels":{"en":{"language":"en","value":"Notes on congruence relations and factor pumping conditions for rational languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4072415"}},"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":"Q1110344$4E3FD0A0-C1EE-4678-BD76-67E09076EEAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c989052bb0d94df522c92885ed73435a1fcd982","datavalue":{"value":{"text":"Notes on congruence relations and factor pumping conditions for rational languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1110344$71837004-19D8-48B2-926E-6B77BBA44478","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bed25e8370596deb8f32330cdc820e5f5a7e31c1","datavalue":{"value":"0656.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$B454FA7F-360A-4101-B3ED-CE28934C02F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bbd8327b4509c0a885a54755f473509938b9427","datavalue":{"value":"10.1016/0304-3975(88)90044-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$712F7BF3-03D7-4FAA-BED8-92B94D95E329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d09bfc325e139ec71aad77822c04fab70aefa08","datavalue":{"value":{"entity-type":"item","numeric-id":808717,"id":"Q808717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$E41D8C1D-B778-4073-A7BC-4C8ABE21E177","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$4A142912-F5D3-4BCB-9F82-2329DD32512C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1110344$BAC25303-606B-4055-982F-AFD7EFCE32CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"deea956e468a88462bc3daceb9d66336e60b6976","datavalue":{"value":"If \\(\\Sigma\\) * is the free semigroup over an alphabet \\(\\Sigma\\), \\(L\\subseteq \\Sigma *\\), and \\(\\sim\\) is a congruence on \\(\\Sigma\\) *, then L/\\(\\sim\\) is the set of congruence classes of words in L. The author considers conditions for L/\\(\\sim\\) to be finite, a finite semigroup, or a finite group. Pumping conditions which are equivalent to rationality are also considered for these factors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$9D422930-735F-4CB8-A7CC-1C79386E6875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$F871FF35-095D-4AF7-8059-47FCADA51098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$50976318-CBC0-4811-97EF-45C7041026E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$08F76AA0-11A1-4052-BE00-82B762319C0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d036da8e2e0c98d63489a8eb560770222d1bab80","datavalue":{"value":"4072415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$7162E898-9233-42DF-8D89-649DAD2763F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f2315b98b3b5069daa48fcf8e139df6eef1965","datavalue":{"value":"idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$A8D45956-D6AF-459F-B0CA-451EA7363A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6db33d6b2afa59df4fa0ef35d4a5925c0972b03","datavalue":{"value":"periodic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$6F1A9FB9-3E5D-495B-A62A-4A705F8E134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b489be36f2806b138f130171c2492c208d47cd2","datavalue":{"value":"free semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$EFDAFA83-F794-4A0D-ABFF-8935AE5529FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$6556C1F1-507A-4D77-9046-2C064B69B840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$59E5459D-9032-43CD-8319-727DE9D24388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$58673485-3266-4BD0-97B0-F43AD4799C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$7BE995E2-712A-45CE-82FB-A7300C3D34E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6081fb04c287d8882b84917dfaf758e1f38dc4f","datavalue":{"value":"Pumping conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110344$1EE5787F-4085-4EBE-B446-865A2F0486ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e9512d87b1df7bc1d959641d7e55d7a58696e5c7","datavalue":{"value":{"entity-type":"item","numeric-id":791669,"id":"Q791669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$6FECDA34-FC93-4F36-99E7-B300704962DD","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":"Q1110344$E12A92BA-4C0B-4718-9C8E-28986D306479","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51418712056e3e4b351579b06c9c1d8d4808fa0b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90044-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1110344$50DCE4C7-0177-49F3-858C-938E14EA718E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb0b577c038a5d60b82b5f20a36a09915c966479","datavalue":{"value":"W2064302415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110344$D632E8D4-F3B9-4DA5-8E52-301FF492E79D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3486a2205118699eebd830fbed601b19f7b9845e","datavalue":{"value":{"entity-type":"item","numeric-id":5515397,"id":"Q5515397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$F0B72C36-CE34-4EA9-B640-25DD320A4742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b69a25dadbcf5033c0a83bebdcd00c3a732ee43","datavalue":{"value":{"entity-type":"item","numeric-id":3911423,"id":"Q3911423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$A0412CFD-6E65-48B8-B07E-07051C91F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320c72f5d7bc4233144c8a7fc06bac690cda162","datavalue":{"value":{"entity-type":"item","numeric-id":5809194,"id":"Q5809194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$31B78BE7-93D1-4EEA-B565-E602CD47F8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c89fcecb6410957b316a73b4c0aecb817a2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1084511,"id":"Q1084511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$9A40292A-E24F-4095-B287-A0225A2040D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38fd3b62b35402c810caac1f4dc9e06c6e8bddf","datavalue":{"value":{"entity-type":"item","numeric-id":1132979,"id":"Q1132979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$6C999D46-7EF3-43D1-949D-A050C961A9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c19690370d4768e46b3fcbe59f4867639dc701","datavalue":{"value":{"entity-type":"item","numeric-id":4181301,"id":"Q4181301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$AEB8545D-5781-4192-B12E-C4F05ECF6383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$B76FACB1-A7BA-4FDC-A4FC-B2ADD710A5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e053050c5bf6b407e89c08d0ab77b9dc03f0d9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5896192,"id":"Q5896192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$836069AC-A1C3-46A7-8C68-F21C1E1A2E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b175b8fe6b340eb87ba231e284abaf3ed15030c","datavalue":{"value":{"entity-type":"item","numeric-id":3877867,"id":"Q3877867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$A00A5FC3-DAD3-427E-BD65-0F54ABC9C728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3427efb2f4873a1af32a1de8bf7013f86e0aa57","datavalue":{"value":{"entity-type":"item","numeric-id":3680301,"id":"Q3680301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110344$F2AB7B72-8F4D-49F7-B70D-A77487F155BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91751148124b26692ed2780f4e89489fd1ff0728","datavalue":{"value":{"entity-type":"item","numeric-id":4242582,"id":"Q4242582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db607b5589c0202bd9c2499d99c151de71f4a4ad","datavalue":{"value":{"amount":"+0.7353869676589966","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":"Q1110344$3B76040E-006E-42B6-9FBE-4734B9BC59FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c8f36980751c3cb2b600b28476fa22dc33f88d","datavalue":{"value":{"entity-type":"item","numeric-id":4783813,"id":"Q4783813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e10fc5fc36b6453a50b0f2fb7d92571d2affaf7","datavalue":{"value":{"amount":"+0.7335833311080933","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":"Q1110344$039BE631-8A76-4CF6-8EB0-4D5C78360760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2139add2b660440e717fd52059f3f112f8bb970","datavalue":{"value":{"entity-type":"item","numeric-id":1089439,"id":"Q1089439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db07843d99dd9e1424003f087a2404d70093b07e","datavalue":{"value":{"amount":"+0.7222532033920288","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":"Q1110344$CB3720B4-718A-41CF-8CFA-64AC2177B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59113fcbed1a11b4e3c784c1f076a74cc0ed73aa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326f992cad36d35a41022ad9e0e6b0c7768d444a","datavalue":{"value":{"amount":"+0.7189215421676636","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":"Q1110344$7A4DD371-E720-4AA5-91B4-3BCD596EAB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dbd9386c4f184b67f483661bae546023bdd3913","datavalue":{"value":{"entity-type":"item","numeric-id":3798270,"id":"Q3798270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b54be648171bfb9bd5aec2c0f555d01d5ab82b","datavalue":{"value":{"amount":"+0.7185128927230835","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":"Q1110344$06B1DB82-D0D6-4BDC-B084-B8CA86ABD36C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notes on congruence relations and factor pumping conditions for rational languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notes_on_congruence_relations_and_factor_pumping_conditions_for_rational_languages"}}}}}