{"entities":{"Q44019":{"pageid":44075,"ns":120,"title":"Item:Q44019","lastrevid":56395245,"modified":"2026-03-13T06:24:59Z","type":"item","id":"Q44019","labels":{"en":{"language":"en","value":"OptiMathSAT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"9f45755f3fd3e69a7f98c9e96970f359986e690f","datavalue":{"value":"32308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$90CCAA43-34A9-4DBE-B052-35D293CF87DA","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"ce787332b6272ff2edce9773cd253c554ba7e237","datavalue":{"value":{"entity-type":"item","numeric-id":2303246,"id":"Q2303246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$1CB0819C-E0DC-4D5E-9005-EC01D9BCCF38","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":"Q44019$23071666-83B0-420C-8FFF-2EF43AAEB99D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"78a73e252250e7e9898b34e56c42b14b3494fafb","datavalue":{"value":"http://optimathsat.disi.unitn.it/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q44019$57215D5E-C6D7-4FE6-A68C-FF287B6FC95E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$DE322F64-589E-4C38-989A-5729367520B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$8C8321EF-3D5F-4CE7-9F18-76CA03D739F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$02913058-DDCF-4C0B-B3FA-5AC34D036583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$2FDD24A6-35E5-49F7-B294-F2D2C5E91A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$29DFDAA0-8F30-4B88-9BD4-3710F2DD479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$C44D8C0F-D79B-4212-81E9-E2A574DBC583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$21CA1DB4-49E1-47E8-8D70-109F55566B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q44019$C6232CD3-47A7-4303-B82F-064C5B5310D5","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c625c929aeb116b39a7a17e5b4d98415fa83a321","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$0E7ABD76-4709-4A68-A7BF-22124C486B34","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":"Q44019$1F36F677-2E5E-4949-9E04-879E7E36E223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$F5853078-90C3-4931-9DCE-52EBC8161AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"45a2caeb1681dd1d2512eef805e014130a771c33","datavalue":{"value":{"entity-type":"item","numeric-id":20537,"id":"Q20537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$BC0C191C-FFC8-4532-BE76-68405B291FE5","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":"Q44019$294588F5-37CE-4186-A28E-ED1A444949EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9ddce5784b714a7351ea1f2a20061d69637a876","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$42FFE7B0-F0AD-459F-80C6-6397F29EF1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$3C6A1919-3CC7-483D-BE5F-9928FBB202C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$8A5C822C-C729-4689-818C-9C8FAC4223E2","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":"Q44019$CB0EE0C7-AEDD-487B-BEE8-8ABB76B6AA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c50158ee07b3564c54f741e7497e18f10321b656","datavalue":{"value":{"entity-type":"item","numeric-id":16731,"id":"Q16731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$C196E496-738A-4193-99D8-7B87F5BE9E2B","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":"Q44019$916DD9D9-B248-46F2-8B7D-FA80B135094C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"929d5ae123d16d7d1416ccdcb0bb8cac6c7e0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$5D2244D8-FE18-4026-8F66-54A82F2E922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c85e95855e20c534f09f48c31ae4ac0b8866d68","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$E50EEE0F-F8B7-44A6-B652-65717FAC13E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"827838c16ff6199af0328a8495e277b76839ef42","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$72ED79ED-325E-4903-88D3-17CA64813AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60b0b9c91adb8d09f1c02fbec7661becb3b46ed9","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$228F30D8-F39F-467B-A36B-402F508A3A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"36dacd5e0ce6f221a0ecf90efa0c07a5dd9417fd","datavalue":{"value":{"entity-type":"item","numeric-id":19839,"id":"Q19839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$0AD8BEE6-73E6-4912-9F3F-D9AF11427339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"22bcc122372963f9b59fb988669ed36464a2c046","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$1259E90C-DEDB-44D1-8BD6-5A8E47F3DCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e37d0f84800bb830b88b7439acea2ef09d22c165","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$70E2E248-0CF7-4096-949A-87D9A21BDCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"741307e32ad94cce6493ccd8b2deacc122835407","datavalue":{"value":{"entity-type":"item","numeric-id":25118,"id":"Q25118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q44019$2DB675F1-C805-4991-ABE6-09BB9C91D829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OptiMathSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/OptiMathSAT"}}}}}