{"entities":{"Q4792019":{"pageid":6821599,"ns":120,"title":"Item:Q4792019","lastrevid":74850477,"modified":"2026-04-15T00:39:07Z","type":"item","id":"Q4792019","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1865568"}},"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":"Q4792019$D9FC60C3-F5B1-4E56-8BF3-15A393591678","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9218212924d7816b4282331d4fe89bdd9d1cb42d","datavalue":{"value":"1058.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792019$EECA19FB-1160-466E-B4C6-0AF595D5112B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792019$D33A98B0-21AB-4919-9054-4E0C388C8800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3969916875ffba003154437be3c84419eeb3ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1285860,"id":"Q1285860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792019$9AF2DD79-2A5E-4534-8191-0FA53065F59C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d60a92cf5193d6f52c3f2e1bf105194af4d8487","datavalue":{"value":{"time":"+2003-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4792019$F136FE27-9FE9-4F64-8205-3BA6EDBDE5E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792019$BF04B27B-F0DD-4730-8CB3-ED351E2BE384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792019$691C0061-00BF-4A9F-A27D-E347D87F699E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792019$E3A1DD83-C1E3-4552-8A5B-D492EDA54538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a275dd0b8bcd5da4a6a00d453d4e589232bd568","datavalue":{"value":"1865568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792019$8A762A09-7B6E-41CF-BA59-B3388A0F72B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792019$5945FC16-D84F-497A-97EF-618585C5A0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792019$B660B23A-2327-437E-B4FA-A1B3207E4F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792019$69BBBBBA-F68F-4FBC-8C26-A797E4DA5FA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792019$8DB81FC2-B997-4F57-865C-B3D3A8BCD5AF","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":"Q4792019$08C6F449-6EA2-48E7-B0A9-0C4820E3136B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790bb47fa78b6bb1707c0956e110c97e8a52fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4531958,"id":"Q4531958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9147b8bf1e1a8d1dafd7967ca219890eb417b458","datavalue":{"value":{"amount":"+0.826026439666748","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":"Q4792019$CF829273-538A-40D4-AA80-D625FE731187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a61fa3182d2eef385940fef7227e3b94e96a02","datavalue":{"value":{"entity-type":"item","numeric-id":4761817,"id":"Q4761817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c3cbca10be28d37bb72344ca5759aa3b98964a","datavalue":{"value":{"amount":"+0.7936804890632629","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":"Q4792019$B46C7464-F9EC-46D6-A156-77FA8422E8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd01de4939683a18de57b972ddc4d54c0c6fe2af","datavalue":{"value":{"amount":"+0.7936802506446838","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":"Q4792019$A1770982-3D03-4E57-98C7-4DEFCE0CE67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f88506a92079a5b24ed1e49a3b24f106d59380","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3eba17f09ded97f39ed7b4de057a69432c445e","datavalue":{"value":{"amount":"+0.7881352305412292","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":"Q4792019$EBF85FF7-9909-4C40-A20B-5956C9F06180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17680d40b3e4a3063c42da38a3078d4ed9be0672","datavalue":{"value":{"entity-type":"item","numeric-id":4817210,"id":"Q4817210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db34680392b9694ed60c6f8da8509a8f94bc9b8d","datavalue":{"value":{"amount":"+0.78731769323349","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":"Q4792019$995B6360-C4B7-4AF3-90F1-82A433B0ACE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1865568","badges":[]}}}}}