{"entities":{"Q6661752":{"pageid":14272909,"ns":120,"title":"Item:Q6661752","lastrevid":103793543,"modified":"2026-06-06T08:12:13Z","type":"item","id":"Q6661752","labels":{"en":{"language":"en","value":"Runtime verification of partially-synchronous distributed system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965960"}},"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":"Q6661752$3B2BDB07-CDEE-4FD6-8F7A-D68865CDFD72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a54311726aea1d8a033b3b2567b3a9325e2d22e","datavalue":{"value":{"text":"Runtime verification of partially-synchronous distributed system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661752$CA0625F3-14E7-4E53-9807-28A22264F575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86bb3bc8300dc591a02b221633200e84e5034d8d","datavalue":{"value":{"entity-type":"item","numeric-id":6661750,"id":"Q6661750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$1E735A22-45C0-41B1-AA51-568B6B06D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c69f5917b57a90aecf311f50e6c65d1b1b3220","datavalue":{"value":{"entity-type":"item","numeric-id":6661751,"id":"Q6661751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$2C5D8C7B-19BF-455D-B81F-D7B5F8211C2E","rank":"normal"},{"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":"Q6661752$4899459E-128D-4AB3-B21A-CC49AD22E81E","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":"Q6661752$C603E669-5E19-4CDB-AE4B-F31A30EF6F92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661752$306A1E2A-C210-4A4B-8BCD-D5599474C96B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661752$105738CC-C692-4444-87FD-F5EFC8B3F64E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42c4bbd45c3df3868dd49af36987884d09211062","datavalue":{"value":"7965960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661752$E3321FF0-C4C4-4B54-AF9F-09ADD45EBDFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661752$E9B06B9B-D229-4285-B40B-2824D134C77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661752$C42BAAC1-E5B7-473D-A001-4A6AA0406970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041699064e257232dfa745879e8d1649fa7ea2e3","datavalue":{"value":"distributed computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661752$02C12C0E-E04B-4C6D-BBAE-08DF7D61817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb7c370cb4a7b10ee2620e4ebac774290942d30","datavalue":{"value":"partially synchronous","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661752$E11F4A7E-8DE8-4BF4-98AE-CCEDCF03B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7917e24892246a895b3b7c03aeac09c54d77fe77","datavalue":{"value":"Cassandra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661752$90522437-C559-4263-8121-F22EB54F857D","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":"Q6661752$DDCA05F1-13DC-470C-B003-36102CD04899","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f49a4da61891df33090f8ee766d4494bc2cbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3523226,"id":"Q3523226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$E6A701C6-0B14-4365-A042-4EAFC341D185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$714E304F-56BC-4097-B657-EAD1CEB1C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$3E51A863-CB14-4007-892A-7FA2E31196EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4be6b18b199eacb36eb2e05ae61182e2238453","datavalue":{"value":{"entity-type":"item","numeric-id":681471,"id":"Q681471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$C7588186-93F6-44DB-9322-00DF6CBAFC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9caffe1dd928fd694f312104c70411673096b7","datavalue":{"value":{"entity-type":"item","numeric-id":1953245,"id":"Q1953245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$5AC0F350-2A03-42A8-954C-804A071C1D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329c8059db8bd1e21ebb9d086d1c54bd9d519ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4608668,"id":"Q4608668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661752$101F5DC7-0585-4A41-8202-6AE3C7A95ADE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fef3113fdb478db3fdd2abc45028aee1178336f8","datavalue":{"value":"10.1007/S10703-024-00450-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661752$336C837D-7053-4115-9DB0-8987BDB27732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0144c03af0c4a51e1b298e5e92c0f1021e98605","datavalue":{"value":{"entity-type":"item","numeric-id":5889779,"id":"Q5889779"},"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":"Q6661752$5F339F19-A088-485A-9FC8-5C90BFC93E38","rank":"normal"},{"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":"c90eb28d5982cf3da68d356b71a4b4f28ee62967","datavalue":{"value":{"amount":"+0.801080584526062","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":"Q6661752$82209CEB-8A40-46AE-975E-2B8197D29576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd3bbf30be09137a4af2ce28feff9e537b2f311","datavalue":{"value":{"entity-type":"item","numeric-id":5275399,"id":"Q5275399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1e276c620c7d36fa665b4cd2f3833bd9aa2f75","datavalue":{"value":{"amount":"+0.7893465757369995","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":"Q6661752$CC01C9FA-4877-43EF-923E-925F61841510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6af1db9e751f09534cfbab3c46abb8ac4a90df2","datavalue":{"value":{"entity-type":"item","numeric-id":4972169,"id":"Q4972169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49fa0019c14018fc34042307f879a6e663b76728","datavalue":{"value":{"amount":"+0.7616924047470093","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":"Q6661752$0635C17F-5831-4172-99E2-E6D4A495F515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0983029a9cb6051e982017344c1f8afd6d2c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2436454,"id":"Q2436454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1917e1939faf8735d7befd7876f673498d2ec760","datavalue":{"value":{"amount":"+0.7528121471405029","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":"Q6661752$420A60EB-4927-4669-AA2C-311F87DFBCDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime verification of partially-synchronous distributed system","badges":[]}}}}}