{"entities":{"Q3613671":{"pageid":5643577,"ns":120,"title":"Item:Q3613671","lastrevid":50604410,"modified":"2026-01-14T13:18:52Z","type":"item","id":"Q3613671","labels":{"en":{"language":"en","value":"Model Checking for a Class of Performance Properties of Fluid Stochastic Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528520"}},"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":"Q3613671$1EA2E36C-CE3E-4E4D-85E0-2DC373097CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1e688667e2fd56df05d62e8b0abac7db6eae73c","datavalue":{"value":{"text":"Model Checking for a Class of Performance Properties of Fluid Stochastic Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613671$16F9A4BA-F88A-4B7F-83F1-0E751F5C8848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26c8bca7fbaf9dbaf79c5e4e355e192b13671ff9","datavalue":{"value":"1185.68409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$85E0595C-ADBF-46C9-8C09-75219A8870B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aee1094cfa7fc70c6fb3e38bbe8e6f55ebeec5ec","datavalue":{"value":"10.1007/11777830_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$06B212AD-7DB0-432D-BC5A-C2AB485FAECD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01aa74abddfff3f081d74df0668e8e5885c8ffc0","datavalue":{"value":{"entity-type":"item","numeric-id":547911,"id":"Q547911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613671$2EAAE725-C468-4C6F-ADF4-F092616C7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c6441b0246ad4eeb0733b413b43956c43705421","datavalue":{"value":{"entity-type":"item","numeric-id":547912,"id":"Q547912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613671$D985B75A-538A-4144-A97C-945592A54EEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a16ca6816fd13e6c0116ff8624ff01ece85c432","datavalue":{"value":{"entity-type":"item","numeric-id":3522084,"id":"Q3522084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613671$641944FE-4C8A-4593-9562-8A0C7C8FF5EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613671$833069CA-FC51-4BAC-A4E4-663EEF3605D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$67F24E27-50C1-4C37-8DF5-E7838DA20186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$23B3F02A-3010-48D8-9104-8A17570DF61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$6BBB82D1-E3C1-4274-919A-23012CB8C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$B19379AD-C636-43C9-B264-AEAB01CD1682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e96aab757eae3d0737f32584f26104c79bd8502","datavalue":{"value":"5528520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$F3F1D3BC-628E-4E10-ABAB-FF5B00892886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92b21b83d73274a7c37098b7349adf7c66bafb4","datavalue":{"value":"fluid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$8105146D-B4DA-485B-AFCF-165A676E679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3564d3be2af9b0957e3da931c7fea2a825624ed1","datavalue":{"value":"performance measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$F50E9EAC-8E7D-428B-B87A-E7AB478B7E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$874B4031-4314-423B-B3D8-DB69F90895DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$FBD7C60B-34D2-48FA-8F23-3A7D87359FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427d3ed79b10968a85fb915f14fb58a72e218c9f","datavalue":{"value":"computer networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$128ABD15-8AD5-415A-BA90-3FDC70B45DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$9443E114-83C4-4B0D-B78C-EA261E0DA353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b956dbfb7a118eab36a9d84411389cc7585533","datavalue":{"value":"capacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613671$15A31916-1C11-406D-8CE7-0C2FDC360832","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":"Q3613671$C78185CD-1F82-4CFB-A64E-DA171E1BFC09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74eae9c7bd802ce0105c6eda9e3bdd916e4b1263","datavalue":{"value":"https://doi.org/10.1007/11777830_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613671$54AE4F86-9405-4E63-B7A2-CD3380AD1439","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff7a4e55c138e5141f6d60fb29c1dd3292b3038d","datavalue":{"value":"W2104204439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613671$A9B4F27C-FB3B-4E0D-AF14-FA28706D8833","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72c55a28878823529b6ea159814c5e2eb6c641","datavalue":{"value":{"entity-type":"item","numeric-id":2848429,"id":"Q2848429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48518dc791370be4de14bd29ab29d3bdb8766b90","datavalue":{"value":{"amount":"+0.8525598049163818","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":"Q3613671$491281A3-B164-4A48-AA0F-97493F888890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a79fda1b04fadbda3344d4cc0dfa1c60f532e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2912688,"id":"Q2912688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf15a25e5c3bfb0d206a9ac6696ed3cc71f5b7a","datavalue":{"value":{"amount":"+0.8202217817306519","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":"Q3613671$994561FA-4982-43CD-9C4C-1211082221E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93b9c60f1f326e00bb98cddcd3749a1747db779","datavalue":{"value":{"entity-type":"item","numeric-id":2979884,"id":"Q2979884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4708a97d5d2d5b07bb55aea0431877fe0472a9","datavalue":{"value":{"amount":"+0.7900485396385193","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":"Q3613671$45199639-ECAA-4930-8BB3-08D0B8BDC53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de463c517d735a8bedff67346d0c11865cd6dd0e","datavalue":{"value":{"entity-type":"item","numeric-id":3084592,"id":"Q3084592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c6768756b85bc9d027c2d2298e3a296c07e869","datavalue":{"value":{"amount":"+0.7750911712646484","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":"Q3613671$971120F7-5E87-47BC-B94C-4C68DA228A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd7bcf4160e4874a87eefd8c489da494216f6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242fa390b79ddc802fa9568b1fdfc53fe7d81f96","datavalue":{"value":{"amount":"+0.7737471461296082","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":"Q3613671$1D2711AD-3011-495B-9AB5-3FC6561E68D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613671"}}}}}