{"entities":{"Q5899043":{"pageid":8002406,"ns":120,"title":"Item:Q5899043","lastrevid":41552650,"modified":"2025-05-05T19:05:31Z","type":"item","id":"Q5899043","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148022"}},"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":"Q5899043$3C053552-FF87-4E06-B411-BA4F9B303202","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":"Q5899043$6804189F-72F4-45AF-A7D7-487D07A6CE62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"384bb0e5194ddf7366e013fbe97009718204bc83","datavalue":{"value":"1178.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899043$55A0FEBE-70D2-49A5-834B-83ADC5D6E079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899043$B299EAA6-F811-4EA7-B927-12F116E1C6AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"758aca7fd7fbc7d21fa8f079116dea3259504483","datavalue":{"value":{"entity-type":"item","numeric-id":3433715,"id":"Q3433715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899043$7F3A3792-F7D2-40C4-A3AE-61278EDBBD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51be7fb864ec0e0d86e4142fdf7eb4aa73033bb2","datavalue":{"value":{"entity-type":"item","numeric-id":835781,"id":"Q835781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899043$599E25EF-9C04-4E92-868D-FA3C892073F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e29fdaa9716f3a52f3bf5f12f7a4609847621c","datavalue":{"value":{"entity-type":"item","numeric-id":263165,"id":"Q263165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899043$735536F9-6EFB-49EE-AD6A-DD6ED1326080","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":"Q5899043$FDC9F513-2487-4441-B09E-866AC165A089","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":"Q5899043$2FEB8B0F-AEA2-4D69-9C81-D258F6EB0511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899043$F1E360D7-3C8A-447A-AE77-C00D7D79E2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899043$DBE15C5F-23A4-47EF-A87D-6F0043155357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7786e426cc577acee846abd2b07c7a525442eefa","datavalue":{"value":"5148022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899043$7EA76507-A130-46D4-B500-FF08721D297F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81a3534abf426b82a35c1b8cbf0e0b9e19721","datavalue":{"value":"State Explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899043$10CCE1D1-BAEE-4DE5-A6EB-9861E504194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf4398ad7f30556b7397dcca652c96ef622170c7","datavalue":{"value":"Model Extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899043$0BD861FF-353D-4D2C-A0CB-CF63407394C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8030c805ec465e77265b9427d7eb4ed6d55bed","datavalue":{"value":"Static Analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899043$0CD6D9ED-ED32-4873-AC61-A70EA6C10F8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899043$4A95463A-0280-4524-87B2-CA8577F84F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899043$A7577FAC-617E-44EF-B3AB-DBB1403AF874","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":"Q5899043$65FAC8F4-26DD-4A88-BCC0-2AC2248F75BC","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":"Q5899043$1F9FD3C4-CB40-4A4E-AF4C-C8932A3185D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899043$B3E15083-FAC2-43F1-AA4D-A139D799E86A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b479f70b564b5075b64cdf58ae5accfa82dac8cf","datavalue":{"value":{"entity-type":"item","numeric-id":5716598,"id":"Q5716598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b647a7b16aa1130c503a610a5cc0c21eb591a86d","datavalue":{"value":{"amount":"+0.92474765","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":"Q5899043$FBB9D63B-03D7-4EDF-90FF-AA5DE2B61520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e696cf21548ffe89711c63bced8cad91bb76171b","datavalue":{"value":{"amount":"+0.9229327","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":"Q5899043$B81423EE-77D0-42AA-AF59-0BA35966EC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1a5330e265027e7041cc160bd222d51fff7fba","datavalue":{"value":{"entity-type":"item","numeric-id":5429306,"id":"Q5429306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3da76570116fd4b37066579f548cc7c0fe7a8fb","datavalue":{"value":{"amount":"+0.9147646","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":"Q5899043$D2A9FD40-26EC-4C2B-9DE2-B4794E0DCB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b33b9b8b1f6bb45e95d46bbbd03713ddbb56680","datavalue":{"value":{"entity-type":"item","numeric-id":4738463,"id":"Q4738463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81465a5a94e9312ff72385ef2c1225660b7e2b0a","datavalue":{"value":{"amount":"+0.90999323","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":"Q5899043$B352E5CE-420A-42CC-A92B-705E11162501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c698ceabaa1a8db1a6347159e638c8ef59f99a7","datavalue":{"value":{"entity-type":"item","numeric-id":4737573,"id":"Q4737573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4436c2b32008809392ef165399a2fe06991ad604","datavalue":{"value":{"amount":"+0.90704155","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":"Q5899043$6B992214-89BA-4DFF-8C79-B3A875D03BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f16faa8bf62a16e52b85d8b2d32b05f5c78b7b7","datavalue":{"value":{"amount":"+0.89903134","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":"Q5899043$E0E6AB6F-DDD2-467F-A9A0-9D17292AE752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e360b6e95f407b30484300ceaa660de75a99d81d","datavalue":{"value":{"entity-type":"item","numeric-id":5435632,"id":"Q5435632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c855e8b9e9897405e64a4147916dfd29b6a716","datavalue":{"value":{"amount":"+0.89616346","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":"Q5899043$12BEB3CA-15A5-4168-8E99-77A571B491E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b840bc0149648a3afd81452f26f132c73af8991","datavalue":{"value":{"amount":"+0.8929499","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":"Q5899043$7ABF95FA-B87A-44E7-95F1-B292716B8AB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899043"}}}}}