{"entities":{"Q5899034":{"pageid":8002377,"ns":120,"title":"Item:Q5899034","lastrevid":41666856,"modified":"2025-05-06T23:18:20Z","type":"item","id":"Q5899034","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148013"}},"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":"Q5899034$637F392C-00F1-44FD-B84E-0C6BD81D504C","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":"Q5899034$4EF069C1-49F3-42BB-B14B-8A74A3598177","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05f1fd53440bb5e68398ffbec78271da8dae6fdc","datavalue":{"value":"1178.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899034$2B149F73-98EA-4079-BA41-1E9DE4814EF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899034$5CF3FE46-CC1C-4D91-A2F6-0901E85CB9EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc172f8536440edc9a7612c045cf33e7a069e22d","datavalue":{"value":{"entity-type":"item","numeric-id":225791,"id":"Q225791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899034$C8B9F17B-4178-4C98-A670-482DE85EADBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899034$9D418FCE-A914-499E-87E0-1D37E132AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899034$4A4B5E21-F022-413D-AE29-3DC7259596BD","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":"Q5899034$2965325C-861D-4852-8D25-FB1B1B173EBF","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":"Q5899034$82D65185-3440-466A-944F-44EB436727A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899034$B49002A5-DBA5-4D8E-9C97-2364BD2D2184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3984f8819079e1f8f06460bab08b8fc05d2c6e4e","datavalue":{"value":"5148013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899034$D7618EF4-1009-41EF-9F3E-AF9B813D707F","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":"Q5899034$CB017B1E-933A-4201-BDB8-16B7A7A2A219","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":"Q5899034$0AB09E60-B912-496B-9793-4E159EC60CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c43387cc0a057dd99afd8a8c96b593b33d3ed2b3","datavalue":{"value":{"entity-type":"item","numeric-id":17507,"id":"Q17507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899034$1D7DB40F-B37D-4CB0-BBCE-4FFBC2E32C3A","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":"Q5899034$F107CCFC-2553-48D4-9E2A-325B8DA0909F","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":"Q5899034$102F0348-2D62-4029-B7D2-08A8367631DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899034$BC7B02FA-2D87-46BE-9674-4E96C21BDCC4","rank":"normal"}],"P1643":[{"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":"9d669b7c618c61994491d420e93b58d428bc0740","datavalue":{"value":{"amount":"+0.9008929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899034$895B8A98-3687-49FA-AA38-E66585C871AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58e4f639958316d29b2a0f1e387df3461237338","datavalue":{"value":{"amount":"+0.8976893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899034$FE57A4D7-AEE1-4DF7-B60C-56DCA0C10183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07dd0bcc856d5a67066efbe19d43b45e8a0d10b4","datavalue":{"value":{"amount":"+0.8923896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899034$69471B1D-0ABB-41A0-8D0D-037CC78D01CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74613331c454d0476b2815ba210184fdc5b2a360","datavalue":{"value":{"entity-type":"item","numeric-id":2999306,"id":"Q2999306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb1a77e0b0c017a6185560b144ca5940e8d157f","datavalue":{"value":{"amount":"+0.8921614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899034$B2F9477E-8F84-411E-9BF9-AAB3DF7A2721","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":"14d2c8f81fd7ae615634d82954656e8ff0559802","datavalue":{"value":{"amount":"+0.8919083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899034$A9C6D3F6-FED9-4778-B236-95AA348ECF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4f9a7383f542082834062c3e5d00d948918b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1bdcf16d7a8820a55678179c39a5417b74af9a","datavalue":{"value":{"amount":"+0.89132357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899034$3B03C452-8378-4B95-ADC8-001E2C04A0A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899034"}}}}}