{"entities":{"Q5053006":{"pageid":7082583,"ns":120,"title":"Item:Q5053006","lastrevid":54452588,"modified":"2026-01-26T20:30:46Z","type":"item","id":"Q5053006","labels":{"en":{"language":"en","value":"Some applications of Gentzen's proof theory in automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623944"}},"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":"Q5053006$6A7C77B5-CEE7-460F-B040-D4A7EBC5147D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"655481a51f8740c682844326397cbca1eade449f","datavalue":{"value":{"text":"Some applications of Gentzen's proof theory in automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053006$CF0C688F-D52B-434B-B570-F9E7040162F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053006$6EC38D96-EE65-4224-8EB1-125779E3246E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053006$23BE472E-06AA-4B56-9431-4C160B2FF461","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053006$94A838CD-77B8-43F2-A71C-4BBACC0837C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053006$CC90AA3C-C28F-4F27-9E6A-67536956E58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053006$0373C554-7BB7-4BE4-AA08-2BBD1AC20EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c128864cf7fa9cf9adf6b89cb70be42f5bea378","datavalue":{"value":"7623944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053006$1FD46411-0F1E-4BC6-BDF6-290C7A550D5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053006$FB417178-D5D9-4F96-B6BA-BB209954CB7A","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":"Q5053006$C6E4902F-09BE-41A4-B52D-18A6EB3D19A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e140c14a8ef2a2938457e211ad8bd4a2d0cffea5","datavalue":{"value":"https://doi.org/10.1007/bfb0038693","type":"string"},"datatype":"url"},"type":"statement","id":"Q5053006$D41DE1AE-E404-435A-8E7B-691DDA247894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3b1f6b96559afd08643c13fab393137359538b","datavalue":{"value":"W1600479749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053006$687A3E3E-F4E7-4EBF-BEF8-BF625A36C6F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2e8d187dbfd94229a0e001d1a62c3c70f2bc9b6","datavalue":{"value":"10.1007/BFB0038693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053006$B194BD9C-7CF6-4B42-873A-ED5EB02153AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21600ebf93e0786bbeca6c785e3c9bff573c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea482031678632434d159ce6da53ea16d465eb2","datavalue":{"value":{"amount":"+0.8246700167655945","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":"Q5053006$C3085BA4-CFC6-439C-A673-31B36DBAF666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef7c9abfa574d2e2737a98c2950b91f83c13688","datavalue":{"value":{"entity-type":"item","numeric-id":1188837,"id":"Q1188837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b31452f77d76356cb054c4ac3379a53bf70a4e","datavalue":{"value":{"amount":"+0.7968082427978516","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":"Q5053006$67BA666D-F836-4AE8-BE31-FAACEB20598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41731ee19d9890f0c9d1ff939419833e8c40c55f","datavalue":{"value":{"entity-type":"item","numeric-id":5053010,"id":"Q5053010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4754e5ace423b91118fc4f5d0e58be4e0044239","datavalue":{"value":{"amount":"+0.783989429473877","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":"Q5053006$D74EF3F1-7485-4439-B402-9CA5F686AD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f742ec9f295d379f97706f3d04a3e3bfea1b5c","datavalue":{"value":{"amount":"+0.7758365273475647","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":"Q5053006$ACE4A846-3A53-4336-A658-4E6A6D19A96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bba9d1d38869f21919fb25c6d7b47d6d55de0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4013089,"id":"Q4013089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eef42cecc62a05419fc988476572646170f1fcb","datavalue":{"value":{"amount":"+0.770087480545044","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":"Q5053006$48D44C88-BD97-4CB2-A54E-4659C8BA46E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053006"}}}}}