{"entities":{"Q3561621":{"pageid":5591525,"ns":120,"title":"Item:Q3561621","lastrevid":88377290,"modified":"2026-06-04T14:21:58Z","type":"item","id":"Q3561621","labels":{"en":{"language":"en","value":"The CADE-22 automated theorem proving system competition -- CASC-22"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5711634"}},"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":"Q3561621$7C32D00F-3099-4A0F-AF6C-E3B92A4F0907","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18b0cd9833796b58b1792187c7a861c57da4226","datavalue":{"value":{"text":"The CADE-22 automated theorem proving system competition \u2013 CASC-22","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3561621$E213BC1A-BD18-40DE-80C3-F1B17970BD44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95f28935fa8a0eb6da631e25a2d81ac0a3384068","datavalue":{"value":"1200.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561621$0562ABB9-23C1-469E-AE95-0023E3725C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02ee1db14db6a4c255e8438d6e4397c9c8e45aa2","datavalue":{"value":"10.3233/AIC-2010-0469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561621$7D6F303C-626E-4927-82E8-F8D43AB53639","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":"Q3561621$30D2CD2C-4C61-499C-84F6-44DA21F6040F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbc6ab4a403b115564cbfcfd9e956f4e78bd17ff","datavalue":{"value":{"time":"+2010-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3561621$B570529A-9D11-4649-B012-2C412A9CA09B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561621$3396F1BA-ACC7-477C-99D9-839774164DD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37131c2a4f507154bd42b24fa83d9984adb4f4b9","datavalue":{"value":"5711634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561621$68B13A49-81CE-4ECB-BE50-2B157EF46836","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561621$DAC3681D-E7A9-48A5-B1F0-FDFB8093BD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561621$0CBF3D77-B3B8-4AA6-8897-F667B8C45579","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":"Q3561621$209D7A03-11A5-4D37-A9F6-0644989F3F4A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561621$6F2624CA-3173-46CE-B057-1CBC71042751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561621$005CC9D5-DB6C-4830-BF17-63B7269E3B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561621$651AF2F5-2787-4629-B851-85A531490419","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":"Q3561621$D08D47BD-077F-47DC-9A92-8A2CD8D973CA","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":"Q3561621$AD7E2FDB-3C12-49C7-B5F2-E3D55E3B025B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04972dba9c65a311f50d3057b4e03d09eca5b61e","datavalue":{"value":{"entity-type":"item","numeric-id":5145427,"id":"Q5145427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f9ab6dbeeb571a3277b218c8dbf9c304463796","datavalue":{"value":{"amount":"+0.970084011554718","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":"Q3561621$91C48419-7FDB-4403-946E-44F6053BC9C6","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":"04633bef088ab697048559192e33df3745e7914c","datavalue":{"value":{"amount":"+0.969575822353363","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":"Q3561621$52236A21-2160-4AFB-9BB4-0F007B612E32","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":"a1b000b1d00b3fc78987b951f4069edf329a5c4d","datavalue":{"value":{"amount":"+0.9693382382392884","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":"Q3561621$5577DEAD-720B-4F90-AB1E-3E639C84BE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47d57af37457c4a0330f87ed4dfbcc020f5de97","datavalue":{"value":{"entity-type":"item","numeric-id":5145460,"id":"Q5145460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52feeb02e11acd4729012ff17f47a6bba3bf0466","datavalue":{"value":{"amount":"+0.9635563492774964","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":"Q3561621$036321EC-ACD5-4C75-A6D4-FABB2E0CAD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed7fc900533fd849442f8199b10dfe7492f4be1","datavalue":{"value":{"entity-type":"item","numeric-id":5019796,"id":"Q5019796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050199bc2ec8feba54b54d441e282bae4baa2c9a","datavalue":{"value":{"amount":"+0.928625762462616","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":"Q3561621$CC6C31BD-F749-4707-B742-4302A27B999C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The CADE-22 automated theorem proving system competition -- CASC-22","badges":[]}}}}}