{"entities":{"Q4938416":{"pageid":6967998,"ns":120,"title":"Item:Q4938416","lastrevid":47446177,"modified":"2026-01-01T18:51:46Z","type":"item","id":"Q4938416","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405443"}},"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":"Q4938416$93AD045D-C0B0-4C63-81B3-C3938BD0DB0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f81610f255d525fe337ae9a15d1c3409da2e8172","datavalue":{"value":"0938.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938416$2BABF3F3-2F34-432F-B682-A25735ECAD0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8267b3be2b739476dcf61b4c89d4f97117c42016","datavalue":{"value":{"entity-type":"item","numeric-id":671658,"id":"Q671658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938416$FA5E98BE-1F2B-432A-95B2-7045CCE418E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3baa85547fd531de7a5ad0a47f954b54157ef91e","datavalue":{"value":{"entity-type":"item","numeric-id":865651,"id":"Q865651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938416$6CD1E2FB-B1CE-45E8-B6DE-6F8032C3FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e0106a8247e4bf7b79a4b47524f15fadc8ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1127548,"id":"Q1127548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938416$FE2AC5CA-974E-484E-82BD-4FAF9842C54C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938416$74E351B2-4FEE-4E83-8285-F0935DBB9AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938416$F4360E83-05A2-406B-906C-D85C163430F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938416$53165C7D-A0C5-4DFD-93D4-EEFF3A71AE29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c8d910ffa68dc61c80342fa05e726d9106de0d4","datavalue":{"value":"1405443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938416$F37C22EA-B8A2-4199-A86B-68AE3EDB859F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb8c0b5efabbfc94b4fcece138025eab7d11830","datavalue":{"value":"automated search for theorem proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938416$5BA3E799-0FA1-4653-B65F-97E871A5D19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a2fed398ad3ecb64c9939d0c2e288d2602834d","datavalue":{"value":"processing of mathematical texts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938416$B9B00D15-278C-442A-99CF-CE69D7975F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938416$FEBEE3D5-341F-4BE2-9171-461096F2792C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938416$B3A45A90-F17D-4B55-B2AF-3CEEB3FE64FD","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":"Q4938416$C0367555-DFF9-417A-B0AD-E41C716834A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07cfef5e0ac1f843a0cf5e1bfe49ccfe9f301ac","datavalue":{"value":{"entity-type":"item","numeric-id":286802,"id":"Q286802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7d8a26898ed516d3495d0503b76db6f771e127","datavalue":{"value":{"amount":"+0.861368715763092","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":"Q4938416$A04CAE31-2AFD-4344-8028-B7700DF8F0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ae34fdad1c3de6f52233396721d30e865c0d78","datavalue":{"value":{"entity-type":"item","numeric-id":5195276,"id":"Q5195276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148b04f5e541febdb4a5fd3928bbdad5ef6e2a47","datavalue":{"value":{"amount":"+0.8404116630554199","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":"Q4938416$5397D457-E921-4994-88FE-542B0FBE1710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69d387c210ac0b16fdb7d240cff647e1a0c7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2737323,"id":"Q2737323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cc2a8ff05c04341c597435391d21b888ffc527","datavalue":{"value":{"amount":"+0.8314874172210693","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":"Q4938416$FAF31A21-2E29-4EA5-8FBC-A43C44BF29C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326d3df95e93e559bdc2797dd13211aac022cc42","datavalue":{"value":{"entity-type":"item","numeric-id":2751545,"id":"Q2751545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ce9a1150071a7326fd549f7463505fb0f2886b","datavalue":{"value":{"amount":"+0.8045512437820435","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":"Q4938416$AF0024DD-F62E-43BB-A8C5-1713D597FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3360a61977a1ee968db1e29c50105216b7d324b3","datavalue":{"value":{"entity-type":"item","numeric-id":4268421,"id":"Q4268421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b04a68753e87bb2914ca899ebab6ad8e31ec25a","datavalue":{"value":{"amount":"+0.7799710631370544","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":"Q4938416$71448C8A-799B-4100-A6CD-2AD4FD62C84B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938416"}}}}}