{"entities":{"Q4370791":{"pageid":6400390,"ns":120,"title":"Item:Q4370791","lastrevid":46992084,"modified":"2025-12-26T00:27:38Z","type":"item","id":"Q4370791","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1100750"}},"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":"Q4370791$10736340-73B6-436A-85DE-B15DE6C00D04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f4b70232ce74ca60cbc86239e1bab1cb3bf609","datavalue":{"value":"0887.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370791$5324478F-325C-42A9-B84D-8F23BFF80053","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d6e2c899504f72453288d77a2d8aa74f61b45f6","datavalue":{"value":{"entity-type":"item","numeric-id":4370790,"id":"Q4370790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370791$FB429E19-D377-4E56-9E0B-AC215CD02230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb647bda67350bfe1a7f1c1b62cab4270b8ebc34","datavalue":{"value":{"time":"+1998-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370791$81349930-CDBE-48DD-8BC4-6172C3D2705B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370791$D0A2294A-8BB3-4A6F-99B9-CEA3C53B8219","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"839c6f0f5970e69666bdf33ee97fee658fc31407","datavalue":{"value":"1100750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370791$18A022E6-5400-4C45-8EE7-E1AB58578BF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370791$D8ABF3E1-9F56-450B-AB66-6183398EA335","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":"Q4370791$E2435160-2E25-47C8-8422-3A7227E813C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4230457c085a286e958237458cebedc4b2bc18bb","datavalue":{"value":{"amount":"+0.7841882705688477","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":"Q4370791$4A1448D1-7C44-4BBB-A35F-9650B240D4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95534a651efba3d65a2767b50c89b962d50b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3021914,"id":"Q3021914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b69d1fb843be58fa409f4a1f5cb3731d9a1e557","datavalue":{"value":{"amount":"+0.7835924625396729","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":"Q4370791$592BBA06-8809-46D4-91CE-1971541C7F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6919ee52e0ab516df735f0867119d30ddcaee8c3","datavalue":{"value":{"amount":"+0.7796050906181335","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":"Q4370791$57648CE4-3D15-45D1-B7E2-63763A2BE4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6f21a52d9f59a11e6a6d77bbeae7ffb6f485e9","datavalue":{"value":{"entity-type":"item","numeric-id":3709919,"id":"Q3709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c955a68968fd62f4e85c72256021ac0d5a3cd62","datavalue":{"value":{"amount":"+0.7733483910560608","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":"Q4370791$33FD7C26-4628-426D-AB96-EE96255E53BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7e48fa6e84ddcca7e1e18b99081e9c71d5d052","datavalue":{"value":{"amount":"+0.7705550789833069","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":"Q4370791$92DE265E-2EE2-4A4A-A024-6036E60B7197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370791"}}}}}