{"entities":{"Q5926751":{"pageid":8103553,"ns":120,"title":"Item:Q5926751","lastrevid":47581378,"modified":"2026-01-02T03:36:47Z","type":"item","id":"Q5926751","labels":{"en":{"language":"en","value":"A unified linear-time temporal logic solution to the steam-boiler control specification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1572991"}},"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":"Q5926751$DF04B032-9D48-41F6-871F-55E2CDF5675B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd3d47b1f09f86b605266c087ef31cca80fd1b94","datavalue":{"value":{"text":"A unified linear-time temporal logic solution to the steam-boiler control specification problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5926751$E2749740-F5E0-4E02-B626-38084656FB46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3739f8e4d5bf82fd8bfbc6bf078a30696215db8f","datavalue":{"value":"0965.93075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$08666D0E-80ED-4056-A946-46403789BE10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11e860bdfacae4416968375720de0801b9511025","datavalue":{"value":"10.1007/BF02916769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$996E35FA-9F19-4E23-9B46-8F2FFFFBE79D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05aa422caa2483dee3a63efff4ccd316bb48bcea","datavalue":{"value":{"entity-type":"item","numeric-id":395501,"id":"Q395501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926751$97F36076-1701-4462-834A-261ADD5AF5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16d17d06ac30d8ba068abd7085f96236b1432eb5","datavalue":{"value":{"entity-type":"item","numeric-id":586731,"id":"Q586731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926751$5F7DDF06-5134-46DE-8DFA-C14A457A977C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926751$7600AA1D-DF43-4DE2-B404-3734F4B7F611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44caa6525a45f719deb49fb5b73e40a85fd4c8c5","datavalue":{"value":{"time":"+2001-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5926751$E01CE665-B78E-4665-BB2E-CFC40BC49542","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba497bf9acc5cbb21cfa1c8186839c3751971334","datavalue":{"value":"The solution to the steam boiler control specification problem on the basis of the TLL XYZ/E formal language previously developed by the authors is proposed. The physical model for the whole system is presented in detail and safety and liveness of the program are specified. Five steps of refinement are described. In the first step the concept of `Working Status' is introduced. In the second step a sampling process is specified and unobservable variables are replaced. In the third step the functioning of the system in the presence of physical units' faults is specified. In the fourth step the manipulation of valves and pumps to control water level are described. In the fifth step a clock process to synchronize all actions is specified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$DA139C87-DF3A-4E63-9449-DCB2C883D469","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a883836726fb5f7be41f75195c71bf60ba06b063","datavalue":{"value":{"entity-type":"item","numeric-id":821296,"id":"Q821296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926751$AA0034A5-76FB-4206-B62A-0F7DC7504972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$08EB9364-79EF-4FF0-BB15-F899443E4BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$F0B9822E-DC02-4D3C-974D-1BFEEB9BA0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$AE102598-02F4-4E74-8214-F93B0E7EC70B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b48ea53df43d2a3c4e0def4067b75e8b5f6d5ad","datavalue":{"value":"1572991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$FC37D601-20F2-4413-B462-C694B5EFFE0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52719d7c88b1bb8b218f0fd21a4c77be2503361f","datavalue":{"value":"temporal logic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$1AA1488F-D6BB-40B9-B62F-4CC6E1CC3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2955a1294467c59e3918d1abb7df294f376e90","datavalue":{"value":"steam boiler control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$13AA8EEF-717E-416E-A98A-9E79E0F5E53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb0fe8bbd759721546652761abdebd5e34325d35","datavalue":{"value":"hybrid real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$4F0A31DC-2892-4B6A-8702-94E0ACD0AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c67c74de55a36a70f3c9ca30920745e95289ebf","datavalue":{"value":"XYZ/E","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$2A2AC478-5EE2-4403-8EFE-086A9EFBBF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$4DD92301-F863-4B54-8B59-DE60431298B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$9D8BCA25-FE77-4CC5-B123-59683D731E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$4668B173-BAD9-43E8-B6ED-AF56280DB332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0567dda3d7855b5781c3a89bda878483c5089e49","datavalue":{"value":"control of water level","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$A67EB677-1258-49F9-B578-D7254F14CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$77DF51EB-8928-4F33-8019-E73C82A724F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$09F3C023-305E-43CA-AA3F-1CE30ADB9443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7129bbada4c73075f0391018607281f2358b447c","datavalue":{"value":"clock process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$EA93D0C4-473A-4072-B167-A75AB26143DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bba3097ce6233b7fb1ec8077bcefb3ebd21738","datavalue":{"value":"faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926751$BEA0791F-A1DF-4C44-B5DA-889B6E08DA26","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":"Q5926751$FA0F779A-E433-4C11-82A4-C2E64F1DDB0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193dbfc7bccf141a4aab951ab2becf3c421ce66","datavalue":{"value":{"entity-type":"item","numeric-id":1126522,"id":"Q1126522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926751$6598DE12-50B0-4C09-B8ED-5D1D26EF8CBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef423efe2286fda592f3f5730bdb07b40f5dffc","datavalue":{"value":"https://doi.org/10.1007/bf02916769","type":"string"},"datatype":"url"},"type":"statement","id":"Q5926751$470875AA-96EC-436C-9F0E-F710BCEE3F2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e37f9a92a844162baf48564468e4b43acd4d382","datavalue":{"value":"W1916258710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926751$85E7C1C4-B3ED-4FAA-96E1-AAE9442F280D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b011f63a000e0c522db8508b07971951d6643b3","datavalue":{"value":{"entity-type":"item","numeric-id":4495073,"id":"Q4495073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8fbae621343a958a515ac7a4c094068968d779","datavalue":{"value":{"amount":"+0.7563073039054871","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":"Q5926751$1A579F36-3F9E-4775-8674-40303DB3C635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d4a59b450a81c5ad4fb3884be96d8903527ad4","datavalue":{"value":{"amount":"+0.7162268757820129","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":"Q5926751$FA1BE50D-0D87-479F-B260-F2B12DA054D5","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":"3b3369fd049f222441cfd6fa3c5d3bf3c3c4652e","datavalue":{"value":{"amount":"+0.7156895995140076","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":"Q5926751$F38BE0AF-7FAB-4914-BC09-D711C58C3262","rank":"normal"},{"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":"d5412219bae32b3ad85af5cc4a9adb9fe6ff6465","datavalue":{"value":{"amount":"+0.7028300762176514","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":"Q5926751$57C06D1B-663E-49E9-AAE3-AFA9D4456EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f63523539b50fb7b9af2d5fb4e11c173b84d8c","datavalue":{"value":{"amount":"+0.6939892768859863","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":"Q5926751$C85F26C2-5947-4C45-8BE8-3743C7D19E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5926751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5926751"}}}}}