{"entities":{"Q1288657":{"pageid":1299407,"ns":120,"title":"Item:Q1288657","lastrevid":67252986,"modified":"2026-04-12T16:23:05Z","type":"item","id":"Q1288657","labels":{"en":{"language":"en","value":"Theorem proving in a mathematical information environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1287593"}},"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":"Q1288657$5F323C3C-33AD-4929-922C-AE164CAB0B18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68e8173829a187a9a7c2ad55e54675b8051d154c","datavalue":{"value":{"text":"Theorem proving in a mathematical information environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288657$FE3C708B-592C-416F-84B5-592373A9038D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d06f0add09459a2e4b38c6c642059fe8fec2f970","datavalue":{"value":"0945.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288657$A7684C10-68BD-4CDC-8F53-DF363845D2E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"185b64ce1bfc17c47d5862c447c157cef76f0247","datavalue":{"value":"10.1007/BF02666993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288657$054F023F-37EC-4D71-8369-8E2FA5B5980C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$C66F023A-2D1A-4DEB-98C6-A6393A61F155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$549A8A96-6382-422C-9CA5-5ADCF5725E5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"841fe5311f2c240dc5e1c4c4e1cd6d6c518533ed","datavalue":{"value":{"time":"+1999-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288657$BA8EDE16-9F4E-42DE-ADDA-607DF05F33AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288657$FEA1106F-357E-4DCB-8779-F3DF871EFA66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833ca1725b45b8402b37519272086c3dd3bb95e4","datavalue":{"value":"1287593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288657$A4D52B46-C130-45B9-8954-C7C07D469F7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$2D5D719E-925D-47DD-903B-94B6FE1D72B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98cd83fd979958aaf8f55eedae733a1697011a8b","datavalue":{"value":{"entity-type":"item","numeric-id":20964,"id":"Q20964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$153BB37B-0347-4683-BA77-37EB69FF0062","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":"Q1288657$5EC38F4E-BC19-4A8B-8AD7-2350163265A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$B0E92BF0-60C3-42E4-B7C9-F64DD72ACD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71ce8eacc4a0502dbbba83cb4afff7c7975e4f3","datavalue":{"value":{"entity-type":"item","numeric-id":5672191,"id":"Q5672191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$86201DF6-B50C-4501-8C12-2DD480D6E94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$209EB9FC-40FD-4543-ACDA-575A21A828D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3eddeb89340a23a9ca142dbec0d4de38658a7","datavalue":{"value":{"entity-type":"item","numeric-id":1311970,"id":"Q1311970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$D038A134-6CB3-45E8-9E73-C4032C5D270D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$AD38C820-F25B-4283-A54D-0AA5ED6C954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288657$E900EEE3-A6F8-4123-B4E6-69F3D53F66C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aebd9660260b0eb005234fdc32d055d9de8412d3","datavalue":{"value":"https://doi.org/10.1007/bf02666993","type":"string"},"datatype":"url"},"type":"statement","id":"Q1288657$D7B83428-67D1-41F1-8950-101F0D8009FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20df431625b759c610b086814da46f667377d2ca","datavalue":{"value":"W2071216982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288657$92DA99C6-A094-49FE-93F3-EAB2DF954F3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving in a mathematical information environment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_in_a_mathematical_information_environment"}}}}}