{"entities":{"Q5394557":{"pageid":7424131,"ns":120,"title":"Item:Q5394557","lastrevid":49959937,"modified":"2026-01-12T07:39:57Z","type":"item","id":"Q5394557","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069662"}},"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":"Q5394557$B3B25CE8-D3E4-4461-9CCF-AA6C5B0EC0AE","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":"Q5394557$CC0EA836-A38F-49B8-9334-FDFAC9A2F562","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f7e6fc1b4b662d4f043622398f5ed9ed5b320cc","datavalue":{"value":"1151.68372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394557$B86344C9-F68E-46C0-A967-514646D64A9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a18c3e5ad1c3afb1c8ea0b9f0b4a638bc4fc068","datavalue":{"value":"10.1007/11537328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394557$D88E6B2B-F35D-498E-8472-96FC22076A45","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":"Q5394557$AF33EC8D-99C2-41F0-8456-C81B1C0E3BFE","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":"Q5394557$600975ED-F119-4689-9E60-66A50121EC4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394557$B15F1CB5-740D-48A9-A45D-BD38932ECABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394557$8EFE3043-21B7-43D6-A24B-57A31FAFC7F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25ae85cebb3fc1851e537564c011da9d73df7763","datavalue":{"value":"5069662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394557$2D76A473-28DA-40BE-B6AC-66180C7D28A0","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":"Q5394557$472D40ED-EDA4-41F8-87F6-050989784B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394557$F18AB9D5-0605-47EC-8EB7-E877B3DF1A3D","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":"Q5394557$F5F5DE32-E627-40DD-A6A7-FA3AA54EC87A","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":"Q5394557$14E9F7EF-EC8E-4AA0-A354-8F7D3FD309FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82eb5b6d0c3cb37e9715fa5e7ac7a928c6c952dd","datavalue":{"value":"W2492029314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394557$908992AD-148B-4301-8670-C1F98BBCB035","rank":"normal"}],"P1643":[{"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":"0eec4620fd2dc3ccfeffa121ee51e0097a2dd7a1","datavalue":{"value":{"amount":"+0.7638915181159973","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":"Q5394557$381303A0-F1D9-4BB4-9175-60A9A04ED674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d48723e39ea5567d28314706cb9d4b205d7d28","datavalue":{"value":{"amount":"+0.7461267709732056","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":"Q5394557$F7DB3BD9-2CE3-45AD-A855-4145EF97069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c83158ff52c82be086916b19ed1c1da73d629","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bd397d2a03a1022f85c293dd03702c8a28020a","datavalue":{"value":{"amount":"+0.738862931728363","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":"Q5394557$8A75FFCC-F8C3-4A42-8DF2-B006A4081306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31f8ccdcfb3e42bb5dd072bc1e81de3c21692e3","datavalue":{"value":{"amount":"+0.7375852465629578","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":"Q5394557$CD4B87DE-72B3-451F-82C1-F9ACE47D0D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bff7810631a26cbec1ee865f4fbb975067f4231","datavalue":{"value":{"entity-type":"item","numeric-id":2845505,"id":"Q2845505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1caefb402840f0ea15c8fef8b1ef1d080e34ac","datavalue":{"value":{"amount":"+0.7352216243743896","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":"Q5394557$79D675B0-D91C-4F6F-B4A5-B8F64F46EEA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394557"}}}}}