{"entities":{"Q3682462":{"pageid":5712368,"ns":120,"title":"Item:Q3682462","lastrevid":50092048,"modified":"2026-01-12T22:15:25Z","type":"item","id":"Q3682462","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904558"}},"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":"Q3682462$A2268E57-19E1-44A9-BA22-B6C698357422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f50af3a915e57e991f04f02dd6b48d315ed02345","datavalue":{"value":"0567.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$E973C42E-1905-44D5-A363-769EE2C6FE1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3682462$7CC1785C-1C26-44F8-ABED-BC7B0E4385BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$B492BBCA-0A35-4764-B956-637BCDE43A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$C897DC53-26BC-48D9-BAC4-FF2DD64BE192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$67BFABAC-3379-400D-B8DD-4DA0AE9376C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$AF05F267-6945-47E4-9945-145578C71006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$43562061-76E3-4DD5-82DD-AB8B6DE53BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc083c68c34d0357279895eaf62bc5973851f3e7","datavalue":{"value":"3904558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682462$F973BEFF-95C9-40C4-A72C-842B99D0D416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682462$10B3ED50-64F9-4E58-924D-727E7DD94C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a8a44efa33e70429c838fbf25a13a77956cfa7","datavalue":{"value":"automation of reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682462$2BEC1A81-4BBF-4F04-9DA5-6B1B1BD752BD","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":"Q3682462$769525E8-3ADC-4212-B568-34018B6328FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfec4533bdc71063bcd9b325c2a8834f6706e18","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3150f64a04f27db8f802366710627a3dcdd918d","datavalue":{"value":{"amount":"+0.901228666305542","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":"Q3682462$034178BC-587E-481E-A6CD-FF2218A0CCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2735f4a7395cc827f99a97ae68d5ceac0969424","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32a4b0d0abc252746371a0ca29496a8ddf81dcc","datavalue":{"value":{"amount":"+0.8284823298454285","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":"Q3682462$DBF7DD2D-016D-48D8-B42E-8BDB66D66E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e05e3763ef889a14e63cc327187b34b77de4fa","datavalue":{"value":{"entity-type":"item","numeric-id":1137026,"id":"Q1137026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4a3d2601ae7d644c80f607b9be74a930121b67","datavalue":{"value":{"amount":"+0.8214120864868164","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":"Q3682462$C92FDABD-0691-43C3-B832-0B56281543E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd005206203014e83c667b9b2ae43263bc5e2d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3792211,"id":"Q3792211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b79e3aa1ceb26a8551fbe4c6304ca435ed6aa4","datavalue":{"value":{"amount":"+0.8172439336776733","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":"Q3682462$5957A57B-CBEC-4635-A7CA-3D47D740AD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d1970c032788f9f6c7363cfa128f18336d3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790780826436dee5168f46d5ddeb19407f0cbae6","datavalue":{"value":{"amount":"+0.8101630210876465","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":"Q3682462$0AE15F1F-5538-4339-A40E-FFE85D99A8E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3682462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3682462"}}}}}