{"entities":{"Q4524764":{"pageid":6554356,"ns":120,"title":"Item:Q4524764","lastrevid":47558929,"modified":"2026-01-02T02:05:24Z","type":"item","id":"Q4524764","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552508"}},"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":"Q4524764$DC3131A7-BB2C-4839-8203-C5EED456FF88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f30271206ec9091b880f254f397b23e4e5b5a1","datavalue":{"value":"0970.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524764$8E4F72A7-B58D-4B68-AF3E-F227B42EDCD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524764$EB05C78F-D024-46AC-AF4C-68535CB7D3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524764$B543108F-8CFE-4106-A9EB-537CF8588681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abe0b287a03f6d8f6a76fd3921bd93a57d21b86","datavalue":{"value":{"entity-type":"item","numeric-id":1419887,"id":"Q1419887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524764$3C5D0B79-1997-466C-B022-EA35EB0868C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92feac844b59c0d76f08d958576484ab564ecf6","datavalue":{"value":{"entity-type":"item","numeric-id":3146298,"id":"Q3146298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524764$BD26E8BD-F59F-4020-954E-A57F7CDAE100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6a2e2d83cd24c9e72d2bfe0bf7d46179db7fd5","datavalue":{"value":{"time":"+2001-01-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":"Q4524764$3A3898F8-CB05-4113-868D-B8AE010478EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524764$E505AF80-8D8C-4776-95C1-6C4D8173603D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c060093728b486a15b1bbd14f2c210ad69ad8444","datavalue":{"value":"1552508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524764$75BE95F3-167E-4378-8073-41939F67EE14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018dc77f56efcc8f5be6946909abc9741fa7d6a6","datavalue":{"value":"KIV","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524764$18EECB66-E81C-4739-813D-F8CEAF884304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524764$8F7C1770-03FA-4B9F-AA80-98BB1DE8F259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524764$DE865983-A8D2-4322-A86E-B32C1113884D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524764$A2F74571-265F-4371-AF92-BE4278A7F274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524764$8810B12A-FB2F-42C0-8A4D-16DE9D4C0DF9","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":"Q4524764$0F3963C8-2C3D-4630-A699-9C53F8C93935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b7aa2bce2a81296f4432af903ffab266b5f8fd","datavalue":{"value":{"entity-type":"item","numeric-id":3805959,"id":"Q3805959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc2e8015fa28287349ee1512f84ed2e1ef19e72","datavalue":{"value":{"amount":"+0.8043236136436462","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":"Q4524764$59D74A67-2B8C-4EED-8927-7A8066FFE3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cfe833b200e2892ad65263b6548fcb16588766","datavalue":{"value":{"entity-type":"item","numeric-id":4858951,"id":"Q4858951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719797be61a632afac6c51dc213fec32221a1df8","datavalue":{"value":{"amount":"+0.7935796976089478","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":"Q4524764$CCCE4781-739E-4D5C-AC64-62EDC59ADAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15b367ae67621962a2dd23d164a19c1765a25bb","datavalue":{"value":{"entity-type":"item","numeric-id":4023471,"id":"Q4023471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c942bd97d198312d6cd45356150c35aa03ef32","datavalue":{"value":{"amount":"+0.7412317991256714","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":"Q4524764$3CB4102B-A3E1-4B5B-A0A8-E488D84C41A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49451e82aef643ace89a93dfd8a95c933ab777e6","datavalue":{"value":{"entity-type":"item","numeric-id":2723435,"id":"Q2723435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad41c5f9bebe06f6497dfb12b2a01cd9966228d","datavalue":{"value":{"amount":"+0.7257300615310669","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":"Q4524764$4925C747-FCB9-4F5E-87ED-B6680D0CA715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedcc7c132b89e3fbf39a3a160a0a136db68e8eb","datavalue":{"value":{"entity-type":"item","numeric-id":4370601,"id":"Q4370601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dde53f74234753650837ca3576834c8307aa5d1","datavalue":{"value":{"amount":"+0.725372314453125","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":"Q4524764$8B9D0654-FA26-47C7-A7DF-3426F089263F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524764"}}}}}