{"entities":{"Q1273548":{"pageid":1284298,"ns":120,"title":"Item:Q1273548","lastrevid":80273312,"modified":"2026-05-06T15:49:09Z","type":"item","id":"Q1273548","labels":{"en":{"language":"en","value":"Bisimulation, the supervisory control problem and strong model matching for finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230702"}},"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":"Q1273548$81FD2B33-E200-4C62-9B42-34FFE9EDEE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab33a7a0ece9a2121a6e31c876b58f9cb8c7068c","datavalue":{"value":{"text":"Bisimulation, the supervisory control problem and strong model matching for finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273548$5BF40A88-03E9-4A34-90E5-A9CCEDB6D88E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af77a323ca7a9ec192fd5921db40166694797f5","datavalue":{"value":"0919.93005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$10DD5ED2-BECB-4A33-BC93-53F28DF21921","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b17c7e1232130febdd52defde3648f7d44b0da8","datavalue":{"value":"10.1023/A:1008301317459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$249EE971-7613-473C-9797-2AAB02C321C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"122f11c86bfa10ba7c7a7338ac9ce8f291cf4080","datavalue":{"value":{"entity-type":"item","numeric-id":1273547,"id":"Q1273547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273548$A69E46D7-06DC-4739-BF3A-30149FA928ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273548$9CA7757C-A924-42D0-BCE6-C0C38382B20C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273548$A1B39656-E9D9-4AAD-9D96-01EAF6E5B57D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ed463bba5bb41a990b4af8fce54c8515dcb290","datavalue":{"value":{"time":"+1999-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273548$96794FE4-2501-4494-B6A4-E1764F5A2897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$9B2FCDD2-5934-4D0B-8F66-FD8467A83EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$80F5F264-308A-488A-90AC-817A0345CDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$9785ACB0-66C2-4F9D-AEEB-9254166AB9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$C52DAC5F-DF5A-470C-9B68-8FE529D393AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98c8953a849a41f73de6c789d289dafdf7e2b4d","datavalue":{"value":"93A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$69638396-1652-4300-B8F9-BF4240C7FB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$BA4BEE33-469F-46E0-A666-5E8E3884155C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34d3e103e3a289149a301dcd4d36bee46ba0be98","datavalue":{"value":"1230702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273548$8C50787D-EF67-45F9-8061-D36CD31A9DA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e814c2c1ed49851ce72999960cac8992f42ed573","datavalue":{"value":"input/output model matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273548$BD88172F-7735-49E8-8135-54FD2085D0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c26fd270e13d494fd7d56f0145a019a715aa825","datavalue":{"value":"supervisory control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273548$2B93CC4B-8187-4191-8025-0E888828E61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e4f37c9e87ac6a72aff4c9742825510a7eeb13","datavalue":{"value":"controllability of a language with respect to another language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273548$DE9607A1-6B1F-4881-BFD1-03B5D1186FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457bd558523b0c7e2bcffa5ea55a3d4d2ccf73d4","datavalue":{"value":"bisimulation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273548$AE8FBCB4-ABD4-4B7A-B3C8-0F6EA1AFA92F","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":"Q1273548$ED03B429-BCD1-4AC4-A3A3-DB39F9F341CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ba25a611b2ef163902678760662226649ebcd5","datavalue":{"value":{"entity-type":"item","numeric-id":463845,"id":"Q463845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b85566721dddbabbfe5dea803ee3e54656c3bb","datavalue":{"value":{"amount":"+0.7740554809570312","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":"Q1273548$00BB1F77-F7E7-47D8-AB00-C409537AC4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8fd09ca8ce140cdee7a6bc0ad33edac4247c15","datavalue":{"value":{"entity-type":"item","numeric-id":4540239,"id":"Q4540239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f8629d9441ad875006a32094a29174a18812d6","datavalue":{"value":{"amount":"+0.7701040506362915","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":"Q1273548$3757EC16-39EA-4E50-B0B5-8DE4CED6AEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba82f874fd468cd1d6aa8cb88a29269a5f44bb","datavalue":{"value":{"entity-type":"item","numeric-id":3361896,"id":"Q3361896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ed238f1f92867d81517f89d4a7d32da782afec","datavalue":{"value":{"amount":"+0.7689505219459534","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":"Q1273548$4DF95E88-BCC6-4DA5-A04D-4B6A229F6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652c93e150bb487b7322b28c9d703daea06593b4","datavalue":{"value":{"entity-type":"item","numeric-id":534301,"id":"Q534301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e751e6e00481376b9e4a81f4fb0e371a6e1053","datavalue":{"value":{"amount":"+0.766511857509613","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":"Q1273548$95A9B3C7-C1BA-4CD3-943E-0CBA24B0E99B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation, the supervisory control problem and strong model matching for finite state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation,_the_supervisory_control_problem_and_strong_model_matching_for_finite_state_machines"}}}}}