{"entities":{"Q43079":{"pageid":43135,"ns":120,"title":"Item:Q43079","lastrevid":56388297,"modified":"2026-03-13T06:23:08Z","type":"item","id":"Q43079","labels":{"en":{"language":"en","value":"Marabou"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"0cf5877ebeb6e66d4cbd04bf6b14da9133444cba","datavalue":{"value":"31368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$9859E43B-AB91-4A36-AA2B-A7C8F1EFE29D","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":"Q43079$BA3536A2-77C7-4340-A318-8FBC597BCE62","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"bd2e034815ecb082f0273b944a0e5353118abce3","datavalue":{"value":"https://github.com/NeuralNetworkVerification/Marabou","type":"string"},"datatype":"url"},"type":"statement","id":"Q43079$2DA19E5A-F9B4-45A3-81C8-F8C9BB0189D9","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"c9e7cb380ae6922751620b7d6a82265c31773660","datavalue":{"value":"swh:1:snp:9e684e39fff47343cd518e4a188c4c47b5428128","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"bd2e034815ecb082f0273b944a0e5353118abce3","datavalue":{"value":"https://github.com/NeuralNetworkVerification/Marabou","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"f49101e197a350917396933307b5d717d74e6128","datavalue":{"value":{"time":"+2024-03-21T00: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":"Q43079$DF7E2964-1318-41A3-AD08-6C8B2842C08D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6b879712628103659fff5110d9a572b3c002c0f7","datavalue":{"value":"https://rd.springer.com/chapter/10.1007/978-3-030-25540-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q43079$E2DA239D-C9BF-4085-8EC0-6AC355BC0856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$1AEF526C-0886-4042-A874-A1DAF93AE4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$973B5CB1-DE63-4C34-8C39-3649AB50ECCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$170A905F-C810-4E0B-9D58-54AB7C480571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$642B6E8F-9543-4B47-B11F-D352629B4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$153EE563-06E4-4522-8634-E3346E9BAEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$30682A68-BFBC-4F80-B471-534D08CB16B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$73528DE2-0DD0-4899-99BF-8A3D64BFCC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$D03E0C19-2E5A-4CAA-98C0-AA4A839A4B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43079$D810665D-DFAA-40B3-B2CB-DDCD7F1458C2","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":"Q43079$2FA5B1DC-7DD1-41D3-B004-4268B84DB583","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":"Q43079$C1DFB859-9341-4086-A095-1DAA361C7C62","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":"Q43079$88B70F40-EE51-4913-8AA4-2FBF43F417F2","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":"Q43079$0CA70E62-2AF9-4412-8B8E-807C63F58E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4cbe3f1486e7fafad1f60dce21451bcc64856c3d","datavalue":{"value":{"entity-type":"item","numeric-id":54222,"id":"Q54222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$5A4A7D05-0FCC-4EBC-8056-ACD78D175529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8538e7edb5814bed39cd0b655e7261f88db36dd2","datavalue":{"value":{"entity-type":"item","numeric-id":32917,"id":"Q32917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$0030E883-0482-4F4A-8BB3-17D147417F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$DA2E0708-B141-4155-A1D1-DD161E9E3E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a332fc55e9521016815a2f7c98ef1792a9bb7cec","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$E03E0080-5372-4A58-9685-C2691B9536AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cb7ba316072b7ae753bbf5163b8eb84a0e06617a","datavalue":{"value":{"entity-type":"item","numeric-id":1351995,"id":"Q1351995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$3E559313-8D9C-48CA-8E4B-D2DCC36E5C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e57f7bc0e4c0eac204b97559bfce96e771694d5","datavalue":{"value":{"entity-type":"item","numeric-id":1351987,"id":"Q1351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$A0E28B28-54D7-44EB-9E74-291359DC817C","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":"Q43079$DC78D1CA-4759-4BE3-8C3C-5E713945B484","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":"Q43079$92F105AD-C17D-437F-8C88-15A99C2ABC2D","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":"Q43079$CAEF6004-D676-4605-9EA8-657863E1EF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3cb4bafccfbd7bbbec14e1e0f41851205dd56d9c","datavalue":{"value":{"entity-type":"item","numeric-id":5974948,"id":"Q5974948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$5408890C-0016-432C-9F50-7150C357762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c5dff3e120e9f7dfeb2b3edb6b45c2d84ed0415b","datavalue":{"value":{"entity-type":"item","numeric-id":1349749,"id":"Q1349749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$97DA34D0-DD3E-473D-8C86-A509C047B040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac7d6d6325c4d82b9aa3989106d3451d258bafe7","datavalue":{"value":{"entity-type":"item","numeric-id":1353188,"id":"Q1353188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$266FE911-53A5-43BA-AA7B-C5D96A9007C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"431b7a1240ccc9454b902da6710822999137a52a","datavalue":{"value":{"entity-type":"item","numeric-id":32750,"id":"Q32750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$8BDDD5CD-D30E-4E53-A0F8-9C6E9DD096E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a906ba21bc03452a3f5152bda4127c16679ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":42470,"id":"Q42470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$E86758D7-178D-4DE8-AE86-708BCAF2FC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"997aed9b5feef629a0362cd7cf7b65d867afcdce","datavalue":{"value":{"entity-type":"item","numeric-id":27063,"id":"Q27063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43079$2BF12FB8-C2DD-4F63-9403-75C07C647FD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Marabou","badges":[]}}}}}