{"entities":{"Q3519498":{"pageid":5549402,"ns":120,"title":"Item:Q3519498","lastrevid":49000198,"modified":"2026-01-06T11:13:51Z","type":"item","id":"Q3519498","labels":{"en":{"language":"en","value":"Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313320"}},"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":"Q3519498$561EF3E1-7477-4C12-A37E-2C303D9FB5DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03f71b01239e79f8d797afb5142b7231ee4fcd02","datavalue":{"value":{"text":"Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3519498$9D8F4728-7556-4DDB-A467-A73FC0BCAC9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc3220ab929c3c38221335fedbaa508bb6bf932","datavalue":{"value":"1155.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519498$8EB11153-906B-417F-855E-B53384BB0FC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4094aa326bb78914c171d12b06660d4db699ea8","datavalue":{"value":"10.1007/978-3-540-70583-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519498$E688BBFC-0FC4-4109-B41F-13679F223BB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$3574413C-E66E-4F37-B0E7-06CD6562C94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$92D6B38D-EBDA-442B-9241-E5835D239A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$4559F506-E6CF-4949-A288-95C656D51FA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$732C346B-1153-4B4E-AE4C-A0EFB7C7604C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368aedbbcdb07b61d4f2acae84ab7ae3e3751f97","datavalue":{"value":{"time":"+2008-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3519498$304D6533-48BF-456D-987A-104330DD1DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519498$4AC0E635-7ACE-442D-BAF1-E8B3CC398D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519498$E39ADFD4-3651-48BB-9B1C-696BD8BA56FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae5a3281d230ff75f6f92e1c25765bc05acd8364","datavalue":{"value":"5313320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519498$9F609A92-AABB-4068-98D1-63F25EF73FF6","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":"Q3519498$4279428B-7A14-4017-A50D-063BE0DE1CE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59f14e576aefb25cc524d949bb41e49fe029c6f6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70583-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3519498$76339217-3B7C-487F-AEC3-2E161EB68068","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbc519b3efc9c27282e2ed3b48f8f936f1379be9","datavalue":{"value":"W1502518842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519498$49832B2B-9D0B-4361-B60C-8CF11BEEF954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52479ce1aed3445cf12b4ee9e791997db4f08cf","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$34D5BB3F-598F-4D88-9DF9-F0CAD2D878AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ac48e7fbf11ddd3e9ff58274039f67b31bb988","datavalue":{"value":{"entity-type":"item","numeric-id":5179051,"id":"Q5179051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$E1C79BDB-050D-4AFA-A634-FF93D341C097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c381b186652f715aa47702b014101f39219ec09e","datavalue":{"value":{"entity-type":"item","numeric-id":3525653,"id":"Q3525653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$FC10458A-CD25-4369-B275-FA7BF8C3D509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176492351b6803d6dd45cb238a6cda64a727f5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$DCCA7657-C8CB-4466-BAA8-F5519DAAF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7f2d6fad5c26331e30e78154fc50caea5e9387","datavalue":{"value":{"entity-type":"item","numeric-id":5449810,"id":"Q5449810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$5DF610FE-BA52-43F7-AFD9-74372A9D1C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$87F06124-026A-4B7B-AABD-9A593976551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09df45c62e459c7069b1610a42f2bb6d79008a04","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$7ADD3418-69D9-407F-8CF9-447A3CE8BD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7ae444e2f5e4c8eab406c451aa9c38869a1320","datavalue":{"value":{"entity-type":"item","numeric-id":5309683,"id":"Q5309683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$1E7CF693-56EE-4187-B08F-7F63D56680D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$B64C5A21-6BF4-4D14-BD11-BB8921E83025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$1C20E565-A693-45B2-A640-DE31D40EE985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0840a97ff84a8bbb1684d812172c86ef7c121a6d","datavalue":{"value":{"entity-type":"item","numeric-id":5897798,"id":"Q5897798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$A2AE4BCE-6BB7-4EB3-9127-C83D712F3F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519498$22AD8BD2-86DC-4CAD-8A7E-A674E2149A9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066b1d74e70cb5c7b1c7235b451cdcf660d135ff","datavalue":{"value":{"entity-type":"item","numeric-id":5450116,"id":"Q5450116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ce2cb89a06083b54a8b5832b4494e30a48baea","datavalue":{"value":{"amount":"+0.9012468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$F561388A-32FE-425F-BEE0-CFA2C7DF9E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5264eb812a37903e149cc83d4e37c8b9d568b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897798,"id":"Q5897798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ce2cb89a06083b54a8b5832b4494e30a48baea","datavalue":{"value":{"amount":"+0.9012468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$B6D64355-F89E-4F9B-A170-A808CB736960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fbcfde82923c87fa5c6f11241ef56a171305a7","datavalue":{"value":{"entity-type":"item","numeric-id":2983055,"id":"Q2983055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe1c469d508dd106081204c20a2ded9168b1979","datavalue":{"value":{"amount":"+0.8981421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$1A7815DD-E8C3-4162-B347-91C8F3942980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f2739e6c2fef9b5673e5522e06628a3d37968f","datavalue":{"value":{"entity-type":"item","numeric-id":2226753,"id":"Q2226753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f241cc6d04568c496a763c370b810c553ba194a","datavalue":{"value":{"amount":"+0.89470494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$41B4C29D-3E35-48FC-8536-CBC9D8483038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c152880aada0b28174f53e3cfcbaa55c23c39c1","datavalue":{"value":{"entity-type":"item","numeric-id":515573,"id":"Q515573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70770bb042c9b660e5c74b6b98b2533aa851ac96","datavalue":{"value":{"amount":"+0.8821321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$4F346E74-EBA3-4850-8A3E-3CF6FE45041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4788adeede9fee0db5706dfa98e6cfd4bb5e1932","datavalue":{"value":{"entity-type":"item","numeric-id":5240153,"id":"Q5240153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961c3fd2bfb20cae1c0f7cecbfdd10cfae08a545","datavalue":{"value":{"amount":"+0.8737808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$2175FE25-82D5-4AAC-9E9A-4FAF91F1B9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0bab95437aca4a6621c38620cb6b8cd0067b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2680240,"id":"Q2680240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8930ca9cebec26f54f933e2971de72caa2ac2a63","datavalue":{"value":{"amount":"+0.87324786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$15BAF809-B0FE-4D0E-B6E9-3FF9B53C5CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5381dab6d38b184b418a627940e972fdabe429","datavalue":{"value":{"entity-type":"item","numeric-id":2983169,"id":"Q2983169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f554b7dd7b9ef7b1ca7a22e1ae84e342ab8818","datavalue":{"value":{"amount":"+0.8716683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$A471CA6F-17B4-4844-982B-4175DB6A15E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d9e356a4bdb29500eaa196e5b0f27b3e1a6376","datavalue":{"value":{"entity-type":"item","numeric-id":1778321,"id":"Q1778321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4759c869d8de55d7b4623ab63599a63738ec94","datavalue":{"value":{"amount":"+0.8709941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$D2733A15-C1AF-42B8-A3EB-379FE61DBF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455599aa24a576c7bfbacea34713159d1e675b48","datavalue":{"value":{"entity-type":"item","numeric-id":2945599,"id":"Q2945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fad500fe5f4b373765ea51f1df760dd8068e129","datavalue":{"value":{"amount":"+0.8703414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519498$821CD2F0-0561-4560-A7D2-10643BF12D54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3519498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3519498"}}}}}