{"entities":{"Q4564162":{"pageid":6593751,"ns":120,"title":"Item:Q4564162","lastrevid":41608237,"modified":"2025-05-06T08:04:15Z","type":"item","id":"Q4564162","labels":{"en":{"language":"en","value":"Model Checking Safety-Critical Systems Using Safecharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6885825"}},"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":"Q4564162$4BFF1D00-A0BB-4CEA-B4A7-39D561B3DA1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"861213b4692f504ea89eff0184b36b3aa330ea04","datavalue":{"value":{"text":"Model Checking Safety-Critical Systems Using Safecharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4564162$AB0DFB24-4382-40A5-9F9B-689CBAB7E79D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3f93d53737b73547a8052f5ec00591327dcec6d","datavalue":{"value":"1390.68430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564162$C14F561C-1112-4A9B-81EA-46B72AA05A1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33a7130836c09b1e7605bc5fdd6fccbcb6450816","datavalue":{"value":"10.1109/TC.2007.1021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564162$F038A90F-395D-4C81-BFE8-29D0F6D6062C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"917193f43b155bc5f83a938f9c1c2e6bb5626b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2842579,"id":"Q2842579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564162$AAF2CE7A-3653-4890-BE14-6DA4AEDA0F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ef8339e8b71a874e6165505764b5b0ac93e4ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3522895,"id":"Q3522895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564162$74551693-AFFE-42F6-9C19-928CC4F64F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25214c66c620c35d4b2dfa229d31bf578b776584","datavalue":{"value":{"entity-type":"item","numeric-id":3511652,"id":"Q3511652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564162$AAC4AA67-B99E-4BD0-8802-642CE62D3001","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564162$C0BA9019-02CA-435D-BA7C-1E3175F15C77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bee4c44be49e99ae67efec260a125657730bcab","datavalue":{"value":{"time":"+2018-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4564162$DADE1687-70D4-4FEA-BF5E-9B2C169393F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564162$0143C8AB-52E4-4A8F-91A5-BFE818BDFC8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b9d29e89521c15f81d3682a2404a3174376a2af","datavalue":{"value":"6885825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564162$34DDBC90-5741-471E-96FE-1E13E617D0F0","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":"Q4564162$D1244A7B-63FC-46A2-9DAD-61820AB9BBDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b7862dd3b49142d8bf8ad3cba79d8aee604424d","datavalue":{"value":"https://doi.org/10.1109/tc.2007.1021","type":"string"},"datatype":"url"},"type":"statement","id":"Q4564162$44CADD14-AB8B-4AC9-B96F-042AB76DF268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abb5d946eeb7666899d59e8ad2c5c9e685605871","datavalue":{"value":"W2121908619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564162$AE892967-6BEE-4DE8-99D6-0BC89A384FFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7ff4474bcac0fcc680c87ac49ec5f8e12e5838","datavalue":{"value":{"entity-type":"item","numeric-id":5479162,"id":"Q5479162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce38ae23828761f245217b3eda179f0a9bb7990a","datavalue":{"value":{"amount":"+0.9762751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$667628B2-F3FC-4A9F-9818-2D606614E1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eb611003393c1dc0205556b91d6c0ac6c96c45","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d4fe1dabf4263fe9105245c1f3a595b9d30b2a","datavalue":{"value":{"amount":"+0.9271315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$D9AC993E-89EF-40A6-A075-172F873C4978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e61f424e98c0fa4b18ca991a4993a14787a86","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d4fe1dabf4263fe9105245c1f3a595b9d30b2a","datavalue":{"value":{"amount":"+0.9271315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$F9E08D31-3D13-4B12-B4E2-B083BE888451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0f68188bcd501061d0fa1ab7c48e11db3eddc","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594555f9a2f4bf99797bd4de5b11e070a82db3b5","datavalue":{"value":{"amount":"+0.9232217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$BFAD3334-7133-458F-AAD1-B13BD5D7F4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6548b02881863d94a9c89cfb407b59322823e2","datavalue":{"value":{"entity-type":"item","numeric-id":4551641,"id":"Q4551641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aaf81f402c805c4672af2a9a2fe9defac61396e","datavalue":{"value":{"amount":"+0.9190874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$FA5010B5-0729-489C-BAB9-41F6543DA0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b21ab827896b659800c43068e1a5b5265e7643","datavalue":{"value":{"entity-type":"item","numeric-id":5423879,"id":"Q5423879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0f8557398fa2553283ae09136e744b49954acc","datavalue":{"value":{"amount":"+0.9185686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$D308A271-4C7D-4083-900F-53398A176CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390c13a99027b3cf7fab92ce11cf17bf4d8f8a97","datavalue":{"value":{"entity-type":"item","numeric-id":3145286,"id":"Q3145286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8e21156c1ff8d345920fbf9fa0c02c7dd66711","datavalue":{"value":{"amount":"+0.91368544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$FFAE3060-A02A-469F-BCED-06CD58F71539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ed160aff66129e16b7e91ba763dfed55697a16","datavalue":{"value":{"entity-type":"item","numeric-id":3550617,"id":"Q3550617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90e943b71865033372c4681958da478b5c9619c","datavalue":{"value":{"amount":"+0.911314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4564162$E98B41D9-3546-4A60-82D0-ABF7B4262C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4564162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4564162"}}}}}