{"entities":{"Q832103":{"pageid":833951,"ns":120,"title":"Item:Q832103","lastrevid":64674462,"modified":"2026-04-11T21:28:15Z","type":"item","id":"Q832103","labels":{"en":{"language":"en","value":"ProofViz: an interactive visual proof explorer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498074"}},"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":"Q832103$CB42725E-0ED2-43E6-98C5-26DD80E3396B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e2136a619076aec78ebbbf3e439702a19bdf6d","datavalue":{"value":{"text":"ProofViz: an interactive visual proof explorer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832103$B482090E-6C0B-4226-890E-ECCE27AD50BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d41f11bdba5361bbf6771281b8ca119e65d56835","datavalue":{"value":"1490.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832103$977B76F0-A586-4944-AB8E-81D558C3EBD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da989acaa61c87cacca59fdf342fd689b52d5b02","datavalue":{"value":"10.1007/978-3-030-83978-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832103$78C50B73-0231-4902-920B-80B6B37E3158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$E31B6B43-D80A-41DD-A692-6FE066DF5D8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832103$CC73AD02-A0AC-425C-8259-86FB6BB784F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832103$E9FC130B-A1B0-41AD-AEEF-8F17EF63D283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b28616f3c3ea80a8b3fc7261e7c22ff7bc26ba81","datavalue":{"value":"7498074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832103$ED67E803-EBD8-4ACB-BD6A-B6BD98ECAC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q832103$FB8770DB-8348-4A88-8BBF-DAF54ED6BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e6b620541148fa46400a3485611e7a021a5d76a","datavalue":{"value":"IDEs","type":"string"},"datatype":"string"},"type":"statement","id":"Q832103$8A0A69E5-9B94-4D4F-B9D6-AC9F9E96A6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"652022e5bdbd25749b6a9144111a36533f34b0d8","datavalue":{"value":"GUI tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q832103$AE2F0BE4-C7D8-44BD-89F1-137CACE6B4A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fae488276d4c3b5c2911b394031e6ca5e3a41f","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$A80084F3-98D1-4EBB-8B10-7FA9F1D70A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afde235cdbb039bebf756e68d37489e6748d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5370904,"id":"Q5370904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$D24ABA1A-CD2B-4BEB-B3CB-10F7EA270144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$4838640A-6BD2-4521-A46E-D5DC5A786C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$9F0C3641-349F-43D6-B9A7-B39D834E254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57fb745c97ff0645e5b3992d7ca400fe4905e5f","datavalue":{"value":{"entity-type":"item","numeric-id":6166143,"id":"Q6166143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$74B588A2-40E4-445B-94D4-C213774B09EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb6360318aaea8cb4795698dd5dd5d3f94d2651","datavalue":{"value":{"entity-type":"item","numeric-id":4736975,"id":"Q4736975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$560DDC8D-1E87-42A3-8201-020B59488734","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bd0d2004971db48e861ecec36573f0c8bd7609f","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$BF679C43-17A7-407E-BC60-33FD922F8A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f52b2fee403cf4daa690005b8ad8a9d954b59f4","datavalue":{"value":{"entity-type":"item","numeric-id":31452,"id":"Q31452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$A2637C30-8F92-4A9E-BE27-65FFA2DD0975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832103$C3AF36F1-9F5B-4BEB-8611-47CA0CBBF7CA","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":"Q832103$CE790E15-E628-43E8-8986-F372698FBF39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"650baa827af7f75e636e9500b510c9eb5cda5887","datavalue":{"value":"https://doi.org/10.1007/978-3-030-83978-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q832103$D2572E83-2063-48C7-A0FA-7469EE000128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1c22bc0ebc4fcf7ded447dbc3d9c147875273c0","datavalue":{"value":"W3195045086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832103$EC81237C-53E7-40BD-A4A0-E7FA33DF5419","rank":"normal"}],"P1643":[{"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":"309a16ed550f5e5268139c63249a9c74fce6b2e0","datavalue":{"value":{"amount":"+0.8020243048667908","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":"Q832103$5CC71D72-ABEA-4E99-A348-7466A0EE8577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaadebc466006f9ba58130f8a493cb2148622f8","datavalue":{"value":{"entity-type":"item","numeric-id":2829254,"id":"Q2829254"},"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":"Q832103$8088A1A8-4831-4CD2-9B81-1EE2C9CF4313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f443a7429723175f4fe233bac2ab3d4741f8908","datavalue":{"value":{"entity-type":"item","numeric-id":1019024,"id":"Q1019024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a9b0af1e7e577a30821ce01bd23004f2bbda3f","datavalue":{"value":{"amount":"+0.7654790282249451","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":"Q832103$0C102414-FD0A-4D89-B226-2D45F9FB55B0","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":"af10bbe6ab22b706197b15511b061cc23788f9dc","datavalue":{"value":{"amount":"+0.7627364993095398","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":"Q832103$549A2EE6-B944-4BB8-91D0-FAC035A3E59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ecfb31ea6a40a0d2ae59130ec9f6f04cd0d466","datavalue":{"value":{"entity-type":"item","numeric-id":3582730,"id":"Q3582730"},"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":"Q832103$F7A4F478-7608-412F-ADBB-290FCAE79169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofViz: an interactive visual proof explorer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProofViz:_an_interactive_visual_proof_explorer"}}}}}