{"entities":{"Q3600486":{"pageid":5630392,"ns":120,"title":"Item:Q3600486","lastrevid":50566919,"modified":"2026-01-14T10:19:37Z","type":"item","id":"Q3600486","labels":{"en":{"language":"en","value":"Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505800"}},"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":"Q3600486$82BB15C1-BFB8-4D52-B1C5-274537195D78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb172c12ebcfce132f62ebac4b5ea8f9d4ed0d0a","datavalue":{"value":{"text":"Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600486$08324724-DD82-4666-AE2D-33A5F37372B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87cee9f9f7d7f809890b86210002b03941794bd6","datavalue":{"value":"1206.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600486$41D53BC1-9858-4FFC-9719-345C9A5DA078","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faa4494ca74e70a096eb2903eddf7547f1577a0e","datavalue":{"value":"10.1007/978-3-540-93900-9_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600486$BFCC71C1-0F38-4D3A-9D8D-13B083B36909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600486$CC2E8ADA-A7FB-4A4F-8B57-5F61311D6584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f30bb6f92065d850b9763de2abf7e9754f7223","datavalue":{"value":{"entity-type":"item","numeric-id":2403525,"id":"Q2403525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600486$D2F1B62A-BA01-4298-8102-BDF36B957DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600486$8D64AE1D-47A9-4120-875E-3F5B97942A73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600486$884DA3A5-8848-4E23-8BA4-5136FA3748C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600486$E4CD5C6F-7E76-4E91-B433-3B1D21EF2F47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600486$E392081C-2818-426E-AD9B-FCB8A806E542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600486$EF55662E-EE86-472B-A97A-86934B6FC187","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d6ab8a89c4de7d80e788cdbc01912959aa64643","datavalue":{"value":"5505800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600486$A1F54E25-9F37-47FD-A66E-C862DC38C41D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600486$866DFDB9-5A0A-4430-9EAF-57E79915E85F","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":"Q3600486$29ED571D-AD18-4CC9-B10F-4B60992C5792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33ed9959386f9122b5a545759cf04de94a196a74","datavalue":{"value":"https://doi.org/10.1007/978-3-540-93900-9_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600486$2B01A631-01FB-4C76-A951-9D08FD839DC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2387dfeab71cf5a042d2196d3478d6584dfdac8","datavalue":{"value":"W1504403751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600486$DB5B5E00-798A-4B00-B417-57232C6B0E23","rank":"normal"}],"P1643":[{"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":"ef5f05ef3bfec16c70bb33e8edf59d3b69c9bac3","datavalue":{"value":{"amount":"+0.8010975122451782","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":"Q3600486$54CEE5D7-70C4-4AC2-928F-A9693BF111C6","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":"0dd43fa44b8a3b13c0a454795eb08e8d56936552","datavalue":{"value":{"amount":"+0.7865352034568787","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":"Q3600486$B8AF31D5-BDD5-4419-B417-FE5290C07558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3a783aee1c99214f2ccffb145084ad2c4cd9da","datavalue":{"value":{"entity-type":"item","numeric-id":5305642,"id":"Q5305642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edbeeee747a94fae41648309f83d95f8b6935eb","datavalue":{"value":{"amount":"+0.7717042565345764","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":"Q3600486$26DE96CE-863E-4A9E-8B56-BD6CE9F42EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a78c998c85878ef9877d179957ccc909188ae","datavalue":{"value":{"entity-type":"item","numeric-id":6488104,"id":"Q6488104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14ecf69106d9bffddcd93f41a6315ab2724a9f0","datavalue":{"value":{"amount":"+0.763852596282959","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":"Q3600486$3C848C25-37E0-4BFB-B931-13DEDA9458A3","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":"42a1b0fc848cbd317831e507d546b6ecad31fde2","datavalue":{"value":{"amount":"+0.7589094042778015","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":"Q3600486$D3C90C54-E68D-40A3-B229-CC529D6CE741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600486"}}}}}