{"entities":{"Q4589264":{"pageid":6618849,"ns":120,"title":"Item:Q4589264","lastrevid":52953383,"modified":"2026-01-23T21:39:45Z","type":"item","id":"Q4589264","labels":{"en":{"language":"en","value":"The 8th IJCAR automated theorem proving system competition -- CASC-J8"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805068"}},"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":"Q4589264$4E3B618D-BFC9-4F20-810A-9213432F5219","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3bbbcb809ba2470c82849f76f8390b5f12adccd","datavalue":{"value":{"text":"The 8th IJCAR automated theorem proving system competition\u00a0\u2013 CASC-J8","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589264$0C940F64-A0AE-49F9-8782-DE28BEF06F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b360a2254666dedd263846e0d0c99c77275f717a","datavalue":{"value":"1373.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589264$FD9128F2-D6DC-4BEE-BB0F-750894EBE94C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4625e5f8114aec2aaa3b8943f05c00cd02420f6f","datavalue":{"value":"10.3233/AIC-160709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589264$C7D80122-B3FE-4356-9C88-7DADDC65ECDD","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":"Q4589264$E3CE2716-A2C4-41D0-B1E0-9D3D05704C4D","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":"Q4589264$B0E4E753-402B-4C71-86F6-9CE93BCEB67B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589264$8EEC8E2A-3600-4C0D-B431-A2071C5C5E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ced0d5a07444d8336ad1fa695fc5af93db0a0f9","datavalue":{"value":"6805068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589264$89C6F04E-B1D3-4462-A927-5B2AC969E789","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589264$37AF0BFF-839F-4605-81DC-C8EA96EEF071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589264$E7FEBA49-1A16-4F64-BBF2-993A65A1DDF4","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":"Q4589264$D75EFF3F-807D-4D30-86A3-580C9CEF9D92","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":"Q4589264$B78926CA-46AA-45B2-A2C5-1D8D03A1DC0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37a6b86c57bf6aaf60e0984dbb19fda97925f3e9","datavalue":{"value":"https://doi.org/10.3233/aic-160709","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589264$803170A6-5DA6-4FAD-AC8C-20BAF02FA489","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed330580e63df99da59d19ef637eaf796745c940","datavalue":{"value":"W4238923739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589264$04CD9E5C-51A4-41A8-8785-D615F736C4D2","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":"15774fb161856b6023909fb0a9e1dc55ebb20804","datavalue":{"value":{"amount":"+0.966470181941986","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":"Q4589264$3365395E-0B27-4869-8AC2-C2D3A994BDAD","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":"8094bc88bc5546a790cceb4ef1672d67284b389b","datavalue":{"value":{"amount":"+0.959308922290802","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":"Q4589264$1674585B-4E1F-4E87-BA23-FBF8DAB33BC5","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":"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":"Q4589264$CE34E338-E102-4D59-B6D2-04A25F0DA2FB","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":"ba5a4347b01e765b32feb88566fffcd2725764c0","datavalue":{"value":{"amount":"+0.9379894137382508","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":"Q4589264$52A06248-E10A-40D7-B9C7-12015C7F3729","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":"cd567799a7107fd731c4f1728856f237dd209546","datavalue":{"value":{"amount":"+0.9269955158233644","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":"Q4589264$A0452865-3155-4DBD-9F8E-253126905752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589264"}}}}}