{"entities":{"Q2140493":{"pageid":2151236,"ns":120,"title":"Item:Q2140493","lastrevid":82531595,"modified":"2026-05-06T21:07:31Z","type":"item","id":"Q2140493","labels":{"en":{"language":"en","value":"The satisfiability problem for a quantitative fragment of PCTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7530230"}},"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":"Q2140493$7991FC76-1B93-4A8B-AE19-24718183BFA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66ae1cbcd889e32ad968ff67c7e0f35a453f1e60","datavalue":{"value":{"text":"The satisfiability problem for a quantitative fragment of PCTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2140493$02B15C96-567C-40BC-ADB2-8D072661C512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"279ffe6a5965fd2432743a448a84223632eb9717","datavalue":{"value":"10.1007/978-3-030-86593-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140493$7C0BE279-FB2D-48F4-87F1-1996B8F18E28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$3BD41294-8419-4D7C-851F-D42A8070794D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baa76a50258ba2e3eda6ed9aa2a8bc9741ff28a8","datavalue":{"value":{"time":"+2022-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2140493$8F6A596B-9BDA-42FC-9649-4EF6A7D58A06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f60e846d8dedf34fc7f32e470f0c004f5e65877","datavalue":{"value":"https://arxiv.org/abs/2107.03794","type":"string"},"datatype":"url"},"type":"statement","id":"Q2140493$2D7DD6D0-BCAE-4817-89AD-80CE97CBE7EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140493$2350E455-68EC-4ECB-99D4-B29CF0D7E30E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d9664346e29f6444ff388def5b79e66de71ca1f","datavalue":{"value":"7530230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140493$F84066AD-87A8-441B-9E75-BA78604019DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa9777db6a93f9be9f42c1ec5f56f8259f8e4d9","datavalue":{"value":"probabilistic temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140493$7CCF6D7B-FD6C-4B4A-B0CC-0EC1C51AE0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140493$B630C14D-41D9-4480-9D2A-4507EF20B11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140493$92432D14-98BA-45DF-B89D-8A7A8686E5C0","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":"Q2140493$44944AC7-E89C-42B9-A227-8ED0F6C01A86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2817ec30bf8a568afffd2853d47e5cbf3ddca54d","datavalue":{"value":"W3200370358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140493$423E3749-0CFA-47A6-9472-9118F7B8C9EA","rank":"normal"}],"P223":[{"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":"Q2140493$39A6DA00-82AD-433A-8930-6C24D060782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$CBB687F3-BAB0-4282-84BA-D64A06B087E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd20765387edd5a236d5ed5cd6761cd0e1b664d","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$DE6F7902-72BD-4919-BA27-984B4D984FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0814ccfe28635eee2940f324c80610763cfcfe12","datavalue":{"value":{"entity-type":"item","numeric-id":4649540,"id":"Q4649540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$B784C34D-F658-47F0-898D-A3AF6E16B012","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":"Q2140493$DBC781C7-4127-42C5-AE8B-BE0233FB6979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$9827BC26-4915-4F70-9C06-E0B7AB79C637","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":"Q2140493$C30BE087-3437-488D-8FDD-D499A016070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65cc8f2e5ea23c3bd01560d132b8a831f35fc62","datavalue":{"value":{"entity-type":"item","numeric-id":5710670,"id":"Q5710670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$1B065E1D-CA38-41E8-940B-800679DE18BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e55b625be6ffdd7aadd5c06bddc56ae1684a5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4635861,"id":"Q4635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$45FAB977-AE27-49D5-9545-48FE87567197","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":"Q2140493$27574B74-E47A-4062-A927-B8091E32FF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$BFCC6DDB-5498-4BA6-B852-FC86DF5B8555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a5997e6e34fa5913f18d9e7ce62958d15fc200","datavalue":{"value":{"entity-type":"item","numeric-id":2946660,"id":"Q2946660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$744AECEB-79DB-4031-8C0A-148FD7A9F13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$5FA2AD6D-899D-41B3-8167-1F2BE6D5A1CA","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":"Q2140493$96E0C2EF-157A-4BC5-A9A9-8886667339C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f518d240ef918de18fdfb40484f99a7e57d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5009450,"id":"Q5009450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$1E4CEDE7-782C-4901-AC93-A650DF52AE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140493$BC730B87-990B-4284-977E-E4EFF432B5E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The satisfiability problem for a quantitative fragment of PCTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_satisfiability_problem_for_a_quantitative_fragment_of_PCTL"}}}}}