{"entities":{"Q17046":{"pageid":17102,"ns":120,"title":"Item:Q17046","lastrevid":56425053,"modified":"2026-03-13T06:32:16Z","type":"item","id":"Q17046","labels":{"en":{"language":"en","value":"ISP"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"166304908e00beda3ac5310d34f4305d6694b4ee","datavalue":{"value":"4895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17046$74492F46-B5A4-448E-A15B-6BC67D55405D","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":"Q17046$2B26936D-E17E-401E-BB9A-8DFD7C4FDBF4","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"7ce6b3e74b2c2f924860050104b0aefc59998982","datavalue":{"value":"http://en.wikipedia.org/wiki/ISP_Formal_Verification_Tool","type":"string"},"datatype":"url"},"type":"statement","id":"Q17046$DE375989-8D75-49C7-9CCD-A1CEAC30922C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17046$13DE16B0-0F38-4498-8C9C-825A9777B67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17046$938F13CA-DA41-4A28-B2BF-E64341C48AB0","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":"Q17046$B4886662-39D6-41AC-9275-C180A11D6940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b69dfd6aefb61fb62fe0c9bd5bda4c391dd9a94","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$47A754DB-89F3-40D8-A5FC-854B6EBE0038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e12ffd0dfd68e5649de262a53c7933485dbc7d3","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$52912583-108D-44E4-A801-82F1AB8C286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"222840b0f9c554f439df0221f152bbf6bae9df9b","datavalue":{"value":{"entity-type":"item","numeric-id":22525,"id":"Q22525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$8DA57814-6566-4D3D-915A-D6454CD6042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cce9708c735eca903b9027de804184e2f0ded4b","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$4C692781-6355-4147-B623-22256855527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"187424f3f1f0faaf242dd7691ed1bbf9d5e5d9ae","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$75BF4A2C-916F-4FAE-BB88-1E934C0A1084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b60d86f576959ecbb5c91f1e0527475042fee4b","datavalue":{"value":{"entity-type":"item","numeric-id":20834,"id":"Q20834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$BB7B35E1-7388-4313-ACFE-9E7C91E9096B","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":"Q17046$EDB5345D-0682-4294-982E-74136A2B8B7C","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":"Q17046$383970A5-09FB-4FDE-8E10-7CD97047F893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf3522d84556a75529343b0a9112ceebfd06656c","datavalue":{"value":{"entity-type":"item","numeric-id":18600,"id":"Q18600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$79854BA0-8774-46C8-B981-479B8875445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"115134cf3fb4c146ffd849f28909e3e093efb587","datavalue":{"value":{"entity-type":"item","numeric-id":23312,"id":"Q23312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$0B0871A6-0CB7-409D-8C78-7B18161E7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4e0988bd2c4349664839f20d62ebaff8a391a297","datavalue":{"value":{"entity-type":"item","numeric-id":21593,"id":"Q21593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$C4C1BDA3-8E01-476A-899E-7B5D963604BE","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":"Q17046$8BB45DF8-7191-4B75-9F04-6A56AFEDB929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"78b3094e1a0907a9869ecdb8e2a265b8168c2d65","datavalue":{"value":{"entity-type":"item","numeric-id":21390,"id":"Q21390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$4FD87631-EDF3-4B06-8DCA-57E285F4C871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$372CA328-79F5-41ED-9516-FED32D9B43C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a78d10351f0710c61eb19af8201147471568ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$58FBFFC6-8EEB-4C96-9C28-476E2377A77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$89961DE5-9A29-459A-A096-FEF6B00FB74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"80d9a82bde29780c2c0cb0be27b1609b0c94b12b","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$3DE7AF92-7F47-4AA8-B788-39CB8C4ACF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"166e4f53c4ac9a9a383ed386f033e0989b3557b8","datavalue":{"value":{"entity-type":"item","numeric-id":17041,"id":"Q17041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$1AEF8D75-A8C2-464A-B5E7-155D0E5796F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27ba7e3c8405ebd661079c5c56868c6d995c0bb8","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17046$E97AE2E9-23C3-4526-97B5-5D4DC1DC9BE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ISP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ISP"}}}}}