{"entities":{"Q6488577":{"pageid":14067346,"ns":120,"title":"Item:Q6488577","lastrevid":103341554,"modified":"2026-06-06T07:12:04Z","type":"item","id":"Q6488577","labels":{"en":{"language":"en","value":"IMPS : An interactive mathematical proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680845"}},"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":"Q6488577$E30C0023-FD8C-4D7E-8C94-D47AA94C2B83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bddc97c9666011975a6bbb627b64f4b986c004aa","datavalue":{"value":{"text":"IMPS : An interactive mathematical proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488577$5F890C7E-F502-49C2-90D4-C6652DE468F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ed8b4123b6b43e10c8efc8a83f06c250918ee45","datavalue":{"value":"1509.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488577$30A0DC18-29FB-4776-B11C-BB881EF93EE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a90d1a2a3ddd23e763dbe23c202638b407a01b27","datavalue":{"value":"10.1007/3-540-52885-7_126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488577$CC7138DB-EBAF-4D44-A1DF-D43F77C147AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488577$14F31BE0-B903-421E-B150-EBB3EFAAD5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3ea61918f77787173b7c1e9095fc1727d95271","datavalue":{"value":{"entity-type":"item","numeric-id":437027,"id":"Q437027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488577$1DA42B3F-C149-4637-A575-268A71D717B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f85d800d926163e56eda47658fa50e111286a2ae","datavalue":{"value":{"entity-type":"item","numeric-id":3592778,"id":"Q3592778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488577$32D37F7A-99E8-4EF6-ABF5-9AF240B5F656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488577$9C556419-F87A-4737-9181-D9A7B71C6821","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488577$7C729482-F6CB-4D42-B8CF-A58C203E251D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f72d0e7312c35067b803b78d788621782f4c33b","datavalue":{"value":"7680845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488577$D9CE4839-DCB7-44EB-B5AB-6D6031B5FCA9","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":"Q6488577$B84FB2C1-1731-4785-8644-B0B82C96AFE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ceaa295163b971ae499531a20e1ec0863c4f76","datavalue":{"value":{"entity-type":"item","numeric-id":751642,"id":"Q751642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488577$046B0612-D0F0-47F7-9EF3-0EA6C0216882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IMPS : An interactive mathematical proof system","badges":[]}}}}}