{"entities":{"Q5900712":{"pageid":8006995,"ns":120,"title":"Item:Q5900712","lastrevid":41889621,"modified":"2025-05-09T11:10:56Z","type":"item","id":"Q5900712","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-19"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695393"}},"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":"Q5900712$391B4378-D488-4E4C-896C-D601F20B869B","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":"Q5900712$69A979CA-64FC-42EC-8D0F-03328B51E4AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3be6a2e22312feb695d70035701b5911dd0e7766","datavalue":{"value":"1278.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$5945928F-EB71-4CE9-B888-48C81F425085","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d74d1573f14fe5cf596075a961b1d989613302f6","datavalue":{"value":{"entity-type":"item","numeric-id":431088,"id":"Q431088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900712$73C24EF4-1542-43A2-8EE1-537915C62F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faba8a041f2410cf65e45e40a1807e773a945b14","datavalue":{"value":{"entity-type":"item","numeric-id":229742,"id":"Q229742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900712$A216AF7C-98C3-451C-8539-B38382849A54","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":"Q5900712$59DC696B-97A1-4702-86B9-818494F5EA51","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":"Q5900712$AD35C315-6E25-48C9-BF4C-FCF6886AC1A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$08E5F9A0-33D4-4E8D-B261-4D38E4EA4D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$CF00AB3C-9F23-4D4E-804B-AE1915D53901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$55F3D5FF-0207-4ED6-89A4-45CBE301AE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$273829B4-ED7E-4CBE-B509-0B1597285B38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec85ace7eedb74d7b0a736e3ae1eb974e739f58e","datavalue":{"value":"5695393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$947630B4-A1E5-4F7F-AEA6-A06E446E4D6D","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":"Q5900712$F7231A58-6EC0-4FE8-8597-F0EFFE3E847A","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":"Q5900712$821EE6C4-BF5F-45A3-BC01-BB61A67B8BB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$5492C098-FFD0-403A-9075-4A2CA529BC20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900712$DC19B64D-5C0B-460A-A790-81A0FBE5D8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f0db856d599668fffed0f2a59eddf930102e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4460678,"id":"Q4460678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a802d3b63a3c3dbdd0b0d29a22566d9291a716","datavalue":{"value":{"amount":"+0.8769965","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":"Q5900712$063688F6-F56C-4E4A-AB4D-3210482C0C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d3ee437004547660667019a963d23ec7b081c2","datavalue":{"value":{"entity-type":"item","numeric-id":3408128,"id":"Q3408128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a802d3b63a3c3dbdd0b0d29a22566d9291a716","datavalue":{"value":{"amount":"+0.8769965","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":"Q5900712$E81D99F3-EB9F-4DE8-820C-7178F88275C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8988732bda1a7a4807ffd317c62dbb60b990250","datavalue":{"value":{"entity-type":"item","numeric-id":2915098,"id":"Q2915098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3804777a2db7f485f632912542b3586c4dca455e","datavalue":{"value":{"amount":"+0.8758675","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":"Q5900712$5A9D1349-3C1B-40FC-A91B-E3D20EE92A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449ec48452bfe41f2b0d594bb27dd4d139f63e04","datavalue":{"value":{"entity-type":"item","numeric-id":764312,"id":"Q764312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a00840894be0088bdcf40ee3c9e432b8dd3276","datavalue":{"value":{"amount":"+0.8684162","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":"Q5900712$3FCAD53E-C25D-4839-BD8D-C5332F5AFCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28673a4337029b82ab8e7ab9fb12a523e5c1c6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3585166,"id":"Q3585166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9e39fd8e7a3ec7eaa1a0d81be065147668e2c1","datavalue":{"value":{"amount":"+0.8591627","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":"Q5900712$EFFB656D-FBCA-48B3-8784-E84702E7C9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6741560beaef6e724b73d390215ff33cff9cda78","datavalue":{"value":{"entity-type":"item","numeric-id":1199528,"id":"Q1199528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3720308c18d83e7ccef2992810af9ba01d1e0dbf","datavalue":{"value":{"amount":"+0.8508567","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":"Q5900712$A69FCBD5-5008-4D30-98B3-2CD5CA15CCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84df0292803467e4990e5eccd7e587e229cfb0e1","datavalue":{"value":{"entity-type":"item","numeric-id":1924824,"id":"Q1924824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00243694a3a4537ac3d58a1399feed12a2fa4e2","datavalue":{"value":{"amount":"+0.8486063","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":"Q5900712$28B3A9C3-AD50-433C-A720-09D697D894A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653f7087a47b8179f70e2086d5862158b755ec1a","datavalue":{"value":{"entity-type":"item","numeric-id":4955331,"id":"Q4955331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437783745951617ad7c8d97b3c82003cc03a9139","datavalue":{"value":{"amount":"+0.8476719","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":"Q5900712$8B405CD4-3159-47F4-9A8A-21D5DC6AF10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79396041ecd8b065145c017fc0ef7e3edfd0974a","datavalue":{"value":{"entity-type":"item","numeric-id":2937387,"id":"Q2937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7702c8b6c1046141a055ccf4effedf60db4ab0b9","datavalue":{"value":{"amount":"+0.84751284","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":"Q5900712$B1B679B4-8281-4021-8629-C2D8994CAF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2018ae06370400f9cb6e919316d30dc2c9170aef","datavalue":{"value":{"entity-type":"item","numeric-id":3521798,"id":"Q3521798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7427a8a31186a82cef2e5c8a6160fba62a42a6","datavalue":{"value":{"amount":"+0.84290475","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":"Q5900712$58046D6A-0482-49DF-B76C-2F1CCA4AB833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900712"}}}}}