{"entities":{"Q5900724":{"pageid":8007025,"ns":120,"title":"Item:Q5900724","lastrevid":41753903,"modified":"2025-05-07T23:36:16Z","type":"item","id":"Q5900724","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-19"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695409"}},"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":"Q5900724$72DFAE71-845A-4323-90CC-AA2E6DA0BCB5","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":"Q5900724$80665382-E97B-479D-A74F-C4FFBE0BEF7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee6e820c96926d28686b5aefc4cd722264b88b01","datavalue":{"value":"1214.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$4C540C6C-1034-464C-B900-D4E09F95B1C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabf2394201dcb7bbe23a34a5fcb477729e6b00b","datavalue":{"value":{"entity-type":"item","numeric-id":928663,"id":"Q928663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900724$065849AC-4204-4549-9ECE-D414E2118A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e7a54678022bfe00d824dd9c0740baa8d67978a","datavalue":{"value":{"entity-type":"item","numeric-id":405097,"id":"Q405097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900724$1AEB8AA1-9547-4AB0-A647-E5797312A62C","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":"Q5900724$703FE117-2242-47CB-B027-2945B737D91F","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":"Q5900724$393BE826-090F-4EFA-A73A-345F212CAF92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$5AC99653-3AE8-44EE-8AD7-3FC2212BDA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$B649F832-7489-4BA4-AC82-9E843DC6C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7648e264a01e1ac608cc86dbe77496edbcddb05a","datavalue":{"value":"11Y55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$52619BD3-4DA9-4A9E-B961-B650573F24B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb9e6b8dc41fbb33259f8d452579bb41f9312963","datavalue":{"value":"5695409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$C1AEEB13-2220-498C-A279-096D51332252","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900724$5BFCB502-4588-4639-A0C9-7DCEF2A35E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900724$6F26114F-5D4A-4A25-8207-8FE1438A4BFF","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":"Q5900724$A703FDA7-891A-4063-AB75-25919900AB88","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":"Q5900724$835AB195-2191-41C1-8000-307DD802F7E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$8AF52633-B113-415E-8218-007F44004FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900724$2636482D-56E2-44C8-BE20-B6856F83A2F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43de2856bf29c3c2de3c4e90207deecf34e95aa","datavalue":{"value":{"entity-type":"item","numeric-id":4715432,"id":"Q4715432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df264e0b1c0eda326c69e3d1730bacee28ec763","datavalue":{"value":{"amount":"+0.77378434","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":"Q5900724$E7B7DC94-4A90-4C2E-B61B-8E74F1AC1456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e37ea3fd6484e5b1b40eb5e070aef47f714d010","datavalue":{"value":{"entity-type":"item","numeric-id":696322,"id":"Q696322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd37d4d4ec03e287cb320fa1c19b18a1c51dbc7","datavalue":{"value":{"amount":"+0.7553716","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":"Q5900724$761114EC-F21F-4346-8943-EE3520776F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbc939417ad7ecfb059fe568674dfd6dfd81df6","datavalue":{"value":{"entity-type":"item","numeric-id":1421832,"id":"Q1421832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0ff18f409609be83656c9f4a0ddd9cc25f74be","datavalue":{"value":{"amount":"+0.73764837","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":"Q5900724$D1542C6D-CE25-4CFF-A0CF-BABD074FB210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824c82be316a2ee64e178f19d8a1b7cb4bc4438e","datavalue":{"value":{"entity-type":"item","numeric-id":1130247,"id":"Q1130247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95759e33182413ae8dcdedf5d633604509aedb86","datavalue":{"value":{"amount":"+0.73729837","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":"Q5900724$4FC8F759-4B9B-44E9-9F4A-62104210C322","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900724"}}}}}