{"entities":{"Q16316":{"pageid":16372,"ns":120,"title":"Item:Q16316","lastrevid":56928750,"modified":"2026-03-24T17:47:15Z","type":"item","id":"Q16316","labels":{"en":{"language":"en","value":"NuSMV"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f2b465e506c3af6b0262860e7efff8f95ca61ee5","datavalue":{"value":"4131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$150A90EE-C5B5-42AC-B9BA-85DC8DDD01CA","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"021b46447f59cb888dc0df84500acb207d4b95ff","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$B63C852C-56ED-4CBE-819F-653DBB2F7609","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":"Q16316$3BB1A606-CDC0-43A0-A82B-4EE54126D2B3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"377582cbcaf45d29f87597d1f691492d885adbda","datavalue":{"value":"http://nusmv.fbk.eu/","type":"string"},"datatype":"url"},"type":"statement","id":"Q16316$98059708-700C-4358-9733-A9B4D3BF8D45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$1215A7DF-024B-4394-ADBD-464519B91F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$19050AEA-3AD2-405A-BAA3-9E30B06FB643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$202A28A2-9DDB-4B7B-B96E-76C0865E9D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$2FCF0987-D9C8-4896-A1B0-BC77CCEAC86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$B64DC2C9-3FF1-401C-BD7E-0DED1328B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$8B99BAA2-D57C-4ABB-9FC4-8FDEBDAC8A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$D899CB24-6F53-430C-871D-834CE0416DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$44206FCA-A907-44C4-B530-C7FF191F3D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$94C2554E-1D46-4DED-BA13-CC7C0D5C1D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16316$1352F9F9-0681-44C5-8821-69C4487FB343","rank":"normal"}],"P1458":[{"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":"Q16316$9A526EEE-5D59-4DCA-9D27-F96F1B593F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"00a2e0a4752756ebdff979b818d06dd6129182de","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$348DFC7A-7751-472E-ADB0-58DFF41ABE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e6d2e04e15e4ff7c5352e03cfb60cfa3a47ea2e8","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$CB8A1160-EDEB-4F20-9096-9D76E37F7D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"02b329e86bd44e002b407e5543cbe998c79c263a","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$78530E68-FB3E-41E8-B8E3-29B617223BB8","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":"Q16316$102DFC2B-238D-48D8-B4FC-9246ACAC0A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$861CDDB4-C1CD-4671-89CE-377DE77D434D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37c4bd9e3a1e8f671d27130134b89693886108a","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$D7198E3C-238A-463C-A7F9-05C81F7BD321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c30f33a520586f4e186c4684f96d47e7cca3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$A94AF8D3-7018-4DD6-9B7E-7A1FFB19F415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9b16366127050be336d5a6c8997cdced7a9e9ab","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$5AF94F1D-0600-4F01-AB26-0BCE1DEAB38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"506ca92f4d2e993af30c0ddbc6e82ee43fd41020","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$28285F64-4527-4430-B723-9FB13DCD7D07","rank":"normal"},{"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":"Q16316$18F24FD9-6260-44AC-8576-F03B5F838D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1799e810387a519a9d77278f17b40f135b845474","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$D8E5D9D8-5CFD-4559-87D3-65AA2819E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7328564303d1929bbeab82ebc64c91f01ea9372b","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$C3D1590C-E6CB-4A4A-BF98-26EC14EB17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d6c28fb1b93263bb235b823917e9ac17d05144d","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$ECC68168-5DFB-460A-AED8-408BD996AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"070ffec594af9f254c197b5dbe3e7cda1243ad61","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$8976F84D-14EA-435D-A3DE-64E2198ACF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$FDDC8400-CBAC-424A-A06A-9BD6A417A3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d89df1ecebe772c6d89beb27ab4eb1bd62721a15","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$1D0EA23D-7312-4A2C-AA43-CE8C635D711C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d415c0e796201decc94b5dc4e3ee671f2a4aa29","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$DEC4570A-CCC0-4312-8D3F-DDD2B77B3E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1840d9ca978cb27c46a83c7e9dce99a49efc6565","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$B689F8A3-D72C-4CDD-84B4-E85F1B254C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16316$AAE48A47-3FE9-428B-9411-9103F4B62C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NuSMV","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NuSMV"}}}}}