{"entities":{"Q4524792":{"pageid":6554384,"ns":120,"title":"Item:Q4524792","lastrevid":47558989,"modified":"2026-01-02T02:05:26Z","type":"item","id":"Q4524792","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552532"}},"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":"Q4524792$FA3CBC40-230B-49C9-A7F3-20B48ECBF022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"492a702fa5ea3b0483a32cef781df86ab744b132","datavalue":{"value":"0973.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524792$E61A7305-AD73-44FC-A25C-9CB23F8A7106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524792$1E94B640-8ADC-444F-A736-AC4F2473B2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524792$96825F61-D390-4ECB-9E49-E4B4AA89FE53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a43adefc0e2387468f62816a0a1cfc8a0f64a751","datavalue":{"value":{"time":"+2001-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524792$9DFA9199-C58B-4448-BA5B-30D8BFCE5E88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524792$B050E1BC-E92A-4459-91E7-3AD3847CD17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524792$60B5D7A4-C568-4F00-BEC6-D7D31D0469AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d755c33e4dfbd83ae12f5fceeb0bd7b671bf6aa","datavalue":{"value":"1552532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524792$977298CE-64D3-434C-A1C6-53F2F519C2C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524792$ED60EB47-51CF-4F6D-BB8C-E70F95D1CE28","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":"Q4524792$786E2927-B7BC-41A7-906F-554877877F3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b4e5a63cb4379d9ebb8567a8fb5f4ba79e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f85abec70b5900edfa6c29a25c115a35cc1d65","datavalue":{"value":{"amount":"+0.8512611389160156","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":"Q4524792$AA352078-EAA9-4BCB-AC92-F10379FC3932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05dbd5432c328a60a99dfebb243a4883ee015ea0","datavalue":{"value":{"amount":"+0.8392475247383118","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":"Q4524792$24901627-1292-438A-B558-F7E35C97A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126f7aadcf86a4abb574c1835ceb3af729a14aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4255513,"id":"Q4255513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35a096933b572d70a92873cc086d25e25cd1fcc","datavalue":{"value":{"amount":"+0.8187210559844971","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":"Q4524792$B581F3A9-80B5-42C6-B96B-70FEBA5514F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8cdcc0bc38cde26587a3338b1faf976e3f210f","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31836e5e6d9b06fa832e928ec246283e56954435","datavalue":{"value":{"amount":"+0.8173254132270813","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":"Q4524792$09F4B515-41FE-4D1D-95E1-211BC8CAD52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b1cca5b3b4f8752faa6dd4c1672915b638687e","datavalue":{"value":{"entity-type":"item","numeric-id":1060857,"id":"Q1060857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fda93c9a149791f3b4eed87efa15f9c41f19cf","datavalue":{"value":{"amount":"+0.8151061534881592","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":"Q4524792$AD876D29-50D4-412C-8870-04F54AB79DBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524792"}}}}}