{"entities":{"Q1822523":{"pageid":1833265,"ns":120,"title":"Item:Q1822523","lastrevid":77978765,"modified":"2026-05-06T10:29:49Z","type":"item","id":"Q1822523","labels":{"en":{"language":"en","value":"Generalized regular expressions - a language for synthesis of programs with branching in loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001513"}},"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":"Q1822523$A2E09BA2-7816-4159-A548-38D22C0DB364","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55447c18dd7c4dece7c05bc2fdc1e9e770186eac","datavalue":{"value":{"text":"Generalized regular expressions - a language for synthesis of programs with branching in loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822523$80195D9D-01C0-48DB-BE95-11D466FC3448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2363fce8c8fc07f37c383a572db104c100788e8","datavalue":{"value":"0617.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822523$1A089D1E-6FD7-4176-A1BD-815C11897D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4701a18e53e58a06ffd989f745440ac08cfa274b","datavalue":{"value":"10.1016/0304-3975(86)90029-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822523$448595CD-275D-4344-B419-9B1A9B74E5CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8cc871b394c9fc99955c6249219704a2c938650","datavalue":{"value":{"entity-type":"item","numeric-id":1822522,"id":"Q1822522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$54740029-5258-441B-8F89-4D7211DC1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3b29744c0c4a5e008618686519803ba2d0b097","datavalue":{"value":{"entity-type":"item","numeric-id":760794,"id":"Q760794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$AC3F85FD-E290-4C6F-AA9D-3651E3107266","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":"Q1822523$035A999D-04CC-43FF-8BA0-F1C35F9CFC6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1822523$AAA353C9-FE11-43C4-B374-0F6FFF080F2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1375010001fe4b3aba88e1f12e1c6af0816d55a6","datavalue":{"value":"Regular expressions are generalized to the effect that, besides letters from a finite alphabet, they may also contain natural numbers. Within the framework of these generalized expressions the task of the inductive synthesis of programs from its sample run is formalized. Special automata recognizing the sets defined by generalized expressions are introduced, and their equivalence problem is shown to be recursively solvable. The set-theoretic properties of the sets defined by generalized expressions are also studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822523$910648AD-0FD0-42AA-A9D4-C8F39E4B71ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822523$8ACD6B9D-A3F6-4C16-92D0-B0F2CD9A26CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822523$8231AAAD-2DA1-40E5-B2A7-576359FDBC0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b31a9cc250313e0c85da11bab5869666af1fa61","datavalue":{"value":"4001513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822523$2F6708B0-3476-4CB4-8164-D3A9B19CDC3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9afc367b426c4de85e539a25ba476aca38222ff4","datavalue":{"value":"generalized regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822523$BFC0213F-B4AF-4CB2-A79B-B0937CF7F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff5d37101a6780fa4652a6460c4ef4ae6e2ba","datavalue":{"value":"inductive synthesis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822523$E026B14A-68B3-4E09-9AC9-40E122C67ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822523$4CD76825-CF3C-4619-B522-A2418646B570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822523$A86819E2-5449-4B02-9123-EB31AA36769A","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":"Q1822523$08B616C8-3987-4B32-A62F-044598E12BE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a023169489579ddc764419bb48e129dd2f21ea15","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90029-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822523$477A3478-89B1-42D0-B356-1B0BB72B2238","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dd6a40b8690f0d1c8f1f660988b1bac1f3fe2cc","datavalue":{"value":"W1977743816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822523$6E847383-E2B1-4DF8-B96A-F513D4CC2544","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2385e319f779fbc47c3873b45f4bd9ea13cab14","datavalue":{"value":{"entity-type":"item","numeric-id":4560354,"id":"Q4560354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$566D92F0-8D17-4D0B-980A-98E08D20B96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d814af6b8ca9afec2e34bb4042531dab614818","datavalue":{"value":{"entity-type":"item","numeric-id":3863043,"id":"Q3863043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$3FCFF82C-11C9-4DE8-B13B-2D05BC2641DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c7c554d960ef3800c970fb8a2f23e4cfafb856","datavalue":{"value":{"entity-type":"item","numeric-id":4122774,"id":"Q4122774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$F6ABC2B3-6AC3-42A3-9377-E72586F6BA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$40712FFC-4CF2-4F16-A0BC-964DC18E4989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822523$5CB1FB84-2C10-41F3-8144-2E709958ED9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e244160dce73db351277f99587227e635880e2","datavalue":{"value":{"entity-type":"item","numeric-id":3809251,"id":"Q3809251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd26c6ebc4c09571812720cf973ccaf4060a22d9","datavalue":{"value":{"amount":"+0.8606904745101929","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":"Q1822523$2941CAE9-520E-4F3B-8E24-CFB7E33FE0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55537b84b2d7b765d927dc0dfc6fec18f9b30886","datavalue":{"value":{"entity-type":"item","numeric-id":1183590,"id":"Q1183590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed155dca68909e1fbd3dcf8e125987b9dbf36928","datavalue":{"value":{"amount":"+0.8581274747848511","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":"Q1822523$47C12821-7E38-498C-B6A4-D6DD1419E522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a272ca2a44eacde6229dc8e0945f3c4fa7ee7a34","datavalue":{"value":{"entity-type":"item","numeric-id":4560354,"id":"Q4560354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed155dca68909e1fbd3dcf8e125987b9dbf36928","datavalue":{"value":{"amount":"+0.8581274747848511","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":"Q1822523$676A31FE-E925-499C-ACDB-BFEF77440692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5679b793419199d6271a29b32b7e7e38c7534c08","datavalue":{"value":{"entity-type":"item","numeric-id":4730803,"id":"Q4730803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954812cf94b38bf44fba4e4aea05ca85ea9744d6","datavalue":{"value":{"amount":"+0.8461039066314697","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":"Q1822523$C3086D3D-4F49-4148-BADF-FBB785B61529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85823e37809ed4a542ccbab70e666ee626fad42","datavalue":{"value":{"entity-type":"item","numeric-id":4205070,"id":"Q4205070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf0ca011a9b3605da161cf3b0fbf91d594ebef9","datavalue":{"value":{"amount":"+0.81629878282547","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":"Q1822523$6840B5D2-B9B2-4B74-8447-9E46A4CF2D91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized regular expressions - a language for synthesis of programs with branching in loops","badges":[]}}}}}