{"entities":{"Q5394628":{"pageid":7424202,"ns":120,"title":"Item:Q5394628","lastrevid":41893205,"modified":"2025-05-09T12:05:28Z","type":"item","id":"Q5394628","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069744"}},"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":"Q5394628$8B67F098-908B-4144-A2C2-AF04A9ED4AF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2c570f8c98486d9b306013d0b56ce7c1e054399","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-20","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5394628$B2179E2F-DB60-486D-B747-26A00DC0610E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce29daa3bed864a9f3fac006bf172386d6672232","datavalue":{"value":"1135.03327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394628$3A0327A1-313D-4E45-B234-DC9EEAA4787F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394628$4F05CE4A-24B4-4FAA-B968-EEBAC3BB7865","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394628$45664359-1AD9-42C9-9AD7-3953644494B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394628$A9EA9119-EA7A-4ED1-A559-27D0898FFA86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394628$413F633F-56CF-4FB2-9EB3-42F358DC872D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383fa8cf3a55c9f8c536ed3293ab02f870426e40","datavalue":{"value":{"time":"+2006-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394628$1C1664A1-298E-4F93-9736-E524A40F76B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394628$4FD0DBF4-C2DE-482C-B9B8-939BBFC2A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394628$85F002B6-572C-48A2-B17A-4BAA554819AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1406c60647bd670237669e424aacecafa9b0daf8","datavalue":{"value":"5069744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394628$4E315F81-6FA5-416A-AA73-0EABE63D3EE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0665f88d4f6eebee721f4ae626bcbbfebbf00d7","datavalue":{"value":"Model computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394628$6AEE1B6A-2FEB-4192-8C30-437FDC279270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffbfe5218ca82031cf386726967dadc693219b5","datavalue":{"value":"model representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394628$71B42448-6728-462D-83D3-27C9B8D7F33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7de509c25b2792912ed48f3b2751a5506db1de3","datavalue":{"value":"clause evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394628$3E2AFE0A-190E-475D-8657-2AEFC4C2E45F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394628$151851D4-680F-47E9-9B0E-6B768E1D7F97","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":"Q5394628$6482097D-F780-4EE1-8D16-E5A367925FEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb92e61a4d75b7d289b5e7f0bf9b7e65ab1d7896","datavalue":{"value":"https://doi.org/10.1007/11532231","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394628$877DB18B-46CD-44C3-9A53-71A3B9C9B1AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394628$B07A106C-0663-4542-89CF-3D9E42E1BF75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9763eef3c97177adac4169c1b56f58cbb5031faf","datavalue":{"value":{"entity-type":"item","numeric-id":3550863,"id":"Q3550863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90f67b4bb2771f07731b29b26f35b621bb5343d","datavalue":{"value":{"amount":"+0.8500533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$0A1A35B6-F1C9-4A3A-A12B-ADD4BDF1BAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836f503e5bde46671f888ab70a0e2e1c20cef912","datavalue":{"value":{"entity-type":"item","numeric-id":1580226,"id":"Q1580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7ad8b2a66748e3e14d7f94e4ce72a78fbaf04e","datavalue":{"value":{"amount":"+0.84194475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$96425F49-3BA7-4D1A-9EC0-24C0B0C7741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d92a00981617adf2cb3f18125f4027066ff2f4","datavalue":{"value":{"entity-type":"item","numeric-id":4800174,"id":"Q4800174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef426c7c5b18893c5e64c9877f5d0b5c6bfa2356","datavalue":{"value":{"amount":"+0.8398937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$7A991FBB-95B5-4AD0-A53F-74C71C61D3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f395ee0872e3ea874d65f584d3e9bf576a416cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4946228,"id":"Q4946228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6748e1604ea1e6065c6622d0411c3e441100d7","datavalue":{"value":{"amount":"+0.83961236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$EDC10482-36B3-4234-A7CB-80DD14EE7606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6142ffc9b58ef2e9f68ed22e3fd82e0bc65582","datavalue":{"value":{"entity-type":"item","numeric-id":2754142,"id":"Q2754142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46124d20cd36d8c38f1d2ccdf6e92c3db97bb83","datavalue":{"value":{"amount":"+0.8394364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$E962BFDE-9699-4B27-B04E-F56E46AC5894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcd623e81604c2ea33794032d7dfa79525a39e8","datavalue":{"value":{"entity-type":"item","numeric-id":4823429,"id":"Q4823429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a2edc722f1e16f419d1bb8ded918d17b573860","datavalue":{"value":{"amount":"+0.8375063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$21C7C3D9-39CB-4CF0-A29F-9AD30DC3C5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5806a5a25e9e7dde00da0bc9e179bf411831b1","datavalue":{"value":{"entity-type":"item","numeric-id":2723900,"id":"Q2723900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c69f634bf4966510e33286ddbbb0879661bd6cb","datavalue":{"value":{"amount":"+0.83714265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394628$02F67237-40F6-441E-BF04-B88DDB00340A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394628"}}}}}