{"entities":{"Q1791183":{"pageid":1801925,"ns":120,"title":"Item:Q1791183","lastrevid":72966597,"modified":"2026-04-14T09:04:38Z","type":"item","id":"Q1791183","labels":{"en":{"language":"en","value":"Towards verified handwritten calculational proofs (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946994"}},"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":"Q1791183$FC10BE4F-2E08-4368-B3ED-8CCFC54CB6F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d107a1028e2ec19504fef4671d048ed10d3929","datavalue":{"value":{"text":"Towards verified handwritten calculational proofs (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791183$16B64D3F-FE99-4FE8-8491-66C74A3F4825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"783837ff3830cad5be2c90cfc327b3342dbcc86d","datavalue":{"value":"10.1007/978-3-319-94821-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791183$9C89AAD6-0942-41B6-9419-48EFD67790D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70a4ac615ed515736dc67fa4c7e265c9c8b651d6","datavalue":{"value":{"entity-type":"item","numeric-id":1791182,"id":"Q1791182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$C24AE779-B649-495A-9B03-F57BB113A695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"492e75b2ed0fc24bd880d045ffd98444e354e02f","datavalue":{"value":{"entity-type":"item","numeric-id":627200,"id":"Q627200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$65422DD4-5349-4668-B68A-6555BFF7E0F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791183$8D769F2D-594C-46DB-8262-623080E61F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791183$692C4E5D-DE64-4FB3-A4D6-224F1BD31C4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a3f16a0e40e5fa24747b0b7b8fdb26aa2c6a808","datavalue":{"value":"6946994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791183$30882413-6708-4DAA-BCBF-63F3B71D7590","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b800bdebe0dc1076082ffcd1315bc1466cc474dc","datavalue":{"value":"handwritten mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791183$4ED67D56-2090-4304-9E8A-F8778C719F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791183$6DCE7E66-029E-43D5-80D9-BCD9AD0A9056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791183$F7FF0ED0-B473-47D9-9849-980FB3E481CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8586f40ceb667e050e8567d61ef885462b20da","datavalue":{"value":"calculational method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791183$29121552-4808-44AD-A4CA-1C4841994CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5472f58a6f97343b7d8318df9de37bcc7d5d807","datavalue":{"value":"handwriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791183$85E3F1F5-5165-4288-8ABD-12433B281D65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$DE10E851-FE57-48F1-ACB9-231E289EDC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$2A019C6B-E7B6-4011-AA2D-0E76EA3F7764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$B6ABF7D0-31B5-4D8F-BBDC-E5337E36DC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$44B86786-D65E-4BAB-959D-132747023E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f3a79325084bb9581f818a34ab0d021b48cde68","datavalue":{"value":{"entity-type":"item","numeric-id":19238,"id":"Q19238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$D0621699-122A-461F-963E-4F1109D259AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eb28f8725258563c4d9e2d5869b47c04aee1dbb","datavalue":{"value":{"entity-type":"item","numeric-id":19491,"id":"Q19491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$29B2D7AF-848B-4682-9352-54CC61A5A7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$E21033BB-9AEC-40B4-86EF-3F0ADB040AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$4A6998BE-EAE0-4923-9F18-B544B7CD0956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791183$E723ACEA-8478-4623-9664-D70F2BE2BCD4","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":"Q1791183$12165A7F-C4DB-44EE-8D0C-64F2CDB09132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0baa9f405c5fcbaf60e2c46dca8e889ba974b4de","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791183$21C04B3F-EA05-43CA-BA1A-7845074CF3E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d58cd960543af18299a4890a185fb25e3ced4a13","datavalue":{"value":"W2810454321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791183$0470380B-2359-4165-8F66-203890EF2452","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc222b2e48a6f8ed51e81c80f0fdffe79d0c11","datavalue":{"value":{"entity-type":"item","numeric-id":865656,"id":"Q865656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f0744edbb94834510f920240b3294970f23804","datavalue":{"value":{"amount":"+0.7103386521339417","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":"Q1791183$9233E1C7-6D17-42F6-9AE8-DE39147752F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400aa91770e1223f8eeb240d768c478ce35e2eee","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d74c4bb15f12f08820e74dc5592b8ff4f1e534","datavalue":{"value":{"amount":"+0.7082995772361755","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":"Q1791183$08436ACE-E94A-4053-9248-A3217CA7BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19203accc4a7a22b6e0e7ded8f7f4df3e916088d","datavalue":{"value":{"entity-type":"item","numeric-id":5898512,"id":"Q5898512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f9a8d2c0355fb81c7fb1f127ab60600ef77d3a","datavalue":{"value":{"amount":"+0.7053158283233643","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":"Q1791183$303B1FEA-8051-41AE-8698-152EA25D2DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffce656a3b349ae7375eb718151524e72da5bf33","datavalue":{"value":{"entity-type":"item","numeric-id":1607098,"id":"Q1607098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb634c377cf2a0bc70abc3f59a5e249e15ef3934","datavalue":{"value":{"amount":"+0.7026193141937256","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":"Q1791183$3465E667-A308-4F8A-BF53-46B08C20A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0836461b86e5f3f9b2683c3a2c12fce3a6959131","datavalue":{"value":{"entity-type":"item","numeric-id":4664918,"id":"Q4664918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf486b8ed5342390f4c28bb00a019b7d1bebd992","datavalue":{"value":{"amount":"+0.7013099193572998","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":"Q1791183$C7CDC446-BDC8-4FDD-85D3-14F1FADA060F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards verified handwritten calculational proofs (short paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_verified_handwritten_calculational_proofs_(short_paper)"}}}}}