{"entities":{"Q5240155":{"pageid":7269723,"ns":120,"title":"Item:Q5240155","lastrevid":91674149,"modified":"2026-06-04T23:46:42Z","type":"item","id":"Q5240155","labels":{"en":{"language":"en","value":"Parametric verification of weighted systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121867"}},"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":"Q5240155$8AF19B20-E913-490C-93A7-56AD829737E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d2ac386680a2cb42804e9bbbd198af48985071f","datavalue":{"value":"1429.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240155$D054BD23-E53B-4661-8B0E-4D6FC7A3ACCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2ca097ff9ce47cc5188f0e3507ee3064b4338fa","datavalue":{"value":{"entity-type":"item","numeric-id":292015,"id":"Q292015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$36E9BFBE-1FAC-4C25-97F3-B0825FE10BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc78d88af9d3ec46b60d256f47403b95b7c7cc25","datavalue":{"value":{"entity-type":"item","numeric-id":1660778,"id":"Q1660778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$84200645-BF47-400D-958C-FFD845402D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c023f6ff9d9668c4eea37a6348c4cb1167bdca21","datavalue":{"value":{"entity-type":"item","numeric-id":1683446,"id":"Q1683446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$224F3C80-3355-48E7-A5CE-A646A9F94FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"048fda0fb5200a040e5f7f3b6bde22a218c6fe77","datavalue":{"value":{"entity-type":"item","numeric-id":5240154,"id":"Q5240154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$90CB2ADC-9837-4B2D-A775-FEE9F8DB31BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$51449744-C3BE-4D2E-86F3-C1CEF700097E","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":"Q5240155$B662D44E-3111-4F8A-B402-E3D45E0E612C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240155$5D2995CE-77FE-43A5-9C8C-7D302CF8CAB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240155$13EDF808-6604-4735-ABE0-1E97B48A08BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e604cec333f23ea78feb9b9d775c36c5c901e28f","datavalue":{"value":"7121867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240155$7EE9653D-3467-46A4-A971-6504EC64C824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21038d8e3408b3c55f7e1eb5d60480e50cda1d89","datavalue":{"value":"parametric weighted transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240155$EBB11AA7-4437-4DC4-BA59-DC8322EA844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302732025e2920e5e691e19fdd980f20beccca11","datavalue":{"value":"parametric weighted CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240155$318D862E-AE71-4E01-84F6-00381E115FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29fa01c00757697e117bdf6ddbe43e9ff402ef6c","datavalue":{"value":"parametric model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240155$E55CB1C1-EB62-48EF-AAE0-8458FC94E13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f0b298b98b295a382a96fb355398c0cb27c9e78","datavalue":{"value":"well-quasi ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240155$804BB95A-D75C-4D98-99B0-EC19FDC0F409","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$644555D0-0F22-4887-9B40-A54994364E33","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":"Q5240155$02A9C954-DB12-425F-8609-F825FA216D3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00f16e2820dc48f3072839fd39827fbba3bab88","datavalue":{"value":{"entity-type":"item","numeric-id":5698320,"id":"Q5698320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$AE5C5E0B-A657-47A5-A31C-94E4BF5D0DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$26591AF8-21A3-4A05-B155-9EEB305B8DEC","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":"Q5240155$449AC40D-ED2C-42AD-B519-8D5F194723F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$16C50B91-830F-4BB0-A113-B10FFD410129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$60812731-4E51-4F14-9131-1E01E59B6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$977289AF-7065-42A8-8EF4-7CB964F01DD7","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":"Q5240155$465B85A1-2E37-4280-929C-CCDC913111E2","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":"Q5240155$7FFD83E6-8CC1-49C9-8B2E-5CFCB3C3456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94d9bf62808912944cb1b683056ac1b1b2bb55f","datavalue":{"value":{"entity-type":"item","numeric-id":5240155,"id":"Q5240155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$FDE8590F-F5E5-4700-B015-57CD94C70BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$28BD0DCB-301E-4BD8-A1A6-EF52AF18EF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$BB83AD7C-FC4C-4137-BBDB-C5CDB9B14E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$284B9250-E7D4-43A4-81AD-AE4913F7C0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193dbfc7bccf141a4aab951ab2becf3c421ce66","datavalue":{"value":{"entity-type":"item","numeric-id":1126522,"id":"Q1126522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$00ED864A-1AA0-432B-9153-5784B5061662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$32069AD3-AAA7-4BC9-A651-7BABC22312E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$66A50BB8-B93A-44A7-94D9-4213AB86F8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$9714173B-DF85-4AED-ADE6-3EA5E319ED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240155$6CC4AD3A-F380-4ED6-B369-C6F250927742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd1b03dd25d44b15631695eda00b77b5048f419","datavalue":{"value":"http://people.cs.aau.dk/~mardare/papers/SynCop.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240155$8611052D-F78C-4DB7-965E-AA6417F515D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b118718b7d5481dde4c2cbc92ee7591dc69211d5","datavalue":{"value":"W2292799201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240155$2110A0C2-A8E7-4010-8680-2BE4DC425B3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dc63b6e25492a22c892072b20d327838b864b68","datavalue":{"value":{"text":"Parametric Verification of Weighted Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240155$CF87D615-809F-4B63-AC8C-CFEC003E6D92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f4f0e08b86c7727c094e6c46f6c4963488ca9f","datavalue":{"value":"10.4230/OASICS.SYNCOP.2015.77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240155$3DC9B3DE-A9E1-46B2-88F1-EC788EFE6209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ae2c025adb24e8d52a645b18f32c27c0c24ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2447757,"id":"Q2447757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f1bbcc10409af3270af656a7d59142cdc60fc9","datavalue":{"value":{"amount":"+0.8288540840148926","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":"Q5240155$E14E2610-95CC-43D0-AEF7-3DF509CD510E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabdc386463340791c1fdd07b1cc6e5e45bae9d0","datavalue":{"value":{"entity-type":"item","numeric-id":6104802,"id":"Q6104802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618ddd9b51be0050267bfedc7125af7439c2956a","datavalue":{"value":{"amount":"+0.7914077639579773","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":"Q5240155$62F91FCC-E82E-44EB-9DE6-C127B72AFDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e5ed7c5d827dfccf0eb456e649dd4cbb811fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5962025,"id":"Q5962025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2d594b312251487b23a1de4aee6d488f0579fa","datavalue":{"value":{"amount":"+0.7607046365737915","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":"Q5240155$980D833E-2434-458B-9CEF-C62DD86113A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2241f2a59dad9a94e34f461d1fb56a9fd898afbb","datavalue":{"value":{"entity-type":"item","numeric-id":3066135,"id":"Q3066135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de36ef844668d58ae7b0a6376f8b9f1b97e64cc","datavalue":{"value":{"amount":"+0.7509660720825195","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":"Q5240155$EBD041A7-7192-4C5C-843E-300A91023953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989dacadda237f9c21f4d4d53cbc3c7abb889b29","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cab3216c2d89c479acce08c2705072ec05e1a1","datavalue":{"value":{"amount":"+0.7446064949035645","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":"Q5240155$9B82EDF4-FC5A-424E-829D-D896AD5EEBF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric verification of weighted systems","badges":[]}}}}}