{"entities":{"Q5900713":{"pageid":8006998,"ns":120,"title":"Item:Q5900713","lastrevid":40939348,"modified":"2025-04-14T08:14:56Z","type":"item","id":"Q5900713","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-19"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695394"}},"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":"Q5900713$0C0202E6-2ED8-4BF8-8652-E6BEE1077B98","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":"Q5900713$F1872EB8-F143-43B3-937C-716DCE4B6104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7c6e89cd6e1286b7f778ef95e0ce0c8c923eb7","datavalue":{"value":"1278.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900713$01708C44-798B-4E40-A4A6-04A785478355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900713$928047B7-7784-4C27-8329-7C219E5A91EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150a6b0b2b8289ee781f8cda58bd776255ac6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":453522,"id":"Q453522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900713$FB30C925-5BA7-4F7B-BD1F-F940E67DDF6E","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":"Q5900713$0B924969-4FF2-48F2-9EC7-93C4AB31839B","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":"Q5900713$DB4609EE-1538-4E8F-8531-CAE9A3E03388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900713$AB34543B-A5E1-4C0B-A390-B49B48EB51CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900713$D338FC2E-C5D3-42AC-AC4B-675D600C98BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a97eeaa4e95fd12a31e57be2a6ac9dfc09c96776","datavalue":{"value":"5695394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900713$F992A504-6CF2-451D-8801-0396A986DDA9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900713$2538144F-B106-43E4-A21D-7B26C2E161BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc37a98a946f67a03612a1de0ef554f6256d78ce","datavalue":{"value":{"entity-type":"item","numeric-id":25505,"id":"Q25505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900713$661377EB-2A93-4E95-928D-7998586CEAED","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":"Q5900713$E20D73A1-B6BD-4B9D-95C2-5DE265DA05DB","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":"Q5900713$0ECC4411-2952-4283-BC89-36ED1D15BB75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900713$6E5AFE26-8CD8-4FCC-BEA9-FA08BFA106BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900713$ACE85BB2-55E8-4A1E-A683-A90891B7CD7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fc04b309ba9ac937d6a345a9148f7d2da864fb","datavalue":{"value":{"entity-type":"item","numeric-id":5277805,"id":"Q5277805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e093e7a3ec31deab15fccde72a3641348e4296e","datavalue":{"value":{"amount":"+0.9094833","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":"Q5900713$F0A873FD-C2C0-4B34-AD10-2F6FAB608FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccb0c3a88f68e4620f4be68beda60459c913f9c","datavalue":{"value":{"entity-type":"item","numeric-id":4808844,"id":"Q4808844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21dd8e3ff9d0237c24437b41ffb2a9a757cd1fa4","datavalue":{"value":{"amount":"+0.7987716","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":"Q5900713$DCD171E4-78BD-45A0-9C5F-1F6DB7FD243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24695374181717ad1bed4a90e0740942008205a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040d3359bdb88196f2b4a817175f0c1db62e554d","datavalue":{"value":{"amount":"+0.7806721","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":"Q5900713$9062E480-6DE4-4BBC-9DCE-BA65A907D946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b18b9ae53aab9cdd32553920806fcfd4783c9","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982f22c951d0ed367e5a00fa300f534ba4604026","datavalue":{"value":{"amount":"+0.77019995","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":"Q5900713$F82070BC-7303-4B48-BD19-C79F7D1C4E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8713798982140d4820192ba0dbd970d03dde4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa722d632db39b8f1bb6b9e30cbe21058291723c","datavalue":{"value":{"amount":"+0.7667275","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":"Q5900713$3278386D-4255-4DC4-A8D0-185BE3B6C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e624eff166aef0fa88875321d9d439e22120898","datavalue":{"value":{"entity-type":"item","numeric-id":2949206,"id":"Q2949206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104a7b1352674f2df9d399d7fb5000a08092ae8c","datavalue":{"value":{"amount":"+0.76603276","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":"Q5900713$E489F1CD-C7F0-47C6-96C3-3C4A0476EEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03597b0d4c9d87fca417c12c4f049fcacdba50b","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336042c0a138873a361c8c2e003d443fc72c54ff","datavalue":{"value":{"amount":"+0.7640324","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":"Q5900713$72733A5F-1CBB-473A-B990-9EF3E66832F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4b0cce3e2196d60d60231c8e3f87c7ff0fd14","datavalue":{"value":{"entity-type":"item","numeric-id":3428749,"id":"Q3428749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f255eb62671f74d3ebc323d2c38763869ce64d32","datavalue":{"value":{"amount":"+0.76383877","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":"Q5900713$F9FAACEE-D77F-4391-A24F-F3FE88AC3421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900713"}}}}}