{"entities":{"Q4821979":{"pageid":6851559,"ns":120,"title":"Item:Q4821979","lastrevid":74933835,"modified":"2026-04-15T01:08:29Z","type":"item","id":"Q4821979","labels":{"en":{"language":"en","value":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2109361"}},"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":"Q4821979$09F28EB5-F6D1-433D-9D56-BDFE0C1ACD05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba6c125f32bb622deda67e8753ee1334aa94d28a","datavalue":{"value":"1069.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$2F61801E-F31A-40F8-B8E8-61B0F6B60F6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc9660edc8b3cb7297987537c2c9c6ca4e5fa3","datavalue":{"value":{"time":"+2004-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4821979$AE20D0EE-4517-407B-9203-5AB1083C81FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$7DCAF0C2-DEB4-4DAA-BDA7-638206B8D160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$EF152FF0-B96C-4C22-BCC4-474A5C99F150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$9FD8F27B-2358-4953-9EE4-9BC71D9AFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d80ee201dfa04437c7261fa2ae4131f6f135b9fb","datavalue":{"value":"68R01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$2579AC7D-AC73-4B16-BE4A-FEA336B01319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$518D85FF-C3C8-4820-A0D2-CB6007F75C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5324c54a5b1cbe1a80cf6fd5ed624d38a1676138","datavalue":{"value":"60J27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$87EBA363-67A6-4B43-8CAA-D71259052856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$5C4C6AAE-9DC0-441B-BBA5-E0A4DB3FD3C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5c5936c6d9da9c44df5aa764e3730ec6681028","datavalue":{"value":"2109361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$233A5EBC-D848-4D17-A974-FCF5B3D7C4F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72639074dac8807a076696291d85637dbd879e80","datavalue":{"value":"stream calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$907C6A0E-B882-47BC-94FC-54890F90E89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$0278EEA1-CB44-424D-92AA-19A367B8EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$01C43576-0D3E-4ED4-81AD-6FC3954A1FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$60B80754-76C2-43CC-9B98-D1B1F1C778A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d987dbf50c2a5c941eb0b9880d5f4dd8df0917","datavalue":{"value":"probabilistic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$D736FF57-3C0A-4D39-A157-7A2350F41C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$46D362EA-A2BC-4BB4-8046-CABBF4C39894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$5D39CB8B-BD49-4472-A8E6-914174A32429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$642A2D95-7A79-4933-9F00-E0518FDE3087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4821979$31ABEED0-E22A-437B-A596-0372D85D7630","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4821979$D61024A2-DFB8-4215-A605-CD3B7ACD9F3E","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":"Q4821979$33072D01-B555-4D0E-89F4-089A238021DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"015a1dece9c29c3738dbf1ab2b6771bb90084e64","datavalue":{"value":"https://doi.org/10.1090/crmm/023","type":"string"},"datatype":"url"},"type":"statement","id":"Q4821979$A4194FBE-6E23-478D-A951-A0C6C87127C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0917e78c1a48d5fe6a941dfeaeae064a56a70417","datavalue":{"value":"W1266757872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$44806500-F29E-4D1D-9199-725E9A5523F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd8467d0200f594af23373b70e5c1a0617ab24c","datavalue":{"value":"10.1090/CRMM/023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4821979$AA1C991D-D9C2-40ED-8185-FA227357E056","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482c581e854f8a8734b5c9fc1aaf3b5fe810779f","datavalue":{"value":{"entity-type":"item","numeric-id":5044396,"id":"Q5044396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788b22a90b60c7b61321e77e910a429109e773af","datavalue":{"value":{"amount":"+0.8840965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$A523B9A8-B502-4A60-A0C6-8F3C7EE2FDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c3e3a4c3d3170926a05064c5427c69f2a9ff06","datavalue":{"value":{"entity-type":"item","numeric-id":5896952,"id":"Q5896952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa3242a1e8fa455d28720e57f2d3fa7900c9b8b","datavalue":{"value":{"amount":"+0.87217605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$279A0533-5DCE-41A7-ABF6-EA2865B0A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429f664986c3991914912f223791a9bf6c6c0370","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572e6f85c6f72836c5885f605cafe3517bdb51fb","datavalue":{"value":{"amount":"+0.8610102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$19988CB7-668B-4447-9BF9-884E44CB12DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471fd7c92082cf3b16a7ff849e2da5b716fd67f0","datavalue":{"value":{"entity-type":"item","numeric-id":2937734,"id":"Q2937734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91a37bf4e48e0f71d5d245d954d5ef177b93f30","datavalue":{"value":{"amount":"+0.86040956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$48BE96E1-28DE-40B8-A671-DECC01F09310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e49a889df4ead423e5ad96b4a5c76d507d37021","datavalue":{"value":{"entity-type":"item","numeric-id":5756588,"id":"Q5756588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7019c9c17a09eace2d42b6390a47339635f509","datavalue":{"value":{"amount":"+0.8594505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$2D53824E-AC45-4F6D-B0D3-A8CE5095219A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a760832a2dafa95a67a7e04e79f5f7c08f13961","datavalue":{"value":{"entity-type":"item","numeric-id":2032884,"id":"Q2032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f216d89e823a888549ffcefba0e712ffc899c00","datavalue":{"value":{"amount":"+0.85912657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$9B40CA58-45D0-4653-814D-C8B0678899D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79d3deb84855dc03ec1f5b5f5ac3cf0a45524b6","datavalue":{"value":{"entity-type":"item","numeric-id":1589655,"id":"Q1589655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ecad04985612420deb949636dcadd53e2669d3b","datavalue":{"value":{"amount":"+0.8587951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$4270997F-B675-47E7-9EC9-51BFDE968DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e826a71ca0e28ce4b9415646b12f1570a23b4b1","datavalue":{"value":{"entity-type":"item","numeric-id":2849998,"id":"Q2849998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582b299e5e144c8feb8b4b492979524481150999","datavalue":{"value":{"amount":"+0.85101795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4821979$9A69A41F-E588-4187-BB58-0AFAA309AF3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e572b85c20234556ebad9591433cfd488dd9b4c1","datavalue":{"value":{"text":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4821979$15F07E99-B47D-4DD9-9D5E-8ED3259AF7D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_Techniques_for_Analyzing_Concurrent_and_Probabilistic_Systems"}}}}}