{"entities":{"Q5145447":{"pageid":7175018,"ns":120,"title":"Item:Q5145447","lastrevid":53911937,"modified":"2026-01-25T22:23:59Z","type":"item","id":"Q5145447","labels":{"en":{"language":"en","value":"The 9th IJCAR automated theorem proving system competition -- CASC-J9"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298917"}},"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":"Q5145447$EADA2B4D-7ED5-4BAE-BD0F-FD142D9CE25B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4171b18faefa16eb2c6e50f528e2e5804378f28c","datavalue":{"value":{"text":"The 9th IJCAR Automated Theorem Proving System Competition\u00a0\u2013 CASC-J9","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145447$025E16B0-7E99-473A-9211-B87B4AC5B02E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42166c8e99553a63ff6ba146257dfed8674879e4","datavalue":{"value":"1462.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145447$89C9B438-E600-4F33-867E-EAF180307F3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4d49d1c550184d7399eabcbbe423c8a520bd8a9","datavalue":{"value":"10.3233/AIC-180773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145447$DE13FF83-483F-4DF6-8C97-65D0EA34E62D","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":"Q5145447$F13FD17C-15EC-4AB9-AF1A-F1D5071E8B30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145447$ABD022A7-BE7A-480B-A574-65EBD8D6DE03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145447$D5530C70-BAB3-44C4-9F98-B12541691A7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc56f3e46a3a5c059eb8bb5cc9f456e5391b5387","datavalue":{"value":"7298917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145447$64C10AF4-3876-4D18-9A54-98ED3281F6C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145447$A6E96ABA-29A7-4446-88F7-F565EB73B3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145447$9C095308-2159-45DF-ADAA-C6E2B39BB7C5","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":"Q5145447$BD0A17A7-87CD-4068-AB6A-D59156AB36D5","rank":"normal"}],"P1463":[{"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":"Q5145447$9B0BDF26-6248-461E-8D7B-705798F1EB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$0EB24274-69AF-4A36-9779-A508420282B4","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":"Q5145447$62B8DBCE-D42E-4049-A11A-41955E044E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d21be4c8a37ad19736ca38bb83a00d1f4ca63e3","datavalue":{"value":{"entity-type":"item","numeric-id":33354,"id":"Q33354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$DFDDF1BA-9F63-4731-8235-07EAB9467983","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":"Q5145447$03394251-C61A-4C22-8834-F321191F4F7F","rank":"normal"}],"P223":[{"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":"Q5145447$8F70CAFA-FD0C-444E-B167-569C6C715BA6","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":"Q5145447$A3B27E35-F8FE-4F6D-8089-A5B46EAABCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8dc4e8b53658c6e547c691f2d941d3a0e7a9b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2817931,"id":"Q2817931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$DE5D686A-31FD-47FB-AD1C-2D89E5CA8FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92b8c20a31b5a186e0b862f25a0fd9399274371","datavalue":{"value":{"entity-type":"item","numeric-id":4645725,"id":"Q4645725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$0EAA354E-759F-46C0-8EF8-6812B551A663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$0C1CF2F9-31E9-4935-9D82-C128DD45EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565b160089cdc5b3036b02090a5d1494987eb47d","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$DBAAD760-547B-40F6-B32D-29312D0099CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1529751d26cf89fd2faa553de05698ce2ba38233","datavalue":{"value":{"entity-type":"item","numeric-id":2817929,"id":"Q2817929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$22D6372C-E1A4-4DFD-821F-8362476C3C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62804133dab2e8461f5be5111f6222f3ce8a1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$9AF21A48-58D6-43CE-A6DD-2E378A8B26A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727bf6303f28578cce92a2bdc6c0d3c263a24381","datavalue":{"value":{"entity-type":"item","numeric-id":2324203,"id":"Q2324203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145447$0FB8A84B-7970-4E82-BA02-D0DB478E09CD","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":"Q5145447$60916CDE-9485-41C6-8ED4-AE450447FDE1","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":"Q5145447$2A7EC9A0-6F34-4CD0-B2B5-E75B151E3E3C","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":"Q5145447$8F2E2A81-E62B-4BF0-BEA0-3EB697058547","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":"Q5145447$F3B9F74A-3438-4CD0-8B13-03C91C6D65E0","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":"Q5145447$4AF29266-DEDD-4126-ACD0-DFF295ECE619","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":"Q5145447$0CAAA1A9-A1B2-461F-9E61-70E52A8450E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dfb17d1f81ddf88b9ab3d7fd5e6dc217aa880f5","datavalue":{"value":"https://doi.org/10.3233/aic-180773","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145447$3194131F-8BFD-4DAC-B1A6-F0E4973DE3DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"281e09b98d1d23127a5a9e33630e07c960f57731","datavalue":{"value":"W4249545655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145447$DC089ED9-9425-4C86-8996-DF4C0AF04A2E","rank":"normal"}],"P1643":[{"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":"756bdc15087bd6221d59d698637429ffd072345b","datavalue":{"value":{"amount":"+0.958974301815033","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":"Q5145447$93E91FEA-A652-4641-B585-9B8D44181E81","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":"6e741a008d859cda507094b5525a038f5f272d1d","datavalue":{"value":{"amount":"+0.9585874676704408","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":"Q5145447$B4895CA0-D0EC-445E-B96A-46FF0D25E508","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":"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":"Q5145447$F7E0864C-812C-4AB4-8178-0D86687E02A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1287ccfd8f9439fdbdf1de0918f6f56e2fde314a","datavalue":{"value":{"entity-type":"item","numeric-id":3561621,"id":"Q3561621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2219bf265aaaa98102b6e03ea2355ffa4f7c9a","datavalue":{"value":{"amount":"+0.9259546995162964","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":"Q5145447$F29BBCE7-E1EC-4E6F-AF0B-967104893D7B","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":"6ffbf6de70b81fbe1e7e1da22069c04df1369d11","datavalue":{"value":{"amount":"+0.9244481921195984","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":"Q5145447$D0EBD740-B1A7-48E9-81AF-9C40AAF96FEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145447"}}}}}