{"entities":{"Q5900716":{"pageid":8007004,"ns":120,"title":"Item:Q5900716","lastrevid":40938381,"modified":"2025-04-14T08:04:10Z","type":"item","id":"Q5900716","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-19"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695397"}},"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":"Q5900716$E0EF6597-292E-4624-A534-E62C862BE940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900716$59D99C4E-F061-4E66-8F57-9DB9E466203F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3359988f7dd14db3f1597d7a92f46ebf44f73b27","datavalue":{"value":"1278.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900716$F37EED9D-E8CB-4CE2-B8C2-D0FA9DB3DE6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900716$ED9E7D11-EE55-4AEF-9EC4-348C4BFE588F","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":"Q5900716$9BC623C9-6CD9-4E19-A354-C9D5126BD5BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900716$C834FDD8-DE48-4F05-B69E-D45FAA68FC55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900716$0BD09B2E-8D1A-4BE9-B8AF-E63E96A611FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d35bb704bc716046fde94811f2bef019932b58aa","datavalue":{"value":"5695397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900716$9EF346F5-F868-48FC-8FE7-FDC011ABD0D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900716$F9B39609-5517-4F85-9A23-6BAADD4C5037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900716$5792AB5C-4CA7-4B0F-B698-EBD9B902A72F","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":"Q5900716$03BF031E-7D15-47A4-BDAB-8C4CA27610C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900716$F61039F7-5FAD-449D-84E9-86BC663ADEF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900716$F8B249DE-14F8-4C90-BAAF-FEB005EBD0A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900716$7B6B8F51-37F3-41C3-9309-591D7036940E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e56c4594813525572fe7b58f60120ae1cde1b5","datavalue":{"value":{"entity-type":"item","numeric-id":689208,"id":"Q689208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52160c43fd5d12b971986615c2b12631aff5b903","datavalue":{"value":{"amount":"+0.8940383","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":"Q5900716$E1A6DC03-CC9B-4DA4-8A48-62F7F3124C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce89f4ca0b4a6a361fa2880a3b017e30d209763","datavalue":{"value":{"amount":"+0.8792354","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":"Q5900716$12FCA447-A0E4-4936-A47A-D34093DD5881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5147f14eab95a96b3d7cee8d953938ae211f36ec","datavalue":{"value":{"entity-type":"item","numeric-id":4435462,"id":"Q4435462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c889310f3db4402d40305f075be9aef680c2d3","datavalue":{"value":{"amount":"+0.86850387","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":"Q5900716$AF2ACD99-7D9C-423F-B2F9-7A93A27C42CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83df61e89b51ff6494133e009ccf697c9c8a8feb","datavalue":{"value":{"entity-type":"item","numeric-id":3474631,"id":"Q3474631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a135bf4a9e1454a32986a86505accd22c2e071","datavalue":{"value":{"amount":"+0.8666564","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":"Q5900716$4E28BC41-5294-4B0C-8024-567F5327E2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056d99038d1d8ddb4ba7029279836f5f7c947374","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe8c48f6108ebe85e8b9609a9cd9c082c615110","datavalue":{"value":{"amount":"+0.8455386","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":"Q5900716$A152F009-FCC2-43E2-A472-20FFDEB466BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c54ab5a4799a412998d1a1fb846ae77eaa5902","datavalue":{"value":{"entity-type":"item","numeric-id":1840647,"id":"Q1840647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecf7ca2d986724af07f329227ce51359e7da2aa","datavalue":{"value":{"amount":"+0.84349805","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":"Q5900716$DAA384DF-FBAD-4915-8AF3-82BEC1D77B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2e02e02be4a37c660dac7855d4bfe72be160ea","datavalue":{"value":{"entity-type":"item","numeric-id":2734144,"id":"Q2734144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b945ba8d9545c7e64210c56e85217b2801c1ca4e","datavalue":{"value":{"amount":"+0.8427174","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":"Q5900716$861AD9C2-40DB-421B-AE64-706576319283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036191652e80251e7ca496b6cdeb3e1e2042d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4263015,"id":"Q4263015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fded8916fd2a7d16b6734b2a433fa01b25088b00","datavalue":{"value":{"amount":"+0.84172285","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":"Q5900716$0537B1FD-7380-464C-BBAB-05EAF991AEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3788954786bb5224a00826baf10f48dd927c1ab","datavalue":{"value":{"entity-type":"item","numeric-id":5898846,"id":"Q5898846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c619135b03d7b383f9fe9aa2d669c843f968fda","datavalue":{"value":{"amount":"+0.8400207","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":"Q5900716$4F8AB188-B8EA-4671-9EA1-DBA0E7F9E41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bb553dce1a7850427f2b10761069eb256af0be","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c52e8191ddf191d73c8b71875e7c63b25fb06ff","datavalue":{"value":{"amount":"+0.8391297","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":"Q5900716$7E20E3F8-0A56-42FA-B43F-C6004DDE4448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900716"}}}}}