{"entities":{"Q5899035":{"pageid":8002381,"ns":120,"title":"Item:Q5899035","lastrevid":50083663,"modified":"2026-01-12T21:54:40Z","type":"item","id":"Q5899035","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148014"}},"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":"Q5899035$7EB97047-03E1-4523-869F-767349BFBE91","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":"Q5899035$D504FE1F-C6AE-4DBE-8EB9-642B8258D0AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deafbf96bec6aefc0fab98b81b0f14241f2497c5","datavalue":{"value":"1178.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899035$40B75F5F-0A0A-475E-86FA-61CDF3D695EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899035$1E115CAF-B604-447F-A0A8-B657AB1EB8D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfcdc1e4557e8d6244f4a4a58a1a4c94b3e3f51","datavalue":{"value":{"entity-type":"item","numeric-id":3000657,"id":"Q3000657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899035$172EFF43-914B-4FFA-8648-E69FEC59E526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da8fce251f678eb843710c76aaf8c91a126fcee","datavalue":{"value":{"entity-type":"item","numeric-id":514136,"id":"Q514136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899035$905AF8F1-DD69-4220-B71B-80B8B439CA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9a9cccaad167939f3489dab6922592bb34a72c1","datavalue":{"value":{"entity-type":"item","numeric-id":436412,"id":"Q436412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899035$F3800A1D-0D83-450E-B318-347C34506445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e5bc3b7d845235ddc147465f5a930a5a657b3c","datavalue":{"value":{"entity-type":"item","numeric-id":169905,"id":"Q169905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899035$C45B5759-EBDE-4372-B3EC-7BF303ECB135","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":"Q5899035$79674570-1307-43C0-9FB4-FBECE71F2E32","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":"Q5899035$8B943581-12A4-4A1D-8F8E-5D534A8FAE99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899035$01090CE7-4BD1-4E18-93E9-AE451FBF8A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899035$36D6714A-466D-4ACA-B404-CF0E05F8C525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c724b8d8411ecbd67305a80d89bff3e98e2259","datavalue":{"value":"5148014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899035$97F83942-40F2-4EE2-AC6D-8916411209E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899035$1BBB8971-C5CC-433D-AD83-EAC6DBDFC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899035$94087984-AC56-401B-866A-FC65283DCE8B","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":"Q5899035$914AC5B0-4A9F-4709-9F72-3E24D9287EB5","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":"Q5899035$2FEC602F-E074-4269-A7C0-B1457919320A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899035$85F8E08E-0C8D-48AD-90DF-E5AE52A0A1B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca879d56f308bf959115db95a13fb08cb9c89f4","datavalue":{"value":{"entity-type":"item","numeric-id":5423882,"id":"Q5423882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153a2378b8602b94a27227fa62d215f778eb35fa","datavalue":{"value":{"amount":"+0.8160474896430969","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":"Q5899035$F2970D3F-8CC0-43F0-B783-F274A51CBEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3bf10a9c8fc7285e655b5f9253be363089b394","datavalue":{"value":{"entity-type":"item","numeric-id":5458328,"id":"Q5458328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cebc064a00dc471cff51535d0860c6e0639fc1","datavalue":{"value":{"amount":"+0.7964397072792053","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":"Q5899035$4574DEAC-9758-4C51-82AB-A96C326ABCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc374976a67bceec65606b63efb1bf5fcf95c4","datavalue":{"value":{"entity-type":"item","numeric-id":5479161,"id":"Q5479161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87fbecf54dcbb5d6e5a59476f407539a3fb27375","datavalue":{"value":{"amount":"+0.7674519419670105","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":"Q5899035$DADFF2D7-CD88-42D9-A63A-E3B1A3FCA851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5013c0bcf7565ab871c7d5fc63890f58467c621b","datavalue":{"value":{"entity-type":"item","numeric-id":3392922,"id":"Q3392922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbef0531561024ec7277e8a3ac5793daacb0f296","datavalue":{"value":{"amount":"+0.7565975189208984","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":"Q5899035$82F3FD10-245F-4AA7-8609-2900A3364765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5752acf3f97a0751e90d5e7d3ae78ae7ce9912c","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f950a0e4dbf3235214b6fa781580805c2dcbc7e","datavalue":{"value":{"amount":"+0.7529897093772888","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":"Q5899035$F4976A18-F3BD-4254-AE8B-6668DC5867A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899035"}}}}}