{"entities":{"Q2248060":{"pageid":2258803,"ns":120,"title":"Item:Q2248060","lastrevid":57811464,"modified":"2026-04-02T15:29:40Z","type":"item","id":"Q2248060","labels":{"en":{"language":"en","value":"Symbolic algorithms for qualitative analysis of Markov decision processes with B\u00fcchi objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310012"}},"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":"Q2248060$A601EB92-843B-4E9B-B7F4-15DF5D967CAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de3c1138f2c434a7595fbb1e71dc88a50244b322","datavalue":{"value":{"text":"Symbolic algorithms for qualitative analysis of Markov decision processes with B\u00fcchi objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248060$179A61CF-1093-4A3B-9F7B-24B422EA1FEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cdea09f7fcadf0f8ae25614b7d4dbb0779ce4ee","datavalue":{"value":"1291.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$8F450636-9F9C-4ED7-99DF-3F55D8796390","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$F288FCA4-AD1C-40E9-86DD-E530207F94BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d1e6e374f444e5aa12027c8dd2147e97c170fc","datavalue":{"value":{"entity-type":"item","numeric-id":411660,"id":"Q411660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$7F981321-4E4F-453B-BF13-1118EE81BC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6ec021efc27cc81c53a6c93023f4f3ad8bd4abb","datavalue":{"value":{"entity-type":"item","numeric-id":411661,"id":"Q411661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$0846F225-0DB7-4F6A-905D-5153029F15E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5206d388e7179cac1a1f282e72074e651e25ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1370851,"id":"Q1370851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$CDAEB905-2E0A-4E75-ABC6-0AE9F8F0D243","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$DCCDE552-E95F-4549-9F50-687C634C513C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248060$6D3EA829-920C-4ACB-8BB9-C55ABB1A8C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfc987d07aed721d25a2c70f5b0452b5288bb0ff","datavalue":{"value":"https://arxiv.org/abs/1104.3348","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248060$5935C156-1E40-4937-86E1-9205DCA6BE34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$C8D37B9A-F08B-462E-ABE3-A6BE4E4D2BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$C42AC6E1-7FB6-4FD8-88CF-B050CD2BF355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$E7E52FA3-D3C1-4F96-814B-F835AD5A00BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$BB5F5B17-216C-42EC-8E0D-8951357DDC47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56679cd62a0083de2080b51b655e3c5530243bfa","datavalue":{"value":"6310012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$5547D0F9-144F-4324-9CDB-46CCA1CFA67F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248060$05E8B1E5-FAF2-49AA-A846-C334F4DB9810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248060$6CFDD1AD-10B8-4301-9C13-E074A8F8899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd409ecc4dd6c1f958b0e4c7c600ad93cb0758c","datavalue":{"value":"B\u00fcchi objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248060$2B8C6033-C414-4EDA-8C96-E780E1B99449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e9eee33ad345007dbeb47867a2ecf099f6e092","datavalue":{"value":"symbolic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248060$4EDF843D-82A6-478F-BA02-528F4E26F1E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$74EB969C-5E70-478E-AA50-FB153CBECD91","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":"Q2248060$3AAF410F-1A8B-45E9-8E1C-1C9A7C10E827","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44f92de7734f5d5212c05221e8ece2581ba1979b","datavalue":{"value":"W1510264585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$EB3008C9-9D93-4478-A3D7-20329B64A942","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd01ac085e979f1d62b44f1932bdba5ffbb2a234","datavalue":{"value":{"entity-type":"item","numeric-id":3069996,"id":"Q3069996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$EA37FF5E-E097-44C5-8153-379877C5220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$A61BD520-1242-46D9-871B-2427BA46B7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$2AB4C1D1-3FF0-46C3-9AB9-19004C1BD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782d668c2c8d680b64d5fbe30ceacb4e76140a53","datavalue":{"value":{"entity-type":"item","numeric-id":5365120,"id":"Q5365120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$5F8F85A1-7D1C-40EE-B06B-B727B8CDC637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9cc32f7830e0996f59cec04dfbfdd93a06efdf","datavalue":{"value":{"entity-type":"item","numeric-id":5292630,"id":"Q5292630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$7A00622E-22A2-4A59-97B2-624290FFFC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e9a29ecc80627a0cc89632ef849db579cddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5501249,"id":"Q5501249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$DB21455D-8FAC-46EF-86DC-A2B48ADB1C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$D4C68C68-A77E-4250-80A7-B00AF833E6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$ED3358E1-E2DA-4B2A-B5CD-3C6CE7FCC4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a527e35295d992929e135e8f5b0cd1a2514b29","datavalue":{"value":{"entity-type":"item","numeric-id":2248054,"id":"Q2248054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$6EFE4D54-3775-4E2A-AF38-943979EF59B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3f2f2ebce38bf116ec41928db66587659e692","datavalue":{"value":{"entity-type":"item","numeric-id":5429327,"id":"Q5429327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$695FC23B-6AA8-47B4-BEA1-F845A02A8853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$F830C54A-8215-4DD9-90F4-12AD04FDEEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1992fc48da4fa05a2949611df42e5d2c49e243eb","datavalue":{"value":{"entity-type":"item","numeric-id":4471346,"id":"Q4471346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$D66420F2-E28A-488F-90E6-AD792B13E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0459d1a93a135deb9a3f3404173b887fd894a7be","datavalue":{"value":{"entity-type":"item","numeric-id":3266141,"id":"Q3266141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$1B9EDF52-A9A6-4E6D-88E3-2F8370C28965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$72FF890A-30C5-4E20-A871-2AB721664CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0de5ea4e7b1087bddd6d12e5c193b87b65606fd","datavalue":{"value":{"entity-type":"item","numeric-id":5137903,"id":"Q5137903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$002FD023-8A95-4315-BB6C-A57765455E76","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":"Q2248060$F8DAAF8E-1B45-4A48-A4E7-C7156569A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b76c498f5c4968b18e0a5cf8a7bb4513c31822","datavalue":{"value":{"entity-type":"item","numeric-id":1838310,"id":"Q1838310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$FE888DB8-14E7-4735-968A-68DC77AC668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248060$6847C5B7-F8A9-4B0B-AEAF-92123FB6388D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb02878049ad9093b11dba9687f40bac4ea06a54","datavalue":{"value":"10.1007/S10703-012-0180-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248060$997FEB99-1354-4E77-A1CE-DCDD3E6D35E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c4a5d3678b4d34a6fe3daf1883ed1e2a4eac10","datavalue":{"value":{"entity-type":"item","numeric-id":2257302,"id":"Q2257302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8651cd01396f4e96ae4271fa6dd4a7dee47b590e","datavalue":{"value":{"amount":"+0.8434801697731018","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":"Q2248060$6ADD87A0-3C3D-43C8-97A6-99E8FF0CC04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21398f8f88c967e9619b5532c3ca53a874c9335","datavalue":{"value":{"entity-type":"item","numeric-id":2957521,"id":"Q2957521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6f0a27a2c738a4c80ae99f190d11d80b2d2a59","datavalue":{"value":{"amount":"+0.8423570394515991","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":"Q2248060$B1E8D7AF-1E7F-4916-9264-6D7D5646DADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3670ddf41087f1ae003a39611a76b926bbf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5292630,"id":"Q5292630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbaff0d052f916e05d3bdeedd91ecb33be48e18","datavalue":{"value":{"amount":"+0.7968326210975647","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":"Q2248060$98C301CA-D3FC-4AC4-B913-089AC6967AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b024f51ce9dd161583ae762a07c04ef78a25bb","datavalue":{"value":{"entity-type":"item","numeric-id":2407982,"id":"Q2407982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525b98dae374c568ea177e9a3d0c8d086b5d1ff1","datavalue":{"value":{"amount":"+0.7863183617591858","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":"Q2248060$D16EE3E7-319C-491F-99AE-736536A06E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16dfae6360f2a00d4f26abdada29183f40b9f53","datavalue":{"value":{"entity-type":"item","numeric-id":4547957,"id":"Q4547957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f8747c6f1582e562043a5641662587a9616336","datavalue":{"value":{"amount":"+0.786289632320404","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":"Q2248060$73D262D9-37D9-435E-A054-54AD77721372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248060"}}}}}