{"entities":{"Q4589259":{"pageid":6618844,"ns":120,"title":"Item:Q4589259","lastrevid":52953374,"modified":"2026-01-23T21:39:44Z","type":"item","id":"Q4589259","labels":{"en":{"language":"en","value":"The CADE-25 automated theorem proving system competition -- CASC-25"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805054"}},"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":"Q4589259$59B747EA-1FE1-46D0-B317-E990770436B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6c0cba8fb8e06d30a2f01f7c9c333562ea4a7a7","datavalue":{"value":{"text":"The CADE-25 Automated Theorem Proving system competition\u00a0\u2013 CASC-25","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589259$EF859E98-A855-43EC-BD64-68AD88D08231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28345d6193d1ddce0e15d06097df4ec87adb1881","datavalue":{"value":"1373.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589259$F9BD6013-04FC-4AD9-95C4-90E4B455A308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffc96187a7cb17c6972b395e4982319e0ae4d664","datavalue":{"value":"10.3233/AIC-150691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589259$B112E2BA-D9F0-4CD3-9525-FCD8477156CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589259$7D822E26-2E6D-4549-B3E4-492AA3DD0EEC","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":"Q4589259$63AAC234-926E-4DC1-818F-71FFEBFEC7BF","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":"Q4589259$35F12A61-C1DB-449B-96F9-5A49DA519A8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589259$F7339C5F-42E6-475A-8988-60925C6E9F38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589259$6C39E7E3-8F99-4A0A-AE29-C56F5881A28F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ba6fbbbbe6ae1f488d8a3fe5e40ea46c1a69380","datavalue":{"value":"6805054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589259$DBBF13F2-5E91-4BBC-91B7-6A281F6FC759","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589259$C2294EDC-4A60-428E-BDC9-9B9FC87E9247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589259$E8E7C37A-7810-424E-B3B6-113946741CFE","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":"Q4589259$04A21580-9B16-4A75-8CB5-CFCBFC2D38D7","rank":"normal"}],"P1643":[{"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":"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":"Q4589259$77EBA171-D7C2-4F30-B2AB-3B6D04767CCE","rank":"normal"},{"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":"cc7f2d09a2f351ba61b60c2b5a79a8993af04f5e","datavalue":{"value":{"amount":"+0.9677547216415404","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":"Q4589259$9E84B160-5E91-4290-8FF4-489A050E630F","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":"c7935a3dd1722b65d44bcb57b0c6ae15489e302d","datavalue":{"value":{"amount":"+0.9672337770462036","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":"Q4589259$BF22D7AF-6323-439D-967B-239F04875A8E","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":"95681bc718a475dcf16f882b22c86d16b607a2b2","datavalue":{"value":{"amount":"+0.963332176208496","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":"Q4589259$747F1235-0F92-462E-82C5-246CA18E1363","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":"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":"Q4589259$E12A28F0-F101-4753-B051-3E283EF07EC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589259"}}}}}