{"entities":{"Q3132080":{"pageid":3142796,"ns":120,"title":"Item:Q3132080","lastrevid":53004968,"modified":"2026-01-24T00:33:39Z","type":"item","id":"Q3132080","labels":{"en":{"language":"en","value":"Self-adaptive statistical model checking approach for CPS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6831523"}},"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":"Q3132080$DBF93C85-3664-4105-8BA1-AB8331646061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ea0fa881ba3c6329fdc55bf4f27f432e2eedcd9","datavalue":{"value":"1389.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132080$BA1002B7-3ED9-4E3E-ACED-BFCD9D907CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e54163be897dcbe4464dfe53a18b1007e1c406a","datavalue":{"value":{"entity-type":"item","numeric-id":3132076,"id":"Q3132076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132080$4D156224-6EE1-4E69-8866-260C0626816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c92fcd582d8b17afd34d362ed6f0801cea0830","datavalue":{"value":{"entity-type":"item","numeric-id":3132077,"id":"Q3132077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132080$3AFFFB8D-0773-474F-8479-11C06B76880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"830e18081eaa2d7c6cd7b58a2978b2e43a713b61","datavalue":{"value":{"entity-type":"item","numeric-id":3132078,"id":"Q3132078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132080$0EE8A601-B3A5-47CF-9365-DF12E7322C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2deeb429702b24073a716d488b35007aa8d243b0","datavalue":{"value":{"entity-type":"item","numeric-id":3132079,"id":"Q3132079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132080$87D5BF74-7147-485C-BE1B-76EAE49D2802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1fdde4a6b7c393bd7e7511d176d020130b90b6","datavalue":{"value":{"time":"+2018-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3132080$FFFDB84A-A2AF-415C-A74C-4F1B62E55A78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132080$3A11D209-F075-4005-91A2-763E5E2F4FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132080$00036DCF-9255-46C0-8BAD-1F1C16B8232A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee0ba94e44c28f085b8bc8b97ce1844a6f9feccf","datavalue":{"value":"6831523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132080$1F53CB11-08C8-4DEC-AD32-B907A9F4FBD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a987f98961115b341c68dd3871d9d4bd78454","datavalue":{"value":"cyber-physical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132080$FB948AE7-BA1C-499E-B043-7A776D2F4C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132080$8DE2AC1B-1653-46CD-B13B-775980C65DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ec51f3ce3dad5fbc65f658f9dea9e55196d45e","datavalue":{"value":"self-adaptive learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132080$9BFAD7B2-467A-48E4-BAD7-CF3CA7CD83A1","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":"Q3132080$E4AB82A8-E101-42B1-A07A-21B8B7A06E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd3192540656585cf09dee4d97d5e961d6f12518","datavalue":{"value":"10.13328/J.CNKI.JOS.005216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132080$7652FF41-EAFD-4C17-B51E-3069B39EC373","rank":"normal"}],"P1643":[{"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":"598a552dc8437e609910dd03730e1c5e9a49d92c","datavalue":{"value":{"amount":"+0.7927930951118469","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":"Q3132080$0718DF46-0730-47D9-9812-45C54EF2CC36","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":"702630969b99bdd75bfcef1e8f4bbd91abd95e68","datavalue":{"value":{"amount":"+0.7189853191375732","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":"Q3132080$BF4DD04A-69F2-4820-9749-76C924BCC53A","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":"1a773d048cf5f7812e3e8434bd7d8b268b35a1cf","datavalue":{"value":{"amount":"+0.7172031402587891","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":"Q3132080$8B67BAA7-ADA0-4FFB-A749-E4225EB2511E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404b9ed1b463490bb7722e17afc8c4a98045defc","datavalue":{"value":{"entity-type":"item","numeric-id":2894280,"id":"Q2894280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6725967bae0801303e737758746e5e4957c49f8","datavalue":{"value":{"amount":"+0.7165445685386658","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":"Q3132080$4034B210-4F5D-40BE-BE26-9946FF5D1CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c34f93c259408c506a35ff4b3377dd1b8a1a707","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269c96be04dadf20661bd832db78d33be40caee9","datavalue":{"value":{"amount":"+0.7122803926467896","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":"Q3132080$DF5BDF28-B648-4AA5-8340-59591B853079","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3132080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3132080"}}}}}