{"entities":{"Q4004639":{"pageid":6034459,"ns":120,"title":"Item:Q4004639","lastrevid":55168336,"modified":"2026-02-04T08:42:15Z","type":"item","id":"Q4004639","labels":{"en":{"language":"en","value":"Performability analysis of computer systems: from model specification to solution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 57671"}},"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":"Q4004639$9AFA9F3F-A612-45D5-8684-BA91AA2D4AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eedcde9229dd9bbf957b77153c4bb9c8ffa7399","datavalue":{"value":{"text":"Performability analysis of computer systems: from model specification to solution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4004639$ADEADD2D-8073-4B25-BC15-5A03AC8CBB16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df5c3a7c77360f6a6e994224ec22839271a74437","datavalue":{"value":"0753.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$0B004499-F114-46B1-A6E8-681FED102CD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f78b06e5339cebf4198be028334732b5f146522","datavalue":{"value":"10.1016/0166-5316(92)90003-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$D26BF379-FE81-4B61-991B-D2F3B04679F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3e0644b066556fc75d40d09f066036f45e7e6e9","datavalue":{"value":{"entity-type":"item","numeric-id":1177081,"id":"Q1177081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4004639$03801D5F-4F7F-49F1-A1DF-8A765DB2300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41fceed1cc8952690ddbad5f80cadd20b08b73c7","datavalue":{"value":{"entity-type":"item","numeric-id":1915944,"id":"Q1915944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4004639$177E928F-6934-4D38-B561-88CC62896CCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"862a6328d727b727f6bd3f8ba56f7baf5b425e3e","datavalue":{"value":{"entity-type":"item","numeric-id":88129,"id":"Q88129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4004639$0287DFD2-1C5A-4A9A-97EE-8C3A067C45B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4004639$824DE4B3-A52F-4BA0-93EE-D20E14D3B2C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$DD5819D1-71B2-46C3-90CB-021A90075728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$706D95F6-4149-4B86-B1F2-AA7193D63A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$C47C955B-285E-4199-A627-E7A53A0E07C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c4048aa565ff5bc0fb785289d76a3cea432032","datavalue":{"value":"60K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$2374D43E-6047-45C3-A219-9B281FC640FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cdd675aab8c38ce7fc378e4be9edf704a79c503","datavalue":{"value":"57671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$F4D9604A-BEE4-4519-A012-C924C83921BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a50df0915b9d7b5b6a337891a9187067dec9db9","datavalue":{"value":"availability bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$AE6264DD-7BE3-4686-8AF6-14FF5B313714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba258db08cc1eae4ea960e129137490b63e9751","datavalue":{"value":"dependability tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$7E4A0334-8B04-4B34-8E4D-770C0B13FE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93644ea39321376c416ce27d1ccef173ab08ea40","datavalue":{"value":"Markov reward models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$0DE98BE1-CFC6-47FB-B9DB-8F6E420E6057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19b7b1e54bea4053cb3f3e280f9281196c3d438","datavalue":{"value":"randomization technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$65E8A619-2F72-4B5D-98AD-CC0F09A4814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$3A413371-8F98-4EA9-B3B8-780D6C000F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65536d0dca1ed0ef7992144136d4b7c24c1f4ec3","datavalue":{"value":"transient analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$D849398D-7B1D-4C35-8B7D-B94FB70B6C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1182631142412499643738afe82e0048be7b105e","datavalue":{"value":"uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$B826F271-43C1-4BE6-A090-4FA5EAA9DA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004639$007A6BDF-5389-4108-8E1F-13367AA3ABA3","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":"Q4004639$A9949650-6CCF-49A2-81BC-7C61AD02F1FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19177d2012c839aaab66918c4d4931eb616c3fdf","datavalue":{"value":"https://doi.org/10.1016/0166-5316(92)90003-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q4004639$55FEBD99-A165-4B1E-BF0C-A2A76F4658F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d10e15a62ac8cf33dc305d2b51abc3b0b472c88","datavalue":{"value":"W2048782993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004639$DD4387AE-65EA-4C3F-A143-5A8B7654CE67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f4f696a2152be24feaad5e094e39488e32b04","datavalue":{"value":{"entity-type":"item","numeric-id":968359,"id":"Q968359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8242444b7b1ceddbb9ae61123e562e309ead346f","datavalue":{"value":{"amount":"+0.7919734120368958","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":"Q4004639$7765BB3B-C62A-42B0-8847-ACDC66DDA2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecef5ee83cbce74e1f9f917e49a4076e27d03b54","datavalue":{"value":{"entity-type":"item","numeric-id":1570144,"id":"Q1570144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b9d999449a4f76e415e98c43369b7f2646baf2","datavalue":{"value":{"amount":"+0.7843969464302063","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":"Q4004639$6957147B-27D5-41B6-8C8D-609FDDFC0742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6a829db803dfd711174a2feb5eb77a544ba268","datavalue":{"value":{"entity-type":"item","numeric-id":1608441,"id":"Q1608441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf43ee3617d7b136cbb2b3e867cd5c3e8b60d51","datavalue":{"value":{"amount":"+0.7820495963096619","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":"Q4004639$33CB50B2-C77C-4270-A1B7-F682CD3E0684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c15a378f8afa1420456e38c34f9f30d4625250","datavalue":{"value":{"entity-type":"item","numeric-id":4725706,"id":"Q4725706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79aec6fc533a8af4c61c0b6423c6e00ec3308b0b","datavalue":{"value":{"amount":"+0.7748908996582031","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":"Q4004639$BF3F393B-A8FA-423F-BA60-C095286F94E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75c9a0b9b45d412527fcea2def937a510cfd0a7","datavalue":{"value":{"entity-type":"item","numeric-id":1767913,"id":"Q1767913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060ea77b7c0b582a03d1390e477ff64a36cc1540","datavalue":{"value":{"amount":"+0.7715403437614441","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":"Q4004639$8B8CF69B-6836-49D7-8B02-8C45F77AAB33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4004639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4004639"}}}}}