{"entities":{"Q5215447":{"pageid":7245017,"ns":120,"title":"Item:Q5215447","lastrevid":91596236,"modified":"2026-06-04T23:34:44Z","type":"item","id":"Q5215447","labels":{"en":{"language":"en","value":"On the decidability of membership in matrix-exponential semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7165870"}},"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":"Q5215447$14FFA29C-400F-4825-B022-AA9608C6B74E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec7727b781e2c151f850f88db1a976d936d2d549","datavalue":{"value":{"text":"On the Decidability of Membership in Matrix-exponential Semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215447$7221771F-F6D5-4BBA-B532-2F304C83F047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fdb2fb21776c29fad7936f9457445542447249c","datavalue":{"value":"1481.20197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$787FBB77-16D3-4435-B74A-6A356646A557","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39d00b20220f6c86626a24ec1717202c5fa1616b","datavalue":{"value":"10.1145/3286487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$5B7E2D05-C692-4C95-841B-2EBFE3C00C01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215447$FF1EB7E1-3AF9-46D1-9C9C-CD8084C65721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a391655797fb80a8e19ac091f518a0e89e1110a","datavalue":{"value":{"entity-type":"item","numeric-id":264570,"id":"Q264570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215447$E720CACD-B510-4C2C-AA69-56AB5AC40E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"307adae3653584aa4a731441de1a079b5afc1313","datavalue":{"value":{"entity-type":"item","numeric-id":4635943,"id":"Q4635943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215447$7D60F999-F4C8-47AE-8962-E5269385F764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215447$73194FAB-2C79-4589-BEBB-1C1470098EEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215447$70387013-F708-4AC5-81B3-83117A328CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215447$2EA31553-B252-44E9-ABB9-82F8569198C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$2DEC12BD-CA62-4D84-B9C3-6B3E3AC843BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$23070846-0BD2-4B00-B964-0802C20A9695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$703E78A0-CE23-4A1E-A214-A4E5E698A039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e6df352c3b2240d868aebbe52ebc23346f2e33c","datavalue":{"value":"15A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$2D1EA488-6563-40DF-B3A5-DEDD2D2B439E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaf75bd83e7d7d9ec9d19a07d43f10e1e7f61124","datavalue":{"value":"7165870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$1B25D07D-D7F1-4F1A-BAA4-2958DBF270FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215447$120B67A8-4216-4C3D-BF5D-1E848144845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f60e9c6ae6382699a09a57c16829b17d4f4597e","datavalue":{"value":"commuting matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215447$C01C3798-24F6-403A-A032-F54A658BCE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215447$A36E82D2-D110-4AAC-816C-0FA0ED8C3678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474a87ee2f5ca6372742ed84ef81577c12bd7ab2","datavalue":{"value":"matrix exponential","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215447$F887F308-A0EA-40B2-9346-52C6AD30736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"003694180be6fe05b8a4ae5841239a494c070271","datavalue":{"value":"matrix logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215447$1DB393AD-12DF-4D19-BCA5-3DF74234328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3012228cee1370d2aceddbadefd871ef4f322f","datavalue":{"value":"matrix reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215447$BE1111DA-568A-4E05-83A5-834621CCFD40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1f13b701396f9409b459d782cfffba5c7fcb516b","datavalue":{"value":"Q115522534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$20930584-B4B9-4EEB-90C4-925C8EA156AE","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":"Q5215447$DBC5712B-5F2F-4087-B739-C385D3F16EFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4780a50f90684a9504f59e7cefba89f1671ac08c","datavalue":{"value":"https://doi.org/10.1145/3286487","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215447$A01AD4E0-89C2-424F-AF49-F260A6C02F79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b2142d587d26f99075dbae350f7734917103f0e","datavalue":{"value":"W2946260851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215447$BA3AA429-B1A5-46FA-833F-EFA5BB83D680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614be3f2db96717644ba984ad6c6fe82f35a9540","datavalue":{"value":{"entity-type":"item","numeric-id":4635944,"id":"Q4635944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9357b71439e5db2472c0bf38c43139b5a7c3afd","datavalue":{"value":{"amount":"+0.8695763349533081","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":"Q5215447$E5559C27-E710-4460-B1F9-9566F22B16B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8aa86eea14dd1a1c302accb636093da34ec8443","datavalue":{"value":{"entity-type":"item","numeric-id":4575747,"id":"Q4575747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc853069cb7747d90b10211b9f072c468a748b3","datavalue":{"value":{"amount":"+0.780218780040741","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":"Q5215447$07F7BCFB-A9BF-458A-93FE-0ABF2E86B643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc926d2a8c64f7b8e1203c74f5f33599c2351e5c","datavalue":{"value":{"entity-type":"item","numeric-id":870838,"id":"Q870838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4344e5c51afd33459dc21389932ed3d1d06509","datavalue":{"value":{"amount":"+0.7644248008728027","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":"Q5215447$755A8A8E-575E-43C1-B76A-5A8330F3B6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b40d5f3103001440229cb4594fafc137881969","datavalue":{"value":{"entity-type":"item","numeric-id":5473667,"id":"Q5473667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f0bdd53cff228afbb431071d489e731f02662c","datavalue":{"value":{"amount":"+0.7629426121711731","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":"Q5215447$9FACD1C0-8D3B-4589-9899-8C08FF3771AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a976dc9b1000758d684182fbde700e0a128dd2d1","datavalue":{"value":{"entity-type":"item","numeric-id":2893294,"id":"Q2893294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1517c94a2d9f4374e3ee0e16a11ea0d9f7940011","datavalue":{"value":{"amount":"+0.7600848078727722","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":"Q5215447$369F594B-B09A-4AC7-88CB-8CBD1B17AC7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of membership in matrix-exponential semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_membership_in_matrix-exponential_semigroups"}}}}}