{"entities":{"Q4934140":{"pageid":6963722,"ns":120,"title":"Item:Q4934140","lastrevid":47432257,"modified":"2026-01-01T17:59:55Z","type":"item","id":"Q4934140","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389647"}},"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":"Q4934140$487BDDA2-9280-4B66-B7C4-3F98D7C6D132","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41a0915ef72ddd8e2724d83cab53a03561b92aa7","datavalue":{"value":"0951.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934140$B4ED7387-DB53-47E7-9EDC-97147D62D4D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcbf0798db3212f145c831dec4399f9e2b72b7c6","datavalue":{"value":{"entity-type":"item","numeric-id":4217951,"id":"Q4217951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$52987784-03C6-49E4-AF60-D9269C7A7AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"515a67935bb2e545e190d6b12bb29b799e3c1b0b","datavalue":{"value":{"entity-type":"item","numeric-id":937219,"id":"Q937219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$AE208D4C-FB7D-48EB-B329-2169F75F2D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"923012147fc82d4ce6ccc063c5fab01f044fa7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1389633,"id":"Q1389633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$EFC34DFC-D1BF-4391-8496-0CD4CC5C36EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$04C6ACAE-F332-4B30-B947-D8F36923455F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04a93e8a3cd0abd153a8f6f2613667c25066ac89","datavalue":{"value":{"time":"+2000-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934140$DEA55C64-936A-4914-A721-6C25B8DD74ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934140$57F213C2-41E7-42D4-BBF4-389AE8C24072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934140$05DDCC5B-889D-455A-83B1-A1F2DDB2D508","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"697c518619f7e243f7da6744f4dfd9a9f2099885","datavalue":{"value":"1389647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934140$A8F9A976-84C5-42A8-8D63-E71F4FC2D129","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934140$59753C4C-7658-4C0C-8226-E434540EBC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934140$A4AA5BBC-E53B-4820-B7D9-C319CCE3E027","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$7BC56C21-F522-4697-AFF4-E051B666E8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$1FF05AC5-FF90-4CCB-8830-08FDCF30EC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934140$F86E30B8-6208-4E34-8444-9180BD6A6479","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":"Q4934140$AD93C8EA-C2C2-4FD6-8C35-263EC7E93973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cbf49a2d34b109d22fd4aed20f4c51c8b3874d","datavalue":{"value":{"entity-type":"item","numeric-id":4217952,"id":"Q4217952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9be125e0a5a50874cab3bf6005901cb4105841","datavalue":{"value":{"amount":"+0.9931813478469848","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":"Q4934140$4E68B085-774A-4CA9-97EF-7D71643C535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a1ccdd29f698747b6aa96da88440d993be29ab","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1afe8ca0d0c4c54e1904531f039c7fdbc70e67","datavalue":{"value":{"amount":"+0.7744795083999634","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":"Q4934140$FA1386BE-2D0E-4292-A3EF-EE419F850429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb894f61d73903b4850e0f8affce8c9866828664","datavalue":{"value":{"entity-type":"item","numeric-id":5931115,"id":"Q5931115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1afe8ca0d0c4c54e1904531f039c7fdbc70e67","datavalue":{"value":{"amount":"+0.7744795083999634","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":"Q4934140$D9AC8F38-B68F-4671-A8C1-55EABCF96498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404825eb196e28e9cdb897322b5b207a1e9328bb","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a096e2fc54f8789c5a61a2368e433811319df5","datavalue":{"value":{"amount":"+0.7576215863227844","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":"Q4934140$AA28381E-A1F9-4628-BEA6-04652D4D55A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc9d0942e84fb7a62e503e275b2c81263df97e5","datavalue":{"value":{"entity-type":"item","numeric-id":5170239,"id":"Q5170239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3086c3d0ab6ae241c2cd4fe6dfec4cc3c59aeef2","datavalue":{"value":{"amount":"+0.7530810832977295","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":"Q4934140$30560A09-41F0-401F-B03D-37BA2B40882C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934140"}}}}}