{"entities":{"Q2907340":{"pageid":2918065,"ns":120,"title":"Item:Q2907340","lastrevid":58054773,"modified":"2026-04-03T15:16:38Z","type":"item","id":"Q2907340","labels":{"en":{"language":"en","value":"A Web Interface for Matita"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079512"}},"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":"Q2907340$AD51AB76-AE1B-4D0B-A04A-F3B2B09A3895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6929d3d9c7e09bbf4b51897893fb08bc7a4b372b","datavalue":{"value":{"text":"A Web Interface for Matita","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907340$0AA54C54-1529-4DBA-A863-21DD3A11692B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"613c77f787d32199d4b5b6c0f21c793a2dbf70d9","datavalue":{"value":"1360.68739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907340$3FD2DA05-0FDE-444D-A47C-FCE27FAB3122","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c774ad97e5c1a6a3a4e4034afb085ed2ac31d4f","datavalue":{"value":"10.1007/978-3-642-31374-5_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907340$5D0D0D5A-B5CB-41FE-B510-06F834CC8862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907340$222B7D33-98AE-48C0-BBC6-06FD44C6A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907340$8AAED2AC-F93F-4E45-A1A6-46D3F0147A61","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":"Q2907340$924A6B3D-F858-4416-B7D3-CCABD67A4E76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907340$E5FF1EA9-DF9C-475C-8D41-039995FD9CA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"951d04eaf63959f47ce4fd5874c3492dcd10501c","datavalue":{"value":"https://arxiv.org/abs/1207.2892","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907340$FD9500D2-C6ED-448F-A862-EBCCB0A96E4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907340$558B3D78-F3FD-40DF-92A4-85E5455EFDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907340$4EA3422A-3E2E-4B8C-82A6-53600051CE2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfdb32eab39821057301554ffc0de3fcf0cb913b","datavalue":{"value":"6079512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907340$CA2431D5-5536-49DC-A17C-71BC37FC5DE8","rank":"normal"}],"P1463":[{"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":"Q2907340$39182CD0-C765-49D9-8362-38B9313F15D7","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":"Q2907340$95B24B5C-68D8-4D60-870B-3758D6912C79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a0ae67c0320c407c12f688371590d0cbccc0d6","datavalue":{"value":"W3122284613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907340$C472F9C2-929C-4E63-8AA4-436197E93528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907340"}}}}}