{"entities":{"Q6970256":{"pageid":21324600,"ns":120,"title":"Item:Q6970256","lastrevid":84048245,"modified":"2026-05-08T19:29:25Z","type":"item","id":"Q6970256","labels":{"en":{"language":"en","value":"The finite satisfiability problem for PCTL is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053997"}},"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":"Q6970256$A35D2CCD-8C43-4455-8FEA-8D133AD97B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbf3bc3d63eabc623f0548b5f34a4491b8bfc1d6","datavalue":{"value":{"text":"The finite satisfiability problem for PCTL is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970256$C2021FB4-DD59-45DF-AE2F-15BA28D08842","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed629f0c7273716ce8dc5adad86d7674b8832770","datavalue":{"value":"1573.03331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970256$48E574FD-EBA1-43B7-BE74-DBEA57B3BFC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e982054967228b17c604c52f2578dd965e07be58","datavalue":{"value":"10.1145/3661814.3662145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970256$690014C1-FD94-4496-92E3-E4FDA49EEDEB","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":"Q6970256$E645AE6E-D4F1-474B-907D-8BA5C290DE5C","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":"Q6970256$0F3E78B9-9CBA-4365-B9B6-CC0FF6DE1D09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970256$F5007033-139F-490D-B4AA-ED9F86E6BF7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970256$AE0681DC-A9C4-4A18-9EAE-023D12731D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970256$8BBE0429-CE9A-4FE6-B1F8-4B1C3009758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970256$2683A1E3-6D21-4510-9AC7-223741E3A026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2aecfe7c4d39a28ac824889be04f9111fff42a","datavalue":{"value":"8053997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970256$DA4635E4-8420-415A-B3EB-A0DC79283876","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa9777db6a93f9be9f42c1ec5f56f8259f8e4d9","datavalue":{"value":"probabilistic temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970256$8FBB5CED-7D19-452D-96F0-C5E9E6EC59B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970256$37E7E6E4-9D15-4D9D-B3DA-0165ECAC65AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970256$77DE671A-0F32-4D96-A8DD-D1D84B040FA7","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":"Q6970256$F140B4F2-CFF7-4448-B696-328B6779F855","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":"Q6970256$4B5D6ED0-9A89-43E3-AA5F-21C6D6269A68","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":"Q6970256$B16A950C-8166-44DC-91B5-2D78781B141F","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":"Q6970256$EA5DE2EA-3711-4714-883D-87689085635B","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":"Q6970256$9E156303-0611-46EA-8A2C-4289FFA75812","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":"Q6970256$1F47BAAA-5E65-4CEE-AEE6-439D5F508EF2","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":"Q6970256$8BFB8833-3DCC-42A5-86BB-B3B607E1960F","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":"Q6970256$0CBD61DE-94CC-40CF-A700-CA8076788F72","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":"Q6970256$25FA1805-1354-40D8-B843-1DDCAE08E275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a65349b83f9d61801ae997ab1d2b1034ea6048","datavalue":{"value":{"entity-type":"item","numeric-id":6078294,"id":"Q6078294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970256$58484262-6B0D-44DA-8714-E5A3282F6C50","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":"Q6970256$013BBDEB-1670-4F3C-AA38-EEE5B35A3499","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":"Q6970256$E9E17032-8839-46F2-9F45-E5CBAEB1E7E9","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":"Q6970256$1B79BFD0-24D5-45DC-A3E0-D81A57C82BDF","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":"Q6970256$59AB9D71-53DE-47C5-AEE3-B4DE203F60C9","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":"Q6970256$37FEB05F-E67F-4C85-9607-D04D3DB57DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153082486e581149f11535d2d857cb5ca3b4b1b0","datavalue":{"value":{"entity-type":"item","numeric-id":5917948,"id":"Q5917948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970256$565AA69D-47DD-4ED6-87B7-46634D736F25","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":"Q6970256$577F2E2C-A216-4417-A599-662E60774768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970256$763039E1-8FBA-400D-BE0A-49BA7E20F7C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite satisfiability problem for PCTL is undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_satisfiability_problem_for_PCTL_is_undecidable"}}}}}