{"entities":{"Q2820703":{"pageid":2831441,"ns":120,"title":"Item:Q2820703","lastrevid":83626844,"modified":"2026-05-07T09:22:23Z","type":"item","id":"Q2820703","labels":{"en":{"language":"en","value":"On the formalization of some results of context-free language theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625896"}},"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":"Q2820703$8C747451-A98E-41A1-8A30-06F99DED3AA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e63125c7639e32a62dc212beee8c8af4f3a41284","datavalue":{"value":{"text":"On the Formalization of Some Results of Context-Free Language Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2820703$29A86649-C132-4592-AA09-948757BCFBFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b239a0d237cff8fece51e0c8c421b9df1364afd1","datavalue":{"value":"1478.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$FE51B43E-BC09-413A-8FF8-6FD2BF9E4FF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7564344db2979a6214317b219ddd5a719e84818f","datavalue":{"value":"10.1007/978-3-662-52921-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$AACECAB8-AD76-4783-BCB8-BD6AF47D5081","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"000dc851003042520aea8c0aa1e8ccbff164e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":2333673,"id":"Q2333673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$3598AC10-F5C3-4EA9-83F4-A68DE6ACEE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$92537143-D429-43C2-8979-228DC049BFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$E8DBD5DE-4948-4A86-97F0-7FDE9622EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc687281410ad150f448b1775c32d6b9ec61b01b","datavalue":{"value":{"entity-type":"item","numeric-id":1960260,"id":"Q1960260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$588C9DA6-7847-46F3-993F-6B20688A3DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$12AA7F8B-BBD6-4916-8340-D834464CCD7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2820703$8C8EC141-1F58-4287-A6A8-66F8A299CB97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad870e5e148aea96211de64ea428b34ea1b65c21","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/4753","type":"string"},"datatype":"url"},"type":"statement","id":"Q2820703$C716AF03-2D1D-4A91-8D08-C8D7C4B3FA2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$9E525CB3-F51F-49B0-9D97-BF89D15C85C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$A4629EDC-7B44-4672-8867-ABCAC7BED538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$A53BCFDB-0DE0-40E0-8E2A-2AA17BE62806","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82b1a434d294fb337939e44a6269ceb7b285e0a0","datavalue":{"value":"6625896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$A11A87ED-7736-4B58-83AB-8EF054821FF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60c3a277f51e304cb4720323489dde9f2a7c645","datavalue":{"value":"context-free language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$5D02C207-6744-4010-95AD-4DFD8810DDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34733e8252d5a6777703509cb2d62707200c9ae","datavalue":{"value":"language closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$3DDF4B83-4A97-4F0E-B7B9-8424AD72592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef21f63d3dc48308dd8710d0c85d051ff63c61e","datavalue":{"value":"grammar simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$B9A2BC3C-6562-46C0-9D20-C261D2C71C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfd41643535e42024eb48ec519b2a7a56ce358d","datavalue":{"value":"Chomsky normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$A51B4A9F-497B-4DEE-A49A-74125FB4B261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$F5E1839E-1804-426D-B375-522A8CB67B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$F48329A8-40E1-4EB0-A8B1-A76C30A8DEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820703$9B234177-CDC3-4311-9378-414AA4F2028A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45a469a3ba8d5389be61c4f92cd274a70f310b38","datavalue":{"value":{"entity-type":"item","numeric-id":20800,"id":"Q20800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$A3C0F774-E1D4-4F41-A97A-AA3212C81335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$68EF00D7-34B8-41B1-81BE-DD5A3EADEB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$7155B4A7-472A-40A1-AD0D-8092F56D8894","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":"Q2820703$85E97990-B4EB-4E4A-98A5-FC3356522F65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f52773a680dc953ba0a54c1d505e7b2b6268a84","datavalue":{"value":"W2489139193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820703$51C81A53-E640-49E9-A570-DFC14ECB204A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$5BE00B3B-F7BB-4505-850B-ACA95ECAD512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf0e41b78de21ea3bb50e6ae49709b5465d5777","datavalue":{"value":{"entity-type":"item","numeric-id":3260847,"id":"Q3260847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$DCD1F24B-2A57-42C0-B9D3-03841EF99109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f2a91f73e977fa33df8e44bb9f283acb979a41","datavalue":{"value":{"entity-type":"item","numeric-id":5541281,"id":"Q5541281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$B4997D8C-B83A-4BF2-B1A1-64E8F405B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$99C5C542-4BB0-4F20-8FD7-163699D51DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$44F6927F-DF79-48A8-96E8-78CD5C9B170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$871A6010-B663-49CB-BEA3-869855315B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e91655c6bf6f9d782943532d26e6a7bfea83026","datavalue":{"value":{"entity-type":"item","numeric-id":3954784,"id":"Q3954784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$BF8CAC2E-8F8E-490A-9CE4-6C4B81157E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae45d88d8a1cd6e6a27536ac976ae5d60cf6b81b","datavalue":{"value":{"entity-type":"item","numeric-id":3992695,"id":"Q3992695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$8EA29300-DACA-4352-B5D7-B0CEC4C85745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$29726133-BEA2-488E-9775-002FB8669B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$3721851D-8A9D-43FA-8CE6-A2AECB30BBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e153234bedc671890e46d97b503b862efeb995a","datavalue":{"value":{"entity-type":"item","numeric-id":3558235,"id":"Q3558235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$3700EBCF-501D-4CA0-ACC0-D262349974E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbfa0add5b4a28e1b031e2492fa01fce378648b","datavalue":{"value":{"entity-type":"item","numeric-id":3100206,"id":"Q3100206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$CBB7B999-540B-4258-AB2A-D563D83608E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2cf5aa71dbe166cb74aacecac561d9e3d134b","datavalue":{"value":{"entity-type":"item","numeric-id":2892741,"id":"Q2892741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$299ED598-B41C-42F5-88AD-ED5D32C5441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b4229db1e363b82449c954d4f67937bfe40bcb","datavalue":{"value":{"entity-type":"item","numeric-id":465493,"id":"Q465493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$633839EA-2F47-48EC-9CBE-C19F9588D9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42050c132d071fca29983a6904ddd720208c02e","datavalue":{"value":{"entity-type":"item","numeric-id":3586036,"id":"Q3586036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$8F6437AF-FE04-4A32-BB7E-2BA33CD2293D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bfd54963f08616cb53c7344ea463ca04fb1ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4931595,"id":"Q4931595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$2C3A2416-0645-44AD-9162-E9B51192F9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe87ab2fc3ca1b51a36f4952b9c914d7b011174","datavalue":{"value":{"entity-type":"item","numeric-id":386032,"id":"Q386032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$937F847C-96DB-4D9C-A470-D580F3C41922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820703$6AEDD026-23AE-4AA5-AA2D-A01A95699D66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4115e76d2c8c1db7b9627e76ded168c94e3852cd","datavalue":{"value":{"entity-type":"item","numeric-id":5195278,"id":"Q5195278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8bc249e938dbd785b46eb804eed6b5d95ad34e","datavalue":{"value":{"amount":"+0.895186722278595","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":"Q2820703$57BAC5EA-FEB8-40A1-B569-F255A17D5C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b3c4d5ed75c3eac6e204b8dd838123f665867f9","datavalue":{"value":{"entity-type":"item","numeric-id":2333674,"id":"Q2333674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd04c04f6fe6190291e2661fe80d1942e7a920d","datavalue":{"value":{"amount":"+0.8826094269752502","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":"Q2820703$2961CEF3-727B-4758-ACAB-7BD514CC2FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cfc9baf4bf6693de7c50f02a5cc4c4483e419b","datavalue":{"value":{"entity-type":"item","numeric-id":386032,"id":"Q386032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3cc87f4cc26989e36911a7c5f9819ed86155da","datavalue":{"value":{"amount":"+0.8195576071739197","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":"Q2820703$738DB471-1DCA-49F5-B8D8-BE1765B34286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c7e9456de22d5a39a9d552454c75b3d5c510e3","datavalue":{"value":{"entity-type":"item","numeric-id":3586036,"id":"Q3586036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d866ca25bb0eadbe0734388bac8dfc4c57c91a31","datavalue":{"value":{"amount":"+0.8111661076545715","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":"Q2820703$744A1473-39FE-4BA5-97C7-2DE58EF619F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cce3d082a23af633d39b9d288104134db74a13","datavalue":{"value":{"entity-type":"item","numeric-id":4931595,"id":"Q4931595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1369a487edca5cbdc4ea414cfa74df225dd9f50","datavalue":{"value":{"amount":"+0.7670137286186218","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":"Q2820703$A8EC644C-B328-4259-82E8-C69AC5624F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the formalization of some results of context-free language theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_formalization_of_some_results_of_context-free_language_theory"}}}}}