{"entities":{"Q3543298":{"pageid":5573202,"ns":120,"title":"Item:Q3543298","lastrevid":49504975,"modified":"2026-01-07T09:10:21Z","type":"item","id":"Q3543298","labels":{"en":{"language":"en","value":"A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376777"}},"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":"Q3543298$1AB28944-5103-49D7-898A-836433D01CAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba5bfcb80f610a87386e587ccd13fb1b470f1c14","datavalue":{"value":{"text":"A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543298$5C4FF7D7-3208-428E-844D-81B78C5C8BC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67b2fd3c546aeadf09fd9c16f9c0760e0d979958","datavalue":{"value":"1171.68554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543298$0B19C48D-B790-44DE-9E1A-95094547CBA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75cecf4cb03651cd5876bdbb8174ef1de24ab309","datavalue":{"value":"10.1007/978-3-540-85778-5_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543298$8EDC0A9C-B822-4186-928C-CC9B2FFAC9D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab59c40aa3f1553c66a6eb09646ad8f5d7173be","datavalue":{"value":{"entity-type":"item","numeric-id":832096,"id":"Q832096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543298$702DC98E-7029-433F-B707-B486FABE1474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2e128d1893afac7ce739c02a6083e5282dc6b0","datavalue":{"value":{"entity-type":"item","numeric-id":686333,"id":"Q686333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543298$57BB8302-14C4-4C29-9BBB-669960EDA741","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543298$C4FB8888-FC0C-412B-A3EF-3E58BF96851B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543298$3FC4C69F-5857-4C44-9496-961C4F5C95B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca5db73b3776b27fcced7fb2c73bd5a7604da6b2","datavalue":{"value":"https://research.utwente.nl/en/publications/a-uniformizationbased-algorithm-for-model-checking-the-csl-until-operator-on-labeled-queueing-networks(44cb2bc9-8b24-429e-af2d-72657d5a5947).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543298$C66DF78C-897B-42EC-961E-EDD866ABA7DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543298$1940A8C6-2590-4B5B-8991-2F50AAC02E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543298$532838B1-E5D0-419A-B643-1467D5B91D8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d073c1253354a1e9b431c00215ed47efba21adde","datavalue":{"value":"5376777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543298$F93F4700-0C6E-4EE4-89D7-E84893F66339","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":"Q3543298$C32231D5-22D0-4057-8E03-9D03C63A4CD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17cb3904cb3e60b3db4582874e2ec5a9240140f2","datavalue":{"value":"W2166844797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543298$67B004B9-B817-4909-A32E-A771298146EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f210dfd1ac354a09db467bd572702f8df4af81","datavalue":{"value":{"entity-type":"item","numeric-id":3077200,"id":"Q3077200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd28175dfdc117b103faf6f145a1327370e46ce0","datavalue":{"value":{"amount":"+0.8330791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$ACE3BD0B-690F-4DB3-8E9A-E015DB23B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdc63878bc81b0f5b97e6d84b7126e41148ec0e","datavalue":{"value":{"entity-type":"item","numeric-id":5505561,"id":"Q5505561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381ba523585dc39c4aaba63b96d14e9c4fc7438d","datavalue":{"value":{"amount":"+0.83239603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$8BADA19C-5152-47FF-8DB3-48E6D29595B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4d00ce4ece5d22bb5b7996b30aa309fa087f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3510851,"id":"Q3510851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c07ac6d08a19d3824a497d769f594797533491","datavalue":{"value":{"amount":"+0.8301765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$6A91B5C5-DE2B-4B2C-A3DE-E586852F5F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45590e7e1c2fde35f1e0d9874e268faa51fa4b25","datavalue":{"value":{"entity-type":"item","numeric-id":4813203,"id":"Q4813203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528e5464ab35a1780da2eace654a9327fb6e11ab","datavalue":{"value":{"amount":"+0.82461935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$049F4658-3052-41A2-BE19-15C9DF1F1646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a719f9181d0c0a0209a3e590013cc8c29da8863","datavalue":{"value":{"entity-type":"item","numeric-id":995462,"id":"Q995462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f8f795bdf4a457f4bda1a3e8f56da67d6c2f29","datavalue":{"value":{"amount":"+0.821484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$3FDE42A2-1B81-410E-AB0C-7490EDBD91B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c75ba3a5eff9f191f8c32af777ffd62693b9850","datavalue":{"value":{"entity-type":"item","numeric-id":1922194,"id":"Q1922194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a7dffaf1ac025192e47c4205766b2930d9bcba","datavalue":{"value":{"amount":"+0.82036304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$82FEC599-A441-4B0E-AB8E-DBEA1A5E6E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11425d1bd40b1b8b93f2514cf869b1e4e4f8759","datavalue":{"value":{"entity-type":"item","numeric-id":4006343,"id":"Q4006343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd435b8f82a657315c4f3d883f499dac58ee1a3","datavalue":{"value":{"amount":"+0.8176182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$038786A1-C23E-41C6-A7B9-B410AD874FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ee155ba58efeb86a498cc6ee343a560e01f1d1","datavalue":{"value":{"entity-type":"item","numeric-id":2848422,"id":"Q2848422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3c1028698155a6d45b37e3b36d5115a1df1257","datavalue":{"value":{"amount":"+0.81733406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543298$A069452C-8777-4E0D-8F84-91C0B9A374D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543298"}}}}}