{"entities":{"Q5899042":{"pageid":8002402,"ns":120,"title":"Item:Q5899042","lastrevid":41666857,"modified":"2025-05-06T23:18:20Z","type":"item","id":"Q5899042","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148021"}},"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":"Q5899042$35C69AA2-5E9D-428C-B4DB-2A6C8FB2D385","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":"Q5899042$12B04B84-24C3-46FA-8CD7-225B49F29E13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"200279fa3417cfd1119fb29fd3cc441958ff7f16","datavalue":{"value":"1178.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899042$D014083C-DA5B-4635-AD03-92F257D55F98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899042$BBE09544-4E4D-4221-84E5-685D7CB1190A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb493069ead03dd5fe43d45a93f51faf7542b89","datavalue":{"value":{"entity-type":"item","numeric-id":2819839,"id":"Q2819839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$AB5716F8-B13E-4DC6-9C51-F6CFD2B0CBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04935240de55a949343a0104f6137af940dc941e","datavalue":{"value":{"entity-type":"item","numeric-id":816188,"id":"Q816188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$1ED87894-F707-4E79-AFFE-12A372617E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2309e6110ac2efa5167ce01726a2626b32a049ad","datavalue":{"value":{"entity-type":"item","numeric-id":934702,"id":"Q934702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$BE2CA3D9-0044-41EF-A146-28E7A8911A93","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":"Q5899042$251927E3-718C-4F87-A04F-0FB23D750279","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":"Q5899042$F93BACA5-69F1-435A-8E0D-3BB8C7BD6991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899042$BC99B25B-E22D-497C-9E18-812751BCC294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899042$F9EA98DB-A236-42F6-B2D2-1A3917D85322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5db4b16d6a6e059c26f28d970b0fbe7e412b4f5","datavalue":{"value":"5148021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899042$68267057-E14C-40DC-A9F5-3233D00D4D1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$2C10B757-5587-477D-8299-8282BACEFCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$8F3FDD49-50D2-4EF5-94CC-F9DB5FB216B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2592836199d8c83558377103476ed4b6729ff0df","datavalue":{"value":{"entity-type":"item","numeric-id":14036,"id":"Q14036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$4572DAA0-75B9-4CFC-BC39-37215C7FB556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$9A13B1A2-2959-4DFB-BA19-7B6060E42966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899042$DC28A61A-3D39-4C0D-BD22-D1EA81D48754","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":"Q5899042$912C3D09-070D-4B6B-8746-72786F1F12EA","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":"Q5899042$F6C36F8A-B4D0-4DDC-B4DC-9CB5A3BB4E8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899042$C028DA6D-6D92-4A5E-A28B-17BF69AC47B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59554135aeae70a26490f68ca0b06ddbc8ea8090","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5973040fe61e85f6999db20e8351c03751b5f684","datavalue":{"value":{"amount":"+0.917597","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":"Q5899042$63EAE20C-2F6A-4EC6-AAA1-E148EDF9DBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4053b3c811d29d34e7364c895f2dd1fdadcc9009","datavalue":{"value":{"amount":"+0.9141579","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":"Q5899042$1207FCDA-0E4D-4F73-AB02-860E67C8D037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1af47228d85ceb2fc361aeef5d309b8f6b78d0a","datavalue":{"value":{"amount":"+0.9032476","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":"Q5899042$6DDBABE5-A3ED-42CC-90AD-A2B270844BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec864122bff457031633d8de1f78ad052b8351c","datavalue":{"value":{"amount":"+0.90242994","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":"Q5899042$3D19A8AB-6752-4724-B556-F5BA85E528F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899042"}}}}}