{"entities":{"Q44261":{"pageid":44317,"ns":120,"title":"Item:Q44261","lastrevid":56394309,"modified":"2026-03-13T06:24:48Z","type":"item","id":"Q44261","labels":{"en":{"language":"en","value":"VERIFAI"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c9185e0ec63f158b7452e4ebdaf1a8f7b1f5335e","datavalue":{"value":"32550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44261$913960A8-1B93-43BF-B39C-9FF2271D9252","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":"Q44261$3592B343-DD81-44FB-9924-0B315CA2D4AF","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"7df508d428d19b083ee5de505157ade5e3430e0b","datavalue":{"value":"https://github.com/BerkeleyLearnVerify/VerifAI","type":"string"},"datatype":"url"},"type":"statement","id":"Q44261$3D794C6F-3BE9-4079-A48E-C55CA4E49332","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"3fbeaea2be443814465d897c4f936e29bbb5606b","datavalue":{"value":"swh:1:snp:cfa3d6f66c81bc54dc824f530d4e51792284b4fb","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"7df508d428d19b083ee5de505157ade5e3430e0b","datavalue":{"value":"https://github.com/BerkeleyLearnVerify/VerifAI","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"c1e3dcd8c5b2ee9e3e54547c466519cd7930202d","datavalue":{"value":{"time":"+2024-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q44261$E924EE3E-F8BC-4A01-9E7D-400BE1CF7010","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"8124ba2f680a227e0258ac5789f9221e2ae97a54","datavalue":{"value":"https://arxiv.org/abs/1902.04245","type":"string"},"datatype":"url"},"type":"statement","id":"Q44261$F5CBDF43-8401-49F0-B952-822A435C4CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44261$33E514C5-24B8-424F-B1B1-F842AD38F496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44261$0B7901C6-DAD9-4A25-B067-FFE0A7A8747D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"305467c18c5bebe4635811e823978e1c4f64e11c","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$C1FF25B1-EF9B-4926-A51C-56D4C981C928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc794d34d26fffbf018f6594229d1a80d0bae01a","datavalue":{"value":{"entity-type":"item","numeric-id":44250,"id":"Q44250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$F8F36ABE-A755-40B8-8E44-36F893C43BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eb5bd2777888eeeb057786f45c94aa3e6d7482ae","datavalue":{"value":{"entity-type":"item","numeric-id":43079,"id":"Q43079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$16B7DD07-F574-400D-B49A-C0027817A6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"014696a8d745f04b68d456feb01b141e8830f394","datavalue":{"value":{"entity-type":"item","numeric-id":44262,"id":"Q44262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$8A3997A6-5931-4CF5-BA1C-26F2D24D3A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60d5b957f38cd972a444d1b9310ddd08274b2418","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$CE02BAAE-4F50-47F2-BCE1-3D617AEE0A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"76184b7306b0cdd7f5de922e5d14bdaa41764bc7","datavalue":{"value":{"entity-type":"item","numeric-id":38934,"id":"Q38934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$B161CD8D-AD91-4E3C-B4A1-714BF487A902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"25992d233c8457f228cbd7131b8a97a143290300","datavalue":{"value":{"entity-type":"item","numeric-id":5974300,"id":"Q5974300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$89FBA814-0EE5-4AA7-8279-80F75AE54955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b1d54cab7b7c9812bfe440460dfadfed8258d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":24783,"id":"Q24783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$99CA945C-E15E-4441-9680-FA697E584A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a41a9b3b234d65e98d1b29b0b9a4880f3a18eaf","datavalue":{"value":{"entity-type":"item","numeric-id":31959,"id":"Q31959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$5C926480-39EE-4916-80A7-8007F70C7F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$BA9624ED-486B-4B95-8349-101214909C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"efd80ec482f958117ed636fa21a0becd59646901","datavalue":{"value":{"entity-type":"item","numeric-id":33737,"id":"Q33737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$F137E322-4DE9-41BC-8029-494216DB99F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$3C9DBBC9-728E-4DEA-8C2A-E6A0A4AA0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"040afbeb0a2ce1a3dc13b5ff2c1974cd2b39a496","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$96C17E68-407A-42F9-BFF3-CEF2E3493799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f6d76cf60509100febeedb74b365263d60f6dfda","datavalue":{"value":{"entity-type":"item","numeric-id":1350652,"id":"Q1350652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$1ADF89EF-2E9C-4468-9EC6-D6FA75C7A687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"57f6ab65bfaae253653127adfdcf20128d0f5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":1349743,"id":"Q1349743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$D1086CCA-1E8E-49EE-AC23-331987A154E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24e2ddd4f98dba8c7ab0bfe2b04022d0bcf1cb44","datavalue":{"value":{"entity-type":"item","numeric-id":27219,"id":"Q27219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$C3794A43-FC0D-4543-B61E-DA16C61A24A8","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":"Q44261$7AD24ABD-5A28-4DB6-B7C0-15B42CCBE2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7f4a1f55ce8d1500a836a688c8fe1d3a97a71c6e","datavalue":{"value":{"entity-type":"item","numeric-id":56246,"id":"Q56246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44261$00891B91-08BA-4843-8E61-792B51C0DD84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VERIFAI","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VERIFAI"}}}}}