{"entities":{"Q4589610":{"pageid":6619195,"ns":120,"title":"Item:Q4589610","lastrevid":58281204,"modified":"2026-04-04T13:31:34Z","type":"item","id":"Q4589610","labels":{"en":{"language":"en","value":"Infinitary axiomatization of the equational theory of context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805747"}},"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":"Q4589610$E0159193-4DF4-4149-BD47-08C394B6ED90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"343e24a259d3bd31bf87d456653af1f1be31b1e9","datavalue":{"value":{"text":"Infinitary Axiomatization of the Equational Theory of Context-Free Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589610$616D7B30-AAF6-492D-A686-820EF2368341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b62e524434d525dba812d3b22513073860015b2d","datavalue":{"value":"1380.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589610$7DF483A8-4E9C-463A-83B3-07A9C2FF0518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8c97105b75068ad1a25c98f2b5aff56a4f3d07b","datavalue":{"value":"10.3233/FI-2017-1469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589610$37756814-9ACB-4D24-A244-E6E925BF416E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"088a7465a79c040c98efdb10f821f184c9a42b86","datavalue":{"value":{"entity-type":"item","numeric-id":2938164,"id":"Q2938164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589610$2BBB5C0C-FF1F-4CCD-A389-48CBB4C97762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4075a941b116fdb7fba5d0a255c87be281bcf70d","datavalue":{"value":{"entity-type":"item","numeric-id":656872,"id":"Q656872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589610$C140178A-09C5-4E3E-B8FA-F720BD8C5FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589610$C095C0A7-635D-4D2D-8BCA-2B7B5E90F1BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589610$2ECA4857-D658-4219-8622-058876CCCAF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589610$826AEEC1-A4C7-480E-99A2-70C7D15001B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf3539876f28f62600ca5c21d5cc6aa9d2905df2","datavalue":{"value":"https://arxiv.org/abs/1309.0893","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589610$931B0300-E232-4868-B641-98133928E158","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589610$97BF1EC5-4CC7-49BE-A175-FAB12CBE5187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589610$455FD0CD-2DC0-41A7-A224-DF8E8463FC2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"751a8f543cde249ff16f330e4d263fb84cac95ca","datavalue":{"value":"6805747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589610$C5A9C9A0-A501-4E96-B7D4-45B545E0252D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d2f2957b6a571bacf97ef6be5a6945b29311c7","datavalue":{"value":"context free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589610$350F639B-6B51-4BD7-8D53-749527F15D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589610$79A6373D-3E9E-43F3-AC81-E0EC7B85217C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05806d635fdf088302a1fe2f22f829b60f30c14d","datavalue":{"value":"algebraically complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589610$9478CFF1-5EE6-4FD4-BABC-13AC60D85FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0b1ab355335edfa72be97e995292c359518232","datavalue":{"value":"Conway semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589610$9972F8CC-8754-4129-A0B8-746CCD401369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d22ae024b485d31a7ac86f46d69c18a6ecb690","datavalue":{"value":"\\(\\mu\\)-semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589610$BA251CD3-DDEC-4D78-922D-50C4A8F505EA","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":"Q4589610$E6E09388-E8B3-4CA7-A5B0-214B735284D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa5d8c331177abc59bf0c3956494c7253c8cb8c7","datavalue":{"value":"W1981485111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589610$AB79DD78-B665-43A7-BFDD-D6AC1252894B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9fd0b05fad1052ec04963740bab4d772b185a4","datavalue":{"value":{"entity-type":"item","numeric-id":4992897,"id":"Q4992897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9ffeeb8927fc03edca7e46ee601e3647c6cb59","datavalue":{"value":{"amount":"+1.0000014305114746","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":"Q4589610$2214F25B-D296-42DF-B0B4-0701973A871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c643c9275052da5a150b0aac322347727c12aa8b","datavalue":{"value":{"entity-type":"item","numeric-id":844887,"id":"Q844887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb911615e1a22196f835e1f0911229315e438c5","datavalue":{"value":{"amount":"+0.7953851819038391","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":"Q4589610$3DC9FA4B-B097-4585-9EA7-7F8FE82490B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b717df044ec283c0e2a80add1485374620b3639f","datavalue":{"value":{"entity-type":"item","numeric-id":3719854,"id":"Q3719854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3526125e546330c418d253715de1984238446ce2","datavalue":{"value":{"amount":"+0.7689387202262878","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":"Q4589610$CC7250B2-57F7-4027-9B73-55485E8DFB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9f2ba10ac3a21356502ffe96474039a4dc5d5a","datavalue":{"value":{"entity-type":"item","numeric-id":870834,"id":"Q870834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea1d4502a85c8e88fde811e2822b71c2f7532fa","datavalue":{"value":{"amount":"+0.758179783821106","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":"Q4589610$6AD56A0E-924E-4146-8924-B170E4B8E983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ce0bd2d94f5dcabb3fcba38fa09dfaa25e8dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4737893,"id":"Q4737893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317dbf45db43dc3b066532de463b1bd012b6f836","datavalue":{"value":{"amount":"+0.7413084506988525","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":"Q4589610$0667290E-7F3A-426D-ACA9-0A3E070FFC07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589610"}}}}}