{"entities":{"Q3184702":{"pageid":3195410,"ns":120,"title":"Item:Q3184702","lastrevid":86062475,"modified":"2026-06-03T13:49:47Z","type":"item","id":"Q3184702","labels":{"en":{"language":"en","value":"Counterexamples in Probabilistic LTL Model Checking for Markov Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619408"}},"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":"Q3184702$AFE82300-0ECC-4F54-837D-30F868ECB8AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2daabe9f6da9cdeda92d85cb0e4e500d43d647e","datavalue":{"value":{"text":"Counterexamples in Probabilistic LTL Model Checking for Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184702$870BD2CB-E11A-4DB2-95C1-E8E5561200B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"645b00a90ca40c675b6f011a448a09ae94dca6d3","datavalue":{"value":"1254.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184702$0558CDAE-EB1F-41F8-BC21-224687C0AAF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb048e91a22dd45c2477a005abd1dbab16033a0b","datavalue":{"value":"10.1007/978-3-642-04081-8_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184702$C1AE8D18-6269-47F9-8F50-88C2B0EC17EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a3d6230d50649ed1869f38c370666d92898dc22","datavalue":{"value":{"entity-type":"item","numeric-id":3184701,"id":"Q3184701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$6DEF25D3-5D0D-418C-B568-07854D877608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c2cf3997b6b074f0b8a50dac0d7bb587b9c6d64","datavalue":{"value":{"entity-type":"item","numeric-id":667520,"id":"Q667520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$4E4463E7-CFC2-4B72-A779-F53F696906A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78d6fc001ab88727821b933f1e27433662e232f","datavalue":{"value":{"entity-type":"item","numeric-id":834900,"id":"Q834900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$394C21AB-B288-45B9-8865-A83897F11D19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$BFF86803-0BA9-4160-8D07-5FB5FB4088D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184702$4CF438A2-6F19-4B00-BDAD-223D8E5E8894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184702$CDAD8971-AEAC-4778-A342-BA3155EDD374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184702$A77F7AF0-61ED-4253-8D3E-772086CAB892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27971effd8e87fa9cd9046e7dfdeb92826e09a69","datavalue":{"value":"5619408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184702$1DB8F5E3-A2D4-49CF-9062-F8ACF001353C","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":"Q3184702$48A69CA5-B4E4-48BE-B29F-7BCF6C34DE73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f2873da38ff848eb31479d536a7da31b2c3f9f5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04081-8_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184702$BD2ADADC-3E49-4304-8250-10E857FD014D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e51620ce0574449dd339211ed056fdac781eda09","datavalue":{"value":"W2145002677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184702$4BB49EB6-7FB8-4F49-BEFD-C64559919BD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30979d60df1170827847b57833021188af6b113","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$461E7935-2634-402B-87A3-6B0DFD6A623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1c46249b47f70463a428951a007f8cc8960a13","datavalue":{"value":{"entity-type":"item","numeric-id":3511221,"id":"Q3511221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$E8036E96-17AD-4C0B-BFBB-46697A290AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075eea85824ba3af48311be2f930bf6cc95e4efb","datavalue":{"value":{"entity-type":"item","numeric-id":5563135,"id":"Q5563135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$142EE6E7-9337-4340-B77A-FFD84E0E1E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$CD42F986-9958-4F85-9A73-6A2F96BA0A9F","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":"Q3184702$B0202E26-2329-4A38-ACFF-282421087B8B","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":"Q3184702$87D35E52-451E-4F2B-B86D-B2FB0E44C873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080dc2a317ac2282f34ff9b2d843ed33fb8989db","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$ED02F86F-B249-4E3D-A089-D0EE05C64386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b675b3bcccfa7fada4df1b77af3ec29db691460","datavalue":{"value":{"entity-type":"item","numeric-id":3510805,"id":"Q3510805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$7736838A-691E-4CD4-902F-73F9FA592CB4","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":"Q3184702$C1CD0FDB-E36F-4136-8B6A-E3253E26ADD4","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":"Q3184702$E244DEB7-9A17-4ABF-8C2A-B374B3C5071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a406c6c80e7d1b8cc15302a4292a1523cc211329","datavalue":{"value":{"entity-type":"item","numeric-id":3184702,"id":"Q3184702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$E06C2729-BC60-4589-839D-A58061701FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d454c8f549db37caccafcfaa99bbc9b1ea54df50","datavalue":{"value":{"entity-type":"item","numeric-id":5897501,"id":"Q5897501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$580BBF89-4DE5-43C7-A7DD-B2F1DB0AC8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27e9089c8ecd1d4be6398c999c9a458cfa92c63","datavalue":{"value":{"entity-type":"item","numeric-id":3600486,"id":"Q3600486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184702$8CC9C39C-991B-45E1-B37F-6CA8738EAB50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437b98c01b6db117ed8768fb1a95a5a149ac0678","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9168094c0f2d3bb54d71abd600b0706c0c3a21b","datavalue":{"value":{"amount":"+0.8329598903656006","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":"Q3184702$CC941CD2-C412-4D6B-ABAE-DBBB11917321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff46f45ee151efcabf95a53dee8f1b1163eb3008","datavalue":{"value":{"entity-type":"item","numeric-id":5246720,"id":"Q5246720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93888ae408a42787b410b3a6f0b4b215e2a6ddd","datavalue":{"value":{"amount":"+0.8314712643623352","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":"Q3184702$5C51C05A-D5B8-4F54-8655-3F6135B35E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e52e18e0676fe9a44d3a377f4e5a30ff599244f","datavalue":{"value":{"entity-type":"item","numeric-id":5175773,"id":"Q5175773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb689b30c1f172983957939543e22ca19bf5793b","datavalue":{"value":{"amount":"+0.8268307447433472","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":"Q3184702$8B78FFDC-7E55-4812-952B-F2C4CB8FDCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642ddaef3393c587f8a77c951d1c4f8b5552f8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3510805,"id":"Q3510805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf80fbb11989bb2662bd78baf2f32e185eed3c5","datavalue":{"value":{"amount":"+0.8159556984901428","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":"Q3184702$43608041-39D7-4B6D-ADB7-18F0B753D938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc363a648756a6c5904a5fa11f162239b64fc75a","datavalue":{"value":{"entity-type":"item","numeric-id":3172933,"id":"Q3172933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19480d13ad5ef82ba136ea5c4dea7c7679d30f94","datavalue":{"value":{"amount":"+0.7988578081130981","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":"Q3184702$8CCE66BE-4786-4DBA-BB14-565306212E22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexamples in Probabilistic LTL Model Checking for Markov Chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexamples_in_Probabilistic_LTL_Model_Checking_for_Markov_Chains"}}}}}