{"entities":{"Q1306170":{"pageid":1316920,"ns":120,"title":"Item:Q1306170","lastrevid":70109253,"modified":"2026-04-13T12:30:19Z","type":"item","id":"Q1306170","labels":{"en":{"language":"en","value":"Unnatural language processing. An empirical study of multimodal proof styles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1343514"}},"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":"Q1306170$6619A9D0-1FB1-48DE-B227-B83A2C8072C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af5e9541604a0cf13909917e66d3a20576c7ed4e","datavalue":{"value":{"text":"Unnatural language processing. An empirical study of multimodal proof styles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306170$7D18A2F0-58BE-41D7-9045-1B78A7102264","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e61c470fbfa6849e8eaa9a371424c9f536ce50c","datavalue":{"value":"0941.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$EE7CFAF7-D747-4533-BEF3-F6B8CCF86071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e67710968691ec6034428a7dcb1887fdc1bf31f7","datavalue":{"value":"10.1023/A:1008388812468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$CBC256C3-4A6C-4D51-B697-782E0204ED12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306170$C495818B-D3B3-4BC0-B3F1-A53CDFC9001B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306170$6E2027C2-8DFD-4E2B-B395-58671A0AC63F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306170$2D78F56C-0C4F-4F32-9B16-6FCF7EE1A3C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$BEA561F4-1C02-4EE1-A0DB-AB3F5E3F3055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$61B45F8E-B1A5-430E-9200-0A00F9C3200E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96ead8b7b582c0ed03b3bbf142f501b3d63d85e2","datavalue":{"value":"97C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$7D7B36CD-D99E-4DBE-9DE5-3B17C8421B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd2488fa5387264618f9d0753309e41d713621f6","datavalue":{"value":"97U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$F83917F2-E527-4BE4-8161-3DDD9699ADA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b42c13196774ca82b9c0c62fe1575b7f19c9316","datavalue":{"value":"1343514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$F68C68F9-9A3A-47AE-9560-A98AE5030618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003014c48dedf408addca3e7b5866c9dba3af1b","datavalue":{"value":"diagrammatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$470B0F8B-89D9-4558-838F-EC48C646B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d83095e8da83d4cdb858509a39bddba086b7306","datavalue":{"value":"logic teaching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$6524F651-4AB4-4CFA-8016-9E3879DC398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d26d31e0f7c0f6a7ad9bfe5903156aeac944f3","datavalue":{"value":"structure of logical discourse","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$F093AFAE-EA56-4201-A247-388536C2D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e372ea832425f885b3e508b5866296dce49d5f","datavalue":{"value":"computer-based logic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$F3115373-7206-49AC-8A05-8080F32BD236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6492f36a70f873a22b97d796b07ad945aba86dd7","datavalue":{"value":"automatic logging of proof development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$278F245C-125D-4969-A856-596555EB0D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855114816b138e028ca9342bd8f736ef63d8f896","datavalue":{"value":"statistical methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$922CC5AF-A624-423F-A1B9-753EBFDD021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9497eced9b52ed8b33854482be2fefd9a430910","datavalue":{"value":"cognitive styles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306170$DAC83DFB-A812-4C54-A856-5F08A9FAEC09","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":"Q1306170$D8E3C152-F1EC-4704-910A-A72C21FDE36C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f792422aa8301792c8bee765d011293cb353ad84","datavalue":{"value":"https://doi.org/10.1023/a:1008388812468","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306170$C65B67A4-0C7F-44A0-9BC9-297EE43AC55E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3274efb77ffebe54d2dabd6bafbf61c9280cce74","datavalue":{"value":"W1515070096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306170$B4B924FD-1B10-4741-9CA9-677E486D35AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a77e50dd532ffc4db130e41075362e75a6f1b95","datavalue":{"value":{"entity-type":"item","numeric-id":5691519,"id":"Q5691519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7bd9eb5393cd1287f45d3581eb62ef171ef2f8","datavalue":{"value":{"amount":"+0.86537427","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":"Q1306170$81A2A051-F33E-4B93-BE5A-5BCAA9ADB260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0332f643c026bfa5e67b589c2cf7c70271ef80","datavalue":{"value":{"entity-type":"item","numeric-id":4946220,"id":"Q4946220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85917f113105c0f1573741836fd8b8fecf6672e9","datavalue":{"value":{"amount":"+0.8321854","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":"Q1306170$817BBD1B-8227-46AB-8078-A0CF2D90ED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8955ad2728fb4142bb2b1f5a782a80901db0b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5365487,"id":"Q5365487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81dc0677d4fbc583ac4924dba73cf39596529f8","datavalue":{"value":{"amount":"+0.8253932","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":"Q1306170$A4E1DAD8-8D47-49F2-A810-56EB68C86364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd585486e94ec0405f2076172b880f2fc6e0761b","datavalue":{"value":{"entity-type":"item","numeric-id":4385443,"id":"Q4385443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264c0be07df1638dcdbea4a24e296b149b49845f","datavalue":{"value":{"amount":"+0.8159433","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":"Q1306170$1D107AA3-4E0F-4C26-8E31-71E4857A5018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c544eb201d44fa71f47db12af9f32332242cdd3","datavalue":{"value":{"amount":"+0.7992573","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":"Q1306170$059F3CEA-E804-490D-BB96-69EF3F63C98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c95aad21afd59947911d1a1fdec2c0dc91daa4f","datavalue":{"value":{"entity-type":"item","numeric-id":1923840,"id":"Q1923840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8871c63ec059420bf45104673cce335f6734ad0","datavalue":{"value":{"amount":"+0.7990425","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":"Q1306170$C9E2CEE1-BB95-4302-8BFD-B5AB8CE90096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0832584c9def8785fe0bac25147e6f28cb1228","datavalue":{"value":{"entity-type":"item","numeric-id":4842279,"id":"Q4842279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8871c63ec059420bf45104673cce335f6734ad0","datavalue":{"value":{"amount":"+0.7990425","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":"Q1306170$ABD8B158-27CF-4CC5-A42A-7F2541DF5219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0d39c74ca3bf26dc0add2f69bed792cb718c7d","datavalue":{"value":{"entity-type":"item","numeric-id":4230933,"id":"Q4230933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3841da8f8afdba37624dd026f8ddc9597914a7b1","datavalue":{"value":{"amount":"+0.79512435","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":"Q1306170$01AAFF8F-DF48-4C86-8949-3A2493752E35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unnatural language processing. An empirical study of multimodal proof styles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unnatural_language_processing._An_empirical_study_of_multimodal_proof_styles"}}}}}