{"entities":{"Q5039537":{"pageid":7069114,"ns":120,"title":"Item:Q5039537","lastrevid":56685384,"modified":"2026-03-18T19:48:47Z","type":"item","id":"Q5039537","labels":{"en":{"language":"en","value":"Statistical Model Checking for Variability-Intensive Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600854"}},"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":"Q5039537$FC37E5FE-8175-48CF-AC68-915B74AFA3C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a70e7ba0b0283facf360474b6ec6c2818ce2b3e","datavalue":{"value":{"text":"Statistical Model Checking for Variability-Intensive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039537$F4AF78D4-1817-4EC4-BCA3-970067BC3737","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46ee5df2dbd8af5e220bc1b967d03850a0be21cb","datavalue":{"value":"10.1007/978-3-030-45234-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039537$63BAB223-61F5-452E-87E4-C2B7264BD13E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b80278b5fe6d6ce372766082ce4a7f1b8cf79122","datavalue":{"value":{"entity-type":"item","numeric-id":2065552,"id":"Q2065552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$ED7CBA4E-C45A-4301-AA2F-BB7C8D3E6E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fb5e75556915641898c14bf963ab4a7c3c4960","datavalue":{"value":{"entity-type":"item","numeric-id":2065554,"id":"Q2065554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$4A1A7C68-D72F-464C-A932-75FFCBCD513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$4C0A6D85-52D5-4587-ACF1-B732E811171F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$96496C5A-394A-419F-BE0A-225FD5CFA155","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039537$311471E4-6B41-4F7D-96B6-FC8E626F885D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039537$AE1BF351-35AE-49AF-93B0-45DBD84E9584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039537$2154EBA6-360D-4098-BAF6-93F576A34425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4fc209da06848b413ae9e3553a2f9c8d684b3ee","datavalue":{"value":"7600854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039537$4FE4B1C6-16E4-4E8B-B9DC-621501109DF4","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":"Q5039537$EE278037-8E4E-4E68-8151-336D9FD88AC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f923fcb584e8f2aefa8c7a25bf31311e06109c07","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45234-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039537$4C0004C1-F561-41A3-96CE-A2F533788798","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2ab07d0f4a0c2f7a9d4d595857d1cfd36574302","datavalue":{"value":"W3019051048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039537$B5684857-3235-42FD-AEEB-86417898D513","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":"Q5039537$C7EE598C-4817-45C6-9A42-0D866A75A0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f18366632940696f7135895fff3e91ddd03adeb","datavalue":{"value":{"entity-type":"item","numeric-id":5963087,"id":"Q5963087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$B3134A6D-F2D6-45D6-9A56-6882C35DB319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef78d8cf5a464d7fa46fbd262fc8164eca191d7","datavalue":{"value":{"entity-type":"item","numeric-id":3128420,"id":"Q3128420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$DA7E8342-6DF2-4E29-86AB-1706CB4A2EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$49331308-5262-4592-AD6B-0B7313258F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf02e0e12f9221abdc711425832159142f80fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$1878CF8F-3584-497C-B8C5-F74A2DA3D16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$43C93D07-8CCB-4BE2-9053-8F451443C83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3a827859850e2bb084b4bc935d7e93d39d6eea","datavalue":{"value":{"entity-type":"item","numeric-id":3200468,"id":"Q3200468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$0011BFF7-3E80-485E-8769-DC1E2BEE95D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa348c1682e12d5bc47045cff79c34e3ad03d240","datavalue":{"value":{"entity-type":"item","numeric-id":5946570,"id":"Q5946570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$9ECADD48-42B8-4301-B320-3A385D3A4B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b3e8d9bd455a8d9a78b81197b53de78d16a089","datavalue":{"value":{"entity-type":"item","numeric-id":859873,"id":"Q859873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$A042323F-DFCD-428D-BC11-42EDB0F8E160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02102976be26f21c3e9c6e0a07774474b591289","datavalue":{"value":{"entity-type":"item","numeric-id":2999315,"id":"Q2999315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$106E08EC-5F21-4309-A5A1-B1C342C0E465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$15C5CD32-742A-4446-9918-0786F3CB7EE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2fbf7d4b32394d0eb4b71b8f21306b1d5b8844a","datavalue":{"value":{"entity-type":"item","numeric-id":2065555,"id":"Q2065555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81589ebc96ced4dd331f55d4a6030fee60455bdf","datavalue":{"value":{"amount":"+0.96601164","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":"Q5039537$10B55FBF-432A-4BA1-ADD4-7490A2A247C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183ed06645ea4dd08b6d93b4fab30259550c3182","datavalue":{"value":{"entity-type":"item","numeric-id":5106945,"id":"Q5106945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10ab2865d697789e8ec4a7a0e2cad958d7ddf0d","datavalue":{"value":{"amount":"+0.9401339","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":"Q5039537$834AA2F4-87EE-4746-984A-1CCEED9CEB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f842cb182b3a04330d2469e0337e62249d095bc","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366d7e23f04035845c01b8660568758b90570436","datavalue":{"value":{"amount":"+0.934674","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":"Q5039537$3F8A5741-0290-4898-A42A-F78821CD51C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26f1a98377ff932e805c943e97f4d4d9369ebc6","datavalue":{"value":{"amount":"+0.93455267","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":"Q5039537$1D461174-1B9A-492F-B176-07AFB518CA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a478684cfd6d6ad8ce9c9cbec4d01a23e14532f","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cd650a303d76aaa2c063fa5fbeee42524d2769","datavalue":{"value":{"amount":"+0.92138016","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":"Q5039537$172CCB75-4B17-4092-8296-0FE0C4F2A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba384fd3f96e06c9824e71a026517f4640b2454","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c2855b1cbf951fecfa14aa477331a678d1216","datavalue":{"value":{"amount":"+0.9174285","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":"Q5039537$26B3CA83-1496-4210-9694-BA6143208F89","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039537$C0882A7A-50BD-4AF4-99F8-FF39B453759B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039537"}}}}}