{"entities":{"Q5069650":{"pageid":7099226,"ns":120,"title":"Item:Q5069650","lastrevid":38019528,"modified":"2024-12-04T11:16:24Z","type":"item","id":"Q5069650","labels":{"en":{"language":"en","value":"The CADE-28 Automated Theorem Proving System Competition\u00a0\u2013 CASC-28"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7509005"}},"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":"Q5069650$4CE9625A-D526-4D01-9453-54AB0C6356F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"951e868cb1d882ec5bd56f31ffc9463807a25d20","datavalue":{"value":{"text":"The CADE-28 Automated Theorem Proving System Competition\u00a0\u2013 CASC-28","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5069650$C8A5F773-CBF3-4236-8408-07F13671DFAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c107b0469d4521290bc0bf85535b20be84aee88","datavalue":{"value":"1487.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5069650$6D5B2199-493A-42FD-8AB0-117FE9EBE001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0fe8acfa74a48f6ca28439d037d19192b287740","datavalue":{"value":"10.3233/AIC-210235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5069650$6FDEC007-201D-44E2-A28E-E6494BB4BAFC","rank":"normal"}],"P16":[{"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":"Q5069650$62B7E18C-93BF-4FE7-9A1A-495FB936B602","rank":"normal"},{"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":"Q5069650$D43A3C7A-7C70-4374-8403-6876EC8469FB","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":"Q5069650$0CE63A50-AAE3-4E62-AD14-9E573864D05C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3442da576695aca4488c92172c85d1c7d8dc1fc9","datavalue":{"value":{"time":"+2022-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5069650$8E7DB06B-A338-47BE-95E5-127715AC08F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5069650$3AA00C33-A677-4F8B-8B16-B6A49D7B6A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82c4845396cfe72078f3e767f9e4a6c9cf3a10bf","datavalue":{"value":"7509005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5069650$005E96A2-3768-4A71-ABFA-7A94763BCFA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5069650$F76FC7BE-98AD-44B4-9A09-1D55B5587C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5069650$0F292AC1-BD9D-4FCE-808F-4BE3E2880C97","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"07cadf1086ecb1e5bda0b57bcf72537cf5c19315","datavalue":{"value":"Q113701303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5069650$72CD5214-5001-4AFF-8C84-2331FB7811A6","rank":"normal"}],"P1463":[{"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":"Q5069650$D11BB3D2-1601-4F87-907E-7074EC8BBA9A","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":"Q5069650$C31951CE-EBDA-42C5-8737-C2DD358F2EDF","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":"Q5069650$40D3A35D-C77F-4874-87A8-5894DDE4AEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$97E42FC1-CC44-462F-BA2C-2433A1AD9BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$1C8F0BE1-2C04-4A64-B6EE-A03EF4773BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$AE25E23B-032F-4AFA-AB67-020FBFF18183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$50C074B2-1583-40C5-AC84-ED96FF8973BA","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":"Q5069650$B9B333F2-72E5-4CA5-91B0-2F486C12798D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$290BD9E3-FEE8-4D97-B435-6B91CA9079F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$6AE78AA1-AB05-4B38-82EF-A0B77EA18DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7788e96f7710fd06d5acfc0fd58327b3bfce3e4c","datavalue":{"value":{"entity-type":"item","numeric-id":40346,"id":"Q40346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$3B0B9DC4-6B9C-4895-A10B-667CBCA5DF81","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":"Q5069650$29308E94-4BE6-4CA7-AF4C-6983DA420836","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$1800B00A-113E-4ADB-A8FE-236A8F56D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba4c761d0afd2b68b331890cbe715eaa366ee6","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$556B140C-AE46-4735-90B6-4A12425078A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$129D7D3C-2238-41CF-A2E3-D44E50856381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca95dae57fc0fc133748dd11a8d04ef108cc3ab","datavalue":{"value":{"entity-type":"item","numeric-id":4989394,"id":"Q4989394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$A7332360-5E3E-481E-B06F-14297BD261A2","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":"Q5069650$E596C13B-C413-400A-BCEB-491861C0FC3C","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":"Q5069650$9A283F19-DA8D-496C-ABE9-496AC17593C3","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":"Q5069650$5DF777E8-2649-49C3-A8B7-E69DFD677886","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":"Q5069650$03E6C662-77F5-472F-97FA-CF748E3AE0DE","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":"Q5069650$E2DE4C94-8305-473C-A0C3-00C3CA2DD09E","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":"Q5069650$87D3A5B8-B465-476C-8EBC-D1F0AFD3E7DE","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":"Q5069650$3D1B96CE-0B3D-4BE5-ABFE-B342A72A3D16","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":"Q5069650$1E3C6E63-89B8-4D58-9744-05286261C7F4","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":"Q5069650$019715EE-4CCF-4D99-94F3-CD78B161DF9A","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":"Q5069650$CA528D6E-5034-42EA-A1A6-FFEF5D304147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443687e1644d765aff7a815618637b8d7305da63","datavalue":{"value":{"entity-type":"item","numeric-id":5919011,"id":"Q5919011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$2A95A310-784F-4A3F-8D75-E82454DBFC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5dec0979ee80b250e5f4d24210da01a00ee71d","datavalue":{"value":{"entity-type":"item","numeric-id":4913860,"id":"Q4913860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$B035FE7A-3033-4CAF-907B-C1DF9C2BD7C9","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":"Q5069650$E53B701D-1975-40CF-9EEF-770EA6D6C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7fffb2327a6ce82997a120ef9ee1d8fe591d78","datavalue":{"value":{"entity-type":"item","numeric-id":2055894,"id":"Q2055894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$3FB04C87-8E77-45E0-8BDE-348FE37F507D","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":"Q5069650$AE87243F-CAB8-447D-A759-A612494DBD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b813a00bbd923beff3fc7f94aad2b2c522008ca","datavalue":{"value":{"entity-type":"item","numeric-id":4589120,"id":"Q4589120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$559F2FAF-5B74-48C2-B229-456966BC7942","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":"Q5069650$C447D4E3-2C82-474D-8724-89615E4C6B1A","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":"Q5069650$0DC125EF-C130-4FBC-BA2B-B116DF5CD167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87010eeb527e471d8b5efa91a72d28a4d17b16f0","datavalue":{"value":{"entity-type":"item","numeric-id":5019796,"id":"Q5019796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$CB43CA3D-E9DE-483F-AD98-E821454B6B98","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":"Q5069650$BB243CEE-0898-493F-A4C8-F6E163836E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3291604ce22a8258f8e59a2281ca904d1657af7","datavalue":{"value":{"entity-type":"item","numeric-id":4672985,"id":"Q4672985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$789B4010-D2EC-48F1-94E1-04D0E616EE68","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":"Q5069650$D26C5225-E31B-44B5-9E88-55BFC6936F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5069650$167B0A5B-E3F1-4EE3-A1C2-D07983BFC001","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8b40b265eab4dce7f4e1263f651369b1a1d3746","datavalue":{"value":"https://doi.org/10.3233/aic-210235","type":"string"},"datatype":"url"},"type":"statement","id":"Q5069650$4BFD3910-B498-4FE2-8A36-CE3ECE590571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0f2a13f00af129e740879e0e50fe2ffb5b0d466","datavalue":{"value":"W4220713172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5069650$5175F9A2-1FF8-43DE-A1D7-B1F449849BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5069650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5069650"}}}}}