{"entities":{"Q4989710":{"pageid":7019287,"ns":120,"title":"Item:Q4989710","lastrevid":54006188,"modified":"2026-01-26T01:55:58Z","type":"item","id":"Q4989710","labels":{"en":{"language":"en","value":"Formalizing monitoring processes for large-scale distributed systems using abstract state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351241"}},"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":"Q4989710$B1FEC0C8-3AD7-4437-BD5B-2697ACAB14CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af956ff53a2881318cad8bfed0e96cc83a87687","datavalue":{"value":{"text":"Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989710$63C4CAB6-2FE5-4288-AFCB-EC2C12E9DA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7010ff0d4cb4194e8b23b3a8e10aca16b749e424","datavalue":{"value":"1461.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$9CD7D62C-6BEC-4962-8F35-71B116CC885B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7acf7149036b001665e83655ebedba97c9b8e04c","datavalue":{"value":"10.1007/978-3-319-74781-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$91655163-93A3-457C-BBF1-6BB45340C829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6121c49d7d2effdd5a009fdf65f065581883e40e","datavalue":{"value":{"entity-type":"item","numeric-id":4989708,"id":"Q4989708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989710$373793A0-A913-4C33-AEF7-870E271C6DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9806c11f1281881aca2fc6e480a19b228f715520","datavalue":{"value":{"entity-type":"item","numeric-id":4989709,"id":"Q4989709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989710$40D73173-868B-432C-9B86-573D2F056B76","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":"Q4989710$55B57429-B187-499F-8F8B-92940DE14840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989710$4383C80D-329B-4616-BE80-791BC4EB9B50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$6EB54BE4-8A59-4344-98A0-AE42CA22E09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$58B031D2-4BE1-44D6-BDE4-5D083ED14D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$A71DB80B-2BD7-4E10-8C5E-A9E824C2A9DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a73cd807e5d045b7a5bed18e4964f2dda81da640","datavalue":{"value":"7351241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$9B678F64-FBA4-47B5-9046-13054A551B12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989710$D4B0A607-371C-40DB-A7F1-9F608A4663ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989710$D298CF8D-3657-4F8A-9C1D-A496EAC070FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989710$2905A76A-19BA-440E-A848-F26544F5E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c241be65775390ceb72de9ed1d727a60ec79a9c","datavalue":{"value":"failure detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989710$394F30FA-4EF8-4AB9-A14B-14A2CD182A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c015507adef42bd1e2569c318a43e79afa59616","datavalue":{"value":"model validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989710$FBBB555A-122F-41E6-91C6-1C4C675AB765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989710$5B92BD0A-758F-410F-9B03-B353E62BCF88","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":"Q4989710$3C5C56F5-6E1B-4787-B061-DBE1980D000A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f7766d3c04b318b6e232fe743b70a7bc06abc38","datavalue":{"value":"https://doi.org/10.1007/978-3-319-74781-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989710$3E31F96A-EA35-45E0-AD58-2B31EB8376CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"971e1d54da3e527200247ea874c46848c37b2142","datavalue":{"value":"W2786777509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989710$0BFDAA3E-354D-4DF9-8814-0954E9A940EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96194d60786a33b882c3d9c8d65db8d271254970","datavalue":{"value":{"entity-type":"item","numeric-id":1857182,"id":"Q1857182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f219c1f2c67fb14ef75a10f88f0cf72eba81de","datavalue":{"value":{"amount":"+0.6576241850852966","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":"Q4989710$0DBF763F-473F-4CE1-AEAF-355CEDCE0D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b4b0009e3c89316990532400a82a2d8ecddcd3","datavalue":{"value":{"entity-type":"item","numeric-id":3068226,"id":"Q3068226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132a0f52e683ceea7f7bf57ff25be04df10de4f7","datavalue":{"value":{"amount":"+0.654594898223877","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":"Q4989710$D8282B8C-3297-4276-BCD8-4A1627EC6629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e519e867eaf70ad97ea05df5060ecc9cdf8dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2915018,"id":"Q2915018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cef1583aad3f01971ae7645e57f6dfe670405c7","datavalue":{"value":{"amount":"+0.6475627422332764","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":"Q4989710$49ED6F00-BB91-4DB2-A249-9015143A6B76","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":"a3cd516933c74e1f3c9743908fe12a2c1dd8f268","datavalue":{"value":{"amount":"+0.637782633304596","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":"Q4989710$16AE8F8E-9CDD-4118-ADE3-33F6A514AB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abaf558b7519f42604ef5fe9f237c1f52fa5068","datavalue":{"value":{"entity-type":"item","numeric-id":4823969,"id":"Q4823969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbabffff30e779f03cddd7064084eb81779c355","datavalue":{"value":{"amount":"+0.6302242279052734","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":"Q4989710$D4913914-27FB-41A1-A13F-7E77B47E08AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989710"}}}}}