{"entities":{"Q5900706":{"pageid":8006984,"ns":120,"title":"Item:Q5900706","lastrevid":40704135,"modified":"2025-04-04T10:15:25Z","type":"item","id":"Q5900706","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-19"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695387"}},"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":"Q5900706$F8A98969-4728-4304-A24D-9104ED3515BE","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":"Q5900706$C1C73FFD-3A1E-48C9-B874-8B2CBF54184E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4049c20581d958a272a00ce4875f24c822be30f1","datavalue":{"value":"1278.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900706$D7C1538D-49D6-4927-A42F-328361696DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900706$0C1C1485-2F55-4FA0-86E6-3A805F315353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900706$021DF58F-0414-4C8E-B37F-1C4564711469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900706$8D2850AA-BE58-408E-81FA-AF7D31CDBA30","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":"Q5900706$B82AE8DA-FF65-465B-814C-09AEFF040C11","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":"Q5900706$DD377283-E97F-4754-91F5-775E6289AD6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900706$4AAE4CF7-651E-4637-8F96-2B2BCEBD7CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900706$BB776A39-F250-4EDB-BCFB-BC132D0948A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6db94fdd1ecff488de95cd9e687fbde8ee66f4f","datavalue":{"value":"5695387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900706$408F31D7-6124-456D-A1B6-7044CEB38555","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":"Q5900706$8EFE612F-8F39-4104-A73D-79B3BAFFD9CC","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":"Q5900706$6B21B5D2-2776-45C8-82EE-7D3FBF42667B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900706$D0C60FAB-7427-4259-8BE0-8A345450511A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900706$5275A7FE-FC37-45FD-B775-6EF3E9C02788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d660a2e6c20b465965ecfcc06ec4dea74cae89","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4b95ac690fc5fd1a6cd96485e4e907499a2ba4","datavalue":{"value":{"amount":"+0.95536774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$27A24CB8-8CF8-42F7-AE36-FD022BBC5F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf7ff753c6ab8b34bd2847ab5fcffd9ff0b5961","datavalue":{"value":{"entity-type":"item","numeric-id":5187868,"id":"Q5187868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b5930ca057def2706f76056e61bbc7884d6323","datavalue":{"value":{"amount":"+0.8717282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$8E266614-15B3-4957-ADCD-47104305D8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48f75d740c9fe11d6be3f24f083dfdea7462b93","datavalue":{"value":{"entity-type":"item","numeric-id":4471712,"id":"Q4471712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70284d536c7640e8a36acfffa734d9c22db7649","datavalue":{"value":{"amount":"+0.8696751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$027C8326-AFBA-4BD0-8C97-F97649E18DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7324cfdbf5e5e49eff0819bc9a6faeca3e326a3c","datavalue":{"value":{"entity-type":"item","numeric-id":3719790,"id":"Q3719790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683637abbd8448d4fb83318bfeb11e1679d02b3c","datavalue":{"value":{"amount":"+0.8571935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$ED126A11-4C22-4EDE-91D4-90C29D398B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cd3b23082880a3a13f1ce9c96afdaf3c7adeae","datavalue":{"value":{"entity-type":"item","numeric-id":4202948,"id":"Q4202948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b991bef1a540bb511c2eb9a770219194949464a","datavalue":{"value":{"amount":"+0.8568555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$EDDD4C0D-0AB5-44C9-9315-E8366F58D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f04472a991dbfb6846b453982b53dfa71801d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5055883,"id":"Q5055883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc31fa1aa9dfe3d7f864d9341275b717946893e","datavalue":{"value":{"amount":"+0.8565782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$B86C529E-054B-44D6-8600-AA114FD4DF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdb30f2210c203b63358eacadbbe03c10c614e9","datavalue":{"value":{"entity-type":"item","numeric-id":2797862,"id":"Q2797862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf797489e7e83dd285efdfd07ba2f277c1533874","datavalue":{"value":{"amount":"+0.85590667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$5431F5B1-67CD-4FFE-9040-785459409B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599febdbc7d6ee8592020fdc567887cc994bb94a","datavalue":{"value":{"entity-type":"item","numeric-id":4250367,"id":"Q4250367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08efb01a8f18a9304eeb7a6943eb9c6ca097a142","datavalue":{"value":{"amount":"+0.85520154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$F04FEB1D-6F10-4009-8472-844E091E2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed68329ca1b787b9c6e4d4e64e50d70546f19ff6","datavalue":{"value":{"entity-type":"item","numeric-id":2702098,"id":"Q2702098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2297793fd5c8fee97719dd116633896f99a74524","datavalue":{"value":{"amount":"+0.85264003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$69C25BC1-0326-4E9C-92E4-475C30AEBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70be411dca09934b325ade9532882e347ce43e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494385,"id":"Q4494385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2297793fd5c8fee97719dd116633896f99a74524","datavalue":{"value":{"amount":"+0.85264003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900706$BB0E8A54-578A-48E1-9F6A-38DC34994D5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900706"}}}}}