{"entities":{"Q4945207":{"pageid":6974789,"ns":120,"title":"Item:Q4945207","lastrevid":47471365,"modified":"2026-01-01T20:18:19Z","type":"item","id":"Q4945207","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424017"}},"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":"Q4945207$E669E623-AF7C-4627-9D23-2872C98F6E7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca953224209f306e08f699cd5f00b5879ea6b0ae","datavalue":{"value":"0949.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945207$C878050D-F73A-41F7-9ABB-CF89B02020D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab65e9357853cf11628062544561542c4e93d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4945206,"id":"Q4945206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945207$089791F6-10ED-4124-9773-5A565132B1F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bb3cc069569633ff9e37f0261555fc8083dc4d4","datavalue":{"value":{"time":"+2000-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945207$BE205C21-463F-4AA4-A51C-D41E239BA83B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945207$0A5FFBD6-4DE9-4907-B07D-7AE8FFB5FE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945207$4AAE7D27-3F2B-45B5-8430-DA305E00B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945207$7611961E-83D1-4DCC-BA6D-912600E5C304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f58ab2cc463d33f468e163a4418d83b2cf0ec79e","datavalue":{"value":"1424017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945207$4FD60E27-E476-4F89-9307-79BE346D5DD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5344148340825f0dc8f4949ae181687a86294c76","datavalue":{"value":"Mizar system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945207$B34ABAF8-9BB5-4683-BAF4-F1A3DB377C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945207$EF213020-E571-4908-9ECA-C5A63E99AC7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945207$31D55DAA-E2A5-410D-A799-10AD05AB271A","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":"Q4945207$7F02431F-6CB8-4055-BD94-EA93B56A1E3B","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":"Q4945207$4370F758-A9C5-4DA7-AF9A-FCB9458AA9EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b542189a171fc85ab7c4d95fcceb7c87d41da70","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8403063218a659b795712df87c46d0e9d982f1","datavalue":{"value":{"amount":"+0.7755345106124878","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":"Q4945207$9C665F6F-AE9B-44AC-B1B2-E59D0F8E12C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441897fe7904c9e44fbfc08e8a7a55eaf5c3e772","datavalue":{"value":{"entity-type":"item","numeric-id":5392587,"id":"Q5392587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8403063218a659b795712df87c46d0e9d982f1","datavalue":{"value":{"amount":"+0.7755345106124878","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":"Q4945207$68F9067F-5D3D-40CE-810D-D84D9BBD068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c743139fa082f66c84f8ff6b216989e8a4eab7b","datavalue":{"value":{"entity-type":"item","numeric-id":5747644,"id":"Q5747644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac939fbe3b18c6e205323f1b9b1772bf9819793d","datavalue":{"value":{"amount":"+0.7674481868743896","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":"Q4945207$E67F209C-92A0-4A64-BFC8-C8CC66F77C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f728407adedd518fc5b29d93b87e53f6b803cf6","datavalue":{"value":{"entity-type":"item","numeric-id":2655330,"id":"Q2655330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6577ae4076d30b851d38bd09c0d818c580e3ec55","datavalue":{"value":{"amount":"+0.7423290014266968","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":"Q4945207$10E41CE2-3221-415D-A8EF-7D21D69BA513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ff8c15277365d12c6aaa93e11ac589eacaace5","datavalue":{"value":{"entity-type":"item","numeric-id":4945208,"id":"Q4945208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabb5b560fb7e657e7ff04320c3e29c24342f7fb","datavalue":{"value":{"amount":"+0.7394373416900635","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":"Q4945207$FCFA3B83-FF40-48AB-B370-B4A09113B596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945207"}}}}}