{"entities":{"Q5899033":{"pageid":8002374,"ns":120,"title":"Item:Q5899033","lastrevid":50083660,"modified":"2026-01-12T21:54:40Z","type":"item","id":"Q5899033","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148012"}},"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":"Q5899033$02BD3635-3C5F-453B-A6C9-60D7F146A6A9","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":"Q5899033$DF118FCE-E4C9-4CD7-B678-AB6355165168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e8887eb71eaa10cdcd338bd29081bb894a72984","datavalue":{"value":"1178.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899033$C56D1FE8-98C5-48E3-9F0D-439E169C60AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899033$5CF5140F-74CD-4468-BC84-6D980C3C04C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e9891982d51a824b72785c3fad60d1c76460f1","datavalue":{"value":{"entity-type":"item","numeric-id":343908,"id":"Q343908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899033$54965436-3D1D-49E8-A52B-B5BE679D3ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aa6298099f3f16de494fa8299557341486c65e9","datavalue":{"value":{"entity-type":"item","numeric-id":2852019,"id":"Q2852019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899033$C33032E1-0EC1-4B2C-8CA5-90EEC1D6794A","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":"Q5899033$E5F4317C-A4FC-4421-832C-CD3C4A5BD03E","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":"Q5899033$49337948-D2C5-40D8-B304-C56CC5763981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899033$976F11C0-9550-4598-9A00-93E57DFC96D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6526c54da1046c7b71e7c553058b2405c06121b8","datavalue":{"value":"5148012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899033$A0988BE5-67C6-473A-9643-7D2A05FBAC1F","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":"Q5899033$214048D0-1D07-4BE7-8384-58BEC04B3547","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":"Q5899033$1642C1BE-6A66-4AC4-8765-C85AA63BE38E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899033$4BE7C700-E904-4346-A240-57C97DA03EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486d5c88d1a1e744d0ef79c863f6f0b287e1435c","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae5465da8a93102237e845856227eddc2508a42","datavalue":{"value":{"amount":"+0.8395029306411743","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":"Q5899033$3CDC1F70-DBDF-4093-827F-B6BFC8A6E293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b1b38b2cc7c38be286be3a6bc58239b18c78f9","datavalue":{"value":{"entity-type":"item","numeric-id":5711498,"id":"Q5711498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60816e8436b73bf9973e263423a0a2bc7e5f465","datavalue":{"value":{"amount":"+0.8253992199897766","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":"Q5899033$CDCF7618-3539-40D9-A651-A460F3775215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb1efe408f3677a25eaf33124438cd40b7fc669","datavalue":{"value":{"entity-type":"item","numeric-id":3591390,"id":"Q3591390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5905a95f1f0a00f191e7f161e90a37ba32dbf9","datavalue":{"value":{"amount":"+0.818795382976532","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":"Q5899033$64F868EC-16C9-4400-835E-2F7EA4852707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0b6794ce61ac3aa121b824a06db4e137f7c9df","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb51ff1b333e9a6e1253a4d4d31b6445a255e660","datavalue":{"value":{"amount":"+0.8149498701095581","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":"Q5899033$DF1A974E-68B6-4BCB-BBCC-309B7ED61665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9109f3e98b9a505b6f65ee0622b845a38ebf8f","datavalue":{"value":{"entity-type":"item","numeric-id":5898621,"id":"Q5898621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d5d21dd18fc317396d10d0f616839a4e202a7f","datavalue":{"value":{"amount":"+0.8109789490699768","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":"Q5899033$A81E66E2-2269-4B1A-B51C-3B0E29EDCADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899033"}}}}}