{"entities":{"Q6078294":{"pageid":13212601,"ns":120,"title":"Item:Q6078294","lastrevid":39686876,"modified":"2024-12-30T17:13:52Z","type":"item","id":"Q6078294","labels":{"en":{"language":"en","value":"The satisfiability problem for a quantitative fragment of PCTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753727"}},"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":"Q6078294$F446BE0E-E39A-4866-8482-B4CF15479BF3","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":"Q6078294$EE54CE01-246E-425A-9347-128570C22250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e756b64ba0a4aa83627376d36b7de82c2a7fc174","datavalue":{"value":{"entity-type":"item","numeric-id":6078293,"id":"Q6078293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6078294$D23F0526-A2F4-4A88-BBA3-955315A46AA2","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":"Q6078294$E8A93D19-0165-43EC-991E-14C68458B976","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6078294$AEA266EA-3FD6-4723-B6CD-342E200B37F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc38c107bfbe3d21f38c865385857570a4bd451a","datavalue":{"value":{"time":"+2023-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6078294$9FE98133-B012-4845-8012-5F841AE2ED67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6078294$309582CA-6209-4591-9ABC-0C5CF017D7E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"953af2ec46692bc912c6f9f0ebf681e2a226bf82","datavalue":{"value":"7753727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6078294$3FC0CA22-5298-4B16-9940-9E24B9DFF9D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6078294$DD312B5E-A581-466F-9DF4-369BDB1A4716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa9777db6a93f9be9f42c1ec5f56f8259f8e4d9","datavalue":{"value":"probabilistic temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6078294$8BCEC5D5-24CC-4BE3-9218-9CD5B165310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6078294$B402380E-4A8B-4453-B1EA-A3D3E20461CE","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":"Q6078294$E53DD39D-AABD-4699-9B79-00C83D319FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f8a3933660005464c7fdbbe1050b5aabee33e18","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2023.103478","type":"string"},"datatype":"url"},"type":"statement","id":"Q6078294$78CF4DE8-5113-44DE-A5E6-1B3D17BB944F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90d381c461aa509e275c5175b25d101ffceceb6f","datavalue":{"value":"W3180885449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6078294$DFF4260C-28E7-4C4A-8E21-EC64F319C9B9","rank":"normal"}],"P223":[{"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":"Q6078294$16AC2496-E834-477C-B64B-9755F1AD5023","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":"Q6078294$08B7CF2B-070A-4F26-BC7E-1F33DD8E7677","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":"Q6078294$5D8E646E-93F1-4835-9D96-4A869128EA41","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":"Q6078294$9B83E51C-5BB1-43C6-9563-9161A96390AD","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":"Q6078294$D14A309B-3BA3-49AC-B081-98C11A3F2648","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":"Q6078294$0487C380-104F-484F-B95A-3868F0E0D16E","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":"Q6078294$4A98D378-8DB8-4B33-8D56-126DEC6EDB17","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":"Q6078294$7A65F515-5127-4D5C-A38D-2DC02335ECDA","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":"Q6078294$88732B08-A0E7-41C0-AD48-A5246EF5086F","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":"Q6078294$686C93B2-6E27-463D-AC9A-A8DC10F4E641","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":"Q6078294$616BF180-14A1-42C9-8213-DCF52E5076D5","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":"Q6078294$D4F9F044-C1CD-43DB-96F9-C7910073C09A","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":"Q6078294$4B9950B0-F36D-404D-BD29-BC9D0A7213A8","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":"Q6078294$00CACBB7-BC0C-4CC1-A320-AB56C9CF5084","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":"Q6078294$1FAE310B-3C7E-4D82-820C-4171E19376F3","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":"Q6078294$9A715B90-34D0-4923-B5DA-2CEB5FD3094A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c4cd5bd60297157753289d6a2ada04db354b676","datavalue":{"value":"10.1016/J.JCSS.2023.103478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6078294$402867A9-A6FC-4764-8075-1E408BA17DF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6078294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6078294"}}}}}