{"entities":{"Q671584":{"pageid":673433,"ns":120,"title":"Item:Q671584","lastrevid":46468665,"modified":"2025-12-24T20:44:41Z","type":"item","id":"Q671584","labels":{"en":{"language":"en","value":"A temporal logic approach to discrete event control for the safety canonical class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983383"}},"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":"Q671584$1E8D6638-1FF6-4240-A168-ECC3035D9229","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43314ccd4fceccf8ff6dd5f4c7f0e1b1de07d22","datavalue":{"value":{"text":"A temporal logic approach to discrete event control for the safety canonical class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671584$AF0902B2-666C-45D8-9108-343364E8167F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a9d291361a6e8267854e93900cf24b2f40c8b7","datavalue":{"value":"0866.93005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$3F912B3E-A27F-47D7-8F3D-5CBE01AB996D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"437981b71dd5325882a1060c8a7d5019124490ae","datavalue":{"value":"10.1016/0167-6911(96)00032-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$D73A3854-3A5F-4040-921B-2D824EC2D6C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$00D03DDE-95F4-4584-BF19-2F3B554AA96A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$CBBA2BB4-5A58-4BCC-84A6-61D9011702CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671584$5AA96D0F-60E7-4981-A2C7-3674A1864937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$4576C1D1-522D-4873-8AF5-F33EBAF57934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$780C581F-3F0B-4FAE-9697-71456AAF88FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$35F42530-A335-4D1B-9C5D-D502680E8E38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"159b9edfe6cfa4388e7be8f41fbbbbe9add7a7fb","datavalue":{"value":"983383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$179CDE6D-742E-422E-A7C2-DBA1493314FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q671584$9641F9F8-074D-4963-9305-A8B0FE20C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q671584$823EDF76-EA0B-450B-957C-89F559BE4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q671584$AC69A161-B818-4AC7-8E96-5E2F25921F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caebaf3ef1de21b1a2a68e3ef1fd5c4b0c6905f7","datavalue":{"value":"safety canonical class","type":"string"},"datatype":"string"},"type":"statement","id":"Q671584$DE43738E-A66C-444D-8C6F-1B463DBBBE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"269c0da842762bb7aad557231887789c96d64124","datavalue":{"value":"discrete event control","type":"string"},"datatype":"string"},"type":"statement","id":"Q671584$F4B587C7-CAF6-433A-92AB-AEF8B2C3C701","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":"Q671584$D2F7C017-9641-4D3D-99C9-138162F5FF33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f5cac41a439c22056322f971bac26ad0c267fea","datavalue":{"value":"https://doi.org/10.1016/0167-6911(96)00032-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q671584$DEE1320D-7CF7-4B6A-89BB-E9DEAED5B1C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5205e478e79529065362d332100832d3af8df8fa","datavalue":{"value":"W2008701203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671584$A63B3CE0-FB7C-4E14-8D26-7C003E54E070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$879C7CED-377F-418F-9CC3-24159D7C48BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$7856FD36-F013-4E7D-8B7C-D62407541807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eaafb175df6f659de6a280bf14e99ab00ef736","datavalue":{"value":{"entity-type":"item","numeric-id":5288513,"id":"Q5288513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$E57765EE-09EA-46D9-8BF6-26D839C61735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bb8b14ad8cc1156ffba35774e9664428b8a668","datavalue":{"value":{"entity-type":"item","numeric-id":3141565,"id":"Q3141565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$49C703A4-950B-4217-AA5A-68AC2C1A6447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$D0107683-5743-4A87-919A-EECC50753F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5007ab9c32bf580f8fd9174eb22767a4264f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3988797,"id":"Q3988797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$57AA6097-F888-44AD-AE91-AD1B85A6D356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dbd22969ccd576c52eace0c35df89efd526398","datavalue":{"value":{"entity-type":"item","numeric-id":3818944,"id":"Q3818944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$919BCF12-EFD1-4EBD-B711-F46CF2964C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$ACDED7DA-6685-41F4-AB5D-37CD016EA808","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":"Q671584$E8B326F2-2A5A-4EF5-AFDD-072E865D1221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$3CF97AAC-A86A-434B-BD6F-24BF38DEE710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8709f3393a3b7a45e382ee1d4aefa2623dd0ec5","datavalue":{"value":{"entity-type":"item","numeric-id":4040446,"id":"Q4040446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$19F0288A-0926-4522-A822-6CC9852C93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70fdd7e43fb9a1f0f6fe6457c60abc4c1162b4f","datavalue":{"value":{"entity-type":"item","numeric-id":1802243,"id":"Q1802243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$8D44DAD5-F751-4DF6-B2F9-0A485DCAA141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f312931a2f5c58deec9a2672efb634cca54dbe96","datavalue":{"value":{"entity-type":"item","numeric-id":3470292,"id":"Q3470292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$5154A76B-D2C6-4FE3-AE3A-DD84B4E1AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0656c0d888259f34751b32e9fe8da5bedc75d6","datavalue":{"value":{"entity-type":"item","numeric-id":4020106,"id":"Q4020106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671584$D3D0EADB-CE13-4200-83D1-1A7180F4BA8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913111eff66d806e886559048863fb90967f828d","datavalue":{"value":{"amount":"+0.8378974199295044","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":"Q671584$416113C4-B9BE-46CF-A546-8B283D664EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9004e511aab40dfdabdc25ea3eabe673e2a553","datavalue":{"value":{"entity-type":"item","numeric-id":4782090,"id":"Q4782090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd55bde59ab04d87397377ffbac9fa83fff98384","datavalue":{"value":{"amount":"+0.8377420902252197","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":"Q671584$DA51D8A8-3509-4B9D-A791-151CB2862001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6796c2cc4bc2b6fde41b635ac2ac66bdce3bec99","datavalue":{"value":{"entity-type":"item","numeric-id":2573941,"id":"Q2573941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c06835ab87054d16aabda8ca79760b3d23a23b1","datavalue":{"value":{"amount":"+0.8344917297363281","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":"Q671584$106F2810-F4DF-4D55-ACE0-A9EB952A1B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae55bc9b964b7ff15c68c102985b4cc2b3eb54d6","datavalue":{"value":{"amount":"+0.8304779529571533","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":"Q671584$6053BBD5-9686-4121-9749-A47B4C5C54FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9c2d27cb82dd81a5b1c23e3975587498e7ff25","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6335012db4273fd4d5e5ea4c8a40ac1de8b86b99","datavalue":{"value":{"amount":"+0.8004705905914307","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":"Q671584$FD1B1D87-3B61-4DA2-AADC-50D98C1461E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:671584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:671584"}}}}}