{"entities":{"Q5387844":{"pageid":7417418,"ns":120,"title":"Item:Q5387844","lastrevid":101151272,"modified":"2026-06-06T00:00:23Z","type":"item","id":"Q5387844","labels":{"en":{"language":"en","value":"The Theorema Environment for Interactive Proof Development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279529"}},"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":"Q5387844$EBFB709D-28E8-4F7B-A887-D8903E7ED972","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edda8cd70ea8d768d26a8ac8e75cd0d9b88433e8","datavalue":{"value":{"text":"The Theorema Environment for Interactive Proof Development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387844$EDB0F91B-2D0C-44D6-A0DF-8C6428166CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0793f6eb3bc6875dd78f654a48a5bfd30c479ec2","datavalue":{"value":"1143.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387844$07E9E776-422C-48FA-B149-F13B7DFB2BC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30840953cee96c19e4bbdea6d7acc788b4c90adb","datavalue":{"value":"10.1007/11591191_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387844$E082C8A1-6F45-40E8-B71A-B7F7598A12A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78d0a0a8727e4eb912d5ed7ff93acacbbf44f927","datavalue":{"value":{"entity-type":"item","numeric-id":865642,"id":"Q865642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387844$DC488DC7-2724-4CB9-B164-D6C6DA32B6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aae427d987903b086f7261fd1e4d8ee37a346c","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387844$AB41053B-867C-4F28-8A0F-9B943A787578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387844$FEF625BC-917E-43A3-A5AA-F61E720FA9E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q5387844$B9045487-91E5-4775-9804-65868F1AEF79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387844$08B568B8-BA04-4A06-9119-1FB93175090C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387844$4F981866-B890-49D1-A185-B5519528F2B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e938600ebc9b04fd43ceba84e66540b1eff326b4","datavalue":{"value":"5279529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387844$D741312B-78A0-4C75-888D-DC3E15F17F83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387844$055B61D1-8781-421B-BB6C-C6ED3E55B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387844$45D076A0-29DC-42AA-9BDD-CC8155535F5E","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":"Q5387844$7E792CA7-5230-4477-A957-871C149A9E68","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":"Q5387844$1C33A58A-9389-4148-8503-BF156525174C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b57494a1706b324efbde50a7d378abe1aff7674e","datavalue":{"value":"https://doi.org/10.1007/11591191_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387844$C86060C7-D63C-48E5-8DB3-342642B14369","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13cdaf637a1f905017abf69e7fc76d68e1f664b0","datavalue":{"value":"W1517090337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387844$5DC4A959-CAFC-459B-8206-A87EE3E85BB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c5eb6422e70b62c7ced0dc74aae1d4a113415e","datavalue":{"value":{"entity-type":"item","numeric-id":4499158,"id":"Q4499158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bca062fe65d2eaa156021ed7900aa5a3d9e732f","datavalue":{"value":{"amount":"+0.8196621537208557","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":"Q5387844$19F26067-C6FB-412F-BF6B-7D5E27C60E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d3c74f1452c00e4d697b29b4b03afa7c01b35","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3f228cd7909570736742eee8c0b4225ac60bae","datavalue":{"value":{"amount":"+0.7777630686759949","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":"Q5387844$DF966049-20F2-413D-8C09-AA5175A308CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9726cc7376f9c9e17be44376106ad9280d3b83e4","datavalue":{"value":{"entity-type":"item","numeric-id":2819200,"id":"Q2819200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f849851acc61b58008cd50012b1020b97b8d9d0d","datavalue":{"value":{"amount":"+0.7736484408378601","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":"Q5387844$D206414B-322F-4898-A05B-DCD894DA4F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd394b71b8901b23d26099d7036d7a493bb8ac7e","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5305be2b7176ec2a78bea664a53b699af5d0804b","datavalue":{"value":{"amount":"+0.7708845734596252","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":"Q5387844$7AEF364B-A9EB-4C5C-AD02-51FD89D479C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c53ff24d99dc5823b47104c19e4145b1541675","datavalue":{"value":{"entity-type":"item","numeric-id":688727,"id":"Q688727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b55e527b291fafd8d8df95c40ed3ebb0e0e242","datavalue":{"value":{"amount":"+0.7667049765586853","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":"Q5387844$E1B0B465-C754-49EB-959C-A797B469F1C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Theorema Environment for Interactive Proof Development","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Theorema_Environment_for_Interactive_Proof_Development"}}}}}