{"entities":{"Q2197579":{"pageid":2208322,"ns":120,"title":"Item:Q2197579","lastrevid":78299264,"modified":"2026-05-06T11:15:50Z","type":"item","id":"Q2197579","labels":{"en":{"language":"en","value":"Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242384"}},"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":"Q2197579$7C0B533D-841B-49BA-A1E4-0832F0DF0940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17915288eb884e0d1da00c7e5c13a825962f40a7","datavalue":{"value":{"text":"Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2197579$C2292383-25A7-45D8-B376-EDC91DC2B610","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f785df39616e4188db2977630047af99becee3","datavalue":{"value":"1448.93204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197579$BBC3B7FD-EB48-4ED8-9D90-314F7C9AFDE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$4CE41BF1-5CB9-4916-B17C-75A5446C9317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60e517d954cf90d45a324ba785ef43b447931e06","datavalue":{"value":{"entity-type":"item","numeric-id":592930,"id":"Q592930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$10DE214D-BB3B-4B38-81D5-117EAD87875D","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":"Q2197579$7B35C517-38D3-451C-8951-40729AF6DB31","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":"Q2197579$848F47B7-A060-4050-968B-F640836CCCD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f64ecc3a783ea4a5b523183713c5b5da7a52dc80","datavalue":{"value":"https://hdl.handle.net/10289/13638","type":"string"},"datatype":"url"},"type":"statement","id":"Q2197579$A683E15C-D1E5-46C5-B3E2-11D777F575D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197579$1CCD00E2-2985-4D97-AB3C-CB0786F3050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe6507b35037bd248214e736cd1cc21eb57959f","datavalue":{"value":"93-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197579$60F59562-5923-45DE-9FA4-EDFB6C29DC0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99288d468dd00852a123b986df92a0019039d955","datavalue":{"value":"7242384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197579$180F9FB8-1A8E-45FB-8CD2-EA11E018B0CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197579$A311A82F-D77B-423E-9C66-6EF8DF254F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197579$8A4ECD96-E63C-46CA-B754-CCC9582073D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57e5e1e0aa2eb64654b228b3641eb42a51b9c8b","datavalue":{"value":"extended finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197579$B2690180-095F-4173-ACB0-57D7C72B8967","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":"Q2197579$9B68FE56-8771-4848-B148-39879A8B197F","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":"Q2197579$83FDEC63-205A-4450-A593-032B7A13F6C0","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":"Q2197579$558ABB28-E8A4-43D3-B56B-176E7605CBE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b1da3adba8b1575483b08f96656717b4a6d9c69","datavalue":{"value":"W3012761306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197579$3650005A-7024-40A1-BE34-1F7772BFD1ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$61D749FD-1F3E-4658-9979-38DC1722A914","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":"Q2197579$7589E681-A5FE-470E-AB80-D31FEE0BBF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051ab25a47242c51ce8d5d554ed5564c26ed2f9","datavalue":{"value":{"entity-type":"item","numeric-id":889009,"id":"Q889009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$6FEA7AE8-355B-49B2-97C7-ADEA10C823D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$5A69F1A4-4AA8-4CC3-A757-B0AC48329A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$A02A80B1-9D99-4763-8BE5-723A5FCFABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57bdb06aebf9343983b26fe45b7acdcc651b03a","datavalue":{"value":{"entity-type":"item","numeric-id":2464943,"id":"Q2464943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$19764D8D-3B21-4E76-9C9B-E6DAFE9FFDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f28b39adf7f2eb48c9703cb2be9f216a2ef0298","datavalue":{"value":{"entity-type":"item","numeric-id":2983297,"id":"Q2983297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$15295343-CCA8-4B15-A4AE-C580063C1FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5449e0a546d86fb50b85a8b7edc97a9e86b2976a","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$1E70DC28-3045-498A-A3B8-106DE6707C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bd2772bdea4d13a443dcdc4b5df25792af4d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4782029,"id":"Q4782029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$CFBA1DDB-D2B8-4283-83FC-359B73A65B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed3e2f6b191572f32cd8c902ca890af593c7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":5347662,"id":"Q5347662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$4BEE86F1-BA71-49E2-A96B-5A8CBCF77CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc234107eced13aab4a645ed4226f91ce3e8e652","datavalue":{"value":{"entity-type":"item","numeric-id":780970,"id":"Q780970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$90B55435-2052-4BCC-8730-4825A89A0477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$DDDC64E2-A825-4E3A-94A8-550985E095F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cab8cae495a6791b88609e2f3b99f63fe9c622","datavalue":{"value":{"entity-type":"item","numeric-id":2982886,"id":"Q2982886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$5A4473D7-EAEF-4070-B05B-5853E3A9FE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e1796f50adf52fca954f48d00c29a66292a2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1272973,"id":"Q1272973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197579$FA5AC20A-CA27-4E87-ADC4-A6F539B518F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84fecb6e64c5f32c53e903540a70bbc1c2c98b01","datavalue":{"value":"10.1007/S10626-019-00302-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197579$20B92C6D-75F4-483B-8E12-660F1EDB8698","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5f5fc5b290608ba7b1b6ef61e40575dde3404e","datavalue":{"value":{"entity-type":"item","numeric-id":262426,"id":"Q262426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30da13301d5e6a5c31aee1d789ee0d5342d6be1b","datavalue":{"value":{"amount":"+0.8928219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$2B1A1862-F826-45AA-809D-4B559B10A465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe34656bd9ff090f851f32e1309d0a43a1f6646","datavalue":{"value":{"entity-type":"item","numeric-id":2982886,"id":"Q2982886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0daa1ef5f98d19940e3131794dec603a5797402f","datavalue":{"value":{"amount":"+0.8774966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$C4E2CC18-2149-41C1-A7F9-7BD8345B252B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebada047d378987f64ccace1e2797e91463cc8c","datavalue":{"value":{"entity-type":"item","numeric-id":3612766,"id":"Q3612766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7477f9a42d8fed9d5a0d99ad6ff2ce5768fc801a","datavalue":{"value":{"amount":"+0.8694797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$5D0400F0-F34C-42CF-8EB9-F476F3E878B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdf8d731bfc8142cf816f01d47910453689ce36","datavalue":{"value":{"entity-type":"item","numeric-id":2457201,"id":"Q2457201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7fc2e51814d71412bdac0cff805dac65022224","datavalue":{"value":{"amount":"+0.861231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$5C620074-A7DB-4814-9D08-379F7DAA6EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91cd510daee142fa67923155c459970388032e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4309243,"id":"Q4309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ede17054a846f896facc0f79dadc9f733b07ca4","datavalue":{"value":{"amount":"+0.8604864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$3B0E9E8F-8BEA-4704-B24F-4C05EFFF9952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a0c69f6a6ebbaaa30caa25dfcad52ca4e0d4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2799292,"id":"Q2799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9432845a3d6c3f9b2f6052197dc80d6e5d493af4","datavalue":{"value":{"amount":"+0.85745436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$EDC71C06-DD39-483F-B5D3-5780D00C72DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6527a3a0f05f8d7ffc1e072b03b6e61924f044","datavalue":{"value":{"entity-type":"item","numeric-id":434470,"id":"Q434470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be095077d292cb0a88c0a1ff2d4e20662c14070","datavalue":{"value":{"amount":"+0.8571435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$E4E25E9E-C282-4B63-91EF-C459C848B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277dd435b00fb6cb580e5e74aed650d73e4d721b","datavalue":{"value":{"entity-type":"item","numeric-id":1693823,"id":"Q1693823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8423e04a8baa0c2e09d326e9c8761b95e8053905","datavalue":{"value":{"amount":"+0.8526436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$43B92394-D49F-4C35-89BC-EB44562871DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4838ae3a52fc0f7e15e72800ef27c07f56ddaa25","datavalue":{"value":{"entity-type":"item","numeric-id":4652076,"id":"Q4652076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd6ad85f900504409f7c220e60f94200e3fca9a","datavalue":{"value":{"amount":"+0.84708583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197579$B4332C3B-9435-4E44-B7F8-A1963468CBD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_least_restrictive_controllable_supervisors_for_extended_finite-state_machines_with_variable_abstraction"}}}}}