{"entities":{"Q503186":{"pageid":504953,"ns":120,"title":"Item:Q503186","lastrevid":62320440,"modified":"2026-04-11T05:16:49Z","type":"item","id":"Q503186","labels":{"en":{"language":"en","value":"Compositional synthesis of supervisors in the form of state machines and state maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6673711"}},"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":"Q503186$7548E102-49CD-456A-B814-0AECD9CA512B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0da664555583810c1682b38c4400223c0e0b5d5e","datavalue":{"value":{"text":"Compositional synthesis of supervisors in the form of state machines and state maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503186$1456D810-4386-471D-96C3-9AF88AE6763B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c032f65271becd92d8134f7d4995fffbc8049d7","datavalue":{"value":"1352.93074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$77C2B17E-571E-4905-85B1-BDAF9E82F6D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2872b87849f89c8a14a752a2ac109c0d8a6ecc81","datavalue":{"value":{"entity-type":"item","numeric-id":262427,"id":"Q262427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$15D58858-C9A7-4D62-912C-5BBEE632549F","rank":"normal"},{"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":"Q503186$BC7C6BED-DB2E-40A6-B9EB-8ACACA673BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d8ba48e1c56bc172b89849eace0a6adbe1a054","datavalue":{"value":{"entity-type":"item","numeric-id":503185,"id":"Q503185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$0CAA1A18-16D9-427F-9A3C-54348533DF7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$AA9233D8-1C2B-42E3-B885-C1602C1B01C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279070e611f2298850bed427831a83010cbb2be1","datavalue":{"value":{"time":"+2017-01-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":"Q503186$5EA83309-475B-4F8D-9217-2EA5A88AA090","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b04238a3bd32a6df0cbcfbe92fcfae12aeb0a0f","datavalue":{"value":"https://hdl.handle.net/10289/10827","type":"string"},"datatype":"url"},"type":"statement","id":"Q503186$7960239B-6C08-48E5-87F7-CF092CDBB28B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$A74A06E9-107F-471C-BB3D-71A26502BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$F1F19D83-B15F-4B7F-BC31-9E6407020EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$D0E13D41-F6DA-478E-8BE3-5616F350ECFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$7E4C7FDB-AD51-435E-AB88-3300D7CED869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$2C7A996C-2CB1-48D3-8785-3A783439ED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$5E7BFB9D-A845-406F-920C-0E0555060B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8d6df015f255542e4768655c46807f11ab51dbe","datavalue":{"value":"6673711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$178E3499-E6C9-4A20-BF7F-AFFD52BA3E53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q503186$F3071125-E32B-4668-84AE-85884611C90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe5448baf44020b0001eb7bc71d160c44f47ec3","datavalue":{"value":"compositional synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q503186$47BEF549-ADC4-4E29-9A68-0E0132F13B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0c43aac2e70ee6c551fb98a536d7e51cae7361","datavalue":{"value":"controller constraints and structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q503186$9C120A80-99FF-4440-A03A-9F0C2B413AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617f1c2c602599deb86fb840c6e4c77c75daa70b","datavalue":{"value":"algorithms and software","type":"string"},"datatype":"string"},"type":"statement","id":"Q503186$30B6054F-B9F7-4F4E-B45B-CBECF3545506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9414f70f2a027a987be69258c7ca9f8dd336dcba","datavalue":{"value":"computational issues","type":"string"},"datatype":"string"},"type":"statement","id":"Q503186$62800680-D40F-402E-963C-BFEDAF365AD9","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":"Q503186$CE6C520E-A9FD-48E3-AB34-BCB7462EA8C5","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":"Q503186$7FB666D2-C554-4687-9E14-6989926A3148","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd82d5ff7a55f2729d8a35eaf3b4b7ef98559499","datavalue":{"value":"W2559868061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$292DBA2E-3E57-4984-83D0-2BC46FC85C7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c6ccb0f43edf500a3924e26fd6e95732b2025","datavalue":{"value":{"entity-type":"item","numeric-id":4974263,"id":"Q4974263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$020EF07B-6556-47A9-926C-F775454C3EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a6186695a29cba794fe7e31dc9786c869f0ba4","datavalue":{"value":{"entity-type":"item","numeric-id":2465421,"id":"Q2465421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$A2F51CD9-7F70-4FBD-940F-4D2AA06F5D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$C32FFD38-FDB8-4B95-897B-277432F73E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$C11C5298-E64D-40B4-BBD3-CF2C406004FD","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":"Q503186$DF4BA22C-9B8E-4BBD-BEB4-961CF28F0A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9f8d47d84df67359522c82a907442bb6b7a1c3","datavalue":{"value":{"entity-type":"item","numeric-id":5347911,"id":"Q5347911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503186$A591F7D1-BF71-4CD7-8A62-04F35A663F18","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":"Q503186$AA9A60C7-9089-4576-A454-D9363900EDFD","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":"Q503186$5116B42F-B53F-423B-B405-EE5685B7846B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"794643f227aed854f37a722d67c7730a1b7e1972","datavalue":{"value":"10.1016/J.AUTOMATICA.2016.10.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503186$440A27C6-BBBB-4822-B1A9-990B7509E193","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9035b4e6b83fcb90c2f3b36e212ba876f37d870","datavalue":{"value":{"entity-type":"item","numeric-id":2465421,"id":"Q2465421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f39bfdb1be95b1989f83d19d1235dcc8f56429d","datavalue":{"value":{"amount":"+0.8172328472137451","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":"Q503186$4B303144-9A31-4797-88CF-1EFECD789064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef5d07b87219469ae75125e4c47ec616c1e50f4","datavalue":{"value":{"entity-type":"item","numeric-id":6080680,"id":"Q6080680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85a632323f619cd4146c1f281a66ac3f5844232","datavalue":{"value":{"amount":"+0.8062224388122559","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":"Q503186$8B7CAFA7-A104-4616-A2CB-CE6B179F32F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c3fee31c99dcfacb29b069611b31bebdee5c0b1","datavalue":{"value":{"entity-type":"item","numeric-id":2197579,"id":"Q2197579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa960d3b83dc2d3500f87841a37e8092c9a9894","datavalue":{"value":{"amount":"+0.8015280961990356","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":"Q503186$27F73015-B64F-4F5B-9B1E-791EC39F0A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6162fd6992b1106acd53b8e130c7b0a5f8c0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a499488bf297826ba97ef56c41c559e455e374","datavalue":{"value":{"amount":"+0.7812564969062805","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":"Q503186$F3272E47-C771-48E8-B19B-F7F215392242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c4a375a1e696676e904b87e8222c55f5cfacf6","datavalue":{"value":{"entity-type":"item","numeric-id":2058570,"id":"Q2058570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa131464fba804e3688a3004551b73bba1ebd523","datavalue":{"value":{"amount":"+0.7698095440864563","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":"Q503186$37821761-78F7-4A60-82B2-6551945434B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional synthesis of supervisors in the form of state machines and state maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_synthesis_of_supervisors_in_the_form_of_state_machines_and_state_maps"}}}}}