{"entities":{"Q3566992":{"pageid":5596896,"ns":120,"title":"Item:Q3566992","lastrevid":51008342,"modified":"2026-01-16T04:46:46Z","type":"item","id":"Q3566992","labels":{"en":{"language":"en","value":"Compositional verification in supervisory control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5719727"}},"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":"Q3566992$97A1ACD1-C996-4CDC-B6FF-3BECF670CD1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fb1e9060f305f35a621b908eb519f7311f42970","datavalue":{"value":{"text":"Compositional Verification in Supervisory Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3566992$DA1C3060-7B5F-432A-8358-51EE905715C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05f3408ffb2e354081466c7b1d3258683d54312d","datavalue":{"value":"1282.93176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$CF5BFF2E-6068-4888-93FE-656B474125DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b0d839a71209007eb32aba6ddd963b108a04c85","datavalue":{"value":"10.1137/070695526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$5B5BEBED-7F72-4D63-B20A-27C1B64F4B38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96ae8004141bc3e6ce32cb63b10631dd7c030638","datavalue":{"value":{"entity-type":"item","numeric-id":2465420,"id":"Q2465420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566992$CD254681-859A-4EC8-B5C5-B9BCA40E66B1","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":"Q3566992$C031A3D7-4690-4CAE-8F94-E6978F0915CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ce3126ac4b873d1435f3e6415d12d56cb56cf18","datavalue":{"value":{"entity-type":"item","numeric-id":2706140,"id":"Q2706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566992$4C5A7748-0CBF-4092-9A25-DA19793A7B12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5bafb51b0339693af2364c42e6b66349c9c2b95","datavalue":{"value":{"time":"+2010-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3566992$5F0A2F30-BB04-4134-B4B6-EB5C4040EB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$A12CE0C3-3E8F-4438-B1E2-ECAF3F3464D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$A8E6707E-80E5-49AB-819B-9DA13786CFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$A9FC9011-EAC1-467C-985E-BD99A527585B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$9C03D07B-BA87-47F7-8C12-927FD4E83619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec57e763c465b00035738502dee7c86abfb5f41b","datavalue":{"value":"5719727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$C17708B9-844A-463C-94B5-6305A3ABE022","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566992$1D11DE41-637E-4A6F-BF4C-2C4BF71750B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566992$2AFDE7B6-D85B-40B7-B43F-C1DE5AB7D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4588dabd08163972eef8c79d1133151daf9e8f70","datavalue":{"value":"nonblocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566992$B67B0600-F8FA-4409-BBFD-F1D93E7FCA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566992$84267A0E-2A5E-4810-B4FD-5C2EAFF79429","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":"Q3566992$C1BA9E8D-48E3-49F3-8A66-05EBE35DDFCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb62c545bcff29561de60f7fb7ce5c28cb6e81c5","datavalue":{"value":"https://doi.org/10.1137/070695526","type":"string"},"datatype":"url"},"type":"statement","id":"Q3566992$9C3A4ECE-67F7-4AA2-9D48-CBEC3E673100","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c374e89e3fb408e799322c1822b82b7e3b5d541","datavalue":{"value":"W2016140364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566992$808E58A5-3E7C-489D-B01F-2323E1EA24E1","rank":"normal"}],"P1643":[{"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":"f8efe8c18ebf3ea4af5239f8e1ca3524c8ca4693","datavalue":{"value":{"amount":"+0.8238404393196106","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":"Q3566992$E35CFBDA-D987-46AF-86F6-7B9B57060489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6d79ba80c25301b43b7209a8ab9685f8355d45","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327b05bbb0d268acb11213d602a5814933c09544","datavalue":{"value":{"amount":"+0.8137062191963196","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":"Q3566992$4789C255-1A8E-4699-A0FD-5606802D34B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f3fcf3ddd52feccb4ba9a43bd3b394c8d30caf","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b67579ea9858f4f081cd22c0f9f0d7e1e5f39f","datavalue":{"value":{"amount":"+0.8085459470748901","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":"Q3566992$C7C8274A-8C17-4767-820B-8BEA92C8A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346056b6a697b61a3e190ef2f218a5b779da7b71","datavalue":{"value":{"entity-type":"item","numeric-id":5257781,"id":"Q5257781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94d01d2f04a8062df68bd78b496d17c5717e3be","datavalue":{"value":{"amount":"+0.7970043420791626","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":"Q3566992$C0B98809-5EAB-4320-816B-4E75D4C36305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b5b80aa24f11327ef6952a325833e136b69069","datavalue":{"value":{"entity-type":"item","numeric-id":4782029,"id":"Q4782029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb476329f3661519fa7638123633725973a0f6f","datavalue":{"value":{"amount":"+0.7870026230812073","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":"Q3566992$E47A1F0F-7017-42F2-8541-3E35A36CD168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3566992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3566992"}}}}}