{"entities":{"Q2364109":{"pageid":2374852,"ns":120,"title":"Item:Q2364109","lastrevid":56661300,"modified":"2026-03-18T12:06:09Z","type":"item","id":"Q2364109","labels":{"en":{"language":"en","value":"Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747799"}},"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":"Q2364109$1AE6D824-A815-4DE2-9BE3-E8155C310097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26929b17e80d620e5844e75a4dd9c913617adfc1","datavalue":{"value":{"text":"Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364109$C0B9EFC6-6648-4705-8697-F3E86E8124FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e07d977827a84cd7597633ad4ed36d2f18d5137","datavalue":{"value":"1369.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$C4CF8110-9C86-4ABE-A19F-1B6DA22B46A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b941fd55bb745fbda476da32223be9edbde26bd5","datavalue":{"value":"10.1007/978-3-319-63046-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$89CE8C34-7D67-42F7-B98C-19B82A12E0AE","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":"Q2364109$7F2A4127-3E9C-42AC-8B87-7CE1ED64DBF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c15162b94cadee206f6a79d1b59255a2edbef7","datavalue":{"value":{"time":"+2017-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364109$04848289-0BBA-418F-A150-AE465FB5B18A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$5E192F65-B50A-416A-8FEE-12E2BB19C13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$D94FEC9C-A5C7-4536-BF05-C1AFF3C147B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$84B2E4C5-3C61-4921-971F-D795E36FF7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$858C601D-D548-443C-A117-A19C9F68A731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$EBA81F09-6F67-490E-941F-8C8418D7AFEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c98274d0d1098c9d159f3c217ad2cba5042b94","datavalue":{"value":"6747799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$3FD83315-8359-42B5-9C0A-37C55DB1138E","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":"Q2364109$B20CE1E7-4E9C-41D2-B350-443228A91510","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"525b53d83a978e60b6eeba3dd19e88a6d53c8c97","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364109$781B733F-F8E4-4B4A-A7B7-E8B18F480804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9d048a62ff1a2df0c56ae6968bf4e5d69774bc4","datavalue":{"value":"W2735855164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364109$ED9FD8F8-C00A-4C18-869A-2B83399BDD91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d22aba00ca9e20d6372242bba150d031b7c236","datavalue":{"value":{"entity-type":"item","numeric-id":1613678,"id":"Q1613678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e8335f4557de4f29e56a2566f90e740f3f654c","datavalue":{"value":{"amount":"+0.92226887","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":"Q2364109$5D5CA673-AE06-440D-8BF9-828EDA8FAEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7240fc22e62033867d07a11cf8f580266e0aea32","datavalue":{"value":{"entity-type":"item","numeric-id":2041442,"id":"Q2041442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc66aa8c7aec5a2528565d0333c2bdf102236029","datavalue":{"value":{"amount":"+0.92001164","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":"Q2364109$23DA239A-5AC2-49B3-9C97-94CAA10A5206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1154136ae0e3d0fbb3dcd569d101dab46eca6481","datavalue":{"value":{"entity-type":"item","numeric-id":2516644,"id":"Q2516644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b512fb706681970fc31bf13a860b03776bb0c1f8","datavalue":{"value":{"amount":"+0.9195641","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":"Q2364109$CF1FB7C3-562F-4836-8E9C-EFEBC57BBD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e39318564b9e673a86c4a6f7a1cc80fd363e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":2461168,"id":"Q2461168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30ca14aa770911f5901ba0687e2ab4d8a4c769f","datavalue":{"value":{"amount":"+0.9144372","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":"Q2364109$19F8D5DA-E683-4239-9D52-8B5D748CA56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7281a3257cc344b62dacc2a907748e01b2d6a3","datavalue":{"value":{"entity-type":"item","numeric-id":6090938,"id":"Q6090938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89389e61ffed54461ef133aa9200342c16a1b81f","datavalue":{"value":{"amount":"+0.9129072","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":"Q2364109$75F7F2A5-5208-41FB-B6D5-6BB118AC6636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512a1a5db7b668d01db4ee6461b348be3f0f3a37","datavalue":{"value":{"entity-type":"item","numeric-id":2286167,"id":"Q2286167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e5191107c8ef0068f7cf9f9e8bf3eb30d510d4","datavalue":{"value":{"amount":"+0.91260445","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":"Q2364109$5E1AB377-9B93-4CBC-8B5D-D6065289094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8adb8d990a518213bff26229491ae3843d7ad430","datavalue":{"value":{"entity-type":"item","numeric-id":555523,"id":"Q555523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e475021ef5a387820bcce2825dc5da91da6a15","datavalue":{"value":{"amount":"+0.9109704","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":"Q2364109$AF0291F6-CE8A-42F6-AD65-DCF5D47178FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a9c275cdc673c2f8a35b0bb141fc43674effed","datavalue":{"value":{"entity-type":"item","numeric-id":1953299,"id":"Q1953299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f71c8c1dcbc5fe7a07855bfdb75c910f8bf721","datavalue":{"value":{"amount":"+0.90864503","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":"Q2364109$DAB297CB-0DBD-42D4-9134-1F5AF98A6DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dd8042e333fbf278eddde1280924e3f5eab1cb","datavalue":{"value":{"entity-type":"item","numeric-id":2492147,"id":"Q2492147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf48e850f54c4f600f4ff394b8e544e5af635ae","datavalue":{"value":{"amount":"+0.90300083","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":"Q2364109$079E9044-F83C-4FD0-A7DC-E4C3265C1E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405a540cb2d20b17a4b517470c6d48696a4572fc","datavalue":{"value":{"entity-type":"item","numeric-id":2270573,"id":"Q2270573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92642c6f23c117dc7f7807418f18012f1a3f746","datavalue":{"value":{"amount":"+0.9005936","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":"Q2364109$30BCA58B-CF6E-4A78-B7FE-9EACA4D7E62F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364109$C6CA30C0-6C8A-4DB6-A939-7E634B7D4D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364109"}}}}}