{"entities":{"Q1772777":{"pageid":1783519,"ns":120,"title":"Item:Q1772777","lastrevid":68920476,"modified":"2026-04-13T03:07:12Z","type":"item","id":"Q1772777","labels":{"en":{"language":"en","value":"Algebraically complete semirings and Greibach normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2160246"}},"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":"Q1772777$B69D80C3-F3C2-4DE6-86CF-715AC38492D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6c39c6f6cef4391d37e9b5d00a39724ac5e396c","datavalue":{"value":{"text":"Algebraically complete semirings and Greibach normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772777$F3FE308C-E29A-4F73-8041-7F3ED03B13FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2537b5a07d69af1551eb787bb7b9df8399dc3476","datavalue":{"value":"1066.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$E32276D0-24F0-491A-8FE1-DBA7CD72223B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$7510DE2F-28A8-49C8-98D3-6326ECA43ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09bee9af86a3d1d37ec2f40220a72c4947075a8a","datavalue":{"value":{"entity-type":"item","numeric-id":817583,"id":"Q817583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$71F01273-633C-46AE-95EC-02BB4599C667","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$851B7453-070D-4271-9142-E5E44B8D3079","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac129396c8451784f7291bf0c9d0937a6cf439","datavalue":{"value":{"time":"+2005-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772777$50A2B41A-90DD-4416-AB91-AB7A5F304F05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27097e9851a450ffc98a26e4c6c33a79a3116362","datavalue":{"value":"The authors define Park \\({\\mu}\\)-semirings, which are ordered semirings with enough least pre-fixed points to interpret all \\(\\mu\\)-terms. After that they add two more natural conditions, both inequations, to the axioms of Park \\({\\mu}\\)-semirings in order to obtain algebraically complete semirings. An iteration {*} is defined which makes any algebraically complete semiring a symmetric inductive {*}-semiring and, if + is idempotent, a Kleene algebra. The main example is the semiring of a context-free language. The authors identify context-free grammars with simultaneous least-fixed-point terms \\(\\mu\\overrightarrow{x}.\\overrightarrow{t}\\), where\\(\\overrightarrow{t}\\) are polynomials. They show that the main normal forms for context-free grammars are equations between \\(\\mu\\)-terms that hold in all algebraically complete semirings. Equational properties of fixed-point are sufficient for the core of the Greibach normal form and inequational properties (and idempotence of the semirings) are necessary for elimination of chain rules and \\(\\epsilon\\)-rules. The paper ends with some open problems and concluding remarks.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$3B041877-F86B-4980-B987-A8C3D83C9A7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ce3a5d9313b648d3b16631524f630b08f534db","datavalue":{"value":{"entity-type":"item","numeric-id":587297,"id":"Q587297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$A1F1AC56-81CA-4C42-94C1-FC2244B6B830","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$2517B98A-5BAE-4234-AFFC-1CAADFF5DBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$A7917C79-9ED0-43B7-8F16-8D5F390497DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$FFCFDE32-F629-4942-A363-F9C02BAAD721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$7FFA885B-1B65-4B4D-9432-0DFFD328F72A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1abe7dfff07fef48045f2e5c5641f8f731766951","datavalue":{"value":"2160246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$3AE8FEAE-719B-4991-BEB1-DA5A55961911","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a757194ea3cf3d1a68f5d71015bba9c71cdb1","datavalue":{"value":"Greibach normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$2E16026C-1175-452B-BC98-4854FA70A0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$D59CFEF2-1CD6-4877-9D36-A487AF1DBCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e337402089ff4a860420e87b514110f0363f68","datavalue":{"value":"pre-fixed-point induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$A4676B7F-CFA3-47F6-9268-7888F40AF598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$49F6355E-8A5E-42C5-BE6B-23727EABE7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3c45c314a3fa00ff8f80c1f52a0feaa358df83","datavalue":{"value":"Conway semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$0270AB09-5E36-4B48-BB03-2E344D3766E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$26DB0DD1-7960-487F-8E2E-5D9384D04424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93a1a2acc1ec08e505e2c17194332722195d7fb","datavalue":{"value":"algebraically complete semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772777$5DFC78E5-932D-4327-857F-48C685415A16","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":"Q1772777$B4987189-F425-4FAB-8C2A-99E103C7772A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb6cac47c17f993e6cfdcb6f423674361eec8b81","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772777$5563AD48-FB2D-469A-828E-BEEF1AC18E70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc7892593d834f9324e97513020584904e645096","datavalue":{"value":"W1968315635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$A46CB242-3B84-41C8-A8BF-684F58326C7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b15943fbe8c65d64c3da8340b79838c35b2c180","datavalue":{"value":{"entity-type":"item","numeric-id":4787831,"id":"Q4787831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$16FE60C0-ED1A-4DA3-8C3D-2D02CF9468B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$0DE5B408-D04A-4EBD-914C-58E66213302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ff9ad971719e22c2c0e5b0b2c9e9055f7fe960","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$5BD11962-1658-479D-97A7-DC92A16ADBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$9A1683B2-2975-4FF5-A1A8-78000272BCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$64D9ABDF-9464-49AA-9A5B-1C5967BEFABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$AD2AC735-A386-45D9-8F9B-ED47D381CAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$6D0BA275-E38E-4023-8938-8DE0BF64137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$ABD08725-5563-4843-9272-38D1D729DF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169bdfa07d453f80501baef4c53aa6c8c03c066d","datavalue":{"value":{"entity-type":"item","numeric-id":1882911,"id":"Q1882911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$591AC482-F2B2-42EC-99AD-32250295779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$6B221B59-80D9-4A06-BAD7-D26B86E8EBD6","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":"Q1772777$ABE4C08A-C25C-4FE5-8237-E55D7F427524","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":"Q1772777$272CF9F3-5B3C-4262-9E68-EEF6868DDE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$9FCF0C6E-667D-49D0-A7AB-3E5B765AA045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$29648E57-388B-4A61-A033-1EC91A9C1CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ba9c0cce4c2830bc775c661d4ffe9da5b72bee","datavalue":{"value":{"entity-type":"item","numeric-id":4202947,"id":"Q4202947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$6ED423AA-8A85-425B-A7CC-4CFE90A3215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b35e907ab212b1d8711807e29faa381e394fd44","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$6C5BA67B-CC9A-4A40-864E-8176319B8286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$C0C81085-4B6F-4E2D-B63E-C0A39B4A934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$008129F2-4D28-4561-BBAD-A994B1BD98AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1849ab32e5f722603619b3b709b4b800dccb65f7","datavalue":{"value":{"entity-type":"item","numeric-id":5526989,"id":"Q5526989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$B35AEA95-FD8B-4258-BBAD-D87E354EAD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$39E8C787-9581-4816-BDD6-DFED66785352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e51971afa9c4616d1a0edfd06e189d19976f53","datavalue":{"value":{"entity-type":"item","numeric-id":4779179,"id":"Q4779179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772777$792104CC-E0F9-40DE-9DD8-9ACEFDA5B627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d977c8ea89fc6d358e5b69fb7384cdb0176798c6","datavalue":{"value":"10.1016/J.APAL.2004.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772777$990D35A6-4706-476A-82DC-413340A10A53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb6c5053eda5dc573293b2f95eefed25108cf35","datavalue":{"value":{"entity-type":"item","numeric-id":4411820,"id":"Q4411820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4054e94e338686a7e666f67ea5538bf65396b7a","datavalue":{"value":{"amount":"+0.9873962998390198","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":"Q1772777$6A74A20C-1DEE-4FC5-BDA1-F7EF525FB366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594bcefccc8bc470a95a0a5df3a2c88c158ce91","datavalue":{"value":{"entity-type":"item","numeric-id":3468619,"id":"Q3468619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387c4e2e406cf9c636c22657eec70c7450c5522e","datavalue":{"value":{"amount":"+0.7820724248886108","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":"Q1772777$83BA34EC-D789-467A-9CDB-066F169C2558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99497acc7d3bbf75c285b316b42258997310dd97","datavalue":{"value":{"entity-type":"item","numeric-id":4038685,"id":"Q4038685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6c86decfd8861ac39f412d8570856d91faf599","datavalue":{"value":{"amount":"+0.7739989757537842","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":"Q1772777$0504A6E9-EA69-4469-BE43-EEAECB62550D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d04c61fdb6b8a1245a3b8746e97444dfb0d79e1","datavalue":{"value":{"entity-type":"item","numeric-id":5966461,"id":"Q5966461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48b076282389086b43118d798f7105e4fdc6fd3","datavalue":{"value":{"amount":"+0.7730081081390381","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":"Q1772777$2EB0DD22-4D0A-4092-A5BB-1AA9FE332394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac777d6c9980e8b162c1bd44fa6d853d9f9bd10","datavalue":{"value":{"entity-type":"item","numeric-id":5146169,"id":"Q5146169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c832609eeccaf302bcae07e6c4e12c220993a0f","datavalue":{"value":{"amount":"+0.7622345685958862","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":"Q1772777$D371FA4C-04FE-4F50-BE96-06D4AD8F938E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraically complete semirings and Greibach normal form","badges":[]}}}}}