{"entities":{"Q2845503":{"pageid":2856223,"ns":120,"title":"Item:Q2845503","lastrevid":51812378,"modified":"2026-01-20T04:21:40Z","type":"item","id":"Q2845503","labels":{"en":{"language":"en","value":"Symbolic model checking of software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203483"}},"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":"Q2845503$E0A7721A-4F59-473E-A37F-83C260F1C68E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d36a9f7f9a950914d6f02772b58d9db1be8a0d5","datavalue":{"value":"1271.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845503$A058F8EF-2922-464A-98C8-97A318FD6D5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80248cf826b6fa6a2d3d1275b9a1135efd3e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":2845502,"id":"Q2845502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845503$8EE27736-FA4C-4FBD-AF86-F60465A35E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17aa6222375e5b52844ca43f39ca6b801e31b463","datavalue":{"value":{"entity-type":"item","numeric-id":934711,"id":"Q934711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845503$B9F2BA9E-1452-4FDC-9189-5CF51E650AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa93541590d82299746591cd06aaa4d51169a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1000406,"id":"Q1000406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845503$C69A882C-8E7F-4A19-A3AF-B27D1CA9F392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845503$23D0E483-87FF-4BB0-BA4D-4F78F147F9C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be3bace4188beddf4c97a836f20d3da66df39d22","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800088","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845503$0D5F1F62-014B-4A6B-8310-09C0377A9E81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845503$673E4704-DECA-4C0C-8F07-07D24E253251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845503$EF54212B-1D53-4293-9DBE-41F48545A39C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba7f60560a1da20c96929ab1aad5bf300264abf6","datavalue":{"value":"6203483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845503$04960816-A0A7-4EC3-9A8A-BE276B50F19A","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":"Q2845503$F38C6FD9-CAEC-405B-BE93-045F31273DA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad3a0fdb39c296b92c04bc5811c4a45091f80ffe","datavalue":{"value":{"text":"Symbolic model checking of software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845503$055A4091-222C-4CD9-BF61-2AB6AD41D0F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fc7f092949fe15c38c6efb903e8bd4ff3607f7","datavalue":{"value":{"entity-type":"item","numeric-id":4738482,"id":"Q4738482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3432f0a95f6aa97e70c96d2a0e1bac4c4a8d5d","datavalue":{"value":{"amount":"+0.8156479597091675","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":"Q2845503$CE4475DC-240C-4728-AF92-C5484D2FB691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c693935527fafb22328f44f307e4e22640f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c67d06020d36768275673cedea31901aa50df1","datavalue":{"value":{"amount":"+0.8075910806655884","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":"Q2845503$3C9A8F51-342E-4E7F-B1D9-BCC8B6BD05EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58b6f17af7ca36d33c9ab28015ab0db6f6a250d","datavalue":{"value":{"entity-type":"item","numeric-id":5897056,"id":"Q5897056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157b6b207ff4dde697bc7b70c3f58f7df65545a1","datavalue":{"value":{"amount":"+0.796451210975647","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":"Q2845503$1F658CC7-30FE-4216-B4A2-EE20329F529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea98670e3b2f3dc4981a42181ef115ba6021b88","datavalue":{"value":{"amount":"+0.7957808375358582","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":"Q2845503$22FE6B97-D7C3-4855-94E6-30BC246D77C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea98670e3b2f3dc4981a42181ef115ba6021b88","datavalue":{"value":{"amount":"+0.7957808375358582","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":"Q2845503$C22D6B03-7AE0-47EC-90C3-CA8DBCB478C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845503"}}}}}