{"entities":{"Q3172845":{"pageid":3183555,"ns":120,"title":"Item:Q3172845","lastrevid":86378864,"modified":"2026-06-03T19:51:31Z","type":"item","id":"Q3172845","labels":{"en":{"language":"en","value":"Statistical Model Checking for Networks of Priced Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954720"}},"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":"Q3172845$ACBBA578-3528-4FD4-9A54-6D824E67A13D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38396762362a1f97fab6f68ecd8250b30fb58b89","datavalue":{"value":{"text":"Statistical Model Checking for Networks of Priced Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172845$E4D387AB-0CA1-46EA-8BE4-C0ADC4F3B0E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b1baa4d143d5afc397374da1392543fe91d2c5d","datavalue":{"value":"1348.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$6493E4FF-26AD-469C-835D-E34D5073ED94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"515cd917ce8c4e425c6e1530a2ebde519bca69e7","datavalue":{"value":"10.1007/978-3-642-24310-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$4527E2B3-B10C-42FE-B88B-428DE243E67F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2472f24de3f200b8d9fd7690c3d07a5f6f3b2a7a","datavalue":{"value":{"entity-type":"item","numeric-id":633288,"id":"Q633288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$CC3668B2-D13F-4481-956F-6640019CD3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$B4D2C123-C829-4842-AB01-E81A40440D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fb56857e770741f4bc34b0b5c05a0d3867c936","datavalue":{"value":{"entity-type":"item","numeric-id":1660772,"id":"Q1660772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$F9006CD3-F03B-404C-A310-05FC5CA8EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"104fbc3377339182c599ab57a5ea62dc6b2b1597","datavalue":{"value":{"entity-type":"item","numeric-id":782602,"id":"Q782602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$FB1872AB-3C15-49F5-A3F5-657B20575040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7124cad47dc7600a9dbf945bf28f9b1fb6cecc2","datavalue":{"value":{"entity-type":"item","numeric-id":3172844,"id":"Q3172844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$381B9606-F900-4859-BF12-4437391A02B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"923f159692290ff3dc0354e151e760b090c26982","datavalue":{"value":{"entity-type":"item","numeric-id":294628,"id":"Q294628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$713449DA-19D8-49B1-ACC3-DE9BC7A12947","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":"Q3172845$71830E5B-04A3-4FCE-A278-2ADCF04FAF74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$4D84B3E5-A66B-443D-A488-55432F443E46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172845$9D2EC34A-0E95-4710-9ED0-D9BFA66B9239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$BF72586A-3165-4008-BB2F-BD01CCBD9767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$C0267E76-074E-4CAC-A401-FC0B768FC5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$DFAFA153-81D6-433F-805B-687B897CF9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$B8D66D09-DE55-473E-98DD-6E9970C1723C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f17736164e6596d5f0bd4230ddbfa2b4c694092","datavalue":{"value":"5954720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$F44C719A-D528-4BA3-9513-E2378118B179","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$F84EF36F-5FA7-41A4-ACFC-2FC9AB67AB6F","rank":"normal"},{"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":"Q3172845$1BE7A8A8-4752-4191-BE5B-D2BF3266B9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$C1A8C5FC-250F-4BBC-9A37-1DA479C7A368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d638f22ad147a9418a5391674729107412f38982","datavalue":{"value":{"entity-type":"item","numeric-id":21451,"id":"Q21451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$016A6D37-4F19-4682-A235-28FCCC9435E2","rank":"normal"},{"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":"Q3172845$3BDE2166-49F3-4690-BBFB-C9FD5DF39184","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":"Q3172845$E0AE7A68-6C90-4797-816D-E943C8D52BEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36967f602c0d7a613a533c5dc5677b2628450702","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172845$9DDA6944-CC4A-4115-B125-E736EB692468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"539a92111b90a00f0758e6ae406c97775958e38d","datavalue":{"value":"W2163626018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172845$F0CDB6D3-D6E9-4B5F-B0F2-8D9D048536C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$5D95CC53-FE2D-49DE-834F-A8B5998F2223","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":"Q3172845$8F6A3B79-0F17-4F25-B3CA-31A404C97A1B","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":"Q3172845$30C56D31-D929-409E-85E2-6CBE0F8AC8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d270039c25734bb5e63b269353caeaa3594399","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$76FCA9A4-A74A-4B46-A22F-DB395EFB4ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$990C6A0E-4DEF-4A72-80BB-F31DEB783E72","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":"Q3172845$0FD3FCDF-8281-41D3-85EC-B2E011258A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048f68cf64c420b65793f180e204dba1f39b9b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1608368,"id":"Q1608368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$60417488-A0CC-43A7-AC47-6C8701B3D20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$A64877D2-8F86-4508-9E55-E63979A266FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a19a784eec0b0476f7b783aaeebb41deb17bca2","datavalue":{"value":{"entity-type":"item","numeric-id":3648831,"id":"Q3648831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$F4A62FCA-9273-4829-BAE2-EE5F060CDADF","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":"Q3172845$37D199AE-AD05-429C-AE98-65A81D87201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$CF206A1C-1532-4FA2-990B-001E96A72F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8106f36a563a9b5130f50bbc27e481115556adc6","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$959BC2CC-0D7C-469A-AE53-6BA88BF30F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$E558E73E-CA67-4DFB-97AA-B75EF86B2FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$4F32E2C4-F09C-45CA-ABA6-FF8DD2047A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09849c4eb11967a9e4442779b1517cff28a99686","datavalue":{"value":{"entity-type":"item","numeric-id":547916,"id":"Q547916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$AE8A701A-9D6B-45D3-8DB9-1F3A934C64BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289cc17c9a4a33a410ab66c2b5a47c63fe5ff7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5783814,"id":"Q5783814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$C205B1E3-AFAB-41EF-B3EF-0C23F1C5BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531d4cfff969c5c7b38b58a6f6e59713012e22ee","datavalue":{"value":{"entity-type":"item","numeric-id":5716586,"id":"Q5716586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$D34285DD-6E6D-4AD2-8506-9D7288771EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$6205A57E-00EC-4FA3-89AE-116F67F277F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0773f68d76e03445d0ebfcff953ef2cdca72ae2e","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172845$D3B27CA3-B1A2-48ED-9E13-3310F1332502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c870ca1d6a10c5f7e38c224b08358422492f431f","datavalue":{"value":{"entity-type":"item","numeric-id":5858720,"id":"Q5858720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c337e035e2762c1f8e95865b9368f84c0594153","datavalue":{"value":{"amount":"+0.89145964","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":"Q3172845$82D742CC-6614-48E5-9614-77C3AE45863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbb6c8411331e3673df885dce41e2a32465eb4f","datavalue":{"value":{"amount":"+0.88831925","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":"Q3172845$4F5AD97F-8AC9-4812-9E5B-D4EBFC89B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d63cd969b02c7e59f2927d693308f95d518640","datavalue":{"value":{"amount":"+0.88647944","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":"Q3172845$71D4A7EE-DC58-4D02-93F1-C9BE44D9E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8871c9e355ff82eebaa2f66e7d4d68ef9c99d71a","datavalue":{"value":{"amount":"+0.87901944","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":"Q3172845$ED24F935-CEFD-4562-B76D-FEE32EC3990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2844e5a6cd61b5ae9963108c6c469c0f92db505","datavalue":{"value":{"amount":"+0.87660444","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":"Q3172845$5EB60521-DED3-4574-94A5-DDBF220A1568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statistical Model Checking for Networks of Priced Timed Automata","badges":[]}}}}}