{"entities":{"Q5394552":{"pageid":7424126,"ns":120,"title":"Item:Q5394552","lastrevid":92293790,"modified":"2026-06-05T01:21:38Z","type":"item","id":"Q5394552","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069657"}},"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":"Q5394552$55F9A09A-64CD-48E6-9B0C-A3C232FAB938","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":"Q5394552$7AA00655-804C-456A-974B-EE330F27F670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8afd86d64f2b0e663eb451b68b9446dd17bd423e","datavalue":{"value":"1151.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394552$EFF7C777-9E09-4D64-9B94-4E03AE79FD50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a18c3e5ad1c3afb1c8ea0b9f0b4a638bc4fc068","datavalue":{"value":"10.1007/11537328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394552$A5666879-B4DF-4D51-AC3D-520CA241C331","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9b105d6dc2235f6ec9240b7660c588e0fa1c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2845495,"id":"Q2845495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394552$D79389D1-1955-418D-BB10-78E1294AE40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394552$30A942A0-A34C-4BE6-85DE-1CD1664065E6","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":"Q5394552$DDF58987-BE71-467F-9AEF-A193A1A04D97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383fa8cf3a55c9f8c536ed3293ab02f870426e40","datavalue":{"value":{"time":"+2006-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394552$CD43EEB5-165C-4644-9410-0BD726D1B919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394552$A8B00185-3B31-417D-B913-FCC6A463F7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ac413b882cca2e27a0dc9b57a2097bb5201cd6b","datavalue":{"value":"5069657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394552$7FBDF37E-75D3-4FFA-ACD0-BAEF8E7411E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394552$AB1C285B-FD4D-48B7-95CC-0656689F67F4","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":"Q5394552$A6C243A6-A8F5-4926-B8D9-26433FBD6633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf16d6b085cd6581444f4dd3d6c6969a9f4930b","datavalue":{"value":"https://doi.org/10.1007/11537328","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394552$C1E4D053-4A5C-41B9-B0F2-BE94A4C8415E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82eb5b6d0c3cb37e9715fa5e7ac7a928c6c952dd","datavalue":{"value":"W2492029314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394552$92BBE4BA-EF1D-4087-B7D9-50CE3DC1633C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7627391e666e8459153322fbee0272fd168175f6","datavalue":{"value":{"entity-type":"item","numeric-id":2852026,"id":"Q2852026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d63d8d925bc5669752c576034f6c851de7018b","datavalue":{"value":{"amount":"+0.8021936416625977","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":"Q5394552$8D802A79-B183-4CBA-8B4F-03F8374B5C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50fdfbe27c2a1c25801d8bbec66d7e6450b2f82","datavalue":{"value":{"entity-type":"item","numeric-id":5308366,"id":"Q5308366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfab306db3909a0201ba22dda39d86027c61585","datavalue":{"value":{"amount":"+0.7137758135795593","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":"Q5394552$E9B15184-731D-40E0-ADF0-180BFBC04258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d981870c91184dd41f32a3b54032ef4f6bf59d4","datavalue":{"value":{"entity-type":"item","numeric-id":2845504,"id":"Q2845504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb05e71a72e927c25d08cc79231b0632360caf3","datavalue":{"value":{"amount":"+0.7008296847343445","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":"Q5394552$41AC6647-40CC-40DA-A9E7-752013B3054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcea9af96ca1262008d027f385458ae59b7f3a7","datavalue":{"value":{"entity-type":"item","numeric-id":4806209,"id":"Q4806209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cca6f3dfd92be46787ae53f43a5041a700e81cc","datavalue":{"value":{"amount":"+0.6946937441825867","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":"Q5394552$7C538C51-3E9E-4160-AD29-98E3F0735076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6d19e3f02528d62afd2af8c1bbecdb3aed2ca4","datavalue":{"value":{"amount":"+0.6931024193763733","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":"Q5394552$776954A0-7A98-435C-91FE-48E64A58F166","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Software (scientific article; zbMATH DE number 5069657)","badges":[]}}}}}