{"entities":{"Q2147696":{"pageid":2158439,"ns":120,"title":"Item:Q2147696","lastrevid":71406285,"modified":"2026-04-13T22:04:19Z","type":"item","id":"Q2147696","labels":{"en":{"language":"en","value":"Automatic verification of concurrent stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544945"}},"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":"Q2147696$DE5B7A74-EE90-45AA-A950-5E60A57C9B15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b80defa1028253c5e31f8283d1fda6990167ce51","datavalue":{"value":{"text":"Automatic verification of concurrent stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147696$A2E0A830-CBCD-4E48-AD9E-441B723D1E90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"545cdff7f987fe01cfba0a9f6305f63392d83434","datavalue":{"value":"1505.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$E622B924-391D-4ADA-8379-DDD0C4BA3EE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$A721B494-1949-42C9-9A2B-23F1FEB98421","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$712F40B2-298F-4490-8F23-2ED5BB48F4BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147696$5642F6EC-55B1-4169-99C7-7B455D98787C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e296c02e9ce7d88fcccebcba06515d6ed12220b0","datavalue":{"value":"https://arxiv.org/abs/2008.04613","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147696$48BA012A-640A-442F-8C62-B2B3B2C446F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$5D8F5535-FF5E-4A6D-838C-B06F9FCD1D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$B934A853-947C-496B-A034-43D03D6B097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$7C84E7C2-3A92-4D10-BCB4-8EE46516FA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$4BE60771-746A-4B11-BBDB-7437D9C5D021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80151a755633cb632e5fe29f3c6bcfcb53855d4f","datavalue":{"value":"7544945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$BE930054-4CA7-4CD7-85F2-571E9BC8E847","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147696$FB3C06DE-2CF2-489D-8AC8-1FB7FAE23FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147696$415B2556-D554-4A6B-A76E-59EC87C97BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2b0b72902570980ec0545c025b6537103cb73e","datavalue":{"value":"concurrent stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147696$167E9E35-862C-49DC-BE3E-7268CAB955BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2acbbde52be1c8d13f3984cf251243326a44807b","datavalue":{"value":"Nash equilibria","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147696$0CD181C3-96F9-442F-A527-89DB854FB0CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"329adfb390f8b43058919a6949a001ce4ccdcdc9","datavalue":{"value":{"entity-type":"item","numeric-id":41892,"id":"Q41892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$50205547-7AEC-48B6-B71B-1B335C904ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70f3fe4d2fe10b7c926cf6b5186ff4c9bbf9e099","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$A7F6C08A-9FCF-44BC-AADE-4713296AF70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2175fca53247bd197da19e8379fa9dd57459beb","datavalue":{"value":{"entity-type":"item","numeric-id":13084,"id":"Q13084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$DE5635AD-1452-4D7B-91DE-050E88487EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$17AACB4F-D290-4E60-9E75-FCE1B614ADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$C638C628-8E8D-4BE7-838B-73C5DF786023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$56C88B7A-B797-4E37-98B4-A9982275C13C","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":"Q2147696$893E5A7F-ACBA-467C-8C26-5495B1D3F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$F5AAE1C7-A297-4E7B-A055-4D1AACFC580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74bff5e24e91f8dbc753938bde3eac6df4cce819","datavalue":{"value":{"entity-type":"item","numeric-id":19289,"id":"Q19289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$DA8A35AB-E340-4E16-AA37-89F437B066BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34aa41cc588a03d8174545e805fc9cc969937f8a","datavalue":{"value":{"entity-type":"item","numeric-id":21855,"id":"Q21855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$2FF053AB-B216-459A-9DF6-1DC8BF2BBABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1258c2b5d07053ba392c78f44f4c3f1213c08215","datavalue":{"value":{"entity-type":"item","numeric-id":24835,"id":"Q24835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$6EFAFE83-0778-405E-844F-B07E9E5A9962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a16f776990daf9e72a69932bc4bcf63ff75e0be","datavalue":{"value":{"entity-type":"item","numeric-id":5972965,"id":"Q5972965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$8E229071-D2B1-47D1-9824-A946300E26C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"415de056e325c6c502ee21ee3b2120702c39a969","datavalue":{"value":{"entity-type":"item","numeric-id":36529,"id":"Q36529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$3D3FC293-B05D-4C1A-AD1D-892261C4ECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d64b601a495da777f796a700d55a1b09a1efc69a","datavalue":{"value":{"entity-type":"item","numeric-id":43701,"id":"Q43701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$6B1D6CF4-65AF-483A-A512-BEDC850622D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b3b3e89255a21558437b3d982fd424385f2bf29","datavalue":{"value":{"entity-type":"item","numeric-id":43700,"id":"Q43700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$3EC5B81F-BAD2-4D72-A6E3-E8223FC6D74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$101F0CEA-AE64-42C8-B957-3FBE255C2563","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"947ba89008199216708810f8916042e7a853b401","datavalue":{"value":"Q112268299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$79F0C2C7-C9F3-4CAD-8B33-6B07C821C726","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":"Q2147696$2E36ADAC-2F77-4C82-BB09-DD5282825C71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3902626b0da7866b6abb5d79af821fe451e96f8","datavalue":{"value":"W3124931799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$8C63FE0D-78EF-4CB8-9935-13D6CD1FC1CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$8ABDA4BD-1A2B-420A-B725-C52A8B1550DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8afac207ef1e1fc1d3492a7efbcb22484f9d66","datavalue":{"value":{"entity-type":"item","numeric-id":5145624,"id":"Q5145624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$E400EFD0-3778-439D-8F0D-A0AAD7A7C48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a654aa7c7e3c71a1c32b61ddb02a59b5cfbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":847809,"id":"Q847809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$93FF4726-9BFE-4522-8651-6FC2DBDC659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4943f4466b49bd467d99530da9732a46d4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$1B960579-F485-4949-9FDB-1EE8667CC608","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":"Q2147696$A83FFBC3-3D98-41D4-9E66-F9C8E9833F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ee1fe3de45bd2b1ea2f3057a4dad51185399c2","datavalue":{"value":{"entity-type":"item","numeric-id":2978527,"id":"Q2978527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$939856E4-DFCF-47C5-90E1-59B90E6882E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1258efe8f9da5f00c7ea87dff2a7b88149bc3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5015269,"id":"Q5015269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$EDD6112B-30C5-47E6-A447-576AC8D8DB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$51FC2E85-3560-494F-98DD-3BF5DBAB6E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c82833251a6c8ff0c35d805bd4ff2a526fc3520","datavalue":{"value":{"entity-type":"item","numeric-id":5875374,"id":"Q5875374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$4D3AA453-1990-4636-B254-122A45BB596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138bd029d6177c104975ed5cd12f9db74ad1e3e4","datavalue":{"value":{"entity-type":"item","numeric-id":355506,"id":"Q355506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$B7E9EC1A-FC34-4099-825E-0C0A2A2B54BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce32087d1da7cec38389830a5d4c77282c9a4c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3512436,"id":"Q3512436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$18430542-4958-4221-B8DB-9B68C23DBB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$045CB685-A142-4266-B1A1-49FEE271BA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b89c8bca36d366cdd3a48846cc88da3347e98a","datavalue":{"value":{"entity-type":"item","numeric-id":5311283,"id":"Q5311283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$41D37DE0-3593-4C53-968F-CDD5EFB61C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$048EFBAE-39B5-425C-9F38-33CE02476815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e31056e2a908fb2621e92d7ff5bef8ad3560322","datavalue":{"value":{"entity-type":"item","numeric-id":2849916,"id":"Q2849916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$321873E9-CDE8-4CE0-92C7-D84F9EC58779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$8706BB75-B1BC-4E96-89D1-DE7A8875D936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96755a14af5db4e33c8082e7c40e98f6f2d4157e","datavalue":{"value":{"entity-type":"item","numeric-id":2465027,"id":"Q2465027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$CF4AD43B-77EE-4DEE-86F0-C542A548AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22fdd226603565c4037f9eedf3fafc8fd55bdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1887716,"id":"Q1887716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$1B2AF36E-A8C2-4B96-8757-04991A616464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8cd43b29531f308b781a9553a46b218fe899999","datavalue":{"value":{"entity-type":"item","numeric-id":2941508,"id":"Q2941508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$3304FFC7-105B-4C5F-81ED-F71CA73909A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b578972b6d160ea104dd9b9f7f5e05f8489abe0b","datavalue":{"value":{"entity-type":"item","numeric-id":1055697,"id":"Q1055697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$A0F7F0FD-29CB-48B7-A1B3-056FE7868EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e5bd18b456670d066598f219d6e5b72a14a969","datavalue":{"value":{"entity-type":"item","numeric-id":1191824,"id":"Q1191824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$B484894C-C58E-4DBB-866C-6882127E359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391f790a7d48503c45df7122b0f5a13b1bab102f","datavalue":{"value":{"entity-type":"item","numeric-id":5875383,"id":"Q5875383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$B6ECACD1-8927-4842-99D8-55E45515B2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2626181f4d3f137348345fd1dd5a4f414d667ba","datavalue":{"value":{"entity-type":"item","numeric-id":2211871,"id":"Q2211871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$12CDB603-D273-4200-AB88-292CDEE06AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95487db302426a7e48ab59e40ae2b09099ff781f","datavalue":{"value":{"entity-type":"item","numeric-id":2636515,"id":"Q2636515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$0FB6267D-BA6D-4C58-9872-5564D3BF8DE1","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":"Q2147696$87350276-3119-4EE7-8524-8D3B738DFDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$06CACF86-8C4A-47F9-B075-E6E3A7967128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3271eef31571c9ec9c914bf2cb669d0e0bbd0ee7","datavalue":{"value":{"entity-type":"item","numeric-id":6041135,"id":"Q6041135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$51859325-20B7-47B2-AC1B-26A238727095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$0904AF6A-671F-403F-990A-AAEF06FFFBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cad573dba94a132652f8a1e3e2fd0b035c3c734","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$A5AF958D-C5D9-4D0A-AE43-C951ED685BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdcb760dd02abd760f8a38519687cb358eff55d","datavalue":{"value":{"entity-type":"item","numeric-id":5166673,"id":"Q5166673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$E808D0A7-6020-4A3D-B752-A72DF8BDCBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4147b894cc9ce75853108ec8ca9896a72c6037","datavalue":{"value":{"entity-type":"item","numeric-id":5335815,"id":"Q5335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$4D42D94F-9AA6-4C79-8F69-B9E6536DAB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644542c843fde88c5d346b3bce672efffa53dece","datavalue":{"value":{"entity-type":"item","numeric-id":4254699,"id":"Q4254699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$8FB7F07A-69A2-4C74-A3F7-FBAEC75FFA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c1684f85b15799d6e7e0fbb8ee8dc35bf41e3","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$6C1CFE24-6EC0-4632-9731-2689F11C16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$F2078F7D-5770-4436-934B-2C337E5986C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c70480d1e1800573a0a08c506cef7987427635","datavalue":{"value":{"entity-type":"item","numeric-id":5432685,"id":"Q5432685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$8CEAA569-1A74-4431-8E04-88F74BB7E70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778fc54eff9093e01dbcf48a698106aca06a62cc","datavalue":{"value":{"entity-type":"item","numeric-id":3512518,"id":"Q3512518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$50336A86-DB3B-4CD7-A52E-02565EAF7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12b5be98a35df6fc56ca7acd8d459b16237092b","datavalue":{"value":{"entity-type":"item","numeric-id":4602966,"id":"Q4602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$82E2C50A-85D1-4011-9BB5-A2F5EEB78165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a35ee073efb257c2ff6944a7cc91fcd0fe8bb82","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$57AC8B90-560D-4A9F-85D4-E3A02076D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$EFED234C-994C-4D61-979D-9CFE049C03E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72118b2bfd3309b966d02b0d911523710a400f09","datavalue":{"value":{"entity-type":"item","numeric-id":3984137,"id":"Q3984137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$7C071C60-5A21-4520-B9D2-93991DE80152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ad2f1953773ed8b7be0ea2c56d94a298059a64","datavalue":{"value":{"entity-type":"item","numeric-id":5928239,"id":"Q5928239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$89DEDF1D-6D07-4C7E-A1AF-B91DBABF6468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e0e65bc0258e3fb24301d38f9385a7e4dd4333","datavalue":{"value":{"entity-type":"item","numeric-id":5820908,"id":"Q5820908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$3D42449E-1ECE-4762-B2FE-9049EA17F5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b856d929dc29f3c1e591a3222a8259ce094b68","datavalue":{"value":{"entity-type":"item","numeric-id":4143064,"id":"Q4143064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$EFAC2503-D105-47B7-BC51-9D4B9B8440DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468c2324b2516fd6f16fc3b0097b2129e449f1c1","datavalue":{"value":{"entity-type":"item","numeric-id":1849524,"id":"Q1849524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$90B10328-244A-4BE9-85EC-C19BE3869744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65bfc123f5d88b56f329f08eccbcbf01bff65981","datavalue":{"value":{"entity-type":"item","numeric-id":2787450,"id":"Q2787450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$58C3D67D-AE0C-43A6-A5CE-882CA5F4DF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$30BC3E49-7C30-473F-9123-154532E9418C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7973e03c656cf73769f03cf60ca2c0577b2c181a","datavalue":{"value":"10.1007/S10703-020-00356-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147696$A6D9B4A4-2CB1-4A23-B6F8-F88431CF86A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ac0cd4ad37440e3ffba7c3f14a57bb77afd9b2","datavalue":{"value":{"amount":"+0.9286501407623292","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":"Q2147696$D1D949B1-FD8B-4CD6-80EC-912743D0420F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e904ef4134bbadb4e9373914d928f260c73e59","datavalue":{"value":{"entity-type":"item","numeric-id":2056983,"id":"Q2056983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3ff489809712bda5de76f319114c8e51d46f3b","datavalue":{"value":{"amount":"+0.881337583065033","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":"Q2147696$AA617534-C9B2-4216-A338-FB5995B91414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90396907a6f09dfa3d0e5f78aa686080155b643","datavalue":{"value":{"amount":"+0.8801156878471375","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":"Q2147696$120689A8-819A-4234-87D2-D20D102B0DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2eb5b630e8f79eb1037d961943775226b09ea","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d027c3c731e7b6fb3004dcb595f16ef6cebc9f9","datavalue":{"value":{"amount":"+0.8743180632591248","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":"Q2147696$A7D7DB96-A12E-48AB-898A-67F415CA7C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e918711360c484e2665b80676868ed47ff869e5","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a79298a3f85b7a2ab65c5b36a2939781a45ac6","datavalue":{"value":{"amount":"+0.8596430420875549","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":"Q2147696$6E9B77EB-C935-47D8-8CD2-829612C0B0CF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147696$B29C7F38-7D19-466D-B8FA-76488C08AF14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of concurrent stochastic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_concurrent_stochastic_systems"}}}}}