{"entities":{"Q2075782":{"pageid":2086524,"ns":120,"title":"Item:Q2075782","lastrevid":78183311,"modified":"2026-05-06T10:59:03Z","type":"item","id":"Q2075782","labels":{"en":{"language":"en","value":"Statistical model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474191"}},"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":"Q2075782$CADABBA9-AF37-450F-AF58-761C492DBD64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2abe662b00b0721266e87c69e8fa69e3602e655d","datavalue":{"value":{"text":"Statistical model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2075782$2BB08D50-AFE0-4CF1-8840-B5F31C170A5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e7a18931c4265e6a88f5ebf1e4047f45376e842","datavalue":{"value":"1482.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$64A65450-BE8F-42E5-9523-9726184B66B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d35b297e1957e425d36ff8742801865e20655cfb","datavalue":{"value":"10.1007/978-3-319-91908-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$C12059A3-B64C-4CFE-9E9B-A87C61ADAFD0","rank":"normal"}],"P16":[{"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":"Q2075782$D9BE7647-C7F1-4272-93FD-0FFF33C210C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43392fff35480992899c7896fbde88ded0ee2dd3","datavalue":{"value":{"entity-type":"item","numeric-id":2075780,"id":"Q2075780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075782$B6864834-08FF-4D34-9A14-B305EE1F679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcd4b26fd536e6aa8f09ce8ab65a6210fabcecfe","datavalue":{"value":{"entity-type":"item","numeric-id":386616,"id":"Q386616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075782$38692751-2B9B-4BEC-B68E-40C5EC9188B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64f9fcc9e8aa82164189afdf6b804131d13b091b","datavalue":{"value":{"entity-type":"item","numeric-id":2075781,"id":"Q2075781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075782$76425B66-DFCF-4040-92AD-50ABFCFE6D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075782$4F0FCD12-6EA6-41E6-A6A8-E8AE29FA2F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c4b2592830aee8d55a50291764703736f3c07d","datavalue":{"value":{"entity-type":"item","numeric-id":216264,"id":"Q216264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075782$74797CEF-7A1E-4426-8DAA-1417CAC3603E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2075782$4CACEC36-EF18-4CE2-8948-364C13384AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$337B7A48-C384-4C1B-95B3-634291481B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$CB8279E1-B3D3-4A0C-984D-92B90671CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$41974130-2871-4938-8444-F2DC4DEF10B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"91a21f0be6001e0c739fe66fa082153cd1a98aa8","datavalue":{"value":"93B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$04544FF4-48D3-4827-96E0-DD88EABAECDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0073c8027d2602c0a385be8c42c5e2515927bc61","datavalue":{"value":"7474191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$8969D3C2-22AF-4349-B1EB-EA80D9220B96","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":"Q2075782$2CA5718B-964D-446B-8A1B-E0392DC1763E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bf9bbc46a89614e79ad8bd4b18e72b3a5fab6c5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91908-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2075782$88A4C1EC-4E68-47F5-9D97-5C517D878AD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76bade6396ff11840619a090bb32879cdeba899f","datavalue":{"value":"W2979249584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075782$EFBB570A-573D-4CC9-9E97-2C2AE5128744","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":"1811450406b1a7acea4477d0709b55c5fda1c644","datavalue":{"value":{"amount":"+0.800830066204071","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":"Q2075782$5F46FD05-574F-4D9B-8F5B-49930D8DC352","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":"b4ef564195a5c0179778ee15ee02ec67b793aed2","datavalue":{"value":{"amount":"+0.7684014439582825","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":"Q2075782$43109029-4C80-4C9E-8B90-18415ADFF254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7bec40f17d824881dcdbea4aa9a0250d4f45d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8165987fc57de7d625664e1393f985ed9e2182d","datavalue":{"value":{"amount":"+0.7657886743545532","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":"Q2075782$49177A10-5726-4A04-990B-55CDF65FF64D","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":"93c23b9ba6c1a66107670047ba6fd4aa28e5abb6","datavalue":{"value":{"amount":"+0.7614195942878723","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":"Q2075782$362B9536-53FE-47C9-A557-554A8C487A8D","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":"13d166a175ad2844064c3b2e9f9e30519cb259ca","datavalue":{"value":{"amount":"+0.760113537311554","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":"Q2075782$31E11B2F-D835-4CC3-9620-E7208B24F9FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statistical model checking","badges":[]}}}}}