{"entities":{"Q3696552":{"pageid":5726458,"ns":120,"title":"Item:Q3696552","lastrevid":50347304,"modified":"2026-01-13T21:04:51Z","type":"item","id":"Q3696552","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922017"}},"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":"Q3696552$846F1FC0-1052-49C3-A6A0-B460B0780DC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c06094377ad697a408f1895ee75a7158740b1b10","datavalue":{"value":"0576.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696552$E66649E5-878D-44A3-BB8D-18A62B1537E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aafbe07988415bb9e3ce0a7fb43eb5ed437be561","datavalue":{"value":{"entity-type":"item","numeric-id":685343,"id":"Q685343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3696552$8F11F298-652A-44B0-8648-671D05A1D657","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3696552$E842C0A6-71CD-43A0-92DD-37754F476026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696552$CF6D7835-4DB6-4BEC-88DF-1BD8A93BE562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecaf86d81246970b5c6489e1c67897b203e6f438","datavalue":{"value":"3922017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696552$60CEB859-5C8A-4344-95F8-98474BCA4154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242a3fbd2b3498fc584797f7a9986378475907ee","datavalue":{"value":"knowledge acquisition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696552$D2FB8FAF-0F50-488A-A9D4-B62A92E7C16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f2eaeb36fe74c1f5b56db2eb091f4964d920cc","datavalue":{"value":"cognitive development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696552$CCBE4B58-3687-4836-8577-D3999B64DE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b1f70e4b2212f9412c94fad22d4a64769a268f","datavalue":{"value":"automatic analysis of mathematical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696552$36D8A43F-A000-4784-BD93-2D95790B3D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d21c46da496639ac003020abe5c0a9b16b7e5a2","datavalue":{"value":"automatic discovery of heuristic proof strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696552$E7C3449A-BCD3-4104-95DB-CFB5BE80D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed872c8ec5936d4efb52a55f633dbda789e4289","datavalue":{"value":"concept formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696552$1BC56D64-FD4F-4111-A19B-AD03D4612EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b05e6aad16f3884e60ea03034d3c10d0ab6bb21e","datavalue":{"value":"holistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696552$55920EFF-AFC3-4E06-8442-3B8BAE7CC784","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":"Q3696552$8FB01C26-A76A-469F-8635-1DF74EF768D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1489a3aed5aafbee36f6423e1b641705e2d3e6","datavalue":{"value":{"entity-type":"item","numeric-id":671359,"id":"Q671359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00fcacea2064ef624705469e88b45cd0e4d48d0","datavalue":{"value":{"amount":"+0.8165996","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":"Q3696552$24C36FB6-F10F-4E67-91D8-BE8C4343677F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63dc42d8c7a8d9b9ba820c9936cd6d575c63b50","datavalue":{"value":{"entity-type":"item","numeric-id":2464130,"id":"Q2464130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d625f96c1cb9d6ae937d7a4a42b25b841df563f","datavalue":{"value":{"amount":"+0.81062806","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":"Q3696552$B37D956D-1761-42DB-A4FF-423FCBE925AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f40dc28d6b46c1d908ff1e6d2a9f83aa0db77e","datavalue":{"value":{"entity-type":"item","numeric-id":5394641,"id":"Q5394641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37742dbf4586fae9b81644ebcdfce41fb3a3bbe4","datavalue":{"value":{"amount":"+0.8087053","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":"Q3696552$06ACC0D8-012E-4C0E-A328-F1685560012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac023a3f6c3832cf5ed32673a7c970bc98fca04c","datavalue":{"value":{"entity-type":"item","numeric-id":3526590,"id":"Q3526590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7f906050731e0ba50512135dcf2c2e2c449997","datavalue":{"value":{"amount":"+0.80766225","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":"Q3696552$10A54172-009D-4D91-B4C8-B1DB48C8E92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa4b2ae4767390760cb0354f5936e8d8f3a607f","datavalue":{"value":{"entity-type":"item","numeric-id":4514011,"id":"Q4514011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55097552c6e0020616897e482d5ab8a0269d8512","datavalue":{"value":{"amount":"+0.7976342","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":"Q3696552$4DF2D7BA-DBDA-4D50-91B2-7BBFC82C0A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f53accf2260f3c093edbfdc86a957d273b5985","datavalue":{"value":{"entity-type":"item","numeric-id":1434366,"id":"Q1434366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f45890bfdc53d17fe5e7144ff389b7d9d8ba9e3","datavalue":{"value":{"amount":"+0.7972764","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":"Q3696552$0FCEE3FA-EC9F-4D74-BAE5-20FD81A0FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587e631bd1443e60871ca264f17694206f0ede","datavalue":{"value":{"entity-type":"item","numeric-id":804316,"id":"Q804316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4af1f8f1dc815f5a2dcb5dca9b2e803ec987aed","datavalue":{"value":{"amount":"+0.7959782","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":"Q3696552$3F90CDD7-51EF-4D87-82DA-011BC0D67F13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3696552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3696552"}}}}}