{"entities":{"Q5899037":{"pageid":8002386,"ns":120,"title":"Item:Q5899037","lastrevid":50083669,"modified":"2026-01-12T21:54:41Z","type":"item","id":"Q5899037","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148016"}},"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":"Q5899037$1D78EBA8-DD0F-49D2-ABDD-AAAECE555139","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":"Q5899037$8B109356-45D7-4CE6-A34E-4646408B8E93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce8f6ef79bd952dcdf1544d01c2c10d796889be","datavalue":{"value":"1178.68341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899037$F374F324-B4EA-4E9D-8FEA-40DF80883976","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899037$58997421-AFF2-4298-A34F-2BCCB84B3DCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899037$34C315B3-04FD-4F6C-8D7D-97FD963FE9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"454fff86e054ecce6e19cbc1402a8aabf8bbfbb7","datavalue":{"value":{"entity-type":"item","numeric-id":444483,"id":"Q444483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899037$A8D1F29C-388C-4B62-858C-84FE434A50DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fc089f2173d2cca71cedf816da15f5be891974","datavalue":{"value":{"entity-type":"item","numeric-id":1029092,"id":"Q1029092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899037$63548FBB-A35A-4C26-A188-3FD8F7D74F53","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":"Q5899037$B31D040C-225A-4A14-ABBA-8D80ED4FB66C","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":"Q5899037$EA62DC55-AE23-41C7-A10A-88E877FE0E17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899037$65CB37F3-D53E-4357-BB78-2D91687F4DEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a58f276552c71df003bc106a6a8eb0403b0ed55b","datavalue":{"value":"5148016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899037$934075FA-3ECD-4C41-A68A-D68A0F31E6BD","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":"Q5899037$82DAC80A-8AE4-48E4-80C4-827E5AC03E5F","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":"Q5899037$01D262B0-0575-4B8A-93C0-AE24D30AF965","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899037$474D1FEC-E0B7-4221-9689-6B7992BDF4A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cc158527f39da5854b19d024796d3d17b4c66","datavalue":{"value":{"entity-type":"item","numeric-id":444484,"id":"Q444484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f18390dec13b34d4fb59a9c6d34c82c84ce2efa","datavalue":{"value":{"amount":"+0.8510103821754456","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":"Q5899037$A2363EF1-10FD-4741-B737-BC1D109161E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92466333a2dc3690fe3bbb80844d55b18e8dcdfb","datavalue":{"value":{"entity-type":"item","numeric-id":2937733,"id":"Q2937733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5553f824d0d5487bc7827297b0d6b3f1f533a3","datavalue":{"value":{"amount":"+0.8359888195991516","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":"Q5899037$D5DFDFFA-33EF-4E84-8EA0-5025F5DB8212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64746e97f601930480a06a6d9121fb2ea4a98bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4813201,"id":"Q4813201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fb0004c782ee2df984b6f22840b5aae11ea7a0","datavalue":{"value":{"amount":"+0.8069779276847839","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":"Q5899037$0E0A02F7-6F21-483A-A77F-F12FE85B0DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044b0e0bceb5310e8ae106a78ff759319e6b685c","datavalue":{"value":{"entity-type":"item","numeric-id":3183611,"id":"Q3183611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3572839a2c463d303da0be73570a9817ad5c83","datavalue":{"value":{"amount":"+0.806907057762146","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":"Q5899037$CB07DD33-6681-465D-AA3F-E6EE0F69466C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8522a293903ff9e2aa2aa355bde41cbd7c13be","datavalue":{"value":{"entity-type":"item","numeric-id":4649305,"id":"Q4649305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef621aa7dd4ae05de312189e4491ebaeb23a019","datavalue":{"value":{"amount":"+0.8036180734634399","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":"Q5899037$22D5B3EF-50E5-4BAC-A01F-7E7884E57B99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899037"}}}}}