{"entities":{"Q4385443":{"pageid":6415042,"ns":120,"title":"Item:Q4385443","lastrevid":46525248,"modified":"2025-12-24T23:30:26Z","type":"item","id":"Q4385443","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140678"}},"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":"Q4385443$A96A5937-A8A2-4642-B714-AC7BDF47547A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0565e0bce5712b0aeb5d0118f0563e3040ca36b3","datavalue":{"value":"0894.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385443$0305B49D-EA07-4B71-B82B-FB17E012C39B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e350ec2c2497951599668ce40addec4f85cd4716","datavalue":{"value":{"entity-type":"item","numeric-id":1142204,"id":"Q1142204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385443$804FC8E4-84CB-4D89-A1C5-C75ABF24A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2594f89e73b893268f06163b097b703c8578beae","datavalue":{"value":{"entity-type":"item","numeric-id":2721214,"id":"Q2721214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385443$C8C3A92C-8490-417D-9936-843FE4A219B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72a1a598913095dde79e21dbf23a519334c405da","datavalue":{"value":{"time":"+1998-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4385443$C8EFA9B2-8690-40B7-BFAC-F390C032A64A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385443$3E8C3F4E-7504-4058-B3E8-EFB7CA9E4D8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"429107b2468c20f712248d00ce0b902aa9c29fb6","datavalue":{"value":"1140678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385443$7A29FA95-06F2-4B85-8BAE-D06DB8B69DEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d0fce94c1d76bead32357a68e053d8573723e6","datavalue":{"value":"natural language presentations of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385443$D31903DD-8CD5-4475-879E-DBAFA7B12693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0a93bffc8ead2f3710f3ef85ab489022d4f01a","datavalue":{"value":"interactive deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385443$C075DC66-6CA5-4638-A0D3-77BCE998E507","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385443$E35FAB3B-AB5A-4BA9-B991-E0C79C75FF0B","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":"Q4385443$D04AF0E3-C09F-468E-B225-D9616383B923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554a63a767f74be5643a0902b982692276597fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4647515,"id":"Q4647515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8baedb6305eaeed44f4301286a398c97978b07","datavalue":{"value":{"amount":"+0.8010939955711365","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":"Q4385443$E19693A2-3A4F-4E38-8029-D8CED8D67D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a5d18780a3dbdb4959fbe9fb76a2b4792c26e8","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d052e12ff9e0879fbd7d43d91813e55ac0e499","datavalue":{"value":{"amount":"+0.7900999188423157","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":"Q4385443$53C2C658-2507-4A7C-9511-DF7640087D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b536cf27acbc5a33beef423bc36661baa572cbd","datavalue":{"value":{"amount":"+0.7802281975746155","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":"Q4385443$F409017D-15A9-4758-9B9C-D9EC389AD1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17c0d4e53845a9e9b08d3ecac37e6af1eaad05d","datavalue":{"value":{"amount":"+0.7598491907119751","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":"Q4385443$7B582D88-0619-4A43-8061-3B685E7147EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4385443"}}}}}