{"entities":{"Q2366692":{"pageid":2377435,"ns":120,"title":"Item:Q2366692","lastrevid":46351863,"modified":"2025-12-24T15:10:55Z","type":"item","id":"Q2366692","labels":{"en":{"language":"en","value":"Matrix and matricial iteration theories. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 227337"}},"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":"Q2366692$19AC67F5-8C2B-481D-8CEE-100E41D8A552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dca9c89f123a3855fb79742efb234a447921e3f","datavalue":{"value":{"text":"Matrix and matricial iteration theories. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366692$CF72C8DF-4BB2-4089-B2B8-510062B0CBAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a909a868a4ac86a8dca182010f05ca9ba3eb3159","datavalue":{"value":"0791.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$7E95618F-9A58-45B7-8B3C-8A2DA6D9CAFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45f54259d407b4b54177f6d32c59df38b1eb07a6","datavalue":{"value":"10.1016/0022-0000(93)90011-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$FCF79EFE-2C86-44FF-BE83-E0C0B3E6C762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$DA45EFAE-60B5-480E-AC5E-4EB2D7B14D5B","rank":"normal"},{"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":"Q2366692$31D7AE77-4B90-4CAA-9C07-97A99B7E1E4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$9E9FA5E9-275A-4EF4-9AD8-74C9E1DEE146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ed735b2a3fb0b444d70f4eac102ee82cf6f12a1","datavalue":{"value":{"time":"+1993-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366692$E60348AD-1DC1-40CA-84E8-5673E98A496E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48761e1161f3606aa0928846c50087a89a64424a","datavalue":{"value":"In Part I (reviewed above), the authors investigated matrix iteration theories. The present paper contains similar results for \\textit{matricial} iteration theories. A matricial theory \\(T=\\text{Matr}(S;V)\\) is an algebraic theory whose morphisms \\(n\\to p\\) consist of pairs \\((a;x)\\), where \\(a\\) is an \\(n\\) by \\(p\\) matrix over a semiring \\(S\\) and where \\(x\\) is an element in the monoid \\(V^ n\\). The authors characterize the matricial iteration theories \\(\\text{Matr}(S;V)\\) by identities involving theory operations, a star operation \\(S\\to S\\) and an omega operation \\(S\\to V\\). The initial matricial iteration theory is described explicitly. An extension theory for matricial theories, analogous to the extension theorem in Part I for matrix theories, is provided. The obtained results are applied to: (1) finding equational axioms for logical systems in which all valid identities of regular languages and closed regular \\(\\omega\\)-languages are derivable, and to (2) program correctness logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$D9E809A2-A02A-4502-AEC8-32A6F85C7566","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$D8D5ED80-3609-44FC-A023-AF08760DF5BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$CE03F7F6-7B16-407F-AD5A-203EB00C0CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$B9D1B78D-8B69-45BE-93E0-64292539B5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$E500581B-988D-43F8-841C-2A9FC6CF4BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$7B6C843C-1D08-4D83-ACBC-9D729B3A4D5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c0226d4cfe80a1994b16d74ffc03a7b835459bc","datavalue":{"value":"227337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$E045E64C-8743-43DD-9644-9D9A0DE29920","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc17336d257bd3f36f17a3d9dd1e8711dd59e339","datavalue":{"value":"matricial iteration theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$045B594C-5388-40C0-9DE2-17782E2527DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e80217bc8b4efd84c2b3a506f566c23d1262268","datavalue":{"value":"star operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$F7AFD213-68DA-43B8-ACD8-29790B80B1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f694b0f4394cd988962ac67b11d4663555ec61c4","datavalue":{"value":"omega operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$44579B50-017F-4821-9784-FFF1D3F27B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$67FBD6D5-60B5-4ACF-8588-5226BC9F4407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae8f885443082900d077108984bce8467839b0b","datavalue":{"value":"closed regular \\(\\omega\\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$F133D6B6-DAD9-4142-80C5-6547AE56B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40b5aa7e8d44c9e4431bff0e6ef2404eb5dfbc1","datavalue":{"value":"program correctness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366692$6E2289B1-EF99-4917-8D3C-43797B406B38","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":"Q2366692$48187348-8338-41C4-80D2-5CB028435AE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74529332d52a3507b2b5b261bdf475682b3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$D959054F-E85D-469C-A273-3B08AB013BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b697ce8aafab34a248f9b8046265716fe859de","datavalue":{"value":{"entity-type":"item","numeric-id":3612480,"id":"Q3612480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$978D17A0-7871-410A-AA7C-205CBB92D3B1","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":"Q2366692$377554E1-5B7D-4D5F-861F-D262B19EC879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$4170B398-5E64-4C31-9677-303E81E5AEAE","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":"Q2366692$8743D3F1-FE7E-40A3-BE2F-9C2D9CA4F938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac8ec4fec93c2506ea7759f7ea656b5ca3a428","datavalue":{"value":{"entity-type":"item","numeric-id":1251061,"id":"Q1251061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$BE2C2BDD-A1BD-40E7-914F-7DE04E39382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726054eb080cce02aeede690f7345dc64ec1af05","datavalue":{"value":{"entity-type":"item","numeric-id":1239362,"id":"Q1239362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$19EB9085-760D-4B4B-B675-B46489117CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$D3E5E880-240D-4C5E-80E1-132233D5A114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9f70e245fdad387e0faba9ce129700731d15cd","datavalue":{"value":{"entity-type":"item","numeric-id":5203698,"id":"Q5203698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$667F8DE9-4483-4A77-B041-8A0CF0CDFDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901701966a3f720569546cf5478278f378e3cb73","datavalue":{"value":{"entity-type":"item","numeric-id":3746904,"id":"Q3746904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366692$C480C3B3-7475-43D0-B19F-6EFF189E7188","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":"Q2366692$30A6BC30-AC02-4EE1-B6B0-A85394366D59","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":"Q2366692$B568A42A-A4AF-49EB-8725-6BD94A6CD1B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48ffe13353d5f6f836c12596b8a40eea44d37ade","datavalue":{"value":"https://doi.org/10.1016/0022-0000(93)90011-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366692$2CA32B63-290B-4FF7-A4A6-3011E92827BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24b0a3269a0057acc66a984da4f87a04cdd9d8c1","datavalue":{"value":"W1993360653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366692$FE4AAAD2-568B-4D30-BFBB-17B99A3D90C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a953863e9a9e62fa3cb2afedd633c99f64af31a","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa3e6f08765101844353b827fa30697b2a7a018","datavalue":{"value":{"amount":"+0.9313488006591796","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":"Q2366692$A45B70BE-22BC-4492-9F72-2E69846C11F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51d449b561e5972dc302a7933e39dc7f517becb","datavalue":{"value":{"entity-type":"item","numeric-id":6171779,"id":"Q6171779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438febb683c96dd044671b51ed4283fbccdb3285","datavalue":{"value":{"amount":"+0.8030192852020264","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":"Q2366692$C3A989F0-6FB5-401A-934D-10F5D508042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28daf98177955b70818ae09d5730887e46ca0e89","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75a6bd8cc682d2d921e33bb94521e4b880c283d","datavalue":{"value":{"amount":"+0.7890107035636902","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":"Q2366692$2687C049-0499-4510-BC77-00C1DE08F22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a7c365c52c013f42ac5192d8aa46fcacf2adea","datavalue":{"value":{"entity-type":"item","numeric-id":789159,"id":"Q789159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7b5b1739434baae2ab9c5499cfa573485fc383","datavalue":{"value":{"amount":"+0.7692046165466309","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":"Q2366692$A4332702-3135-4934-B771-659A5E281557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366692"}}}}}