{"entities":{"Q4589120":{"pageid":6618705,"ns":120,"title":"Item:Q4589120","lastrevid":52950056,"modified":"2026-01-23T21:28:28Z","type":"item","id":"Q4589120","labels":{"en":{"language":"en","value":"The 7th IJCAR automated theorem proving system competition -- CASC-J7"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803322"}},"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":"Q4589120$0629193B-31FC-491D-82A4-EE96A142F8C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b7d93af8162f1b21704c2e0ac77bc4da942e359","datavalue":{"value":{"text":"The 7th IJCAR automated theorem proving system competition\u00a0\u2013 CASC-J7","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589120$26065D28-076F-4D02-A509-EEF64E040618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd454d40661396dc7c0f71633d33ae747fdd1038","datavalue":{"value":"1373.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589120$24E3963F-91E1-42E0-A7FB-9AD96F8B1C2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a745ec44dae61d520ac3d6c09daa44951390a32c","datavalue":{"value":"10.3233/AIC-150668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589120$172E4A29-9363-4130-AE36-0F8540EB89C8","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":"Q4589120$A4D30461-1BDB-4124-B793-9719D420A2A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f04d1a508f552e1f1708571f1d0ec9ee237f17be","datavalue":{"value":{"time":"+2017-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589120$B5749EA9-CC1B-4EF1-AB77-3D59A0E01A15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589120$F4916E07-4432-44C4-A54F-85143186F52C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"263fbecec7e0bdfa5ef6a0b19751b430adf8729f","datavalue":{"value":"6803322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589120$658B840C-A28E-403F-8B0F-89FCFBC5C6A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589120$BA843560-BDC0-4600-8A7B-E6E77BB26E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655e59b317297bd0677a1c6892ce92baa484d23f","datavalue":{"value":"competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589120$E2D5808D-1B50-4D7C-AEE3-3D5639BE528F","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":"Q4589120$5BE2A017-F426-48A7-8001-DEEB02C59507","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":"Q4589120$6D18BFB4-B169-4664-8226-4B4D05C3FD93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4abe5123dee2365eae4bcf30429589a024f9d8b4","datavalue":{"value":"https://doi.org/10.3233/aic-150668","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589120$8B82F36A-EB39-4C2B-93B6-9C78093BDFCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25b6c4daae1825b9e6bb2e30b828459ef941ebac","datavalue":{"value":"W1689403734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589120$E7846044-83D3-45B3-869F-886A5880B06B","rank":"normal"}],"P1643":[{"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":"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":"Q4589120$B23DB15D-6267-471A-9CE5-E796982BD07E","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":"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":"Q4589120$3285A382-2C7E-48E2-9E26-6D75E53B7510","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":"6a16e378de8269f17f5d6036c132bbb8a8b86fd0","datavalue":{"value":{"amount":"+0.9574184417724608","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":"Q4589120$5D90D297-6DA3-48CD-A2E7-B2C00C8F3D18","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":"2dd5df5efa03840c417e5d37be93111483c18212","datavalue":{"value":{"amount":"+0.9525476098060608","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":"Q4589120$28180EE6-EE19-4444-BA93-D94939E78A22","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":"1e317868db9e8f28c4ade0fc1efcbea558c51a34","datavalue":{"value":{"amount":"+0.932439386844635","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":"Q4589120$EA0A6703-6C6F-49B5-B5D5-6C4E50B0A0CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589120"}}}}}