{"entities":{"Q2375655":{"pageid":2386398,"ns":120,"title":"Item:Q2375655","lastrevid":57515916,"modified":"2026-03-31T05:57:20Z","type":"item","id":"Q2375655","labels":{"en":{"language":"en","value":"Automata-based analysis of stage suspended boom systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175928"}},"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":"Q2375655$FBDFADA1-52FC-40E8-9AD6-EC24F0B9194C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c8f4b69fe8650ad1fae1160d2940e89726af0b3","datavalue":{"value":{"text":"Automata-based analysis of stage suspended boom systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375655$96A62381-EA47-4309-9AAA-B0C861EEFC1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb396bd0d3de7cde0ac80ecac13d336bad83e6ac","datavalue":{"value":"1267.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$8FEB0942-5C0B-411C-9177-CC8871BF23E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbb368b8c176d5aa8e6874a2b6e0006bb5558d4d","datavalue":{"value":"10.1155/2013/739253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$72FCD16B-4BAF-46D9-9934-78ABF2EB1ACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb57183c53f576df777f62c0ab9a5920ef22fb","datavalue":{"value":{"entity-type":"item","numeric-id":636561,"id":"Q636561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$EFBDB58E-F0C6-4FDB-A122-9A93A86C9F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$EB834538-2E1D-465C-A836-1A73F7F7E4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c296ea357295d0c63ac331467eba26817415823","datavalue":{"value":{"entity-type":"item","numeric-id":1667078,"id":"Q1667078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$B61630C6-C793-4D16-8B6D-3E4BCBF30835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d445fc01e968ad041a6cd9408e2e753d4b132037","datavalue":{"value":{"entity-type":"item","numeric-id":459873,"id":"Q459873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$9F1D5AB8-8B79-463A-9D07-734F1A8BA12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a34c8f2c0f95035980231d28a7ef85124d9ae2","datavalue":{"value":{"entity-type":"item","numeric-id":258304,"id":"Q258304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$77918871-95C0-4A48-8613-CA0095802321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$27FAB4E8-1DC0-40F4-9BAB-F3C30B3E1994","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375655$D30476E8-DBBB-46EF-841B-94389042605D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e58349fe51ca960a349dbad69cdb8357b6a833a","datavalue":{"value":"Summary: A stage suspended boom system is an automatic steeve system orchestrated by the PLC (programmable logic controller). Security and fault-recovering are two important properties. In this paper, we analyze and verify the boom system formally. We adopt the hybrid automaton to model the boom system. The forward reachability is used to verify the properties with the reachable states. We also present a case study to illustrate the feasibility of the proposed verification.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375655$4B9D3866-D3F6-4596-A53C-62AAE741AFC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$588777CA-968F-4640-A2F3-9D33A4C8DD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$0E724C56-C0E3-42E3-9430-E73465ED833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$46398F56-2BA4-48B1-AE39-7AEB631ACFA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0421237f573071cc97d6d418438cdc2e859232c","datavalue":{"value":"6175928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$D1C30F4C-E3ED-40A7-9EEB-E6BA29551B6A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"596309e49384c400c411a9b8bc19fd2cec2b410b","datavalue":{"value":"Q59004180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$99BAB367-D0CD-472F-91E4-46BD20271C93","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":"Q2375655$93A72B21-8037-4686-9750-8C2609E15B26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84d79907a00933f144f9b1842bdf6daf933e3095","datavalue":{"value":"https://doi.org/10.1155/2013/739253","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375655$F8809C95-10A0-43E9-8CD1-54078F139BB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb9eddba9f49cc7ea8d9a1962f45f0d05897b0d6","datavalue":{"value":"W2063279964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375655$60CD0D74-9069-4049-B9BC-604942844552","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$167EB595-1781-4691-8BD8-B7612C9E3E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$76389EFA-9207-4E11-9126-BA4DCDC09103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6b0b0d633ffd3389602629f6d5996e1458a245","datavalue":{"value":{"entity-type":"item","numeric-id":5434509,"id":"Q5434509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$A8857ED7-643C-4BDB-99B9-F5D40C38F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c563860f739c4bf7a3cb0074bffad21c50245f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$038DCF5B-8156-49C2-8555-505C75C22A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$D994775C-A98C-48C8-BAA6-47C528372A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5294fd5fa8c5e8e3ea3572b6033ffb53b1e7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5899091,"id":"Q5899091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375655$21D1E376-DF4F-48C1-BE57-BD2E03CB5C27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf7dd63a3dd45a1099558b8ddc5b3159d49ce56","datavalue":{"value":{"entity-type":"item","numeric-id":636562,"id":"Q636562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b90cdffa27c276d1e9438e3ac9ce0967362429","datavalue":{"value":{"amount":"+0.8519294261932373","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":"Q2375655$EFF4BF47-D572-4ED1-A028-B098D360AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3009ec357faba664e280eee1d05b18e83029b3e7","datavalue":{"value":{"amount":"+0.6581361889839172","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":"Q2375655$E3EDDC5C-6638-4401-9C1A-4C1368308A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9df7aa313318f9941f46314e3f46d32ff2bc02e","datavalue":{"value":{"entity-type":"item","numeric-id":4782047,"id":"Q4782047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d2366f72016e593817581a10411b4aa0da9677","datavalue":{"value":{"amount":"+0.6539220213890076","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":"Q2375655$270E3324-4652-4313-A5D9-09901C2E62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bb5837ea2b01711738e13e625f6ac1bbde2c3f","datavalue":{"value":{"entity-type":"item","numeric-id":1589587,"id":"Q1589587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58f6c145e066838a3437586266b228b7fc01227","datavalue":{"value":{"amount":"+0.646448016166687","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":"Q2375655$348935BF-EBB3-4AE6-9FE6-DE438AE89C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3af34ba53e16c56333af05e0389a263d595eba8","datavalue":{"value":{"entity-type":"item","numeric-id":2827930,"id":"Q2827930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75cf0cbb669b5ccedd6d09ffd95b1269c6983dc7","datavalue":{"value":{"amount":"+0.6463515162467957","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":"Q2375655$0A20E428-A796-4E2F-8E9A-8D72EE450888","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":"Q2375655$E4D3D420-FD97-48D7-8BE2-5F02E91F18F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2375655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2375655"}}}}}