{"entities":{"Q5308362":{"pageid":7337936,"ns":120,"title":"Item:Q5308362","lastrevid":92229503,"modified":"2026-06-05T01:11:47Z","type":"item","id":"Q5308362","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196422"}},"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":"Q5308362$DD11C168-5575-4C84-A8A5-CB05F0EC5831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb5a511cc0bafa31a131c11086b49e73b1d67546","datavalue":{"value":{"text":"Model Checking Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308362$8909AE28-EF0D-4005-8D41-FBB214099C0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89f8d6dc17b90478c97eb3d179b13fa1c08d52e1","datavalue":{"value":"1125.68376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308362$38C81798-3F2E-4C9F-AB6C-2DD8B5C4A341","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51597db41f4c27af74a7dc437f8b3856bf44cec5","datavalue":{"value":{"entity-type":"item","numeric-id":598798,"id":"Q598798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308362$FA2D29F2-62D8-4D04-AC4B-CECD4C1E78E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308362$8F604EA9-078C-405B-A057-549FB4792638","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f3bb612485fd64be80be5677ab1cdc0f4709762","datavalue":{"value":{"time":"+2007-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308362$CF204352-5310-4F57-8180-A3622B0B0545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308362$ACC8A47D-0889-4DD0-A789-5EBCFE89399A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56fc6a25046f5701a53f42bba04e89f7ddd720d2","datavalue":{"value":"5196422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308362$3D574E39-F99C-476B-882D-A78650AF8249","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":"Q5308362$8F3056A0-CED4-424D-9834-AE9A3D51B8F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67b07cf25a7bcd2b7383e6842e44d0622bfa8463","datavalue":{"value":"https://doi.org/10.1007/b96721","type":"string"},"datatype":"url"},"type":"statement","id":"Q5308362$CB3FC067-3582-4D2D-B3A4-BFC709AA90E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb07931e27c30149d706a592e0efe9e55dede24","datavalue":{"value":"W54779658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308362$8E93ECE7-2A89-42F5-AB4B-40CAF06FD81F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71045c035fc00297753f01a93c25530b066ce019","datavalue":{"value":"10.1007/B96721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308362$B812E0C6-3A2F-4120-ABEC-544F87247B42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916b81819218c9ac26e4af39eff32bd103fae445","datavalue":{"value":{"entity-type":"item","numeric-id":5897456,"id":"Q5897456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ce8133222b38e7e3820b07129e73c05a7992df","datavalue":{"value":{"amount":"+0.8656190037727356","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":"Q5308362$F565DDA8-6520-4A8C-B19E-D48A82D9C94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d91be2eb3a2c0bc56acfae1accc8c29f0c324dc","datavalue":{"value":{"entity-type":"item","numeric-id":4411967,"id":"Q4411967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855d6af439774290d09782fc7bea7b89e7a2b181","datavalue":{"value":{"amount":"+0.8190181255340576","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":"Q5308362$678E38F8-4FDE-487B-BFCA-929213D28165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacd4dbec5a12579112dce73a6681bf747d5e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2796217,"id":"Q2796217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcede12a5b7aa0b639a922992d4c8d36ad1ea2f","datavalue":{"value":{"amount":"+0.8136982917785645","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":"Q5308362$545907DE-2F83-499F-BC8F-5E9BAEDD9B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c1b0bc00605c975f5744428b3d0b0bd4af25ef","datavalue":{"value":{"entity-type":"item","numeric-id":5493238,"id":"Q5493238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33652bd8498bfec88ed6e8193031814f81a6c9bc","datavalue":{"value":{"amount":"+0.8064147233963013","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":"Q5308362$E4146DD9-0B35-478D-AE7A-E0D55E8B284F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d00276a37dc330f6cac506f192968c14102c99","datavalue":{"value":{"entity-type":"item","numeric-id":3449634,"id":"Q3449634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a217c98c0069e4649fdfdb004bce7e82f023d7","datavalue":{"value":{"amount":"+0.7946796417236328","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":"Q5308362$FF180421-68E0-4841-B079-5DF772090486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Software","badges":[]}}}}}