{"entities":{"Q3075241":{"pageid":3085957,"ns":120,"title":"Item:Q3075241","lastrevid":45397321,"modified":"2025-12-07T02:56:41Z","type":"item","id":"Q3075241","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850137"}},"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":"Q3075241$A07C7D1C-38FD-4658-A08F-22A3A2A68EBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e7fedce1d7f81889acac627e7e2a434863235ec","datavalue":{"value":"1211.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075241$85C66B94-5637-44D5-AE4F-F46D36A91664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$4060A049-BA42-48CE-87DB-ECEE6329EE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$53D5D35E-0417-46A7-B0E5-1D522179E471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c08091180089def748f7e20273d2f981bdee68","datavalue":{"value":{"time":"+2011-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075241$CE9803FE-A20E-4D20-8C4D-4CEA71692976","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4032b6418d9c32b33b4cbee787df400a1ece0ff3","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1710","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075241$F858B4F3-8B71-422E-B329-34E29220E8CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075241$3712FA8E-06FA-4BEB-8D20-6FFE2BA26E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075241$10D3BFC3-B838-48F2-A7E9-AF9A79B43779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0ba1305aa93e10ece6058776525d879ae52c503","datavalue":{"value":"5850137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075241$E9CD799F-DD33-4519-AA28-D8CCF897C2D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075241$EF5FC3D6-3350-4B63-B850-48BAFED42FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075241$0B2DAE86-49DC-4B8C-8EB6-F6603536BFF4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58035a6d5b9e51c740620804674c88b1baad9226","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$32221108-1A0E-46B6-B69D-892977F05D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$F5AFCA66-26B2-44CE-B8C8-B08D23422D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$5534281D-08B0-438B-B93E-EB010EF1A40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$81D4790A-6C67-4F2D-83F4-BD0B883FA4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$F25A368D-0809-427B-9C11-5B34F4EB3C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$33A4FAA9-296F-436B-9653-5CB2CB1DBB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$26A8960B-8286-42B0-8C2B-C92EA7AA3288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$253CE0E0-1CDB-42CD-BB47-5F325A002B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$E898C948-312F-4DEA-9268-E9BAD94DB0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$B57ADFF6-9238-4DDD-97E4-072893096757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$77E31309-16FC-4D19-BF82-0E9A799A644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$D4AD33BA-034D-469B-BE8D-3F337AA14DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$C6179019-3F34-438F-8184-587C4C757498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$34F7DB21-0F6A-4359-B06E-83561B93DC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$20CF2810-DAC3-4400-A4A1-D7467D7D553D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075241$16065B4B-161C-4BBB-A6C6-DF55B37F85E7","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":"Q3075241$A03408F4-59AD-48C0-94F6-98256051A404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66c02472b2c01297df97eec5f20430d679117b","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b18c3badf321a914479f6a2fba181aa14116ec","datavalue":{"value":{"amount":"+0.9043453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$8823B300-73BF-48AB-9DBA-66EE6F9B9231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af319d95894bd51d563498fa66b2bb6f616e464b","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72216f7477e26e85ee2b45bc7880d021586e37b4","datavalue":{"value":{"amount":"+0.8944925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$B7BE3DDE-4BD5-4C7F-8404-20CBCD3BB500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223db4af4c4511d92bfb70be4f462ce4f636a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3613406,"id":"Q3613406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c867035026199768bc20691a6b5221ffadd2c398","datavalue":{"value":{"amount":"+0.8888634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$F88FA66C-D02F-42DD-98EC-2ECCDD74AC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbb6118fbe21887df6b2f66012ff60140cd1240","datavalue":{"value":{"entity-type":"item","numeric-id":3541725,"id":"Q3541725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68379190e338d1c69e711408d18ec0c70601b7ce","datavalue":{"value":{"amount":"+0.8873703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$01B88E57-1C2E-4808-82FC-76EBCDEA174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16522ca53e742e8fd6407501c63855122839fce","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b9444dc7673bda17d28709911b312cc6f5a969","datavalue":{"value":{"amount":"+0.8803409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$9FF73518-FB6B-4461-875D-FADCB85F74DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16053aace68649c794760ce4ef92c7682971b50d","datavalue":{"value":{"entity-type":"item","numeric-id":3978317,"id":"Q3978317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb327bb15cfbfe730d84bead65a30ecb422588b","datavalue":{"value":{"amount":"+0.87916136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$3699A3DD-5B5A-4E53-8BBE-56A23E05DC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9391c5d4ed76562959a52de47bc6269edf389670","datavalue":{"value":{"amount":"+0.8784499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$E33DBC23-10D2-4D7B-8E39-4F273FF979FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf49746178cebdd65335808acbecf9307429d89","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b075e47e33f39c5576c4d1647bce4b406122c365","datavalue":{"value":{"amount":"+0.8777336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$C2CF579C-7970-4FBF-961C-27FC14FD8160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51f06365d54b60e398b665828611fdc312577dd","datavalue":{"value":{"amount":"+0.87757915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$A8D5B66A-68D4-4F49-834B-62EA2ECF954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76dd043fb0c135beb3731413952cd950fc766cb1","datavalue":{"value":{"amount":"+0.8733964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075241$B405F809-395F-4BE1-B95B-10FFFB7C9819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075241"}}}}}