{"entities":{"Q710680":{"pageid":712529,"ns":120,"title":"Item:Q710680","lastrevid":63855720,"modified":"2026-04-11T16:00:33Z","type":"item","id":"Q710680","labels":{"en":{"language":"en","value":"Quantitative analysis of weighted transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5804238"}},"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":"Q710680$950629D0-5619-434C-8B81-0206570CDE37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"113f87dde7cb482471f2aa980ddc6020f853b1d9","datavalue":{"value":{"text":"Quantitative analysis of weighted transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q710680$382DF3CB-7D3E-4E12-AD59-CCEEB79578F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e683865cf3f2bb558ec7c18e466673578cf2b44","datavalue":{"value":"1204.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710680$174EE72E-8CE6-48E9-8E51-E0E7BA018D5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d593a3f17da7d326f296f22b84d634c66abdfa50","datavalue":{"value":{"entity-type":"item","numeric-id":549201,"id":"Q549201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$61E2C417-CB50-4DEC-B57D-BDEAF227C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$62EB6E0B-A557-4CD9-B779-A2620573F0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$291E2C85-2E7F-463B-B10A-C9B904961849","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$80AC270B-E2E6-4290-9E06-152624CF38A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dce3fe29f40b5c30691cd0c8cf3898003238b7d","datavalue":{"value":{"time":"+2010-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q710680$C7ED454B-28F5-4705-881A-3E2692DC0CE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710680$DDA991E9-01F9-4BF9-9CF7-A67C40D9C96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710680$4CD6A962-CC91-49A6-88AC-5D282710D94D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f7129e91efb1dbeae648b52bea5f0e343d4234f","datavalue":{"value":"5804238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710680$A6C48D6A-047B-4279-B3D8-A0895F781696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q710680$25C8F6C5-7369-4B9C-8E7C-59D0F471A2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e9df1ff08c7cdb1dca6c8eae0de3ddf1bd57cc","datavalue":{"value":"weighted transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q710680$0123852C-49B1-4728-965C-063148A4ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q710680$4389F3C4-B1A6-40F6-A1B6-85AABD1ECA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q710680$442A91AB-0BB9-46CF-B19C-885F9B81B7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a35eca4b745d2c96a0991354fa34b9b633f642d","datavalue":{"value":"trace inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q710680$21387FF3-9BDF-4411-8BFA-B8F05BF61102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250e74d248f36bd8b24f5093bae543b427d71c3a","datavalue":{"value":"hemimetrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q710680$17F217E9-22A3-4660-956C-8EBBC9F93BED","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":"Q710680$FD7CBF35-84C5-476C-9180-4800A41EDD87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3129db015c53b6894fb8cdb0b4b5f41b2218e47","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.07.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q710680$E56A6F94-945E-4C52-8E91-0AED0E24742B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a24270a82cfd72f44125a54b806f593526ecd84","datavalue":{"value":"W2094017389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710680$C5EA7418-9DE9-4463-9AAF-4A395C08C307","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$70C926A3-F5F4-4E59-A216-486822BCCE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$A6EE84A8-EA5B-4143-9D34-8F07C3C8E8C9","rank":"normal"},{"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":"Q710680$A64C3753-4EFE-4180-B402-770B15B8A642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$1E7CCE14-0BC0-46A9-9858-38A3269203C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$7A364899-981F-4F1A-96EA-184CC7831571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73ddd2a7f1a4b8dd60883e3c4e6296b066c67a","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$2D5A1F94-0C14-4322-8E3B-026B9775F96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$6A630FEC-4934-4C51-9DF0-CC7CBB9E4CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c63ab49a5246244eaa117383a255140b2e447","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$E510D41F-7088-4E84-A2E8-F9A9C56C51D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b13a58813c0de94b33769112ddc206faeff818","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$9ED60131-B484-4FCD-8A1B-2FFA98056162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$1151E160-988C-4940-A377-88298F5447BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$42881C32-80E0-4193-BC51-13D3CC7764A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$3D5B94D1-DD9B-4436-BC80-86EE1BB40B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4df4df1f429bf7d2fca4dffdbead86f4272ad3","datavalue":{"value":{"entity-type":"item","numeric-id":840767,"id":"Q840767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$3FA088A0-4E3C-4BDA-AD16-216D3AEB0CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32a3b66803621888c49bd2df0c0bb64fc02c316","datavalue":{"value":{"entity-type":"item","numeric-id":5179061,"id":"Q5179061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$0141E200-2236-4AAC-9317-C065E3757DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ef692eba1c0a877b9577333c6343721ae3bade","datavalue":{"value":{"entity-type":"item","numeric-id":2917301,"id":"Q2917301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$4D186322-3B3A-46E4-A52C-8FB2BF097115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$7ACA977C-D392-4A21-8700-FADBC51BC5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dccea50685259d9232ecda5ceb4fcdcec94d376","datavalue":{"value":{"entity-type":"item","numeric-id":3543287,"id":"Q3543287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$FEA15C37-CD69-451F-A1EA-29FCB13B8D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$2C33042B-7879-4477-A841-0698D9E88FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbb1a0fd4f1c3fefb1ee577ee3eda5ab76377ab","datavalue":{"value":{"entity-type":"item","numeric-id":2576952,"id":"Q2576952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$60A9385C-BF11-46E0-AA04-CEC7FF7C78EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$64188E91-50CB-4E3A-9E46-7FDB64F35ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$E61B9405-7CF3-4455-B6AF-6476D65F7BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$4877FE5E-3134-4200-8A5F-9F829BF6155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710680$CF3766C1-4763-42BB-AA6A-71A5DD63BC58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5041e27f5bb5761d65bd56582af9ade18b6fcf10","datavalue":{"value":"10.1016/J.JLAP.2010.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710680$0D234E77-C550-452C-BE46-FBEA9CE9B764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2963127d5a3fa0b4ba43169de3f52c8a284a414","datavalue":{"value":{"entity-type":"item","numeric-id":2937791,"id":"Q2937791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c2c8e5c10957c720098696163794e7d39edbf1","datavalue":{"value":{"amount":"+0.8655218482017517","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":"Q710680$3AB309A3-900A-4C27-AB94-3799F848E037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbbca736c4e7ae4a8bd9e47a4faf6f0bf0ae2db","datavalue":{"value":{"entity-type":"item","numeric-id":4965817,"id":"Q4965817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63704951a09c63ff2afc2dcfb6cdcf7aa8c813d8","datavalue":{"value":{"amount":"+0.8515524864196777","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":"Q710680$24AC40DC-E9FE-4106-A215-BB8710DD0999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d67db748734c98e4fcd86b62a5bd9e4defd88b0","datavalue":{"value":{"entity-type":"item","numeric-id":549202,"id":"Q549202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237663c490c1c92b67cab88c8cbc3f471a9de8b8","datavalue":{"value":{"amount":"+0.8141179084777832","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":"Q710680$30C2FBA3-2705-471B-8D87-3A8776CCFD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fdb95fb59db752b2013c5d25683f13f18c2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04eecc4c8241e5eadc5b528a0f167ac8edcd7d7e","datavalue":{"value":{"amount":"+0.8033486008644104","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":"Q710680$7B40B0DF-AB29-4F7E-939E-E50BE984B771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9367608fbc8fe3b14fe05c5a777bb73aac45ab","datavalue":{"value":{"entity-type":"item","numeric-id":2917301,"id":"Q2917301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c8e834415c352ccf3130c3e2f6fad103b4a832","datavalue":{"value":{"amount":"+0.8006988763809204","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":"Q710680$E6D6E6EF-9E3B-447C-9404-5E8826E5209C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative analysis of weighted transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_analysis_of_weighted_transition_systems"}}}}}