{"entities":{"Q3095236":{"pageid":3105951,"ns":120,"title":"Item:Q3095236","lastrevid":51357287,"modified":"2026-01-17T22:05:49Z","type":"item","id":"Q3095236","labels":{"en":{"language":"en","value":"dCTL: a branching time temporal logic for fault-tolerant system verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5965354"}},"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":"Q3095236$A8600690-B27D-49AB-9527-8D8582586E0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef1a22c4f529883c5daad4f45bf14a5dac5e1734","datavalue":{"value":{"text":"dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3095236$9C8BFF99-C2AD-479E-968E-056DD3EE9D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10161c5cdcf47fb609c08bea9b70dc831b855999","datavalue":{"value":"1350.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095236$C7323DA7-497B-4484-AB50-FE3FCB9A9734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d767f9fab04d0a61f43f3d1d3287e1efa28a88d8","datavalue":{"value":"10.1007/978-3-642-24690-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095236$56D18495-10AF-4944-8F8D-0BE37DF5B616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$327D0539-1597-4952-8D61-A02693F33658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"528d9c27031cd74c75afc771988e1401cf926ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2954996,"id":"Q2954996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$0206F38F-90B6-434D-9A99-79D54D46B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f92025fcef1c1d5cd7823e6c1f2a613f8051a156","datavalue":{"value":{"entity-type":"item","numeric-id":3095235,"id":"Q3095235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$DBA9E775-BBF3-462E-90CC-1160E7A2883D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e2ff6960fc1a368be50c0bbe7a73042d86b6f9","datavalue":{"value":{"entity-type":"item","numeric-id":903493,"id":"Q903493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$CFCF040F-77D4-4D2D-A75E-EED5F96F16C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$C7B5FD70-C1FE-4186-B708-17BD1E4C143C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2900c2786b097edbfba1608d72278b11f29ad22b","datavalue":{"value":{"time":"+2011-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3095236$A15F766E-C189-4652-90F7-270A42A8570B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095236$968CEC64-0E8A-422A-831E-0C2A39CED5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095236$9D8D37C7-4EEF-44A1-9FD6-8CEEB60DCFCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e4a04e317b37c8b5857a711515e582a113a14fc","datavalue":{"value":"5965354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095236$A96FC046-0A7A-47AD-8F10-C3B42D6C8EE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095236$50785676-0965-4D83-A7A9-35BC88617AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095236$F1D270D8-EAAF-4542-A621-39E64C693D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095236$24C49519-4E65-45F0-850E-941E7AB27583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095236$0F099BB5-B1B8-4F09-B622-B07AA4E80664","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":"Q3095236$048A604D-4A25-44CB-81B2-756E53EA152E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10ed85d800feaa4c1635ce7e5da76655757affd4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24690-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3095236$D208A866-F4AD-4668-8267-C2996C632D18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4765d99533e489dc70a2467ae4bf6f24a082c0b3","datavalue":{"value":"W26992193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095236$34A7BDEB-3058-4A61-A105-57243737773C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$8AF4545D-B911-4588-9EEB-E9A9AD3FC2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11039108a3bc0c7fffc97304db9d5fed280c1c69","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$EC13E5FA-EF55-4262-9C8A-B494FF9F11D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$3B290013-FFE9-4BAC-B54A-7BAD41FB60E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$8BBD2F05-32D4-430F-BA45-8FF483C95B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d9249b32a2849505123848719bc484e21b9522","datavalue":{"value":{"entity-type":"item","numeric-id":3525010,"id":"Q3525010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$6E16BAA1-9237-4798-86BF-29E8BCD7B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1862e5d99202afc8bdea46c8902beecc65a44b11","datavalue":{"value":{"entity-type":"item","numeric-id":2849551,"id":"Q2849551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095236$F141A925-9507-473A-8BFD-44D74ECE80B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeca867281c815cfb427f38f0ce7ba64fb6d09d4","datavalue":{"value":{"entity-type":"item","numeric-id":5200475,"id":"Q5200475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7881d2223a9846b5ab56112686ca12d2be4cd96","datavalue":{"value":{"amount":"+0.7798844575881958","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":"Q3095236$A7AF8D23-31D8-40F1-81C1-C4CEA876E761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0e7989e440cde595e30a5014c8627cb01c6acf","datavalue":{"value":{"entity-type":"item","numeric-id":5166687,"id":"Q5166687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412669ab37ee47454a718f27b7a612087e5e3a14","datavalue":{"value":{"amount":"+0.7767934203147888","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":"Q3095236$9E9C245B-3F42-41FB-906A-E75E29066A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e6df00b16722b3024dcb03b1dac4c247af7351","datavalue":{"value":{"entity-type":"item","numeric-id":3525010,"id":"Q3525010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d137faa6041c78ce4c6f4d292be4cd513f00ae62","datavalue":{"value":{"amount":"+0.7712721228599548","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":"Q3095236$E79C60DB-7240-4B19-BBB4-8ED2345512DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840413a97a81c5aae3b4b290eef25c08019e7976","datavalue":{"value":{"entity-type":"item","numeric-id":2730080,"id":"Q2730080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af3832523ae3aaa0d10dea3c1e87d0133d69570","datavalue":{"value":{"amount":"+0.7586724162101746","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":"Q3095236$E6687D4A-7461-49C6-ACDC-5B1FA2F73351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17aaadefe6ce9e2d7607ea9c0e82c4041eb69c4","datavalue":{"value":{"entity-type":"item","numeric-id":3623815,"id":"Q3623815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60f8273797185fd3c424a42c26c4ee3aa074c94","datavalue":{"value":{"amount":"+0.7582472562789917","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":"Q3095236$748B995A-72F1-4BE0-8D95-AE588CFAFFCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3095236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3095236"}}}}}