{"entities":{"Q3838801":{"pageid":5868706,"ns":120,"title":"Item:Q3838801","lastrevid":54495926,"modified":"2026-01-27T10:27:47Z","type":"item","id":"Q3838801","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189094"}},"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":"Q3838801$5637F703-8394-462D-8345-9B0714D69390","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a0fc3580cf2243f300229c1ccd87e5a86e29a90","datavalue":{"value":"0913.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838801$3DF0B7DC-B942-4E1B-A641-9746D31950FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838801$5D8D282A-D493-49BB-8A47-13E07E184AC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bf0a1a1429924599cfd386dc9b5aa0ec5aaa8a5","datavalue":{"value":{"time":"+1999-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838801$D0967DB9-C44C-44CB-AD8C-6DE96C2D4EC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838801$9187A573-404F-4F83-B05F-D2138655653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838801$DA45304F-D9EE-43FD-8A74-6D365E4C30E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838801$5C51087C-B22B-4876-90CD-078AC21D4F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838801$3BBD26DF-9246-4D98-B3D7-0A8C2EF21C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d0f3c28be97d03a9374e4924c27e7da16a3cbc","datavalue":{"value":"1189094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838801$241D4B3F-24A7-4626-9562-DC5B522CB36C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e812e3f0f0d4a23723066a8062418603bb47d28a","datavalue":{"value":"structures of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838801$3FCA2EDE-A8C9-4450-AC3F-C90786A92CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0224d3868b19b10f08be6741d16aeb114f1bf868","datavalue":{"value":"science of reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838801$B9F1FC27-3BF3-439C-B719-38C18C5DEB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aadfa4fcdf702c34345d14052db09a4a84dacba","datavalue":{"value":"understanding of mathematical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838801$3B3C048D-6589-49D1-91ED-30746E8D35E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838801$ACC51F2F-CABC-41FC-B14B-C2904AE844EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeabe59d4757581b815c17ebf3296713b3550096","datavalue":{"value":"proof plans","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838801$5F1AEBBD-73EA-4E8A-837C-528D8C919216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7f46eb5ab44e2d5fe3ee46c99b85645fa1a8ef","datavalue":{"value":"scientific theory formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838801$E8B0FAD1-9200-4802-8F7F-26FD2395F366","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":"Q3838801$58D20419-9557-4695-B8AF-69D986CC0E92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92de253c96098facb425b9f04f15c0aa0340f07","datavalue":{"value":{"entity-type":"item","numeric-id":6488565,"id":"Q6488565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868dd6650f92d0a0c3b42de8d39c471294698ec5","datavalue":{"value":{"amount":"+0.8658186793327332","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":"Q3838801$BC555136-A962-4372-B6AC-450CD0300DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa8577570472eaedb761c32959a0cdc05da156","datavalue":{"value":{"entity-type":"item","numeric-id":5027672,"id":"Q5027672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1ac994b4f5254d288550e46508712fb61b79cc","datavalue":{"value":{"amount":"+0.7596613168716431","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":"Q3838801$0CAD15F9-D8AC-4482-AA07-A45622340167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0df8fbfee000feea08e9fea6f2113872f2b683","datavalue":{"value":{"entity-type":"item","numeric-id":809617,"id":"Q809617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b5889f76e1937c8c398da22f0906002472158e","datavalue":{"value":{"amount":"+0.7548834681510925","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":"Q3838801$C5FC1B66-D233-4846-B1B5-7DB334DE6AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e53c11c206c753b30446eb4809e37edcd120c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4707764,"id":"Q4707764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2809c3ca3bfd1592abb8ae613bff127570df334","datavalue":{"value":{"amount":"+0.7376412153244019","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":"Q3838801$1DA51C81-2D9A-40FB-92C6-90550B6C2DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c6b79329a05aebeeaceafc262ed034a0f25766","datavalue":{"value":{"entity-type":"item","numeric-id":2702597,"id":"Q2702597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b707c57f0307de4e3f689b0463b730c23c292805","datavalue":{"value":{"amount":"+0.7340850830078125","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":"Q3838801$051C40BF-FD57-43C2-9D8A-40DBB607CE26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3838801"}}}}}