{"entities":{"Q1433150":{"pageid":1443890,"ns":120,"title":"Item:Q1433150","lastrevid":68691552,"modified":"2026-04-13T01:28:00Z","type":"item","id":"Q1433150","labels":{"en":{"language":"en","value":"Solving large interval availability models using a model transformation approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2075486"}},"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":"Q1433150$F7C05B88-44E3-40EE-B2F8-C09572C2FF9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2d08eee9d9abcfb2088b0937a6461b27ce6da27","datavalue":{"value":{"text":"Solving large interval availability models using a model transformation approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1433150$6A5A62AA-E76E-4FF1-98C1-1C18D979C100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71cad1e396769bcda9e14f807be317a8977e26a1","datavalue":{"value":"1044.60085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433150$E08FCB44-CA4B-4CDE-B7E0-4AFB8AE422BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f911e8047efe30959b6f7f204f7cbae548f02043","datavalue":{"value":"10.1016/S0305-0548(03)00036-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433150$D205CFBD-FCC1-40B8-94ED-7373D95FA7ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e630590c5ca6e787c3c7b5e291898405495fea2b","datavalue":{"value":{"entity-type":"item","numeric-id":162215,"id":"Q162215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$E8152888-270B-4136-8101-C0CD02449A3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d34e2df5b12c6c5760576bc7d7c130cf71c0b6f","datavalue":{"value":{"time":"+2004-06-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":"Q1433150$98F6990D-D989-4E91-A7A6-751FE2560C94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"061f0244f83f3c69178d9410f0218e8ea05dcc3f","datavalue":{"value":"Fault-tolerant systems are often modeled using continuous time Markov chains. Computation of the distribution of the interval availability, i.e. of the distribution of the fraction of time in a time interval in which the system is operational, of a fault-tolerant system modeled by a continuous time Markov chain, is an important problem which has received attention recently. The author develops a new method to compute the distribution of the interval availability which, for large enough models and large enough time intervals, is significantly faster than previous methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433150$24BCAD63-8E98-480F-ADB1-5FCD5717880A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8488bae0e70b66574d93dcdd9d355b6e4db8969e","datavalue":{"value":"60K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433150$165067C9-3A34-4583-A7F0-EF93C3D85D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433150$9526169F-569C-4177-BA98-380C162F28AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433150$5F4629B0-F97D-4DD0-ADC1-DB92059E24F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6304e510eb6611a5aa638f1ae2daa082025de82","datavalue":{"value":"2075486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433150$4E20D082-1650-4BEC-BA79-76C8E1CC673B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30d11a46e887f79037caa16edbfee1e78832024","datavalue":{"value":"fault-tolerant computer systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433150$049E381D-801C-44A7-BBB9-749931538970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b891168acb9b4cc2ee25197f75c36b298604dc16","datavalue":{"value":"continuous time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433150$702692E5-5EDA-4B9C-AC27-18F004B5B232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de0610bd732d914c7b05bcff73172d4ced6d124","datavalue":{"value":"interval availability distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433150$01C9A0D1-8600-4D1E-86C8-E1A012737E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574e227dcc908033533aea0ceec697f16797a601","datavalue":{"value":"Randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433150$3DD98BD0-A0D5-490C-815B-8D72C70BD7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1908a70366c0a88bd57e06c7d00309701997c2d","datavalue":{"value":"Model transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433150$CE3552D1-375E-4B06-9332-A03E3A0261C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3365c269d041e89354e990630cdd6c8de36c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1737141,"id":"Q1737141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$9A657CA3-EFBE-4E56-BCB4-4C06ADA13D29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39eb4eae307aac2b1293a9fe0e121a5d7065d89d","datavalue":{"value":{"entity-type":"item","numeric-id":163554,"id":"Q163554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$6E29BD75-ECC4-469E-A012-8DAD4B4AA8D6","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":"Q1433150$2F410A8B-0973-49A4-9DB0-3C39AA5180A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7062c35d939dfac1ba6b5d596e916973b2a11017","datavalue":{"value":{"entity-type":"item","numeric-id":3279649,"id":"Q3279649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$202D0E81-31F2-4548-8E69-F5227A7C6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44968ee4212527d31db6eea38465b9e8453a5a44","datavalue":{"value":{"entity-type":"item","numeric-id":3218851,"id":"Q3218851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$3EC69D71-1B5D-420E-8330-CA75B6533DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8270b4c6ab82159caf6aae85d52f8614297eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4004645,"id":"Q4004645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$F27F3CC7-3AF8-4260-B57A-FD104C9ECE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b720c3876497e7d4e7c591d3eb898a68a40a37c4","datavalue":{"value":{"entity-type":"item","numeric-id":4419644,"id":"Q4419644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$80A1FBCA-B16F-4A32-834E-0F3A95DB8E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796a3d7b053b3164a11fbe74ddec5e54f629bbc8","datavalue":{"value":{"entity-type":"item","numeric-id":3201216,"id":"Q3201216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$8D7FF660-66C6-4FDB-92C6-CE9C35EA1DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2b66261d6633c12f70d381cd1150bd454ea5f","datavalue":{"value":{"entity-type":"item","numeric-id":4526206,"id":"Q4526206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$BF3606A0-F426-4F6B-94E6-1C7C0B8AEFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65ad8865dd5774c83e1b8cb411f600e4e3751fe","datavalue":{"value":{"entity-type":"item","numeric-id":5691143,"id":"Q5691143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$06F1FD04-74B6-472D-A89B-707F5385919C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82216c069c0d4e92b398f0b1f2381174e692ded","datavalue":{"value":{"entity-type":"item","numeric-id":4109064,"id":"Q4109064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$149D4EE6-60A5-48A2-8036-DB0460520229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50c4a410e8ac05da1fa11e4f0a6964befc51dd1","datavalue":{"value":{"entity-type":"item","numeric-id":4727390,"id":"Q4727390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$F0136637-69B5-4684-876A-D03BD66688AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9d4bef600de63820f7174f919da70ecf6895bf","datavalue":{"value":{"entity-type":"item","numeric-id":3923308,"id":"Q3923308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$A7209DE5-4D07-420B-A6D7-B09CF38BC286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4584efbf93395bacf25006c8c3b126c52ea717cd","datavalue":{"value":{"entity-type":"item","numeric-id":4306254,"id":"Q4306254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$4E73F31D-F52D-4360-A440-C5556CE34C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7375eb3fb16e53fc324a206ccc762e44b4aa93","datavalue":{"value":{"entity-type":"item","numeric-id":5342712,"id":"Q5342712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$1B847B3B-8D96-4BC3-A4B5-CBFB8CCC7F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87da9c33fa42430cf65c460cca1f73025c9145d","datavalue":{"value":{"entity-type":"item","numeric-id":4331783,"id":"Q4331783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$37BD0EBE-D4F1-4B73-B80D-24E138F71F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2721c702dd018b6c82dceadd8f3e8916a3a56b42","datavalue":{"value":{"entity-type":"item","numeric-id":1157624,"id":"Q1157624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433150$5C46AF88-250C-46F2-9B4E-B0CCF3F43645","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5c3845b446bb9a0cf0560ab8ad73afb501e659","datavalue":{"value":{"entity-type":"item","numeric-id":2899119,"id":"Q2899119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010f050a2fea7805de0cd2223952ccecce9d88b5","datavalue":{"value":{"amount":"+0.9072145223617554","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":"Q1433150$17945724-3970-41E2-8710-C44306E16FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0fef292885fcdc2dfff1928e3fabb375fbe401","datavalue":{"value":{"entity-type":"item","numeric-id":4419644,"id":"Q4419644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0ae83f11a5424b003ba41ed6aeaee7aa06dd45","datavalue":{"value":{"amount":"+0.8185485005378723","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":"Q1433150$12064110-22DB-4048-9BBE-F31AFB1A719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76704424ac4c948a6693d2acce1ef97bbd8b4778","datavalue":{"value":{"entity-type":"item","numeric-id":4004645,"id":"Q4004645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40865c7f5af156cb11aee6b2ebdda44f0fa6140f","datavalue":{"value":{"amount":"+0.795680582523346","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":"Q1433150$4F71C9E0-C02D-44F6-A51E-D16F748DB9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3b03bd588df488e40784922127b6f1cad1e26","datavalue":{"value":{"entity-type":"item","numeric-id":5697370,"id":"Q5697370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99ff269227aa678997b53d9dcc1cd0b12ffc8a1","datavalue":{"value":{"amount":"+0.781356692314148","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":"Q1433150$B70154AC-2E83-4A8C-BFC4-8ADEB00F9305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a07115afb7f4d2ed62a70e81d1f532950b7342","datavalue":{"value":{"entity-type":"item","numeric-id":4310840,"id":"Q4310840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d317c3a2ea0ec02906247cef8df080f5ef2a8d4e","datavalue":{"value":{"amount":"+0.7778207659721375","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":"Q1433150$40F12A3A-B8FC-4DA7-8BE1-6E9B2794A6DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving large interval availability models using a model transformation approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_large_interval_availability_models_using_a_model_transformation_approach"}}}}}