{"entities":{"Q5899046":{"pageid":8002415,"ns":120,"title":"Item:Q5899046","lastrevid":50083684,"modified":"2026-01-12T21:54:42Z","type":"item","id":"Q5899046","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148027"}},"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":"Q5899046$F93F8ADE-C324-4F53-A826-BCE20D654263","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":"Q5899046$FC8855AF-5266-445A-B285-38086A39144D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4df72a9b63d7fb171c930eebd3d20d1bd5788dc","datavalue":{"value":"1178.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899046$083EB9B1-E354-4A01-9046-4244FB7A7308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899046$3234CA80-2BF1-437C-A75A-50B85B0E7A58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d0fce2bb769feecf11392b4edecd1923f8fa1c","datavalue":{"value":{"entity-type":"item","numeric-id":518408,"id":"Q518408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899046$82DC2EB9-9F1F-426C-8E34-0FF9A81E8490","rank":"normal"},{"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":"Q5899046$44A6C6BF-6560-42F7-94EC-FBD848D626A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899046$74E3F7A0-EE50-44AF-B014-1CBB375540B2","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":"Q5899046$BF013707-9825-461F-B9C2-DE31B1DE89C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899046$B41A5794-61C0-430A-AC19-0302DE60229B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899046$68BDA5BC-6519-4A81-80DD-14D3D4795C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899046$36DF4669-1E6F-4867-B40F-41EA3791FBF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b7221f5af0b4a793f51b7d7aec3cebeb21e79c7","datavalue":{"value":"5148027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899046$3896D8A0-26FE-4C2C-9988-5C12EADF1E9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899046$99FBF4EE-816C-4EB3-8394-DB5293A97FC8","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":"Q5899046$F109F1F2-4BFF-42C3-A521-30A2F49FFF1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88439d7bf09651b645ded7643cbfdccd966f3b90","datavalue":{"value":"https://doi.org/10.1007/11691617","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899046$DCFA7F10-2F5F-4708-A2CD-021EAC8C5A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899046$79113256-936A-4DDA-99F5-A011DE4E643B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168df6f11d318a46c0b290a8ec07ca110c31d8e3","datavalue":{"value":{"entity-type":"item","numeric-id":5394556,"id":"Q5394556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327f6afcf8fde002b43fd7f0efa241e68a25c223","datavalue":{"value":{"amount":"+0.8100845813751221","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":"Q5899046$959978A3-F7E6-46F7-A75D-D4C2D42B5CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3172bb0227eadc6dca911d4f117dc5eb67e259cb","datavalue":{"value":{"entity-type":"item","numeric-id":1600652,"id":"Q1600652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea572ed4fb3369825ebe22ee2bb14865a497468e","datavalue":{"value":{"amount":"+0.8003242015838623","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":"Q5899046$E2634ABB-CB97-4B00-8F1D-4BC7498157A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6716054ac0c95d8577dbeefd07070fc62786e05c","datavalue":{"value":{"amount":"+0.8003235459327698","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":"Q5899046$C5812663-C5BC-4797-9A4D-B7BA69E44C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b55563d387a0ab7365d7350d6089c495ab5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4791271,"id":"Q4791271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917393221ab7bad758edd0698a79d1612e8617a6","datavalue":{"value":{"amount":"+0.793260931968689","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":"Q5899046$EBC9EAB1-9EC9-436C-8A18-188849C489D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383a76eab213367886642c4ecf6420326dde60cf","datavalue":{"value":{"amount":"+0.7855026125907898","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":"Q5899046$DFE5216E-BCBE-440E-8C26-CC251D278AFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899046"}}}}}