{"entities":{"Q5971098":{"pageid":8147894,"ns":120,"title":"Item:Q5971098","lastrevid":52306397,"modified":"2026-01-21T09:57:29Z","type":"item","id":"Q5971098","labels":{"en":{"language":"en","value":"Designing reliable distributed systems. \nA formal methods approach based on executable modeling in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458992"}},"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":"Q5971098$104BAB7C-1FEF-4AF1-AA10-186CDF02AC6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c599d080ade8c8fc5ce58306f40eb33c2fb8b23c","datavalue":{"value":{"text":"Designing reliable distributed systems.  A formal methods approach based on executable modeling in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971098$4693ED5C-F916-4AB2-A884-C87D77E0DE1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585978bb2392331d833d80c30e1b5df812eb7cc9","datavalue":{"value":"1400.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$EE64510F-BF6C-45EB-8110-11A620C2DE65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7466a564236d27764f13602bc020e318d7e68062","datavalue":{"value":"10.1007/978-1-4471-6687-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$D61FE25B-3429-4C09-8FFE-ED33405F5A3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$884609C1-24D4-4B9A-829E-3D597147DC89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2df447ef05106ab8f26cea9fda71b2b40c740db","datavalue":{"value":{"entity-type":"item","numeric-id":355065,"id":"Q355065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$655319AA-DCB9-420E-931C-F7120BA0BF8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5971098$9D7D4926-73FB-4565-A607-BBF38A2BBB5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$668A6826-61D1-4A62-9E56-D01ED066A1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$9E083E4B-29B6-4269-870D-29CD859F80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$9D542B76-A8EA-4460-863D-6E8BE9547D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$5E65119E-B9ED-48CE-ABC1-FF086E210670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$407AD4C0-6997-4C04-ABD4-E1679CCF822F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03dd4e87dfd1b0941c792e4e2854ba7790a78c87","datavalue":{"value":"6458992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$9EE294C5-70DE-4931-A215-1EEDAA19B1F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$CF6DAF26-7152-4E12-B57E-4EE0B6FD8A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2fc64fffeaea70a069713ebb8f2a7eb573aca821","datavalue":{"value":{"entity-type":"item","numeric-id":21450,"id":"Q21450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$0DCE5C3D-114D-432F-B8F8-0742555ABF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$D1C7F28E-022D-402F-8942-5A5E1ED73790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$A6A1DC67-7D6E-4DB2-B0D4-E98281262E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63670ec9990cae130bf497257dda369111539e56","datavalue":{"value":{"entity-type":"item","numeric-id":20432,"id":"Q20432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971098$D5D2C8E5-142F-4311-A9FF-693122ACB848","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":"Q5971098$6534BEE6-D48D-4375-B8B9-17DAB8DBCF61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea07f33ee6f57a4258a1f6958c7c72310c07f590","datavalue":{"value":"https://doi.org/10.1007/978-1-4471-6687-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971098$A31584CC-1B57-4FDD-BC7C-5612FFDF9B5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27713e4378a7401b25b24398d4a4742b729c807b","datavalue":{"value":"W2792669134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971098$8144D3FB-B54D-4D28-B8BD-3C611E509E38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511e6d0fe3b8b98178cd19ab3e9f3fd89dac6581","datavalue":{"value":{"entity-type":"item","numeric-id":2382306,"id":"Q2382306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5eb239f3e2e8e0c4e6579146fe3236fb76571b","datavalue":{"value":{"amount":"+0.7883560061454773","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":"Q5971098$E4769DB9-83E8-4011-AF6C-EF3596163E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27ea8900b9b1a261ae3e9ecfe2ba733b953d7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022c108ff39dd66424e9be33aaf9b63ecd810617","datavalue":{"value":{"amount":"+0.7730842232704163","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":"Q5971098$A116A8F6-28F2-45C5-8FC1-B63CFC956BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd5aeadf708d93b3ab8cd27b7e03e1f67271200","datavalue":{"value":{"entity-type":"item","numeric-id":1066659,"id":"Q1066659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe520f832c434c5a7a81d2038d863d5535bc572f","datavalue":{"value":{"amount":"+0.7606545686721802","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":"Q5971098$621FE0C0-BCE4-4408-A412-C9A209A56482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b69fa17bd5cf34aa9dea908ada4c12a3d339ca","datavalue":{"value":{"entity-type":"item","numeric-id":2907557,"id":"Q2907557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562d85e735bdfbc0cbb312576734a305f4f616cc","datavalue":{"value":{"amount":"+0.7578163743019104","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":"Q5971098$D0283CCA-348D-4CCA-AEE4-756718EBC85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c1cca1ace58a38771fb31fe363f9e8523fdd4b","datavalue":{"value":{"amount":"+0.7500100135803223","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":"Q5971098$6048377A-F5CE-4C2B-A75B-4FCCA5B3824C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5971098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5971098"}}}}}