{"entities":{"Q2829254":{"pageid":2839992,"ns":120,"title":"Item:Q2829254","lastrevid":52660082,"modified":"2026-01-23T05:18:36Z","type":"item","id":"Q2829254","labels":{"en":{"language":"en","value":"Visual theorem proving with the Incredible Proof Machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644740"}},"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":"Q2829254$0E1FBD0A-A310-4416-9468-54418B2E96F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d2d2dd13facaafd0cbc8f50e9e66c65a5fc068","datavalue":{"value":{"text":"Visual Theorem Proving with the Incredible Proof Machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829254$C192A603-293A-4E17-9401-C5E6344DCDB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db671f92da36f52af93a22e0ab8ced7611b207b","datavalue":{"value":"1478.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829254$F317E1DC-5DD6-48EE-B0F0-79CBAB91FD7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"362cbc8f74db2a2e4379e6666e0a9c60e4fa50aa","datavalue":{"value":"10.1007/978-3-319-43144-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829254$D671E8AE-8DAF-4343-9352-E76DA7FAFE6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d7002a52efc474bb15cfa83d5abb594bf37213","datavalue":{"value":{"entity-type":"item","numeric-id":375800,"id":"Q375800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$1D3D66D0-2BEA-4F7F-932C-50A437D6A052","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$228B2CF2-41F8-4788-B13E-4637795784A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829254$2654FBE4-14BB-47E7-A7CD-28819CBE6D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829254$F4B1E243-1226-48BE-9E51-1018A8973DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829254$DB195A49-D68D-424B-AADA-92D1D8AE75C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a00d3dd2be19ab93562eb1423992cdb4c43c10","datavalue":{"value":"6644740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829254$CD0A32B2-1B0A-4A97-8974-FA4A722DDE51","rank":"normal"}],"P1463":[{"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":"Q2829254$9CDBC662-C1A4-44AE-8DA0-1196E73B9B58","rank":"normal"},{"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":"Q2829254$888EBA99-8442-45CC-9F9C-8B3E2B8B92A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c751ef00713368db97f79834151b28cf8d735a86","datavalue":{"value":{"entity-type":"item","numeric-id":34404,"id":"Q34404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$1C8CFCCB-CC6B-4A44-82B6-8B2E7DE7F267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1732df87fcf0f3382557213be01ea7dd9eb90a0e","datavalue":{"value":{"entity-type":"item","numeric-id":40554,"id":"Q40554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$25059939-CF70-4EC5-8550-9B87D39FE7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3969729d7ecc7d181a38219117a251721cadfba1","datavalue":{"value":{"entity-type":"item","numeric-id":43943,"id":"Q43943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$A91413DE-3A89-48B8-AE11-C86290E6D427","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":"Q2829254$D99BB7F5-0EE3-45BF-8E04-C788FF49DA81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3db2a810a37452d63f86377ed2d97f0fcd1013f5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829254$819570A2-3DA9-4D63-8E5C-753461669791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7557189eeff8126ecbc79f39e15ef6c74eadf935","datavalue":{"value":"W2488236528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829254$E0B7FA96-F0FD-4C41-ACD3-7D3C5BDA88F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fcafe3bf9f9b6335d3d05b672f51e5f9c85de9","datavalue":{"value":{"entity-type":"item","numeric-id":5415656,"id":"Q5415656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$030608A8-BD89-4F91-A7C6-0A81BA9127CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e05d299fa7f6a8c75ff2783cf006e569807898","datavalue":{"value":{"entity-type":"item","numeric-id":5176984,"id":"Q5176984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829254$A116895D-372A-4003-8F0A-4796E66FE7ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757e822784b4bdc641199b06bea0bf174e7498e6","datavalue":{"value":{"entity-type":"item","numeric-id":832103,"id":"Q832103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa11aab90e76f81134d3c5c489528a5488edaa7","datavalue":{"value":{"amount":"+0.7817263603210449","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":"Q2829254$63C00961-D0E2-4D66-9E27-C760925E1319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49db87650e7c8f715ddae8522ee1f55cb39ed305","datavalue":{"value":{"amount":"+0.7613016366958618","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":"Q2829254$80581875-EA85-4D80-9FB4-910780C9D8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab8385e60b2d92832b7d9f00cb7ee75d33b687c","datavalue":{"value":{"entity-type":"item","numeric-id":4499291,"id":"Q4499291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035ff1638b9d3cbed9482e1314fe5f056c9c612b","datavalue":{"value":{"amount":"+0.7564999461174011","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":"Q2829254$435DD36C-529B-495B-87A6-F8CF306D2DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f738c85fba56f50c597c103d814faf4a78a89aef","datavalue":{"value":{"amount":"+0.7525041699409485","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":"Q2829254$1635791F-D848-434C-8666-A402C473A5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd4a81b77523c5abf39bfa1afb0614b391a77f7","datavalue":{"value":{"entity-type":"item","numeric-id":5166496,"id":"Q5166496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd3dd3607f501cc7e326777e6cd4f29066f800b","datavalue":{"value":{"amount":"+0.746256947517395","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":"Q2829254$B8B0BE43-9B85-4487-80A0-02E32359DEB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829254"}}}}}