{"entities":{"Q2248070":{"pageid":2258813,"ns":120,"title":"Item:Q2248070","lastrevid":43753626,"modified":"2025-11-12T17:07:51Z","type":"item","id":"Q2248070","labels":{"en":{"language":"en","value":"Preface to the special issue on probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310017"}},"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":"Q2248070$CBF2A6BF-1B19-4AB1-977F-652E3691E030","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44e83ce4af8ac002c939edfddba478bb149a97d2","datavalue":{"value":{"text":"Preface to the special issue on probabilistic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248070$62B698B9-054A-41EF-A2D5-42575715D92A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96359773fe56ad0a58b0c72b6b1d76178235c793","datavalue":{"value":"1291.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$F75CE7FB-85B2-4239-9E8E-64ECFE28BF5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$76ED4ECC-FD98-4499-8E22-92952E428B08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248070$84F5BC7E-2E3B-4EB9-B8E5-30BE626A63EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$AA68B440-677F-4086-B9D6-2A6F6BEC1B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$1643FC7B-6EF9-4DFD-9DC4-4CC5503E472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$1F4A02B4-9279-436E-8E6C-9E56D7DB46BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$6D01ED52-5CC8-4003-96A1-519FC0D0DA8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40dfe1bb920c0e569700a718f92486e79a6b77ea","datavalue":{"value":"6310017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$989EBCB4-7A24-4646-AA7C-5B5B150833B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$28DD8E12-1E2E-44A2-BC34-D5095CE213FC","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":"Q2248070$B41529CF-4838-4DD6-89DE-9263C1DA6129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff54857937edb7da077d88800bb74b436f82fd0e","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0194-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248070$8A59EB5A-0B75-4294-9339-949A32BC5E5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ea36bd3a35ba0455cf40930bb19d45275e8f67a","datavalue":{"value":"W2093272200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$681DEE5A-A132-4E7D-98B7-E00E6E2FB78B","rank":"normal"}],"P223":[{"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":"Q2248070$02A402F0-F1EE-4750-A0A1-973229B6D20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$DFC27537-0EA1-4FAF-9137-E455381E25EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ffacdb497877b62833c0c7c05cf777666f981","datavalue":{"value":{"entity-type":"item","numeric-id":2248074,"id":"Q2248074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$1A347834-CBA0-46B5-A4A6-F692FAEE1D7D","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":"Q2248070$8A3C71C4-EB9D-427D-AAE8-10E6185B7ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97ae178cefd39644a97e4a992545cd9a018e0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2248071,"id":"Q2248071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$5603AC2B-3F0E-4709-A2F0-C3413FECAD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731bae4310aa861c75944f5d4f405d75b9a6c763","datavalue":{"value":{"entity-type":"item","numeric-id":2248075,"id":"Q2248075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$B0E0AB3B-B4A0-4602-B699-F680CE145649","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":"Q2248070$839E5D63-EB3E-44B7-B68C-8BDC791D1CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b406f9b9ed254ac478a4a13f1c477e4396481d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$80128DE9-002D-45B4-AF35-F3525285841B","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":"Q2248070$2E1C8633-4F6A-4EA4-8A33-57F55E0C5901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$D5AD3F38-AA61-4BBD-85B2-818B2E1158B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8754d77cfa10acb5f4bc7c163845a68d0725dc1","datavalue":{"value":{"entity-type":"item","numeric-id":2248080,"id":"Q2248080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$F5611BDE-5685-47C5-82C2-C8711535285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd52f10d81f6fb7a14375bf3fc493e0c93aea8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$57BF4AAF-7992-4C8E-A2E8-E2FBF5D7DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$2853EB3A-7AB6-4563-8355-22D2BC9CAA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0343ef019d5d4c03aea4c10b0fdf0c7d7292b4f2","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248070$6B6C8319-638C-426B-B7EA-9A0749F73C64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0da4df709cd6be2dc96090e1b5f3095d0d4a64cf","datavalue":{"value":"10.1007/S10703-013-0194-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248070$7E6D8E66-0E42-4DA9-9595-34ACAA979D4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50800ae11eebdac9bef096ff47f1b926f1c4039","datavalue":{"value":{"amount":"+0.92107743","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":"Q2248070$0F55CB38-75E1-4338-AE20-21057F9FECD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f4a5ab99229a0782a840a00f9263b642d31024","datavalue":{"value":{"amount":"+0.90812474","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":"Q2248070$D5E6C40F-0859-4D21-965E-140286572704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b002307e96e21df399a9fc14c164871ba8e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":436316,"id":"Q436316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df821b48581481ec294c9bcfa86e3e930701d177","datavalue":{"value":{"amount":"+0.9048976","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":"Q2248070$06463B5A-5CE6-412D-AB98-F78491DEC100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b8c73c1c8dbe31a5bf7501571d98246ca4dec0","datavalue":{"value":{"entity-type":"item","numeric-id":2336743,"id":"Q2336743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37791b7512997420344f7097c7e98c7418f8bfb","datavalue":{"value":{"amount":"+0.90183747","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":"Q2248070$495F007E-9A28-47D3-8D65-1F0464D89781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781bf9f928d83210847ad8c48d526df2299ea1f8","datavalue":{"value":{"amount":"+0.89878744","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":"Q2248070$91B5753C-25B9-4350-840B-F506996684B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bc4433e20bbf1ca4a7bd0a5fde00fe23ab4b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3080f710d4f27b221cdb81f5aad930083ac917f","datavalue":{"value":{"amount":"+0.89507854","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":"Q2248070$EEBA8E57-B49A-4EB9-8D1A-E5E8003CE8C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248070"}}}}}