{"entities":{"Q7310307":{"pageid":31275538,"ns":120,"title":"Item:Q7310307","lastrevid":105090742,"modified":"2026-09-16T15:19:56Z","type":"item","id":"Q7310307","labels":{"en":{"language":"en","value":"Compositional reasoning for parametric probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236365"}},"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":"Q7310307$5E62F399-C442-48D6-B370-453934E16BAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"235196a4b8b492fe4cbe3c559708ce29f14b23f8","datavalue":{"value":{"text":"Compositional reasoning for parametric probabilistic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310307$C22889E0-9EF4-488E-8224-C20425021A8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986b4922d1835cc6be9969161a0391cafc6e4476","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310307$88109C76-B013-47BE-9B0B-325061B7AB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"329c78f8d56cd722a7795e8d15f5b66436efc2ca","datavalue":{"value":{"entity-type":"item","numeric-id":6518109,"id":"Q6518109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$EE5CFEC1-58E2-4FD0-91E6-4CF5A09EBE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"520e4899614d865cd20e7b39982e692729e073e8","datavalue":{"value":{"entity-type":"item","numeric-id":1990497,"id":"Q1990497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$E6FF0232-63BC-4E5D-995A-C9C8273A23C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$633D452C-F880-473C-8531-84F765EAB4E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310307$F6CCA907-533D-41ED-BEEB-E9FFBB913BF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310307$98135716-0577-43C5-BEE9-28A6123A0261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc4e3c3a0d9735d7093e2636ed54dc1859d074a7","datavalue":{"value":"8236365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310307$EF238637-60D7-4BBA-98DE-0E5EC83CF8A5","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":"Q7310307$0EA43D54-0E29-4674-A716-C86BDF6875FD","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":"Q7310307$F46998D0-FEAF-40F2-9839-D96B15A9B43B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"965f9a407986e6c03f03203131796f69e4bce1f1","datavalue":{"value":{"entity-type":"item","numeric-id":2281626,"id":"Q2281626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$210E1C81-39E1-42FC-8CC9-C1764A874CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$E588C6A5-1A8A-41AF-A45E-AD7E600EB6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba2a025eab3067958c054b4ce9e272cfaab88e6","datavalue":{"value":{"entity-type":"item","numeric-id":2368952,"id":"Q2368952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$EB2C670E-3036-4438-BE50-9CAE9679E1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a590d4563e0ba1742cc150014b46e82cd050f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":3012934,"id":"Q3012934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$9BFE31D9-FD25-4E29-9E98-6E9171833343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbedbd274acd28d3e4426dbc1d79d24cc079ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3190162,"id":"Q3190162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$061D7254-70BB-45BB-9495-9516D71E2D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730b7567e6420921690c2773878c3e9e5a8c1541","datavalue":{"value":{"entity-type":"item","numeric-id":746785,"id":"Q746785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$26E1FB91-07A7-4BFA-9BEF-007A2A7E7FE1","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":"Q7310307$74BC4CA2-523A-4BBA-8041-436AA099F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$E0A1A8AA-9EF1-481A-9B35-D4BE5489C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$A4734637-55CC-4316-8ABF-ABBD3D9B2A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$6CCC9292-4321-407B-BFB7-34590D38534C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7efd0c3e6421fda2217c2b48d9294e9f8d8d757","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$BA9B9467-5138-47B6-B594-9B7626B4B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98ef9f1f960ddbd6443ca71ac29c8c625789c2","datavalue":{"value":{"entity-type":"item","numeric-id":1673656,"id":"Q1673656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$243707B4-B993-40F4-8BF6-D010BFBB97BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b20cc7fbd2b52ddfe2c5020593f88a49b80882e","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$692A18A9-9F6E-4955-9994-64299AC45E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609786574a6e9e17291c5449cecdae22a150e920","datavalue":{"value":{"entity-type":"item","numeric-id":934710,"id":"Q934710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$AB923487-C46F-4C74-A2E5-AD0CD12C9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$EF68170E-47A4-4FA6-A625-ACC560B3F2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab9044be8a4d44a67828260de3e86af39f0f56c","datavalue":{"value":{"entity-type":"item","numeric-id":6564178,"id":"Q6564178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$B91900EB-3636-4A1C-BD89-CA6A20821F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab7b99fe4d21c90a942101abbcf3e9b13527719","datavalue":{"value":{"entity-type":"item","numeric-id":2662678,"id":"Q2662678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$338B5C2E-FC9B-492A-863C-F8447EE24924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a600220d63f8fcdb69a57f6de01db9d73b18793","datavalue":{"value":{"entity-type":"item","numeric-id":6487314,"id":"Q6487314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$FA69D1FA-8B8C-4C3E-B46C-87D19DE04722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401797d3a891c9289ac45deca7ae4b1a58b9129","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$EEEE9807-FA88-40DF-BEE0-F2EAB46BC76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df46e30d71a6986dc9bb4b5f3c63347f51fde3d","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$6B8C63F3-D698-4075-9C85-CBB6B0602DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47240905522e81697c9e35bfd396ff2b74e83a0c","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$19E37561-5BB8-42A2-AB27-34B377465A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a2fdde3e3bc917abe418faac8bebd409eae2cb","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$3D0567D6-5620-4357-955A-8D2FF9BCE342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$A062E35E-2103-48F6-A017-54099A1B071C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$ED0F286D-CAAB-4510-A509-6582A2ABE8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2f6c744899c9b7e2b29ad4c31bd02c8854aee","datavalue":{"value":{"entity-type":"item","numeric-id":1990499,"id":"Q1990499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$7003A636-6121-443A-8B37-E6141A11589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$4A23882F-1375-423D-AB46-0781082D54BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45690f4c4728356cde35b5dba646f77ce58ff263","datavalue":{"value":{"entity-type":"item","numeric-id":3297607,"id":"Q3297607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$C2AA9424-F6F3-43AB-AF5D-DAFD993B364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fbc9de4cdbb3041b0202bd81abc87aa5cf610","datavalue":{"value":{"entity-type":"item","numeric-id":2044197,"id":"Q2044197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$6BBA29E9-5CAC-4D0C-996B-C8BEA996D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965d332af65a3bfadde5dba408adad00f6ed85ac","datavalue":{"value":{"entity-type":"item","numeric-id":3395949,"id":"Q3395949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310307$38E0E535-703B-42CE-8B83-CDB2493D0570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional reasoning for parametric probabilistic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_reasoning_for_parametric_probabilistic_automata"}}}}}