{"entities":{"Q5308364":{"pageid":7337938,"ns":120,"title":"Item:Q5308364","lastrevid":50173799,"modified":"2026-01-13T09:07:19Z","type":"item","id":"Q5308364","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196424"}},"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":"Q5308364$E3EB5E30-B303-4E55-B6B8-9E4769820DAA","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":"Q5308364$D6093B0E-4B37-49A3-B7DC-859FD9440494","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8a6c68c333eda9754b1ba42c543fab3babe89c8","datavalue":{"value":"1125.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308364$04D6300E-84C6-4584-B378-D6554C7D168F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9440ba84420a1b52bcdc0cdda948608033938f","datavalue":{"value":{"entity-type":"item","numeric-id":2453537,"id":"Q2453537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308364$D5D27B22-F9E8-476C-9C10-B8F73399BF0D","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":"Q5308364$A062DAF9-E7CE-438B-8904-3DB1BF83AB4A","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":"Q5308364$B8B005D4-32E0-4202-A8DB-E70F868F7607","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308364$877476BF-CC6F-4682-B94A-0D9987F59CAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8dce77da9293946c0d04cc914c0b37c7efbfc7d","datavalue":{"value":"5196424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308364$1FDF3BA7-AFF7-4268-8B58-FA093D2ACB5B","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":"Q5308364$8AD3D3B7-B9BF-4CA7-8CCA-6982AF7EFC1F","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":"Q5308364$5E56E297-0BC2-4E5C-BE7D-B00119DA4A0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb07931e27c30149d706a592e0efe9e55dede24","datavalue":{"value":"W54779658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308364$AB677EC6-F368-4E51-A5C8-23652495147A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71045c035fc00297753f01a93c25530b066ce019","datavalue":{"value":"10.1007/B96721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308364$0DB1A5D4-BAA3-4127-9F3C-70B430296096","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c66919fb262e45d3977362e98242d864363d092","datavalue":{"value":{"entity-type":"item","numeric-id":3066131,"id":"Q3066131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81924aa14c9db4e605991fcb0253e485311ec0db","datavalue":{"value":{"amount":"+0.8679845333099365","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":"Q5308364$6EF95436-5D14-4292-9373-4C0E5193905F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f93fd2a702eb2b0e6b27185b92b0835403e72e6","datavalue":{"value":{"entity-type":"item","numeric-id":3617761,"id":"Q3617761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ed2c4590b40f3fb10ada35ca975b54b07f8b29","datavalue":{"value":{"amount":"+0.8181446194648743","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":"Q5308364$91CB6DFB-67DB-49F3-BF16-46038C0DB954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3fe8cc3c64962c046ef3cdf6d6036203beaa15","datavalue":{"value":{"entity-type":"item","numeric-id":3524209,"id":"Q3524209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24487081efaebb084cd0ce85a271465d9cde834","datavalue":{"value":{"amount":"+0.7590287327766418","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":"Q5308364$5C14566B-19E0-4DE2-A0B0-E34E6B8871E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbab37af51a9466bd8c5c659b1436ff2f7ac81a","datavalue":{"value":{"entity-type":"item","numeric-id":5491853,"id":"Q5491853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30882408f3cb3224c7cf5367014cc2742fadd13c","datavalue":{"value":{"amount":"+0.7472813129425049","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":"Q5308364$F9DA19EA-2C40-4183-9724-7497B8A54C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f28101b7ec396c5e79ceb5e807ba9f70425094","datavalue":{"value":{"entity-type":"item","numeric-id":2165507,"id":"Q2165507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd97fffa28ae8e99ea7f4db0b7d5527cdb3ee57","datavalue":{"value":{"amount":"+0.7429519295692444","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":"Q5308364$04C123EB-4203-4B11-9457-BF5174FFF5D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308364"}}}}}