{"entities":{"Q6920067":{"pageid":21023059,"ns":120,"title":"Item:Q6920067","lastrevid":84142325,"modified":"2026-05-11T04:57:33Z","type":"item","id":"Q6920067","labels":{"en":{"language":"en","value":"Matrix approach to model matching of composite asynchronous sequential machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8102651"}},"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":"Q6920067$EC7E43C4-12A5-4662-BC3E-E3991A774AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"957efcdc1e7117022b80bd9b6314111dbc3f0082","datavalue":{"value":{"text":"Matrix approach to model matching of composite asynchronous sequential machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6920067$7E59EB3E-8D47-4971-9D1E-2E8275514C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52c35b7b6f3bdc69e020fddb157e534b2694f7c0","datavalue":{"value":"1573.9306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920067$E0D23697-7F90-4E98-9A46-189C34774AD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e51260f4805406f8576927f87d5771721eaf2191","datavalue":{"value":"10.1049/IET-CTA.2016.1651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920067$6D38B2C4-09A6-4922-9166-038843A90C50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9731f3d817dc90d2ea2764d0347d4c5b48ea161e","datavalue":{"value":{"entity-type":"item","numeric-id":6210990,"id":"Q6210990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$B1FC01C3-77A1-4C51-9A85-D8A34CF434C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"677c4af885ed18702dd62a205825d1fc7265737c","datavalue":{"value":{"entity-type":"item","numeric-id":488914,"id":"Q488914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$538CB39D-EFB5-4710-87A0-DAB3B7AFCFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e9ced178ac74a8ca6aa330c7e9d99bfe40b74d","datavalue":{"value":{"entity-type":"item","numeric-id":285679,"id":"Q285679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$253D4E82-C470-437D-A8F0-94A985C52731","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b189bbfae3c26626a478f694de33e7424d213ad","datavalue":{"value":{"entity-type":"item","numeric-id":6595130,"id":"Q6595130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$2E91714C-7AB3-4365-938A-C4E2992EF1AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d13db14e33b7ede5ba244b95d6b1015cf03b41c","datavalue":{"value":{"time":"+2025-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6920067$B2E9F401-D39A-453C-ABA7-29095F3978BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920067$20A26098-B5F1-4303-BE98-691185E72103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920067$A2A89F99-8584-445D-BA05-9DB77BED1CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e67e6a4ea8424c1d83f70abd89114a248576930","datavalue":{"value":"8102651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920067$33A4B7F4-CE5A-46E2-9CC2-A57DE46B2E04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b35cf4aed6edb1cd8946492423a8a1dab57f537","datavalue":{"value":"sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$2E08F0BC-3A24-4450-987E-D47690DC9989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed60a1eea45807dc115f1d9ab122d92a596a2590","datavalue":{"value":"matrix algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$5C9C673D-BA99-48C5-B4C8-AF8D3CCA2598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$A26DF700-0076-4B2D-B8F9-8ADD51C60764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b186a1b3e6a1bd804e817a335efa0dfee5b090","datavalue":{"value":"tensors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$DC3171B1-63FD-4EBD-95EC-394498DB513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e06e5ad74cf076063aa403338f6ff1d348d14fa","datavalue":{"value":"control system synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$76F98BFD-EF14-4893-881E-C28EBDCA73A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$B12F81B2-E14A-48E0-9B09-4DEFAD06DE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538e8af021ea64b54f6db838aa57ffc4206b1518","datavalue":{"value":"composite asynchronous sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$FCF21969-7F82-46BC-BFA5-546B686181C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6333e3dd05b1fdba0d2691d743baaecf2fc92e9","datavalue":{"value":"matrix-based approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$C4CF3702-0409-4757-BA11-671B4FBE6B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6d0adad5585a53eb45b604d396828ebf68e03d","datavalue":{"value":"composite ASM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$EF8883BD-82AC-4DF5-AC5F-86B606B302B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"777aa67a4f631fc3519f22d6e5ad6b91e9a78dcf","datavalue":{"value":"input-state asynchronous machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$5B70E1FB-BDC9-475A-B1D9-6C634844D680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8edecbf5569e2ae193ba5c94fdd8b30dedb158","datavalue":{"value":"semitensor product method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$F35D3D21-D674-4E7C-B0A4-9E395E2643CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616a3e87dd8132c70f30e8c7cbdfa3e2785f330e","datavalue":{"value":"algebraic expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$F9E94CAD-A673-43E2-8F18-50273433F164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$4D0D9899-E3D8-4612-AAB2-369CB2B104F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad7a124dd27476b5155ea63f17b308da524f6ce","datavalue":{"value":"necessary and sufficient condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$555EDFBC-BC2A-4B96-9848-52EBA867FF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0693eba67aeb25045bc3f17a5e4dc49206b7739b","datavalue":{"value":"model matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$664B2ACB-13BC-4B71-8789-5A1076375A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e6bbc6ac6a6803d1d55cd01c9c189470c7e633","datavalue":{"value":"controller design","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920067$0B9C1364-0B8C-4EC8-A920-A1C11729140A","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":"Q6920067$7F019E29-0A24-4C27-B158-2EE55A43317A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9279cb0155a09e2e81787116515cfe1e304a87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5551191,"id":"Q5551191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$B2157B0C-AABC-4BEF-AC71-5EA3280B324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2b393d94727afa954fd0da7dcb4db9cb74d420","datavalue":{"value":{"entity-type":"item","numeric-id":1322488,"id":"Q1322488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$DE2F3CC7-1AF3-48E7-844E-2ED735F2EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b556d482be0118b345f3038fa50e22336c80a0","datavalue":{"value":{"entity-type":"item","numeric-id":4564173,"id":"Q4564173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$9994B0A2-F49B-4C19-BDE4-E07309BE512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9616f7bcd313431b9989a5cbcc3fd2d1a65200","datavalue":{"value":{"entity-type":"item","numeric-id":4540239,"id":"Q4540239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$D289D58A-6113-43EC-BB83-375F6706BF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952148b00945973b45ee706eb755c0130db8520a","datavalue":{"value":{"entity-type":"item","numeric-id":716144,"id":"Q716144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$C5F21C20-A64B-4F81-9111-9D7FD6A42403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0c0c960cc2f5bb6555496e63ca56fc436f9797","datavalue":{"value":{"entity-type":"item","numeric-id":5274236,"id":"Q5274236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$7ACE0496-F644-496C-859E-FFBD5FF0A8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b881fba05642565cdde57f27dd1175ac7751f88","datavalue":{"value":{"entity-type":"item","numeric-id":865938,"id":"Q865938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$2B62422F-1722-4D19-AE9B-FAD1D75E87E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad0306c2b00c7f9d60c18675ffd8a43dccb9990","datavalue":{"value":{"entity-type":"item","numeric-id":4978962,"id":"Q4978962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$A734D234-E77A-4366-9460-93714092B5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f166a8dca79d5bcbd6fd782d4f2e8b5ff58e13","datavalue":{"value":{"entity-type":"item","numeric-id":694840,"id":"Q694840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$7995A52F-C242-4BBB-874A-3D8C2F852BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd5225c44cf76d5a24f80d0f613cd8adfa2e0ae","datavalue":{"value":{"entity-type":"item","numeric-id":417823,"id":"Q417823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$90CD36E1-260F-4648-A6A3-79255EFD67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a2d59c9e2ba94c6160ba6fa4a4be9bf1afb3d1","datavalue":{"value":{"entity-type":"item","numeric-id":2982589,"id":"Q2982589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$BE1637EC-4119-45A0-B941-A26A90B2C5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0ebf991776c2ac2f1153da774d107825cac0ed","datavalue":{"value":{"entity-type":"item","numeric-id":313337,"id":"Q313337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$1CCEAEBE-5EE1-4E9E-9840-54089D754503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5707e59f5f769f093b66650af387e4a51fd59db","datavalue":{"value":{"entity-type":"item","numeric-id":5353417,"id":"Q5353417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$3248E104-D78A-4E32-B2D0-8BFC1E1488F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff7a98b97312cbe0d8aa3bb87bc1c1495e91125","datavalue":{"value":{"entity-type":"item","numeric-id":2980676,"id":"Q2980676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$43F7B049-83E2-4B41-A47A-4BA0EA3A1428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb47019794fde040a265a271db5bef8818b7e4de","datavalue":{"value":{"entity-type":"item","numeric-id":5266838,"id":"Q5266838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$96013D49-106A-4A94-B878-92E4F7A09812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f119d887ecc1d2970a395eb42b76e81f19eb9f7f","datavalue":{"value":{"entity-type":"item","numeric-id":992742,"id":"Q992742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$07CBD7B6-202F-455B-B996-01236708C98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f170e9ec6ad2e1c3244b48580e5ae94aa7406cd5","datavalue":{"value":{"entity-type":"item","numeric-id":5491422,"id":"Q5491422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$9483D4F9-4452-4359-AD3E-65E91E2315E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3255ef813a69d4ebbb1668c962330c9ff754c54","datavalue":{"value":{"entity-type":"item","numeric-id":3224871,"id":"Q3224871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$BA441B11-B578-4941-AEC3-3DCF01BA3270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81aec80ff7740e123e7d4c283dda8b2b016c4294","datavalue":{"value":{"entity-type":"item","numeric-id":616968,"id":"Q616968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$E354B592-3431-4DE9-BEBC-137E0964E3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470a10fb03ad4a584d4e7d40ae705b6e8c72a63","datavalue":{"value":{"entity-type":"item","numeric-id":5568891,"id":"Q5568891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$5F69E086-1470-43A4-AB5F-5AD17F69C19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2258ab9819038367db3d32b558c294ffb402559","datavalue":{"value":{"entity-type":"item","numeric-id":1951220,"id":"Q1951220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920067$8EAB1EA1-3C2E-49F8-8B5A-2F8A067FF480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix approach to model matching of composite asynchronous sequential machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrix_approach_to_model_matching_of_composite_asynchronous_sequential_machines"}}}}}