{"entities":{"Q3637307":{"pageid":5667213,"ns":120,"title":"Item:Q3637307","lastrevid":87475292,"modified":"2026-06-04T11:46:32Z","type":"item","id":"Q3637307","labels":{"en":{"language":"en","value":"Natural Deduction Environment for Matita"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576999"}},"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":"Q3637307$42722DDB-7820-4A9E-BD4C-CCD70DBAABDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd8c1f05bb233ec5900af90d586cb72e6a2d5bb0","datavalue":{"value":{"text":"Natural Deduction Environment for Matita","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637307$F94D8AF3-5124-4502-83DC-906915A04FFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"876a4fe8f60beca106ec53b7ff9a25701bab6ea6","datavalue":{"value":"1247.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637307$0A611132-F908-4B4F-94BE-F86E4AE61502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef0dc55874a213f2b4f97b5b7420b4b01d79d6ec","datavalue":{"value":"10.1007/978-3-642-02614-0_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637307$883A4365-30A0-41A5-8E99-53487B6BF409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$07353A5D-5264-448B-A476-99431EDFF3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$B17F5860-5405-4523-A376-6447A90A73C4","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":"Q3637307$E273F59C-BB6D-4955-B36B-AA57FA0E645D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637307$2E3FBFBF-5B9C-4A2B-991C-557D7E38A111","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637307$D4E15005-2868-4E3D-A3EB-81E3A3C67967","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"944d8363d4a1bb8f44fb6f73971179344dd9d863","datavalue":{"value":"5576999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637307$BBBF0B85-3084-418B-8B50-C2C06B6706C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1dbf3000476005aea5fd6a19521823d73966854d","datavalue":{"value":{"entity-type":"item","numeric-id":17498,"id":"Q17498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$44001C34-9BEB-4848-9979-097ACEDBE044","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":"Q3637307$0765FE48-DAA5-4C00-8E08-0A968F1B8206","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":"Q3637307$7D2A8FA3-7950-4577-9F8E-A891D73A725F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e8376084c1b4e2f95dca9e08fc3cbdbe1845326","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02614-0_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637307$C612051F-DB45-4C15-8BAB-E132BBF4C1EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a93c6126609ca6fc67e56dd1789b56729efcde3","datavalue":{"value":"W1593517959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637307$44A00774-79E5-4915-B0A1-7771427F3BBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f131984ac3207e136b1a70853479403c8bddbed","datavalue":{"value":{"entity-type":"item","numeric-id":4413877,"id":"Q4413877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$5A111F8C-710C-4419-953D-A59373E0CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$4EF60AFE-4EE3-4A89-9C5B-7A549B60CA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8743681b706e2ce4c09d044c72d03276c0616f","datavalue":{"value":{"entity-type":"item","numeric-id":5756753,"id":"Q5756753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$720F0F07-1C89-4F16-8FDE-07CF34EA13F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ecba633e7dd0ac407826dd5f559a4e819c3c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2867943,"id":"Q2867943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$47C1DCE4-9EDC-487C-8040-57D9102227AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96dd678f7e77ab503651376673b231f824f268f","datavalue":{"value":{"entity-type":"item","numeric-id":841693,"id":"Q841693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637307$28652F76-8F60-4C37-8098-BD858F611FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdade178ac9ba6848e51f8546460e812ce1b68c5","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9d16c582803a3807894f274ab311c39b78030e","datavalue":{"value":{"amount":"+0.7867335081100464","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":"Q3637307$A98D1459-9B32-4742-8358-9E720AE86AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af47caf822b03a03a704ed7ee8caa15dc6e408e7","datavalue":{"value":{"entity-type":"item","numeric-id":2462635,"id":"Q2462635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5201fe4492d72381a9e1c25e63a7c78aa3c3b95","datavalue":{"value":{"amount":"+0.7685313820838928","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":"Q3637307$BD9BC4FB-BC27-4060-B279-9C64CEE2C303","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":"6d09fdc0c27de05fffcaed4f377e57bbe1c65e37","datavalue":{"value":{"amount":"+0.7432065010070801","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":"Q3637307$282268D3-B5C6-422A-82EE-E6E67464E48C","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":"81c0b1c0c638ad423ec8a04e39fa07e144d76970","datavalue":{"value":{"amount":"+0.7257428765296936","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":"Q3637307$F7F4110A-CD01-42E7-A685-93D98C3BA84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f895d2fc3e79419e1b588d4529d4e867661c3fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5427794,"id":"Q5427794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db20b0cb7358e6b8b9f24867f7213d3190cfc923","datavalue":{"value":{"amount":"+0.70503830909729","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":"Q3637307$D4C266E6-66AA-47ED-A10D-4234B81EF8B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural Deduction Environment for Matita","badges":[]}}}}}