{"entities":{"Q3369839":{"pageid":3380543,"ns":120,"title":"Item:Q3369839","lastrevid":49777543,"modified":"2026-01-10T15:39:21Z","type":"item","id":"Q3369839","labels":{"en":{"language":"en","value":"Logics, mathematics, automatic deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003355"}},"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":"Q3369839$4F79CB02-B416-45BF-ACED-D2F398B118DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f6f9ed617623f01ceb7153f01515dc92543383a","datavalue":{"value":"1107.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369839$EAC89BF1-94DB-4BAD-8A26-F65935D79A5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3ffaa84f6d89d948875b16a20e2c9937be8322b","datavalue":{"value":{"time":"+2006-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3369839$86FBC90A-3384-42F7-9854-089E809CD0A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369839$8CDBB35A-B5BC-4981-BE1B-A3B4AA06BDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369839$9674B370-6D1B-468F-89DD-F8AC31747C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369839$859E04AA-2CCD-48D1-AABD-AE13518993A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3bf8164511eda2287f9742c8ac6a9faea8a3387","datavalue":{"value":"5003355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369839$2B92DD61-E655-4BA4-9EC5-02D1BD405923","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32f1e058175d1ab6f6bca1430c5aea7e452e064c","datavalue":{"value":"historical overview","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369839$A4DB598A-A3F6-4843-BE53-3135A550EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369839$87EDAE4D-6840-4FB6-B853-AE807FAD99FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369839$0603145C-CDF1-457F-80BB-8BC321DC038A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b9b666d61710168781f19fcc8205f051b3a225","datavalue":{"value":"infinitesimal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369839$D5F4B39D-CA41-49F4-A1CD-663A6EFAC09D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"043b77db0c51d3789f284af5f275c7a673442b59","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3369839$BF6045CC-1D01-445B-9F6C-A237313C636A","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":"Q3369839$E3783344-7F00-44F6-83EE-7FB0BAC388F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdaf83b0147858e15dadfdde0450edfcd3445c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348547,"id":"Q5348547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c0f350521f0cea4268b4b12c54d373a82f89ba","datavalue":{"value":{"amount":"+0.7878922820091248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3369839$D3BC59FB-9CF2-4C1D-9B00-E161D70073EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66028ed110b764d169acf56766b836ac582835e0","datavalue":{"value":{"entity-type":"item","numeric-id":4559535,"id":"Q4559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62aebef94fb83924e4d9dc97ab4dc03a82071788","datavalue":{"value":{"amount":"+0.7545504570007324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3369839$E21ECE8B-D54F-40E3-A351-68793B5AE18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8ff8af866c0cabe89d6abb9811a6609d8f6adc","datavalue":{"value":{"amount":"+0.7513344287872314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3369839$2F86459C-7C9B-46EF-A059-B526CF16188C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b559043e6257dda9a0b8a108abb3237e68b70","datavalue":{"value":{"entity-type":"item","numeric-id":4205404,"id":"Q4205404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85801056d8cebc7fc0bbf99cac5778f71fe1a84d","datavalue":{"value":{"amount":"+0.7492936253547668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3369839$10AC74AD-9288-4183-B279-121DCB4064DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c39ceb87b78fa19ce5077c814a791a68af5067","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff88a1ddf303466aa25d0f33363c4ae14ccce067","datavalue":{"value":{"amount":"+0.7477974891662598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3369839$AA0E31B6-D207-4C84-B3E5-C3AE43C8C665","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3369839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3369839"}}}}}