{"entities":{"Q5019796":{"pageid":7049373,"ns":120,"title":"Item:Q5019796","lastrevid":91889159,"modified":"2026-06-05T00:19:49Z","type":"item","id":"Q5019796","labels":{"en":{"language":"en","value":"The 10th IJCAR automated theorem proving system competition -- CASC-J10"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7455198"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$A4C3F549-A787-4796-8877-6A705754C68E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79c9b49886c5a890a79373ff7454e3bde8b98a9a","datavalue":{"value":{"text":"The 10th IJCAR automated theorem proving system competition\u00a0\u2013 CASC-J10","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019796$FDF4E082-B4F9-4ABF-A108-09F3FFE0509D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d440fd610b7f99855e9acf17b3c8de943008445e","datavalue":{"value":"1485.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019796$E6B4CDAB-8DFD-44FA-BC67-91A436279216","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559b762cf788dac4db8bc620a1c4433cc55365c8","datavalue":{"value":"10.3233/AIC-201566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019796$F003CA5C-794A-4186-BBFA-B6998F688756","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$D0653C6F-D286-45A1-90B0-15E64B910368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c55eb3ecc64f07fd602e06c6a37a740c982d0cb7","datavalue":{"value":{"time":"+2022-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019796$58A39643-F63C-46FB-9949-B298D83B5062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019796$6F41E31B-A6A4-4ED2-9BFF-F0591F0403D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b81a85e88b44e86290acdabd668871f0c9d1748","datavalue":{"value":"7455198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019796$784D478F-4EB7-4DBB-9A35-2AC84788C974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019796$4FDDB652-A514-4A5B-8DAF-7B54B2BB46AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019796$503A12B9-27FD-48F3-974F-93D70C6F4907","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$252686F2-DF99-4A2F-849A-C0E85B324232","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ce57cac11c68f6c31d94236f1bc9334f6e1e12b","datavalue":{"value":{"entity-type":"item","numeric-id":1349733,"id":"Q1349733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$AB8D600C-5729-4BCB-AED7-EFBB904ED1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$537E7245-CFE3-4B78-A576-62EEBCA80D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$AA407C1F-D299-4481-AA07-226F9B93D057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$4016317F-2008-421E-8857-1CC665E8BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$35F9DFFE-A0DD-4AEE-90C5-C780E7575948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$76B3F70A-B227-46B9-8E08-4C31247C6BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e46473070f3c81a2b3e6d8305bbf4ff6145b7c3e","datavalue":{"value":{"entity-type":"item","numeric-id":30553,"id":"Q30553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$ADBEE3C2-EEBE-45F3-B2C7-E6BDC51A2651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$91336514-7530-4CEB-9D64-DF65C2D80ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33061b9a75e57d93e8912d2c2b716b27d6bd52ab","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$29A22015-B12B-411B-8675-7459208F6170","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$70C4D4A4-7693-4379-BCEC-18ED4512750C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b0802dd9ffb89108bee25aa26120dffc46ad60","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$EE9D97B7-2882-4786-BB26-7998011CBFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e9017e9f92808788a0b971125d9368ce41250","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$17D840D6-46D6-4709-A1A1-7C66A3275BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$08046C10-B4D1-4786-851B-E9C58FBE3E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0be2bc6236a4c24770f12e7c48575e7f2c2b22","datavalue":{"value":{"entity-type":"item","numeric-id":2096451,"id":"Q2096451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$8C97117A-1417-474E-97C5-F4366E14A3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$AA624506-FE91-449D-AE51-189EA79C6970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112a3ea35e000d8c0e7bd315e341f66faa230a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2305410,"id":"Q2305410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$05BB59AC-6369-400C-BEAC-AD39F4E27166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ae3186b750126567f78f8fbe4fd7d86109b7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2305414,"id":"Q2305414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$4F0C43DB-43FD-44CA-8FF5-0EBAE4CD3BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c47996ece75ce993dce6ae30ef206590df431f6","datavalue":{"value":{"entity-type":"item","numeric-id":2096454,"id":"Q2096454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$25936DB9-EF9C-433C-9589-B5C2AA378493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2a467582e2ce551e8d6f09e937481123bd1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5049022,"id":"Q5049022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$EACACB9B-47CD-4C76-86CB-9469C4FEB6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1183268b2373a892adc793bed6d4a85aecfed77f","datavalue":{"value":{"entity-type":"item","numeric-id":5145434,"id":"Q5145434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$9EC02B8A-6D66-4BE3-A6D5-331B1A275E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8170a40c6641854dae02c3870de06248be927ca","datavalue":{"value":{"entity-type":"item","numeric-id":2096446,"id":"Q2096446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$45C0CC65-245D-4CA9-A40E-62BFD5B45B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2711843a98624794e415f413cae93ffb1a8605c0","datavalue":{"value":{"entity-type":"item","numeric-id":2305427,"id":"Q2305427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$55752520-F9F9-49CD-855A-A343D2DC5CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121202b1767262d24807577878b88b4d709ae904","datavalue":{"value":{"entity-type":"item","numeric-id":928656,"id":"Q928656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$F5DFFFFC-67CE-48FC-BD35-187A09D19807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cf443dde1d2e5809a6b6bdf2e4ea1022579959","datavalue":{"value":{"entity-type":"item","numeric-id":1404979,"id":"Q1404979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$AA610E95-F6BD-4F9A-BB3E-898733A81A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$D247F6AB-2571-4B7A-B556-1726E4D692D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557e52eaf441d22b2d6c6d01bd164f9105a04e87","datavalue":{"value":{"entity-type":"item","numeric-id":2405258,"id":"Q2405258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$2161719D-49FF-4D49-B2D2-89E51A299E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$7E51DE37-0477-4C3A-BC3C-D6A2E3035FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2bbb140c4dbfa368d507d72919bce6409b4ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1977578,"id":"Q1977578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$D34A447A-5425-4E7F-87D8-1D9D2C9921D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$3F0FB913-BBE9-4113-BE6C-A04C3AFFA21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fd19499e55a7339ea950c3224bca65691ca778","datavalue":{"value":{"entity-type":"item","numeric-id":5145427,"id":"Q5145427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$88C22D58-5395-459C-B7C3-A1AF50BCB18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae658c7b9ce655f09bbbbf265b43c9366e7c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5145460,"id":"Q5145460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$DB633605-BFE6-477F-A215-3A07DFDB5639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019796$0BDF97E8-A47C-475C-ACC1-A567A6A0D03C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2349d8bbda61551d315caaae89b2caa61faaef6","datavalue":{"value":"https://doi.org/10.3233/aic-201566","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019796$75E2CA98-5BA6-48B3-890D-C195F593A02B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f8ee8a0c63d58e73e24eeb3fb43cd578926975e","datavalue":{"value":"W4243308851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019796$844A2148-3D8F-48FF-9F23-C0F731BF6BC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d19fb98bfdffb8a0e53b2a88f5568ed3c487f5","datavalue":{"value":{"entity-type":"item","numeric-id":4589264,"id":"Q4589264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8094bc88bc5546a790cceb4ef1672d67284b389b","datavalue":{"value":{"amount":"+0.959308922290802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5019796$95174271-05CE-49A9-993E-0FFB11737264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a97a515155d78d6cb77d17539d49813d8c7288f","datavalue":{"value":{"entity-type":"item","numeric-id":4589120,"id":"Q4589120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a16e378de8269f17f5d6036c132bbb8a8b86fd0","datavalue":{"value":{"amount":"+0.9574184417724608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5019796$FD7D5727-9A7A-4781-841F-1A9A8EC8CC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d0c661cddd9d6847962a43b21e91d16b1e32ff","datavalue":{"value":{"entity-type":"item","numeric-id":5145447,"id":"Q5145447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9864744feba1586cff0e52c7a48ebc1fdf4c49e","datavalue":{"value":{"amount":"+0.9566550850868224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5019796$2459AAFB-CE31-4130-A3B9-A62C3B4275A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f9377c4604b01b815ce46c853e8d801c0d9c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3515519,"id":"Q3515519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a8ba912e332feec425c64139912745a6808c8b","datavalue":{"value":{"amount":"+0.9393243193626404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5019796$798C2315-9801-4B3F-87A1-E2978E1F8DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977cc31a448b288b581736d8ccde22baf41ed359","datavalue":{"value":{"entity-type":"item","numeric-id":4589259,"id":"Q4589259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411873a8e38b094d0f1bbebf5ea6d0aa25314de8","datavalue":{"value":{"amount":"+0.9371822476387024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5019796$4568BDE0-8BB0-4F50-87EE-1809E3EDE10C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The 10th IJCAR automated theorem proving system competition -- CASC-J10","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_10th_IJCAR_automated_theorem_proving_system_competition_--_CASC-J10"}}}}}