{"entities":{"Q2767913":{"pageid":2778652,"ns":120,"title":"Item:Q2767913","lastrevid":83190515,"modified":"2026-05-07T06:34:08Z","type":"item","id":"Q2767913","labels":{"en":{"language":"en","value":"Two tools for mathematical knowledge management in theorema"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698745"}},"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":"Q2767913$593374FB-FBCD-4F3C-A9A2-41980BFA4AD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa979d8122c24aa4d609135c86ba8dc8fba4ea1","datavalue":{"value":"0986.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767913$28F9E853-A251-4619-995F-DF654D6D5BF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45813f492ffd54ef7ac670119822adeebd69b26","datavalue":{"value":{"entity-type":"item","numeric-id":865641,"id":"Q865641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767913$1B6B6A2D-AB2E-44D9-AC6B-F824B2AD5DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767913$A75F47FF-BC24-44E7-99A5-EDAEDE025C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1de092f67946937b91df34e98936fba6ee61917","datavalue":{"value":{"time":"+2002-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767913$F72A9663-ADA2-4E5C-A351-47F19BCBB9B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cb87c4347a9f976343116156958c10e5c05b23","datavalue":{"value":"http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2767913$9D1F40AA-838C-4608-8920-B7A2F1ADB383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767913$167E502A-0F64-4AA4-BA0C-F425E0020C18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69625c39a0a30a1e809a66c85098683be1b32bd5","datavalue":{"value":"1698745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767913$348C9EB8-8060-476C-AFCF-F1F3C0E363D1","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":"Q2767913$459C7D3A-809E-4BBF-BB75-D7B2758EC2E8","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":"Q2767913$B0527185-751C-4311-989B-2A12AFFA0A94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a4dcb5d10ce7355d2cf388c879b6a401cabfc3e","datavalue":{"value":{"text":"Two tools for mathematical knowledge management in theorema","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767913$252EFECC-7746-47BF-B525-C2866D7A6CE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two tools for mathematical knowledge management in theorema","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_tools_for_mathematical_knowledge_management_in_theorema"}}}}}