{"entities":{"Q3582730":{"pageid":5612634,"ns":120,"title":"Item:Q3582730","lastrevid":58215354,"modified":"2026-04-04T06:38:08Z","type":"item","id":"Q3582730","labels":{"en":{"language":"en","value":"Proviola: a tool for proof re-animation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774528"}},"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":"Q3582730$8ED93FBE-40DE-4E3D-B562-4EB71672B050","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33f0d210afc1f160f470e0bc8996985f42016033","datavalue":{"value":{"text":"Proviola: A Tool for Proof Re-animation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582730$1A1FA304-7CA3-403F-B4A9-7EC2A15E3221","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6622ab0ff2a81528283261ebe02d108a22ef4546","datavalue":{"value":"1286.68402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582730$974BDD63-3431-457E-A1BD-E84018EF7864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ca7c2c7ca96ded0fcbf3c299f14632d4703125e","datavalue":{"value":"10.1007/978-3-642-14128-7_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582730$2160ADA5-D394-4E22-9D7B-50C781211D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c3dc912c0528ffb5f06fac90bf98e301c7be23","datavalue":{"value":{"entity-type":"item","numeric-id":2843011,"id":"Q2843011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$5675460F-1380-495A-84B5-C05BBDC52F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$E2AA4614-8637-44E7-A23D-3B586956513C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d72c052d6a5ad7a719f388761353f23640a4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1725925,"id":"Q1725925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$D4E4E2A6-4D2A-42B0-B351-C6274CAE5BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$C6901F9A-4F77-40D6-89CF-C0F662AAA834","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$6DDC4B77-9931-4D18-9EA4-6C16623EA8F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582730$2853A216-F7B3-4744-988D-405EA353B5A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fba379cc854c61a12ab7bfae0196f8d7384abd02","datavalue":{"value":"https://arxiv.org/abs/1005.2672","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582730$A7DE782E-1100-41EE-853C-32B7BD9057DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582730$7076F850-2EE0-400B-87EE-B2D696AEECBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9992e637116ffc7668570c090ebb742e852cf09d","datavalue":{"value":"5774528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582730$287C4BF5-C726-4183-BC88-FAA73CC92860","rank":"normal"}],"P1463":[{"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":"Q3582730$F98AD440-0841-41FD-BBB6-236F76460276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$E5F94A10-E4CF-4425-AD6A-45F14696DB86","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":"Q3582730$15BD2AAD-B76B-4289-9815-473F1935C3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"919bdf91ea2d83274ba043bab9041ef92a73d3dd","datavalue":{"value":{"entity-type":"item","numeric-id":22102,"id":"Q22102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582730$A1206B20-7F0C-4DD0-A87A-B1C2EBC9CC1A","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":"Q3582730$2B493A85-49E4-4EFA-889D-1C3D1D8B4E2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d31b1a10156fe8e1874c03944d6451901a65bf7f","datavalue":{"value":"W2951995857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582730$51C43EE0-7BD8-4CED-ADC2-9D22D7E7662D","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":"0799f90b266fdde130059da4b9f73d9c83fe46cf","datavalue":{"value":{"amount":"+0.7621821761131287","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":"Q3582730$709619BE-1E6B-4E07-BF6B-F939E5756125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b030e00c4818335c9460176850a8fb0a7bd61b","datavalue":{"value":{"entity-type":"item","numeric-id":5958295,"id":"Q5958295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3580b77a3fdad8f6a846de45c3e8a10d8f62371f","datavalue":{"value":{"amount":"+0.7474421262741089","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":"Q3582730$BA604A4B-F6EF-4BC4-9109-260E37B50BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45152e72d34e02cc6d0d14a60d782471edb28bf","datavalue":{"value":{"amount":"+0.7417206168174744","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":"Q3582730$6704D0DE-5AAE-42C8-BB1A-A195CDE3B83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5505fa24e642383cfb1fa99ac5f7ec190855bec0","datavalue":{"value":{"entity-type":"item","numeric-id":4808732,"id":"Q4808732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09acbba35d88c5d119e4f6fee90eb9451015b5f","datavalue":{"value":{"amount":"+0.7350870370864868","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":"Q3582730$556564F9-9FFD-4B51-BA6D-EFF67C20304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8969524bba3b69314c5304db3a787ffb2b884759","datavalue":{"value":{"entity-type":"item","numeric-id":2867935,"id":"Q2867935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3b7fcd1fed79da1c57dd84563e6e25be3284a9","datavalue":{"value":{"amount":"+0.7297974228858948","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":"Q3582730$0CB18027-B89A-4222-9A14-C69B1930783D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582730"}}}}}