{"entities":{"Q995465":{"pageid":997313,"ns":120,"title":"Item:Q995465","lastrevid":65772897,"modified":"2026-04-12T05:16:15Z","type":"item","id":"Q995465","labels":{"en":{"language":"en","value":"Model checking mobile stochastic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186558"}},"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":"Q995465$970B8829-9AB9-4C70-A52E-4E74C5942D17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ce7445ee8357db34d02f264959a43ee088d2be","datavalue":{"value":{"text":"Model checking mobile stochastic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995465$871CC94C-4A00-4A23-A0D1-11D0ECF29FF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bbac52cfc2075b9c3fd0d996fe06479c5a30d21","datavalue":{"value":"1159.68478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$5E3ECDA8-38BF-4B06-AF06-E8A50E5ACB75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$BB50CCC2-BD7B-4032-96CF-54A4E5B7F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$22E57E00-5A63-487F-8C8F-ACBB363FFE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$6253ADA7-E8B5-4D44-A5B6-DB92A4CDBF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$766A9001-57EC-4CD9-BF73-B7B4C5B825DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$1C73DF8B-0ECD-492F-AABF-72A9F3187614","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$33A63511-A663-49CD-86B3-762B4D2DD5F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995465$96716487-ADAF-4294-863F-BD40EF6142B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$8E0A0C88-B54A-4125-80B1-6B1B6305FE1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b308bcb95a352e77f1ccb6a764fceed05dfe980","datavalue":{"value":"5186558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$55F5E7D6-542E-49CB-B59F-5D086CC762F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f1fc176f022b6d1054835b23f9b7df7e5a1c42e","datavalue":{"value":"Stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q995465$B6D67430-BE3B-46BF-8599-B63669ED4EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5d4674cc7136e1ecc19a4fe67d439ca18d4493","datavalue":{"value":"Mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q995465$4FE35F1C-E255-4ACD-AEC4-DE9E78242E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e328c21ecc774ded351baa23f0ed64c432d4a9f","datavalue":{"value":"Global computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q995465$15436B7F-2E3E-4125-93D2-5AEA8A90153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037ad144150ba841a12ccff8c12df982cb7a1b8a","datavalue":{"value":"Stochastic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q995465$B15648FF-B204-453D-B10A-E2013694CA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8df38872a5d047776570e859c9006b80782f08e","datavalue":{"value":"Stochastic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q995465$90C47B70-ACF5-4585-BB12-CB8B7D5E2A4F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a6baa3bb71913469f6fd4809e8bdf57e3aa927e4","datavalue":{"value":"Q57801754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$14B3F1FF-AD7D-4531-BFB5-F552DD29FBA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$2CCEA3A1-EB1C-4CB1-9B60-D15F71839093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$523B7B9E-A60D-42F8-A638-94242513EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f908a21c21c525870550d1dfa4f733b19ce0d2c4","datavalue":{"value":{"entity-type":"item","numeric-id":21995,"id":"Q21995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$CEC13B0C-E9E8-47C7-88A8-62819E9E91D0","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":"Q995465$01A21152-852A-4F35-9CF7-8BB98C563169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$DD32A69C-FD24-4D37-BACA-DC41F04D6A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"422bfa190ccd9f0a1e60fd85267772495a12f889","datavalue":{"value":{"entity-type":"item","numeric-id":20973,"id":"Q20973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$7A0E2E90-EB64-4AB8-84E6-7B8696A379A2","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":"Q995465$7FBCDF80-5065-40EB-AA47-A85E3CC3DACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"695095d334265d7f82e91208f7fdfd96ab18728c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q995465$DDB461EF-D41C-43E4-A348-B40AB32561F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d62195d0712f191307cdaf34c1dd005f7c3bd210","datavalue":{"value":"W2161235182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$7F1D15B5-07D5-42E3-85A6-EA27045F5580","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$09ACB573-33B4-42DA-B154-3E07330D9C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$7DA4006F-127C-4B49-8FEB-73C840DD4147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$E5F468F9-7CAB-49E9-8918-2E7059A705A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aefc6f259bc6fc47cc73bac81df2168784d7553","datavalue":{"value":{"entity-type":"item","numeric-id":5897114,"id":"Q5897114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$47E440E9-135F-4F09-A544-88E3C30BB492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63851b88fa6b1168d27b813f23e9d6b9650cff4a","datavalue":{"value":{"entity-type":"item","numeric-id":4738174,"id":"Q4738174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$500ADDA9-69BB-4C78-9EBC-57833B31908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$DE83F18A-D19A-45D4-995C-DA90E88F4B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b369a81af4c62721333eef666adb1eccb4713b7","datavalue":{"value":{"entity-type":"item","numeric-id":5308701,"id":"Q5308701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$FC848441-6943-4C0A-8388-264121F52292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$5BD605F9-1FB3-46D2-8ACA-FDB8163E3D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$BBCBECC3-61E7-4A58-87E8-35460F4B04A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275fd41c78901e712d00cda915515689211772e7","datavalue":{"value":{"entity-type":"item","numeric-id":5047168,"id":"Q5047168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$93FF6312-7C42-4313-836F-698AF22A55A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a345cc48059e87c15aaf07632154891c5e645d6d","datavalue":{"value":{"entity-type":"item","numeric-id":5277692,"id":"Q5277692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$BBCD16DE-C4EA-44ED-AB8F-856CE6858CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c888e40de85e7bba992efa2277e1ed897f48e78d","datavalue":{"value":{"entity-type":"item","numeric-id":5897447,"id":"Q5897447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$E7E88631-99EC-4374-A4A8-E922F5C59CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$99808326-76A0-4393-B2FD-D96B176F5B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf75ae3bbb86aaaa95ce7d83fadffede3af73d0","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$EBB2FEF6-9D5B-4BF5-B472-40164D061790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44887afd109e3fe4d4e1babb68e6de1e49c8eda6","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$DE987B84-98A9-415B-B541-B79B6E6E1C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b1db4a744416ac739d5e6c72c2c7ce3535db13","datavalue":{"value":{"entity-type":"item","numeric-id":4864760,"id":"Q4864760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$23D4174A-D865-4933-84D9-6D9369C48E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0fe8acd58ed4b61bf6eb360c5f4c75156efb93","datavalue":{"value":{"entity-type":"item","numeric-id":4417820,"id":"Q4417820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995465$307DEAEC-6F8F-4E70-89BE-D6DDB11EC2E4","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"0b651ea9a3a9a5dc56262b2835f30649ae0d4a20","datavalue":{"value":"journals/tcs/NicolaKLLM07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$41DA75CF-89AF-4783-AC0B-5CAABCF6102B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50c1007a05ddc71088a2c9538eea8b0a1f0381b0","datavalue":{"value":"10.1016/J.TCS.2007.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995465$EC34B8CF-9730-44AA-A524-9A595030E1C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756b4f4d8721cc42a51afa385291b3b14ad5111b","datavalue":{"value":{"entity-type":"item","numeric-id":2938142,"id":"Q2938142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddac85b4287a33782d36c0da9778e9e4ea39ba84","datavalue":{"value":{"amount":"+0.8280169367790222","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":"Q995465$C0EF56F5-BE76-4145-A048-BEEA814DE54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533e03b077719a689a43bbc99530ad874ff549f5","datavalue":{"value":{"entity-type":"item","numeric-id":5899038,"id":"Q5899038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7953e2fe7f33bbcccd050564ca427fde6a65f7e","datavalue":{"value":{"amount":"+0.7618052363395691","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":"Q995465$947EA622-4131-47C8-8A08-B6FF46D5CAA4","rank":"normal"},{"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":"17b51c218f04bb9d769ce0c01c559e66040dfa5e","datavalue":{"value":{"amount":"+0.7415012121200562","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":"Q995465$AEABE69A-636F-4E5C-B463-9A526F1A58AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96503734333ec57c13a5e181df5be530f9ea8122","datavalue":{"value":{"entity-type":"item","numeric-id":5897447,"id":"Q5897447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e53942ec687561ac19aff1395c619aca4ab576","datavalue":{"value":{"amount":"+0.7407169342041016","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":"Q995465$D00355DC-AF46-4BB8-A062-11B2BED3CF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9adfaf22bf3dd0d04adcc54864e24b1ed27f73","datavalue":{"value":{"amount":"+0.7405467629432678","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":"Q995465$19F87602-DBEE-4137-B509-947D536C5A9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking mobile stochastic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_mobile_stochastic_logic"}}}}}