{"entities":{"Q3034850":{"pageid":3045566,"ns":120,"title":"Item:Q3034850","lastrevid":49348945,"modified":"2026-01-07T00:24:13Z","type":"item","id":"Q3034850","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133524"}},"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":"Q3034850$C8368BBE-B25E-4330-965F-C2823D6EE569","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d8434c17d88e34e182b9577653ccc0661190d69","datavalue":{"value":"0692.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034850$D91023B7-7C3E-468A-987D-6DFA5FE6CA43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb70dca4df364772ba1a8a49fd3075ccc08e3e3a","datavalue":{"value":{"entity-type":"item","numeric-id":582034,"id":"Q582034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034850$F56ADBC1-69EF-4531-AAAC-223EC60D8E2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3034850$09157C2A-8850-48AF-8367-6A8037B3B8CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034850$C929C95F-272F-464A-A56C-8A3D0DC276C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"274118ebf9fc6623ec2a27d7c4601a6cf3476678","datavalue":{"value":"4133524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034850$8B23DA0C-FBB1-4720-BB03-FE5A62C1A466","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034850$83B5C2D8-3C81-490B-8D29-D7478D97BCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034850$B8F2A4C7-490A-456F-A237-12E6583D92EB","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":"Q3034850$CF3F5A6F-99C5-4E38-8D04-56F872E13B39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b1eecbcdc95803b8573d7e6232291d09bb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4733440,"id":"Q4733440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efc65e257c18cd8aa10830a133ef6b120ce927a","datavalue":{"value":{"amount":"+0.7502759099006653","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":"Q3034850$16BE877E-D11E-4D94-A3C3-654AC87A14D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc60b04a4b264638590842987a865a67bfd9479b","datavalue":{"value":{"amount":"+0.7430445551872253","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":"Q3034850$FF3758D8-002A-431F-AA1B-3560022D2D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27834f8881d79d504650b55693f4830b894523f6","datavalue":{"value":{"entity-type":"item","numeric-id":4530805,"id":"Q4530805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2376ccaa378f86316f30664b567de00443b8b54","datavalue":{"value":{"amount":"+0.7400546669960022","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":"Q3034850$A912A98E-9DD1-41C8-9C67-3B75682D60C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083ab8552d150c69ba1de8c9b95e269358537be4","datavalue":{"value":{"entity-type":"item","numeric-id":3582703,"id":"Q3582703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc56b2954018c14542aca49911d150abe5bcda5","datavalue":{"value":{"amount":"+0.7342739701271057","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":"Q3034850$13FF2151-0A5C-4C2A-BC75-FB8FB5385A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50085ab6d6b640c6fb1612f287a73ddd0c25c7de","datavalue":{"value":{"amount":"+0.7302127480506897","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":"Q3034850$8C2A5BFE-26C5-4AFE-A928-86D44F2F7662","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3034850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3034850"}}}}}