{"entities":{"Q633304":{"pageid":635152,"ns":120,"title":"Item:Q633304","lastrevid":63127959,"modified":"2026-04-11T10:46:41Z","type":"item","id":"Q633304","labels":{"en":{"language":"en","value":"Bisimulation conversion and verification procedure for goal-based control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872810"}},"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":"Q633304$5F44CBFF-1D59-4D58-A78F-94EB3483E63F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"535857862779419b287a98968db877e99f95fc43","datavalue":{"value":{"text":"Bisimulation conversion and verification procedure for goal-based control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633304$EA646FCA-7110-4DF4-9574-17503AEF3535","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d7b474d775f34ae18c80a8cb5882cd837ecf138","datavalue":{"value":"1213.93139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$EB68398B-F88D-4295-9E37-C577119A4CB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"892ddbc004b0689215bdf15beec0e9991be65ed4","datavalue":{"value":{"entity-type":"item","numeric-id":633303,"id":"Q633303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$52788188-0120-4AD9-BD20-431B709E1945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06fcb8f66ff658a4df0218645c977cbe1d9d0eff","datavalue":{"value":{"entity-type":"item","numeric-id":490563,"id":"Q490563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$775D288C-0909-4755-AC2E-88938C89B09D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$5AFB4E23-0DF6-41D4-94D4-74B1DA9F880E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633304$EF5CB510-B874-42EC-924F-6F7A6544C0B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$80CB8BBB-3F26-4FF7-B834-A5FC0F0E31C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$21A9A114-5BB9-48C3-96FD-8022E33BCB98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b2d8deea91d6828f32bff99669b2ac40e42f0a4","datavalue":{"value":"5872810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$F30072A7-E6C7-4BFD-A18E-CD7A1C2E9155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q633304$3DCAD0C6-2229-4A51-B3FC-82DEC1EE4CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q633304$0EBDE4D0-35F7-4F4B-BB4B-C9DAEC16B795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q633304$3406D6E7-57E5-41F7-97EE-6818A5F5309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e02c8a365dcf00c943bf7fbeca31e780fc4ed4","datavalue":{"value":"fault-tolerant control","type":"string"},"datatype":"string"},"type":"statement","id":"Q633304$3EDF0624-ABDA-43EC-8308-ADF2C80685F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$2EB31193-0AE9-457C-8EEA-DAEB66A049D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$F8DEE09C-D321-4411-BEEF-8B79DF18BBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$E75C2175-D98A-4557-AAF1-D1B30E5E0C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$B9A1E75B-274D-4AF8-81D9-1A69313E52FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$7B8D5365-246A-44F2-A37A-8C4EB9AD1DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$FB606102-7DCE-4A7A-8D5E-9950F86FD652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$F820B072-6DD1-461D-BC18-FC19DBBE027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c68116d4b2bb5081c553f61d2120d450f2a0c723","datavalue":{"value":{"entity-type":"item","numeric-id":18442,"id":"Q18442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$534E4741-9C4F-4CA3-8B19-B2EF70DAA282","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":"Q633304$C6D79A1A-D49E-4332-B782-DE8F89BAD9D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8353d0a325e0bd801f51a5ab9e8a1710d576ee9d","datavalue":{"value":"Q59813961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$52131DC9-C0CA-424B-8598-C367D26E3AE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba36320f0978c6f71b3e87428d955618728d9c1","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0109-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q633304$5E66B102-5F40-4DEC-B9BC-F786967B9F8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15fa722f02b8eb6312442a0b69d91b724bd99142","datavalue":{"value":"W1969290144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$897A4583-74E6-4DA7-B5CC-C26D61DFEEF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$8A505B41-1DAE-4DEB-BFE8-CFBA62C86A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$4E29A2FC-CFCF-421C-B599-153AE01BFB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$AA697E75-7048-4590-9974-03B5997FF9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$7FFF30EB-656C-41D2-84EE-D4826B4442F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$3DEA679A-3695-4384-A7D5-060D18BBD262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b211ea5f11e970afb7e38c747002a992438ca43","datavalue":{"value":{"entity-type":"item","numeric-id":2467487,"id":"Q2467487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$94863D29-97B2-4AF7-BC2E-65B477DBA949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba466e8a1bdaef98518de15c9a43402d1858c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$AFC7DF83-DDDF-43DB-A015-082C7C36E9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$6B72010E-FFAC-40C5-97A9-788C06A50BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$460D0524-BF1A-46F7-A80D-6BF92DA9098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$8B208C86-2596-46B7-A0FF-B6897187AF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b65b5698b86df64f1bf56c95e86633fcd84c18e","datavalue":{"value":{"entity-type":"item","numeric-id":2503604,"id":"Q2503604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633304$A6808782-5EB7-4A29-AFD8-F8CF6F88E84E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b4c59f1982f3e08033f308047d984abe9826a12","datavalue":{"value":"10.1007/S10703-010-0109-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633304$CFA8B53B-93B7-40C0-9F8B-79AAC3748921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4867ce6e792bece096e21f88b609d530ff82bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4546958,"id":"Q4546958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2c3f4e848ce67ef33ad66113441b48917db6ad","datavalue":{"value":{"amount":"+0.7046120166778564","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":"Q633304$A46FB3D2-1B27-4928-BB8F-7ADEBA71D0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f777662552ec8ff3482529dae095befca8ef63f1","datavalue":{"value":{"entity-type":"item","numeric-id":5308419,"id":"Q5308419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327165eb4aa30cb6c26bbcee1550a11c00f8ea18","datavalue":{"value":{"amount":"+0.6984757781028748","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":"Q633304$DA02D7B2-C15E-42AB-B376-EF18C26F1406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4a5e811b912f210d0e5220ef81ba26c37c0253","datavalue":{"value":{"entity-type":"item","numeric-id":4560620,"id":"Q4560620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f5f77655136f22204f48d4e1e379873a581e44","datavalue":{"value":{"amount":"+0.6728496551513672","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":"Q633304$B5A632F6-A0FE-40F3-AA06-C720DC78A5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4bd530c92e9b4167459dea2eb750ecddf5c65","datavalue":{"value":{"amount":"+0.6723437905311584","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":"Q633304$4C6DB717-AF1B-4D9B-BCC7-24275A56F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f1f1363753b641cb509752c4a571b1a431d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3624588,"id":"Q3624588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8c9a61169d01e235614ef0dbbc767b29ba40ee","datavalue":{"value":{"amount":"+0.6607183814048767","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":"Q633304$80DED784-D7B4-46C7-A2E6-12D3207374FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation conversion and verification procedure for goal-based control systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_conversion_and_verification_procedure_for_goal-based_control_systems"}}}}}