{"entities":{"Q16319":{"pageid":16375,"ns":120,"title":"Item:Q16319","lastrevid":56928774,"modified":"2026-03-24T17:47:15Z","type":"item","id":"Q16319","labels":{"en":{"language":"en","value":"SMV"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"78af04925ff722138f68b1653ed5db968140c6dc","datavalue":{"value":"4135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16319$2ADC1A03-F854-4311-ADA6-3474D1B21C1A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$C2D5B8AF-B8D3-44C0-B342-F6ACD74A5A39","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e133c7ae5c8ed79824d76a13377b3d6ab0bf552a","datavalue":{"value":"http://www.cs.cmu.edu/~modelcheck/smv.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q16319$0546C5A2-10F2-4477-B7A8-5D74FD5736FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16319$9238D70D-58B4-4B74-AABC-852A88DEAC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8e231fdb33dcfe6258f2f5ff03e1ecfad18bd7","datavalue":{"value":"49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16319$187DBE31-540B-4A94-8A8B-8E75A7992805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16319$7EE68250-9346-4583-AE32-F0B407496BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16319$3683A4F1-43F2-4045-95C7-FB328A07F152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16319$C57DB3BD-87C6-464B-9416-B1B826C67A7D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"455b00859381b416e797394b11a7dbe1037097fa","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$22F02E20-351A-4294-BEF1-4F4C6AE97CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"44b611c2936fa5ecd3aea8a8e2c38f259f8f1fa4","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$B686C045-73BF-41F4-B2E6-15C6A6124B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$F089FB3F-A19D-4E4C-B07F-7D87A52685A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3be1c438e4864369b4d5a6931d6876f8be0f087","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$D7A9422F-1CE2-4BED-97E8-4D8B53967072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2bed52c12846524e56d0544dbacb479fba82b177","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$F8909B92-43E7-4BE4-AC50-02CA46081254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"26b7d3ae0e2eb61158269ad9eb647e971f505281","datavalue":{"value":{"entity-type":"item","numeric-id":18442,"id":"Q18442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$E6F1973F-D454-45BF-B154-CA5C403ABF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"334b90aff17c540921a3df9e5fc8c30256f00206","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$1B94104E-8F80-469E-A686-157867251282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20f24b35928b1dd8019717de94ed50292b94fae9","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$45C2C552-94E5-4A21-9414-9A19ED995702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"67e8645b74a58384ddce7e9546b5d3c48699066c","datavalue":{"value":{"entity-type":"item","numeric-id":23842,"id":"Q23842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$CBF73B80-7F74-46B5-A929-0B223A288DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"654080dee7524f5000d195afeb10c1de4245a272","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$6390E8D6-B507-410F-A7F3-3ADF953327F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$DBE21493-4280-46B3-9A3F-E27A6310413B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07e6a0c61b783acc7ca95e1084c2d71b63a36b5d","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$9C241C64-45B7-4BC5-8837-FE027FDF9D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1edde4b5e367d8fa691f3ae5630108b2fb51dee","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$AF9B1CD8-4D6F-4BCB-86FC-598BD91C1926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"16db67fd120ce9350a180e22b89dac255749f012","datavalue":{"value":{"entity-type":"item","numeric-id":22780,"id":"Q22780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$22EFB79B-6F3B-444D-BC19-BDAC977D4438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$6C0A2693-C646-478A-A84A-A6345F1C7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18345262edd9c211fd2842b1ab80e6fce10f83e1","datavalue":{"value":{"entity-type":"item","numeric-id":18658,"id":"Q18658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$39405876-0F67-4109-9A3F-7FA7821F926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c47d8150d4ff4c1856601379719fb1bc9293fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":27609,"id":"Q27609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$CDEF41E4-0325-4C6E-BADF-7E73690F8388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$A0D1491E-EAC6-4E17-ADBE-A441B191263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c0ae74dd30ab87a90474c51561715d450e7ca94e","datavalue":{"value":{"entity-type":"item","numeric-id":13339,"id":"Q13339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$22AD6471-80E6-4565-A189-2C8147E4FC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16319$25E90B31-C80E-42D5-8290-43B34C727528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SMV","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SMV"}}}}}