{"entities":{"Q3557065":{"pageid":5586969,"ns":120,"title":"Item:Q3557065","lastrevid":49559311,"modified":"2026-01-07T19:16:35Z","type":"item","id":"Q3557065","labels":{"en":{"language":"en","value":"Model Checking Interactive Markov Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702230"}},"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":"Q3557065$80F5A1E6-6ECC-4878-B42C-DD04C21B9731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef984e45810d490a7d0c728c6d1cc67e8b469690","datavalue":{"value":{"text":"Model Checking Interactive Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557065$08D70BF3-8B96-495A-A3AD-186779786349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8264d94069b98f7f1e1326822764070f03825ac","datavalue":{"value":"1284.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557065$DB617602-EB5B-4344-9006-7BDF8C0D0827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5ee701f0cb5e6c99de7f75b7e41800e4e7377ec","datavalue":{"value":"10.1007/978-3-642-12002-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557065$6E966514-48C8-490E-B8F0-FCCED1A53B53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd181907c86c690db630ee2fee65d2bd2ee8afa","datavalue":{"value":{"entity-type":"item","numeric-id":2248078,"id":"Q2248078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557065$23BF74F8-BD8E-4C14-B1DB-6D9AB2091183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557065$A4BD54E6-4AFD-40CA-AD59-D0E785211B12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557065$7EB09E3C-52B9-4983-ADFF-694AC7B52432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557065$4FA2AD6E-28C7-40D5-ADBC-DA4BDD3050CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557065$35BBF3B4-8B8B-4467-90DF-F71F85097FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557065$763EC83C-5123-4760-8581-4F66C8B68F2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7edec26224466d582bce3778c04a9c9042792031","datavalue":{"value":"5702230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557065$FEA74419-9DD7-4A5D-BFCC-A0C51AB5762B","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":"Q3557065$702DCA0C-ED87-4CA7-9681-5635469B0D0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb067257dc38d513ba527222594f0cf20b79740a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557065$D95E5176-B44B-4DD6-AEF0-523B7DFA0DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87cd72dc7f432e3ff7341852fbfee4e3d30153a4","datavalue":{"value":"W1520708882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557065$7BE3A23F-BFF0-46DE-A3BC-CB47704FBBE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f76389a5da3f3f55870c4e48e29add93b0a5bb","datavalue":{"value":{"entity-type":"item","numeric-id":3646579,"id":"Q3646579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$3F844889-75F2-483F-ACAF-C6EB27A767AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46f7e36628aa6b9a001944bd7a737eb349a538d","datavalue":{"value":{"amount":"+0.9392451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$5FB3B5B1-9D3A-46F3-B9C2-0E664BA7F163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4bb982b95039c485937c53b440168936467a99","datavalue":{"value":{"entity-type":"item","numeric-id":1649575,"id":"Q1649575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd04ecc093ca9bdc99e03d26a55a0f0f66a8253","datavalue":{"value":{"amount":"+0.9356921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$0DEF5B45-FA46-4771-94B8-CA8257DD202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2bb6a6c05470d9001c41536a1bc56f05f0f345","datavalue":{"value":{"entity-type":"item","numeric-id":4518904,"id":"Q4518904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a316c1054cefe752ed3bbc49e5722b61c63f31","datavalue":{"value":{"amount":"+0.93044305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$5F22DE00-1B34-42FD-87F4-CE757EEE3FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fcd48c493965ab2e407530b2e2e203db0266b","datavalue":{"value":{"entity-type":"item","numeric-id":5703762,"id":"Q5703762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181e738e72649c2bce5c2fabceab34d05badd002","datavalue":{"value":{"amount":"+0.9235152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$D04A2D31-8334-42BA-9DAC-8AA088695982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5e0be2fb5c39a764010e19b3411eedcb49c23a","datavalue":{"value":{"entity-type":"item","numeric-id":2957522,"id":"Q2957522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848806f481816ac5dbd176d520c78cecbdef04fb","datavalue":{"value":{"amount":"+0.9188503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$2492CB0F-F16B-4409-9D00-68A444882672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b08cbe2ce280e7e3b4563c5dcf1960b830f116","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898d861bf53dfa2ce8788f6388188493453c4651","datavalue":{"value":{"amount":"+0.9151021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557065$1A3BD3E7-4C01-480C-AC38-FA80920ED03F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557065"}}}}}