{"entities":{"Q4960924":{"pageid":6990506,"ns":120,"title":"Item:Q4960924","lastrevid":58368789,"modified":"2026-04-04T22:16:53Z","type":"item","id":"Q4960924","labels":{"en":{"language":"en","value":"Prior-based model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7193338"}},"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":"Q4960924$FE9B1841-701D-40CC-B7D7-38D3F7387531","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"334d323bd554d28e47851604e64226dfc9ce71f2","datavalue":{"value":{"text":"Prior\u2010based model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4960924$F35AC3AE-B3D6-4284-80A6-FC2785B2E1B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7bfc1928b001fb5ba6921b829271886ce3e7910","datavalue":{"value":"1492.62057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4960924$CBDAB589-F53E-440A-A580-7DF965958EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24053c1f421eecb1c419d53ef6018a812cbd5702","datavalue":{"value":{"entity-type":"item","numeric-id":433572,"id":"Q433572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4960924$A4B70F14-37F3-4094-B17F-266602BD2E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02491aae91dc508756380afab406c393849f838","datavalue":{"value":{"entity-type":"item","numeric-id":252234,"id":"Q252234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4960924$1D2318E0-E7F7-46B6-928C-43A15CA65C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5dc1ca6f208f294fd119d8536255351a5ef39bf","datavalue":{"value":{"time":"+2020-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4960924$D1E8A1E2-34FA-483B-91C6-04F852B2C1A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6f80e03991929a0fd12ffb758261fe344980313","datavalue":{"value":"https://arxiv.org/abs/1606.08106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4960924$A3687558-0543-4DD4-8E91-F90E5CC7CAC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2474c99ceba943e04dda4ddfffedfe45f5fdfd62","datavalue":{"value":"62F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4960924$4FF46643-A50E-4C35-9A12-F7B83B9AED1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69d7f69e9e6ecd04f8efd94d134ebee3a2b59a71","datavalue":{"value":"62G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4960924$2C017B74-FE82-436C-A003-CFEDBD45844F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dd9fc1b6c8a7102224c93ca9e72636c989d6b55","datavalue":{"value":"7193338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4960924$4411BB83-A349-499A-A12D-7D8C1699E59D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4960924$22CEFE41-6DC2-496E-9C48-7D945D028621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c56a440cbc492e9a1daf9b6feafde766dbd26de2","datavalue":{"value":"Dirichlet process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4960924$3CFC0C9E-0027-4685-B700-4746735DBC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7111d7b7004879f7098a9d115efe482674de89","datavalue":{"value":"relative belief ratio","type":"string"},"datatype":"string"},"type":"statement","id":"Q4960924$08FB965D-B28E-450A-A959-A8414BFD86FF","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":"Q4960924$E2DDF2B9-4A67-4AA1-9D3F-FA929E1154AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d5430d18fcfcde608177834aebeef717b3e1e7b","datavalue":{"value":"W2964026492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4960924$5DA0F8E3-FB99-4669-8EC5-8FFD69A70B56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f7bddc740496815acbdb6dacb64ba874b5aa091","datavalue":{"value":"10.1002/CJS.11457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4960924$ABB363C5-E3F9-4CCA-86AB-34F1388C3BF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f23c6e926f93587fdc6f7d236bfefe81d713d09","datavalue":{"value":{"entity-type":"item","numeric-id":6490383,"id":"Q6490383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4960924$749280AF-8233-4E6A-9B40-7A88E5972592","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dacd138cd9f02df20eadf6bc44224678537d55","datavalue":{"value":{"entity-type":"item","numeric-id":2051522,"id":"Q2051522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b949b029888316d51671fd2a407078268cb4fc15","datavalue":{"value":{"amount":"+0.7480448484420776","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":"Q4960924$83A8EF01-0BCE-48F7-9C73-06E7517C54F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e553b4803924cf0e737089827b41dfe1778fcf9e","datavalue":{"value":{"entity-type":"item","numeric-id":900266,"id":"Q900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81433550f59093cb9a27f6ad4a5254b826cbf2d5","datavalue":{"value":{"amount":"+0.7400850057601929","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":"Q4960924$E370C774-0584-470A-892D-592472EF5EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7844ae0fc076bfa453e9ecfa8482c9b715533536","datavalue":{"value":{"entity-type":"item","numeric-id":4275132,"id":"Q4275132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434cbae117d0b1a2493f35ce347bbd507246a1d3","datavalue":{"value":{"amount":"+0.7300904989242554","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":"Q4960924$4A525BB9-311D-4FEF-8E20-13CE8FF969FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b492e481e7500c311549f5e2eb4f05e1cbf062","datavalue":{"value":{"entity-type":"item","numeric-id":1962698,"id":"Q1962698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac037b61d30323475420475bae44f428f4af53a","datavalue":{"value":{"amount":"+0.7225067615509033","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":"Q4960924$1EB533B6-D09C-4D8C-B1F9-E97C6F9E4C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5042127a1fcd3d1d3a755749f912d3267cff0b","datavalue":{"value":{"entity-type":"item","numeric-id":2057380,"id":"Q2057380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec765b8cd4f585f8738e32e6fb66947554842704","datavalue":{"value":{"amount":"+0.7219846844673157","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":"Q4960924$A4DB0019-B9D5-4296-ADE3-6A5FD60061B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4960924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4960924"}}}}}