{"entities":{"Q5262967":{"pageid":7292543,"ns":120,"title":"Item:Q5262967","lastrevid":100678691,"modified":"2026-06-05T22:46:51Z","type":"item","id":"Q5262967","labels":{"en":{"language":"en","value":"Monte Carlo methods for process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457592"}},"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":"Q5262967$DC49D9AA-F384-461C-AC6B-6BAC21681E27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"740cfba66bcc422f6866e2464abf925031715f71","datavalue":{"value":{"text":"Monte Carlo Methods for Process Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262967$025016E5-18BC-4662-AC38-8016E9A25AF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c833c0a793160aa977fba174a816db8c4d8d931","datavalue":{"value":"1316.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$33F9B6E5-2E72-4C32-95E7-0FE17F0B1BEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c4b2592830aee8d55a50291764703736f3c07d","datavalue":{"value":{"entity-type":"item","numeric-id":216264,"id":"Q216264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$B80BDC90-B776-4BC1-9155-390A93A7D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$C784D065-E006-40EC-8CA0-FFE1118AB61C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$81B22A88-F279-419B-99CB-860C506C8633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262967$EE11F310-8A88-4675-BAC6-E665A5EFBB0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$683F32C4-30A8-4DA7-BF42-C6C798CAEAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$AFE91867-21F0-40BC-BAE5-A5CDF9B792E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$B3D574F5-A40C-4B31-8613-46D909ADB674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$4BA4CB09-79D6-40E1-A733-256B0D672108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2271ab8408b2cac0e7793371c60c7d76f4050449","datavalue":{"value":"6457592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$C8916A7C-749D-4BF8-B34C-C4DD39F0621C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5baf6f2f0bf5a683335c06deaa7f1ce7ba41e7","datavalue":{"value":"Monte Carlo model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262967$BAF20114-B5FA-4F8F-AC2A-0509E6F24B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262967$3E5CEC3E-9284-4812-970D-A5BFAE291D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262967$BA648C22-C1F0-42B7-9D6A-8921825F6703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262967$E4CCC28F-D2F1-4B4A-A88C-A5EB6EF906E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$F4BB84F0-5D57-44A6-B80C-9E553C435C6F","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":"Q5262967$F91901B5-D81C-4BED-A5C6-AE795ADA0948","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f384a7de654811d2e7a8fcc560579558479fb94","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.04.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262967$A352A7F3-F6FD-41C4-B1F1-1881A8024164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f23a2f915a986571769395be12d6351abba92188","datavalue":{"value":"W2112671476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$A5495482-60CE-4E40-BCA3-13387005CA76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$221F3B49-7C54-4787-B56D-C8305D502E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dab088d995d3d939e403e3a0a80def6dff68a2","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$7294CF97-27ED-4769-992E-4631C752D7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$5EC01EF9-44AF-4D0A-8C22-FADEA3A2B610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$FECE345C-6FBA-4A6E-BE60-0DA877B73898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$FA59273E-20B6-49D0-A291-F5E54518B3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce01af582c701b2a4eecc4506a63c981a4f9c6d","datavalue":{"value":{"entity-type":"item","numeric-id":5716564,"id":"Q5716564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262967$5C455BB8-4903-43D4-89A3-3FF4A954D212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e35e67b80771285a31c905641c098ab5986d2273","datavalue":{"value":"10.1016/J.ENTCS.2006.04.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262967$40C344A2-39C1-4B8B-8561-043D316EA90A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44f3389e3c145a0fd2f8db93a411cd5f7abc99a","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaded7404381ca209586a292e8e1ed9fdcdf054","datavalue":{"value":{"amount":"+0.7790550589561462","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":"Q5262967$C796CB6E-D3EA-4A9F-8A18-DDC76D2AB0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae47f5bf9e7dcfa84434fcc32ca5f37b0902d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3176390,"id":"Q3176390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b27cfcdf13f67c9ad65e341de2a7c0d00366ed","datavalue":{"value":{"amount":"+0.7524662613868713","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":"Q5262967$694F2909-44D7-43A2-8C6E-EAE10DDA49E9","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":"77ea4cedac414fe1228a93288f0e1b2e66691001","datavalue":{"value":{"amount":"+0.7478422522544861","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":"Q5262967$B9443949-2A43-4811-B14E-ACC5C0D23659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855de1b4c41f37574edd2d57fc8b6de513fb41b7","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969425e2751dfcbb1f7020f930e534e43efd2a29","datavalue":{"value":{"amount":"+0.7456581592559814","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":"Q5262967$8B639F6D-D540-488F-81A2-4762B56811DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf94af050090e75d960fe9d53309c1b0a3b43326","datavalue":{"value":{"amount":"+0.7397404909133911","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":"Q5262967$B437EBB6-527E-4258-AD48-0A965F08CBC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monte Carlo methods for process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monte_Carlo_methods_for_process_algebra"}}}}}