{"entities":{"Q2000006":{"pageid":2010748,"ns":120,"title":"Item:Q2000006","lastrevid":53464457,"modified":"2026-01-25T00:16:48Z","type":"item","id":"Q2000006","labels":{"en":{"language":"en","value":"A unifying approach to algebraic systems over semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7074497"}},"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":"Q2000006$6A3A14D2-A8CF-454F-993B-B9FFDF5EB33A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7529a0934c3d4cfaac340e06d7e280cf95c02a4d","datavalue":{"value":{"text":"A unifying approach to algebraic systems over semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2000006$7835150B-B3B3-4F72-8DF2-0905B3421D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1026cbfa656637f295d9b548a56f1916fc13267c","datavalue":{"value":"1431.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$0EA681FF-1F5D-454E-A835-E752AE41C94F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc9308f7965b39c12d76bef83967100a21dfaa4","datavalue":{"value":{"entity-type":"item","numeric-id":782589,"id":"Q782589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$B9E79837-4832-4C04-BCE3-414F4E435BC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$3A777A1D-B3A7-47EE-9A40-99F9049DD4DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34188037f8b0cd35688ae234ade090010846bddd","datavalue":{"value":{"time":"+2019-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2000006$6BFF3ABE-9D47-4124-9241-701B87ECB189","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a0a56958ff5a3cd943916e4978a842b0508b7ba","datavalue":{"value":"The introduced unifying approach involves the notion of canonical solutions of algebraic systems of equations in \\(\\Sigma\\)-semirings, which are semirings (algebraic structures with addition and multiplication giving corresponding structures of semigroups) with collections of summable subsets.  The introduced canonical solutions of the algebraic equation systems are properly weighted context-free languages, with weights in the semirings. The approach is rather general and effective within continuous or complete semirings.  Profiting from the equivalence between weighted CF grammars and weighted pushdown automata, the introduced approach is carried over to this latter class of automata.  In its original version, the Chomsky-Sch\u00fctzenberger theorem represents a context-free (CF) language as the meet of a Dyck language (essentially a language consisting of balanced parentheses strings with pairs of left-right parentheses of several kinds) and a regular language. The weighted notions of CF languages and grammars involve weights in the derivation rules. In the paper, the weights of the derivation rules are elements in \\(\\Sigma\\)-semirings. Hence, the introduced approach succeeds in obtaining proper generalizations of the Chomsky-Sch\u00fctzenberger theorem for weighted CF grammars. Certainly, the paper is very interesting for its rather general and unifying scope.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$6685A18C-028C-46DB-8F73-F3A6E71F3562","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c051c55f89b8148a4dc64dba4569555d5561281","datavalue":{"value":{"entity-type":"item","numeric-id":590981,"id":"Q590981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$C4D0ED76-13AF-42B3-AD53-1AFD32C0B548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$A31F5C16-B8DD-40DA-A5A2-52D3FDB23A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$85E36610-52F4-4B8D-BB58-0C04B021E654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$EBA702C6-353D-4EB4-8315-30EDA9DDF7FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d03adf19d61fd95f610bd3efb6f5c63666ef04d","datavalue":{"value":"7074497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$4C8E850E-624F-4F7E-9E90-692C4858A0A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c185d33cf074c14a0da49be35dd14e76f04ee2d3","datavalue":{"value":"algebraic systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$9E8CF5CB-6018-4CB2-9215-FAC6AAF2F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfabfea22429d5d0402812b1beddc59459b5988","datavalue":{"value":"summation semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$1776A839-0F44-4786-907B-0272C4CAF56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa53086a1339e5948741dd5850c5b48c809f763","datavalue":{"value":"weighted context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$5F3EFE3E-2E41-45E7-8D47-6226FD12F19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0aec8b787d85d7ab1dd218407da9013a4696074","datavalue":{"value":"weighted context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$056E529F-8123-4D25-8F6E-D4B84795FCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c333ef77b7d5f2a32fb13155905a9f49b798dc","datavalue":{"value":"weighted pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$35BFD4C7-F323-4DBC-8EE4-B93252F93DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eaa5467aeda3ae77bc9925acc2558a9ae488f76","datavalue":{"value":"Chomsky-Sch\u00fctzenberger theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000006$DEA5D394-25DE-4F73-A228-86ECC0DCE957","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":"Q2000006$DE9071F3-4E94-4624-85D7-FDB87F6E53AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2405defcf92b463c86fca5d44e5d509dffa7cda2","datavalue":{"value":"https://doi.org/10.1007/s00224-018-9895-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2000006$018645F8-BBD9-4AF1-AF4B-9064E4B8EFE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"467fed6996117888088bf5078870840419cd4198","datavalue":{"value":"W2900393059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$244E22F0-61C9-4CEC-9FBB-A47C88F8F7D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6802d82655e278b484a9d306dee8d435b453532b","datavalue":{"value":{"entity-type":"item","numeric-id":5506336,"id":"Q5506336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$5AAA58A2-B82B-4F39-BE3C-AF548B35F2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9266185c52f53bc308d9e6b943b26d08e91281f9","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$AB039A68-7450-42E5-8AC1-525397B3C2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$096C9CAB-3D33-4C07-9D46-1C4350F137DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$FB63F484-10F7-4A91-9E74-077163834A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84e12a724dffc6a6632659a6528738342371be3","datavalue":{"value":{"entity-type":"item","numeric-id":5072542,"id":"Q5072542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$4AB5EEC2-F4EA-470F-BD23-53D8BA906DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e307459d1aaedbb1d3e69baa1fa1a1381ad97d3","datavalue":{"value":{"entity-type":"item","numeric-id":5247168,"id":"Q5247168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$A7FB1092-1237-4DFC-B853-25F51FCE32E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43da7df62bf12e2b4996a86236042fa4b43e15b","datavalue":{"value":{"entity-type":"item","numeric-id":3003472,"id":"Q3003472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$650353E7-90C2-47FD-BD3E-20E0D1B67A21","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":"Q2000006$183A22C4-19E3-4B9D-80A0-482A2F750001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d5131114d7111773aae11c92df088aab0f10a","datavalue":{"value":{"entity-type":"item","numeric-id":4662830,"id":"Q4662830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$16EC7AF4-BA38-4EAE-A438-0B3F300C9601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fc8077db89d38bafb9838b3acb2fe6f6af564e","datavalue":{"value":{"entity-type":"item","numeric-id":4229053,"id":"Q4229053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$C643F650-A40C-436E-84C7-AA4D353DDB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$70CF628D-814A-4D67-A823-F39E255FEA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da5b6ff7eb8689fdc7d10dd9e20d079a27ee37c","datavalue":{"value":{"entity-type":"item","numeric-id":2970201,"id":"Q2970201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$B836C921-B0C3-43FE-A2A6-39357DA42573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$786EC936-B0FB-4103-B967-84B6D94DFB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5895353c11b1c21348e17eb6a98c1407d628f115","datavalue":{"value":{"entity-type":"item","numeric-id":4769119,"id":"Q4769119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$34CB9447-E8A4-4D6B-BC1A-86079E4E282B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c569488009e051c884c8897618b5bb0928f9b311","datavalue":{"value":{"entity-type":"item","numeric-id":5072549,"id":"Q5072549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$74705856-275C-4F64-9E0E-A9EF8A2CC758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$1EC52B3E-4047-43B5-A6E7-ADDB896FBB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$C9ECF23C-8B30-4BB1-A0B3-2C3D4AE6C5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60732c5579247da5b25f1e36c26427986278c68a","datavalue":{"value":{"entity-type":"item","numeric-id":2554955,"id":"Q2554955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000006$6AA5E152-9F41-4D79-B5FE-88A3E264E872","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8d8adb917479f957e7f0ac3d831a9709ed92a220","datavalue":{"value":"Q128993566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$DC89EADB-3554-4958-9847-5F320E77C0F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6faf432b32a732fd80fd762839db1e0787401961","datavalue":{"value":"10.1007/S00224-018-9895-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000006$697F46A9-7FA0-412E-A8A6-92D5FF1785ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c3c17047ed28829e58a22a46545b657ef17124","datavalue":{"value":{"entity-type":"item","numeric-id":5894889,"id":"Q5894889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6565541d95660309a68368ded028e3e47dc76932","datavalue":{"value":{"amount":"+0.7484531402587891","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":"Q2000006$2104F580-2EF3-4124-8F44-3C3D93EC7536","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":"6c95cac7a56d2d452e78138ae896835bf0af3003","datavalue":{"value":{"amount":"+0.7469727993011475","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":"Q2000006$E4E2563D-F7C2-4757-B79D-6EBA748BF3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c6ec6e9ab5ed7c9c3aee13bd048ec122062c52","datavalue":{"value":{"entity-type":"item","numeric-id":5117049,"id":"Q5117049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824f9d5a2529249e8af80e3a20acd1efbbd1512","datavalue":{"value":{"amount":"+0.7442553043365479","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":"Q2000006$0A827D02-2C87-4D8C-978B-D0579BB35092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ee8b4d1e1c8bc4b3fb50c4156d3ca0674242ab","datavalue":{"value":{"entity-type":"item","numeric-id":3763606,"id":"Q3763606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4a3fdafa6b39ad548af8d0b41996ac6a86d0f7","datavalue":{"value":{"amount":"+0.7420983910560608","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":"Q2000006$E0959532-F336-406F-ACB5-4C8F5CE1E7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e6cbe8c9008c63bcf9a5e7ab2dac99c7b68490","datavalue":{"value":{"entity-type":"item","numeric-id":3098041,"id":"Q3098041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbe9a8b588dd5a1d942cb90537b859be26245e6","datavalue":{"value":{"amount":"+0.7377156615257263","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":"Q2000006$0A464DDE-FC6F-42B1-BD31-81CE65AEE17F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2000006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2000006"}}}}}