{"entities":{"Q5889779":{"pageid":7919329,"ns":120,"title":"Item:Q5889779","lastrevid":55851757,"modified":"2026-02-20T12:25:25Z","type":"item","id":"Q5889779","labels":{"en":{"language":"en","value":"Decentralized Asynchronous Crash-resilient Runtime Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7679902"}},"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":"Q5889779$A04BB891-B828-4376-BC92-4F46064BE34C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de61f5d571b636b2e2d7cd44991bc519a0490c9a","datavalue":{"value":{"text":"Decentralized Asynchronous Crash-resilient Runtime Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889779$CFE7CC3A-A54C-46EC-9700-64CFDD76F8B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"523057541619e87a369193d9e78811277d019158","datavalue":{"value":"10.1145/3550483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889779$EC2ABA78-4E54-4497-8A02-35AF1CCAD5B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889779$406E1F04-49B5-493A-B149-5440AE601D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca5d85a7bde5d6eca1e6ba9ed6a1e788f5e7b93e","datavalue":{"value":{"entity-type":"item","numeric-id":289904,"id":"Q289904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889779$0B542B22-A7E3-4A4D-B572-397237D6A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64b2bd16e7c785c66978ce09fa3ea0ece48a6536","datavalue":{"value":{"entity-type":"item","numeric-id":360276,"id":"Q360276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889779$58890CAC-EE16-441D-A6D8-949182F93073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3099020c37a0c5db3099732ecbeb26ac3d50eaea","datavalue":{"value":{"entity-type":"item","numeric-id":406209,"id":"Q406209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889779$06390E8B-CF0C-4780-B83B-C40CF27A380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eadb6e1602e42d7a8e0ba3d7db905a25870bf7bd","datavalue":{"value":{"entity-type":"item","numeric-id":324627,"id":"Q324627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889779$F1681C0A-7A7E-4190-AB0B-6C5CC9C9CF71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889779$3287D7C5-2681-4563-97DD-F74A44B0954C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889779$F91D92B7-7647-47B1-9DC6-2FAB407A24AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889779$6FA74991-B4C9-4FA7-BBFE-E649F4B1154B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b6414689089f2fecfbfa28c8281b7cf931a0aaa","datavalue":{"value":"7679902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889779$A6F107D4-6F9A-4E02-BEDA-256C2C0AE051","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$503B6141-0A90-42B2-8A10-6B2100081E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$2F3C05D7-4205-4539-AA11-13FEE80D3B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3a76b94271a0ec178ebecb25dd30041706e620","datavalue":{"value":"fault-tolerant verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$E3112D9A-17B9-4A0C-BF80-156D34C17835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"254589e6c85e7e8f77c41e5fe1eacc3f1b596d7c","datavalue":{"value":"wait-free tasks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$4C4ED9F6-8701-4091-97DA-2FD612F90E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d167fcc30719ca53025c5c3c879cdc63460ee67","datavalue":{"value":"distributed monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$558DC6AB-55D0-471F-A029-1F9CEDF0E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$2ADD5C82-3491-48CB-835F-AEBF38724740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$7222A170-64FB-4E2A-8007-6D92122E3637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84893e36c753d19c100f5cc3d6a81cac047dd6f3","datavalue":{"value":"linear-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889779$FCEF88BF-488C-4AAE-ADB0-BF1A1C18C5CD","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":"Q5889779$3D4F19AF-7FD4-472C-AE94-0319608A9F43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c17e09f0fc530401f16d3cdb0e228f91477db843","datavalue":{"value":"https://doi.org/10.1145/3550483","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889779$C1F2FBEC-281F-4599-9CDE-2CE8A40EBAB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa7b78bdec3366fac7aae8486b38d8df82638bb5","datavalue":{"value":"W4297830930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889779$26B3E139-6FEA-4B86-86F3-EB733FBB1562","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cf2c5c7994257607f3be936d77c156fde05f58","datavalue":{"value":{"entity-type":"item","numeric-id":4608668,"id":"Q4608668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429c04591aaf2da6c39ad3d4137fa71781852963","datavalue":{"value":{"amount":"+0.956923246383667","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":"Q5889779$5DCB14D6-AA1D-4748-8327-92C1FBBD5964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6f83773a1d1f510fdc78e832bafde61fd6fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6345e325eef3a22c5cfcb39d2b7b088a87dc924a","datavalue":{"value":{"amount":"+0.8125051259994507","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":"Q5889779$ECB682C3-B2BD-4521-9E21-5F0698C32D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1d18390677f29c1d47fbcd883a80461523f948","datavalue":{"value":{"amount":"+0.8094565272331238","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":"Q5889779$3720FD71-0D88-4B9C-8610-54457F41D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25470b5abd2da2f6c85d60e907c9bbfbeec39d4a","datavalue":{"value":{"entity-type":"item","numeric-id":6661752,"id":"Q6661752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4250e89184c5e8c84997ae1da23a781d9b1b130","datavalue":{"value":{"amount":"+0.8041306734085083","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":"Q5889779$4ADFB207-7631-4014-9444-0E286F33FF69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5889779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5889779"}}}}}