{"entities":{"Q6095787":{"pageid":13230094,"ns":120,"title":"Item:Q6095787","lastrevid":102436886,"modified":"2026-06-06T04:27:29Z","type":"item","id":"Q6095787","labels":{"en":{"language":"en","value":"The 11th IJCAR automated theorem proving system competition\u00a0\u2013 CASC-J11"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7735787"}},"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":"Q6095787$14DBBC2D-E861-49B3-B8F6-A4DAE35DD435","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7b35fdb0dd4e182f83c09c24212476603fd67ff","datavalue":{"value":{"text":"The 11th IJCAR automated theorem proving system competition\u00a0\u2013 CASC-J11","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6095787$BE199962-0EBB-430E-9BB7-EF246BC92DC3","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":"Q6095787$82B1DC17-D0A9-470D-979F-EC9402784F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17c6d08c5d40a2588ec2b2e7f20fd42f41187444","datavalue":{"value":{"entity-type":"item","numeric-id":1687530,"id":"Q1687530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$2C938C20-9824-4800-8C1D-46FDEAAC33A3","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":"Q6095787$9A993284-6D6E-44CC-B09B-22938A0351F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdc13c01bd30877b2fc60d095cdc52bcc34c5630","datavalue":{"value":{"time":"+2023-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6095787$DBEC26FF-0077-4AAD-BB32-6607F2632005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095787$D944AA7D-D37D-409B-BE88-3437EA62D2E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0c2d47ddec0df0ce1c6af2a266befbbf68abd5b","datavalue":{"value":"7735787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095787$204E779C-AAAF-4CE9-86B2-AC0DD03AE8F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095787$F1CBFE55-2C51-4EB3-BE2B-7922931B8FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095787$C4623529-CA2E-45F8-AC0B-746ABE32EFFE","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":"Q6095787$9F14B30C-6D11-479A-9272-AD44FE86B538","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c5dc0124aab3e7593dddc69799853a56d399e8ec","datavalue":{"value":"Q122234818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095787$3C8FC6C3-E0FC-44C9-9F61-CD9BD3174E41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b77a4e29d4d4695946227ed1b94a36174d5d1ac","datavalue":{"value":{"entity-type":"item","numeric-id":3454107,"id":"Q3454107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$EBD08214-3C07-42E4-9E58-C9334A075CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f8c21e6d82f31fa2f7618306ddf28c9bb5b315","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$3A3E1C2F-8871-48BA-A1DB-64B1A9039370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9bbc9cdd9667523730b17037c3549c772dd39af","datavalue":{"value":{"entity-type":"item","numeric-id":5918381,"id":"Q5918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$AAE09B6C-8B0D-4EFE-826B-6AC4A154FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$10D6B535-E807-480B-BD6C-236306F409E9","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":"Q6095787$4F7D09C8-D526-4643-82B1-40E544D24F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f9a6c535aa7e5e7355737ffe792410ee8effee","datavalue":{"value":{"entity-type":"item","numeric-id":2104521,"id":"Q2104521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$055C193E-B695-4D90-87C5-B0CD3C020FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$802666F6-996F-4422-8112-537BBDA84B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de66456d0982b9e07ca51cdf5d084090ac8dea2e","datavalue":{"value":{"entity-type":"item","numeric-id":2104525,"id":"Q2104525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$4AE892E5-5EC2-4641-A233-43143A44555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786afbcf680c210c44541586812cab9a390ead25","datavalue":{"value":{"entity-type":"item","numeric-id":1799100,"id":"Q1799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$61F01C48-535D-484A-B6F5-5BE7D5463B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b945f2840d1c2d5e46ba120dbb78eb02edc11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049017,"id":"Q5049017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$25D5B7C4-FDF8-4956-B1CC-CEB3615CB735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267d9483ba548b4ea50499c817ebbc00bb7ff82b","datavalue":{"value":{"entity-type":"item","numeric-id":2142076,"id":"Q2142076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$9939904A-E199-44F8-BE15-D7437F1C41FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489f378cf88abdd52964605ad1488a1f6fa8a7f6","datavalue":{"value":{"entity-type":"item","numeric-id":2104507,"id":"Q2104507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$3F2CC806-C609-4B1B-97C7-BF4BC37038FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$04E0087F-C7F4-4D18-83DE-5FEAC35A038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c1f638018669c0f12fc794bc8268743b7fb621","datavalue":{"value":{"entity-type":"item","numeric-id":5495915,"id":"Q5495915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$2DED289B-BFCB-4A53-9E5B-E5AEFAB168A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52f87bfff5e15844694cf22d79c2b75967d95b2","datavalue":{"value":{"entity-type":"item","numeric-id":1770501,"id":"Q1770501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$B80CDB15-F2FC-43BF-BD9F-CE27DE0C2F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55cea594f37031bf55b82bc70b085187bfc9c6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2096461,"id":"Q2096461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$703A3A77-9576-4585-A1B5-4889FB77AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d3461230a65825b317043f52f4641daf8389e1","datavalue":{"value":{"entity-type":"item","numeric-id":1799131,"id":"Q1799131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$4F2EE10E-04DB-4BAE-9D8A-64C6967F9C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bd554443d4def680b4aedb7a5e010af4f212d5","datavalue":{"value":{"entity-type":"item","numeric-id":2128804,"id":"Q2128804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$1B5A266E-9BBF-42AE-8315-21E061A3EC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3fc60b7f0fb76cc0f065f148162a373198b73a","datavalue":{"value":{"entity-type":"item","numeric-id":2843009,"id":"Q2843009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$06F6EE83-92DD-4630-9BD3-C4D0B5C34ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$4ADE19AF-0485-474C-B167-5C7FA0C7433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$E29DB1FA-4754-4E0B-856A-CAC930494093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c95ecb990537896330f43f42a0567c99e086e2","datavalue":{"value":{"entity-type":"item","numeric-id":299191,"id":"Q299191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$4FA3CED9-9259-4683-8770-20ED6A7EA5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6aae6d5aa9f7ea8a6c151199cc5229d272d48da","datavalue":{"value":{"entity-type":"item","numeric-id":2233504,"id":"Q2233504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$F0D4ED93-65A3-4E73-B13B-70B1FA6A629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa87b33a581d385fe9d0627c2d3afda0f932a","datavalue":{"value":{"entity-type":"item","numeric-id":3454110,"id":"Q3454110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$54ADA321-40C6-498A-8B72-A24B2515A53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$22099E44-49EA-40D3-AED7-78B4FA7A5CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cbe2ed6c9a80f1b0a931de0d2dbb2418b522ec","datavalue":{"value":{"entity-type":"item","numeric-id":2786915,"id":"Q2786915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$73788CD6-95E8-4994-800B-76F177CF5673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$412E6300-5906-4D00-BA9B-7390C9B486C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$7A7B0EF6-A608-48B7-A686-CC25AF0A8B09","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":"Q6095787$1FA5EEA9-8C74-4CFC-B5B0-F09E929421CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e469516266f4e2890c1ac8cb1d1faa4dcfd0c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2104552,"id":"Q2104552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$D21BE11E-889E-45F0-9E3C-F58E17B59A0E","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":"Q6095787$BB525026-6F13-4559-87D3-B2D88E41591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$AD861982-0A51-4EBC-B1A5-936E5A456328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775c0fbb82731a41620bf40f868b011533300a54","datavalue":{"value":{"entity-type":"item","numeric-id":6200767,"id":"Q6200767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$841E4585-A8EB-43C5-A3B5-044ABC7FEDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ea05e6ba45e2c68d92f5c8b742132b4d21f715","datavalue":{"value":{"entity-type":"item","numeric-id":5069650,"id":"Q5069650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$30BA50DB-6C3C-4352-BBBC-0867084E272A","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":"Q6095787$6E46FCE8-3EDE-4B4B-BBEF-CA22731BCBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f2b5700f03be5d761a1df5375a7e275478f2c","datavalue":{"value":{"entity-type":"item","numeric-id":841684,"id":"Q841684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$0E29B059-ACD0-4CF2-9753-1EC0CC5BBDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d69e7c781c6370212654a029921d34ee26dd92","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$1D6F6809-ADC0-4DF0-A015-BFBB36ADF72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3982efd0f7ccc059068ad9e9a439bba5bf60","datavalue":{"value":{"entity-type":"item","numeric-id":3949989,"id":"Q3949989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095787$C9926562-41CB-4B6A-8470-7066877DEBE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"660665e492c5a0ced9e2c73ccf00bf32a2276643","datavalue":{"value":"10.3233/AIC-220244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095787$0627BD1F-976C-4954-BDC5-C455D0948246","rank":"normal"}],"P1643":[{"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":"3f831b4f9c2d603a917cbff766c1a97c0041a466","datavalue":{"value":{"amount":"+0.9659854769706726","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":"Q6095787$4AF86270-0848-4217-AA27-3E69E7F757C2","rank":"normal"},{"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":"0d0c8ef55dca8081f01503571a22bba219c9d4d8","datavalue":{"value":{"amount":"+0.9614781737327576","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":"Q6095787$92ED33B8-4AB3-4439-A477-E24558887647","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":"75103d28a36b9e41fee9c7c04e02200eba1613b9","datavalue":{"value":{"amount":"+0.960972011089325","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":"Q6095787$D5E5C625-8302-4E7A-99BC-77DF538A34BD","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":"5c05426c5ded72cc012ffc5eb40a63e7f9b74032","datavalue":{"value":{"amount":"+0.950593888759613","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":"Q6095787$3B22203A-D247-4E18-A13B-CDDEDC43D2CA","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":"eee164b5950370460b012c1df76ccc04035697ff","datavalue":{"value":{"amount":"+0.9489067196846008","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":"Q6095787$D19BAC6B-628C-4101-90EE-667BF1811278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The 11th IJCAR automated theorem proving system competition \u2013 CASC-J11","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_11th_IJCAR_automated_theorem_proving_system_competition_%E2%80%93_CASC-J11"}}}}}