{"entities":{"Q4028333":{"pageid":6058087,"ns":120,"title":"Item:Q4028333","lastrevid":55215394,"modified":"2026-02-04T22:08:43Z","type":"item","id":"Q4028333","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139977"}},"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":"Q4028333$DA4D68F3-3004-4585-AA28-424627234595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e9385f2a9829bf8aff1c46bd977799ded356fc","datavalue":{"value":"0760.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028333$CD253E3A-FF30-4BA6-837B-A5E6C436CFDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028333$EBA2A034-8E96-4E1E-802E-564769E406B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028333$FE9AE718-24AC-486E-BE24-AF7EA9A696F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028333$D86F867B-C7D9-4256-830F-4488F0975B6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7727401d1991789cc617d6c1a0283e3bd83be1b","datavalue":{"value":"139977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028333$E34677E7-B9EB-4FD6-AC34-CF8489F5C3AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99b25513c053fb3172b496291a7fc056e64023a","datavalue":{"value":"Lambda design and proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028333$21DECAC0-D96D-41DA-BAE3-A0C60CF5B2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f875a55e1989eb34b41d1ab74d98978b94336d55","datavalue":{"value":"hardware descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028333$276332BF-E197-429C-B4B2-161CB68AFE32","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":"Q4028333$AB499493-178E-477F-85F1-0AB738292863","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a09ec0d999f0ff91dd7b2b9ae810c67dc3cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":4885879,"id":"Q4885879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc6c236457f38d01b6782abcf34d93ac50b7574","datavalue":{"value":{"amount":"+0.7542123794555664","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":"Q4028333$97D3F721-A7FE-4CF4-A5C5-6630651B3BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21618c33755d34119c83c7d442dd2530ec4786f","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc6c236457f38d01b6782abcf34d93ac50b7574","datavalue":{"value":{"amount":"+0.7542123794555664","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":"Q4028333$29674873-9C35-4E80-998C-4A80725A66CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7963b574f5f52ab0cb7c9300710e3fcf461063","datavalue":{"value":{"entity-type":"item","numeric-id":4255534,"id":"Q4255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22059799092919c4ec54186dfe7cd21b6a2c393","datavalue":{"value":{"amount":"+0.7467333078384399","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":"Q4028333$C52ED9C7-9B62-48DA-8308-0AE957B884C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe8a148e1ae8cb24d477457ebc2683a0f5b602c","datavalue":{"value":{"entity-type":"item","numeric-id":2720898,"id":"Q2720898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22059799092919c4ec54186dfe7cd21b6a2c393","datavalue":{"value":{"amount":"+0.7467333078384399","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":"Q4028333$BB50D7D1-4F32-4495-8CB7-6C4275F665E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c999a004719af0f209e07ab61ef13f4b9b3b79da","datavalue":{"value":{"entity-type":"item","numeric-id":1870223,"id":"Q1870223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8c854609c29975d869b96bf2ed03a569ec06c4","datavalue":{"value":{"amount":"+0.7391036152839661","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":"Q4028333$217DD6DF-BD4B-48DF-9948-5E54E148AC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028333"}}}}}