{"entities":{"Q2197591":{"pageid":2208334,"ns":120,"title":"Item:Q2197591","lastrevid":78299372,"modified":"2026-05-06T11:15:51Z","type":"item","id":"Q2197591","labels":{"en":{"language":"en","value":"Modeling for supervisor synthesis -- a lock-bridge combination case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242394"}},"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":"Q2197591$BFEC191C-395B-405A-BB16-8E5A5B4BA097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da327e6b21dd0b8b1a508649cfb43f5a87a13531","datavalue":{"value":{"text":"Modeling for supervisor synthesis -- a lock-bridge combination case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2197591$6CE0F805-29CE-45FB-915F-7AC89E08EDC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"206c94dc9fbae4ccbc9cb701ca9ccf4a177a246a","datavalue":{"value":"1448.93088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$8FD5696E-8EEA-46CD-A006-7237C4C9BE1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d0b7baed57c18e2bd309ae381a54b39717d90a7","datavalue":{"value":{"entity-type":"item","numeric-id":2128089,"id":"Q2128089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$760CE0B7-BB39-4BA1-AB45-C90B98FEE853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09df6de8ca4a153dc581f30939832f192e34cbb7","datavalue":{"value":{"entity-type":"item","numeric-id":2058569,"id":"Q2058569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$727AC22D-1A9B-4833-9B2F-C2D6C80E4CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97af0bea1dd049a1bb7e9c6cda37ad2cac011bda","datavalue":{"value":{"entity-type":"item","numeric-id":351741,"id":"Q351741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$1C3662B8-91E2-4FD8-AF8A-9FC936703497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c0b8eda5df87fed1e881da856836b7c0f8feed","datavalue":{"value":{"entity-type":"item","numeric-id":351742,"id":"Q351742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$1F52F9E8-0D09-4DF8-B8C8-D10262914FF5","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":"Q2197591$4729BB80-C1ED-4300-831A-851CA59E598F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e1cb463f6f00f069b5885dafb634153655800c1","datavalue":{"value":{"time":"+2020-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2197591$8DF0D6AA-D568-474E-BF48-186E9675D200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$E027B7F0-86AE-4396-A217-7B7032E9A226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$42B91BF9-08CB-406F-BF88-F8721503429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$1EF90102-E367-4F85-959F-EFCF180C8A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$6484D8C1-D9B2-483E-8558-4BB8516856FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754a4f945d3fe9a16d6b8048dab5ee594f591ad7","datavalue":{"value":"7242394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$9971058E-7C4D-4C2C-8BF1-D1BB57F9D597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e312ad5a33c54d111262125f205fcd5f4dbf012a","datavalue":{"value":"supervisor synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197591$C87B6BF6-110D-4771-829E-6F2434F00BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d300696d866c8841287975302c34249530b39faa","datavalue":{"value":"extended finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197591$42903BFA-FBA7-4D58-8747-17EDC0FCCE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414d164b5faace23dc115ff207ddce9aa5406284","datavalue":{"value":"industrial application","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197591$47260F9B-FA99-4513-A294-5BA17F81C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774201cca2d8f46466844b375200d486f6aac6a1","datavalue":{"value":"infrastructural systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197591$D6928DB9-EDD6-4CB7-8494-B0C928916EA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80c7c1691b4311a8cc23e8c9cd73656481658885","datavalue":{"value":{"entity-type":"item","numeric-id":30383,"id":"Q30383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$CEE48783-1044-4058-89CC-14E50CE6D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$8E2416E4-4E0B-401A-B127-0E25D20ED27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46c77f6f9e42a34cf39f3d9c43d363c1fdb22625","datavalue":{"value":{"entity-type":"item","numeric-id":28303,"id":"Q28303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$C825CF12-B14C-429D-B17C-6F45F9DE60EC","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":"Q2197591$B05A639E-51BE-462C-A151-FF658196A24A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49f6aec51eb79ec4c6ad474aa3b7e5f3190bb232","datavalue":{"value":"https://doi.org/10.1007/s10626-020-00314-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2197591$14E37FA0-A3C1-4414-BF44-1A69FD04E79E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bb26b9d9a20edc96dbf4bdab1c98b6cb21b239b","datavalue":{"value":"W3014830869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$5B57B9E2-C525-47F1-B980-2BF58D458E0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f8cd607c94b01d7bea7d04260b967ae3a2bc9c","datavalue":{"value":{"entity-type":"item","numeric-id":2177764,"id":"Q2177764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$AC5C7830-A9F0-4FE4-AA8F-8DB658743BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090fc2f3183667882821745918fa4e0d68d92806","datavalue":{"value":{"entity-type":"item","numeric-id":3140095,"id":"Q3140095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$5852B1ED-6A23-468B-9728-2A5C62639727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$536B654B-07C5-4D1C-AC80-C7753288EE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806d47e6534f0060f9a5c67a1a79ca8948351f95","datavalue":{"value":{"entity-type":"item","numeric-id":3147797,"id":"Q3147797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$3175ADBD-DE1D-4E48-AB8A-DB3C1A7B9FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd217f15a10e0a5bda26ce05e6fd449124741f97","datavalue":{"value":{"entity-type":"item","numeric-id":351743,"id":"Q351743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$1D724175-4918-41B6-8086-D80815897285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1221a33196b3c7ef452907ebf2efba3883e9cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1776582,"id":"Q1776582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$7BBE167C-7C34-4559-A55E-68AB20C3C8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a0e0dd2e47e7fb6ffc97e6bcd3b927ec8527c2","datavalue":{"value":{"entity-type":"item","numeric-id":539490,"id":"Q539490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$F3C87082-71A6-4582-B33B-5E0FE26F7ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$8F7B6B43-4439-4415-B62A-8D2C59D7D2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ef9f33bc7911453cab8d430011046301a8c737","datavalue":{"value":{"entity-type":"item","numeric-id":5281831,"id":"Q5281831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$CEE8E5C8-98D5-4F79-84FC-B29B5792172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$B71923F5-BB2A-4D0A-BC2D-2BA9E6A0B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$4BF7C3FB-3225-40CF-A921-A417FDA65281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34cc08d447c6db12e094ca53d9cdb64a6d5ea73c","datavalue":{"value":{"entity-type":"item","numeric-id":2713457,"id":"Q2713457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$EE5E9910-4637-4C1E-9E68-5CA12919BDCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d96618e9e7b64dc3687936252dc11e71d4bb9697","datavalue":{"value":"10.1007/S10626-020-00314-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197591$18E978A7-0A91-48AF-BA01-A9EF892C3DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a789f8f27b9465ca7038963ab4411c0dff748ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2128091,"id":"Q2128091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e83ff4da7e1d320402ae45589bbb080befcf12","datavalue":{"value":{"amount":"+0.7561797499656677","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":"Q2197591$C94325D8-B9D8-4911-AAC1-A6902837945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb9942d9c7b397246f36007238f58880613ac6c","datavalue":{"value":{"entity-type":"item","numeric-id":4332704,"id":"Q4332704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bedd0af8b458f8e5dc9751902d08693c5c72bc","datavalue":{"value":{"amount":"+0.7502223253250122","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":"Q2197591$D9C45B50-E166-461D-8392-700A7FCCB473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0143d9bf00742f8487e0db47c1ab1feb5a925b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3152833,"id":"Q3152833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e06f8a83685379b24d2f49d43941f0f9b8877d","datavalue":{"value":{"amount":"+0.7423779368400574","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":"Q2197591$AADFC6B1-22FD-46F7-B1ED-F6342D0BCB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da7501e76729eb1a37441ae16f19cf21125f6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3152835,"id":"Q3152835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e06f8a83685379b24d2f49d43941f0f9b8877d","datavalue":{"value":{"amount":"+0.7423779368400574","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":"Q2197591$3636F531-A92B-4D71-822B-3EAA93276C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07966aee7f8bec79a14ba076d98a17c6ec32c53b","datavalue":{"value":{"entity-type":"item","numeric-id":4393083,"id":"Q4393083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4ae16be6912fa4e718dc4e54c351492cc23fbc","datavalue":{"value":{"amount":"+0.7379562258720398","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":"Q2197591$A80F7A3A-5769-43C8-A595-14C7A77FA448","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197591$56238670-586A-4EC9-AF85-4ECD302AF9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling for supervisor synthesis -- a lock-bridge combination case study","badges":[]}}}}}