{"entities":{"Q5308378":{"pageid":7337952,"ns":120,"title":"Item:Q5308378","lastrevid":92229647,"modified":"2026-06-05T01:11:48Z","type":"item","id":"Q5308378","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196437"}},"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":"Q5308378$02B68ACE-7871-4D59-AA88-E61AB277779B","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":"Q5308378$43BA03C1-58EF-49ED-B149-B96FCFF0361D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"759eb500afbe88c04d1228ae54fd92e11b0a73b9","datavalue":{"value":"1125.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308378$3CC1085D-571B-4F76-AA15-12976395770D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9093835d0b08b4f8c6e225d8367927d561504b81","datavalue":{"value":{"entity-type":"item","numeric-id":420802,"id":"Q420802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308378$55DB45A2-C4B3-4DED-9C26-CB8D7F3EF86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9297a2187dba905ca44e474c001f219b4ecdc2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3433722,"id":"Q3433722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308378$A0CCC61D-EA52-4A16-B554-9FD036183744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308378$3115E115-6A51-4AEA-A9E1-D3967E28A224","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":"Q5308378$A0F7FEE6-DE7C-4B76-AB34-F7A229EEF97B","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":"Q5308378$5BBD7240-FC11-42C5-9118-B4434A877044","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308378$0440FE0E-AF7C-455A-BF00-48EFD4D88D3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1b24ee3ad0c2aa504f14190f01e5324deece95e","datavalue":{"value":"5196437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308378$6E9ABABF-9EB8-4A77-9C9B-5328BCF86534","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308378$11206D03-0F82-4E3B-9719-DD540151A65E","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":"Q5308378$E515457D-801F-41D1-9B49-6A7253AEBFAD","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":"Q5308378$045B08F0-1892-4AB1-9BB2-45E36F920D79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb07931e27c30149d706a592e0efe9e55dede24","datavalue":{"value":"W54779658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308378$12F033E1-77A1-4F92-A974-08991EEC79DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71045c035fc00297753f01a93c25530b066ce019","datavalue":{"value":"10.1007/B96721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308378$4C40DC3A-310A-4E4C-A1A8-0F0E0EA7A7C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f47ff2d6402c54377013d5dfa582ca0f855eee","datavalue":{"value":{"entity-type":"item","numeric-id":5308416,"id":"Q5308416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e97aa5c5108784a52329b3495e764848174772e","datavalue":{"value":{"amount":"+0.7689307928085327","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":"Q5308378$44C65749-08DD-465C-9750-DCCB4ED73560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bbc654da092c276164a738da067d139fce9578","datavalue":{"value":{"entity-type":"item","numeric-id":557643,"id":"Q557643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234cdc95b653a5a1073ed10dfec49e2d59138d3f","datavalue":{"value":{"amount":"+0.6805643439292908","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":"Q5308378$C49CE7BF-527B-468D-8DBA-0385FE05FC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a0b76fa54044b332d98e9287384dacc2b1a575c","datavalue":{"value":{"entity-type":"item","numeric-id":5458404,"id":"Q5458404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829bbf833eea397677a9714989a85b8ca3df0588","datavalue":{"value":{"amount":"+0.6708887815475464","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":"Q5308378$1617353F-A416-448F-8BAF-8A415EF9C10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e68fe6809778ef9eb0ce3acb8d7e0a2341f4c2","datavalue":{"value":{"entity-type":"item","numeric-id":1881218,"id":"Q1881218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030ddcba95485932007cd95bd1f95431815bcc1a","datavalue":{"value":{"amount":"+0.6683202981948853","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":"Q5308378$978AD384-3BC1-42A2-B334-9FD5746E11BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b47a77f14622d5a47829cd13170ec4330886a5","datavalue":{"value":{"entity-type":"item","numeric-id":4738233,"id":"Q4738233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768e70bfeaf011042dd047a78688bc11a1302673","datavalue":{"value":{"amount":"+0.6676395535469055","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":"Q5308378$35915A79-4F02-45DC-A0E9-F11E2331E845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Software (scientific article; zbMATH DE number 5196437)","badges":[]}}}}}