{"entities":{"Q2989002":{"pageid":2999726,"ns":120,"title":"Item:Q2989002","lastrevid":45213577,"modified":"2025-12-02T18:08:53Z","type":"item","id":"Q2989002","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721685"}},"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":"Q2989002$281B986A-33A5-4F30-A5A4-89300B093E38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c73ccc7cc14d031ec01f9d47704f1abd78b1825a","datavalue":{"value":"1364.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989002$8A21DEEE-4DC2-416F-B026-8B72F706B0C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c806b0e03062caa1c880f57960df403606c01f23","datavalue":{"value":{"entity-type":"item","numeric-id":433337,"id":"Q433337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989002$332499DD-7C17-4B20-B28D-D46C034A8A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be5440cea38e13b33c53cbe578c9b791d6ae808","datavalue":{"value":{"entity-type":"item","numeric-id":433338,"id":"Q433338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989002$A9499717-1129-40DE-AC63-15A728D4BA4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2989002$CA2671CF-8DF1-49E8-8C59-C9C87DEA158D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3507a12ba0a999766ce6ce578b1bc80c6238f0c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066109004460?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2989002$AAFF8D8E-FEF0-427A-B435-2283FFED72E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989002$A58A40A4-DE5C-4F9E-AFE5-C7557FCF0323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989002$0E69E57E-A68B-4E1D-8AFF-17CE23C7A017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989002$6097A33C-D41B-4F64-8D25-8578AA9EB0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989002$91D6A9F9-0D55-42C2-949B-B0E0A0CAEC20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"125596f0d8bb28a2329c0e700359446f0fef89ac","datavalue":{"value":"6721685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989002$B46E13BD-7F8E-4A34-B654-05CEED8E77A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989002$5B669DA7-FEF0-441C-B0AE-84F277E606E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84246d9df149fdf9be63866576d200496f6b732","datavalue":{"value":"object calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989002$B6CAB3D7-9997-4A4E-B8F7-5B8707C75305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8a2cf454bdce583121314690edffd36ff168a0","datavalue":{"value":"futures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989002$1EAA9370-AED8-4E00-A3CC-5CCDA2E24C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a125a2b8c88c30e2e238d34505df4ceaaf5f41","datavalue":{"value":"distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989002$F57FFA28-110C-4D63-93EF-EFC1B6A527DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989002$6907D8E6-0C68-446E-BD43-93FF22967F50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989002$D1D981FA-5833-44A2-B6FD-4A6825E67264","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":"Q2989002$77780A8B-24CD-4C75-90F8-3D4B5663B678","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6dfb0898a6edfb0a019ff04ac3e492b7bca39d","datavalue":{"value":{"entity-type":"item","numeric-id":2906949,"id":"Q2906949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee23ab666e05d6f37bd4c6d627bdb592507915f4","datavalue":{"value":{"amount":"+0.8804648","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":"Q2989002$F34AA711-FB8E-43D0-B42C-B1F45C8025AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba0cf142c5c0ca7aa2760af7f970952d1d06ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4790347,"id":"Q4790347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702cef24f747828a7ead29f8529536f652677963","datavalue":{"value":{"amount":"+0.875093","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":"Q2989002$D8284573-9FFC-46E5-A714-5D2C67A45349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f33527d21d685f601e3de7087ecfd98b7c2703","datavalue":{"value":{"entity-type":"item","numeric-id":433340,"id":"Q433340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7202b3090c0d3be917acacab8b10d15054f18055","datavalue":{"value":{"amount":"+0.86919945","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":"Q2989002$EBF1E250-BBCE-4CD9-B745-31C979227460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7e1c52c418c1d98ef32b85e85fb63f2e03d296","datavalue":{"value":{"entity-type":"item","numeric-id":4790922,"id":"Q4790922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b503173560b36af3147748b19994d92850563b36","datavalue":{"value":{"amount":"+0.86465305","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":"Q2989002$FD5DB428-D0CE-488E-8EAD-ECF1F267DDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1263d85efd45c282998b74af563f6de32306fe","datavalue":{"value":{"entity-type":"item","numeric-id":6104495,"id":"Q6104495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f57c3fac3659dc46115d40aec4df1dc7338767","datavalue":{"value":{"amount":"+0.8569063","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":"Q2989002$CB3E8036-0D39-4746-99B8-D97EDB47431B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20064da0a0397d979008c6ca2a64b9c8a4f5925","datavalue":{"value":{"entity-type":"item","numeric-id":2766808,"id":"Q2766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b03dc2743d62ccd393fb1db98f7e8bef54b684","datavalue":{"value":{"amount":"+0.85549295","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":"Q2989002$EBCD4ECB-6E05-43E7-9EFB-2A6336CB2FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38492b5b2b466dd636a660720c995a083f69dcdf","datavalue":{"value":{"entity-type":"item","numeric-id":5738966,"id":"Q5738966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfeaadef37261dcfebb6a279f2153ce4a0f0a57","datavalue":{"value":{"amount":"+0.854455","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":"Q2989002$371B6181-134D-4178-9F4B-B75EB645C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9c272b60cc777d9545c9deab30c1003dbd71e5","datavalue":{"value":{"entity-type":"item","numeric-id":5043596,"id":"Q5043596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0482f9342cdc1687cb3b1f02cfad3955164743db","datavalue":{"value":{"amount":"+0.85185385","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":"Q2989002$A244AA22-DFFC-413B-BB5F-59A96133EFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0636492d5049cad6b85ac4ede3aa7e09b84e6cae","datavalue":{"value":{"entity-type":"item","numeric-id":6159927,"id":"Q6159927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0482f9342cdc1687cb3b1f02cfad3955164743db","datavalue":{"value":{"amount":"+0.85185385","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":"Q2989002$7E903505-B251-4E6C-A820-86FAECA222A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2989002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2989002"}}}}}