{"entities":{"Q2979883":{"pageid":2990608,"ns":120,"title":"Item:Q2979883","lastrevid":52792019,"modified":"2026-01-23T12:39:43Z","type":"item","id":"Q2979883","labels":{"en":{"language":"en","value":"On the need to specify and verify standard functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708361"}},"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":"Q2979883$BCD74513-29FE-4E2A-97AD-AFF7975DA05D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58bc603c7f6acbe053929292dc8fa51882289f21","datavalue":{"value":"1374.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979883$F632FBD6-3A00-4269-AB11-795ABE42219B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979883$4350F219-5163-4CF0-83D9-6690249D986A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5136aa5d1d5384ee622607c2cb579d682b7a682f","datavalue":{"value":{"time":"+2017-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2979883$0E02D0E0-E0FB-4691-8B36-D36708B3C2E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b15b181184af02a67024aadce26025f2b697a664","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/libverbulletin15.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979883$BDF67FB2-021B-4EED-85E9-076F83CF8902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979883$D45DC699-77BA-4AAD-9C5A-DA3D1EF0EC5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eb03ea03974d75bc0064dd2951e8bffcd980c7a","datavalue":{"value":"6708361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979883$56B96A77-2D6A-46BB-A598-42CB7FDF1548","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24470530206af106cf04df2acfac7fac70c80a2f","datavalue":{"value":"mathematical function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979883$B9D4F85D-4BB6-426C-8133-73139A5E963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2fbb3b7a038098a690569b37ec0aef2fac5f3f","datavalue":{"value":"standard library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979883$E11B3330-22A6-4A2E-93E1-7739811BFA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979883$08A990CB-C8E3-4421-AFEA-15F4D280EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beeb304cf96fc46ea459300ada38395ccb79e2","datavalue":{"value":"formal program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979883$D1C95C9D-A861-41D2-8C0B-3F1F18B4294B","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":"Q2979883$179273A8-7821-4A08-9B72-7282A18E8B9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebb7405b2ce424212f6daec39dadcff0eca82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3402284,"id":"Q3402284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acac2d79887b1f16908403a0b6dd862f26fb46c6","datavalue":{"value":{"amount":"+0.7456491589546204","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":"Q2979883$B39B4FAC-6374-4E30-AC43-CD00D6478E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a3fbbb0853122cf0c5312a69f8a8d03a7ce3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5747852,"id":"Q5747852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e006ed71d35a704befc5de0941a244b578261720","datavalue":{"value":{"amount":"+0.7257028818130493","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":"Q2979883$4623AF71-3523-48C1-9A30-5EA9B9DDF1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449acbaf02d46ae56007b9b86e339b8746e2f880","datavalue":{"value":{"entity-type":"item","numeric-id":2387784,"id":"Q2387784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9703398beac7ff0516fc460644df1e9c48764d4a","datavalue":{"value":{"amount":"+0.725591778755188","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":"Q2979883$7BD1159D-5782-48C9-AD3F-312EFAEF9F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a95b173900045c9b2b18e4a866f310c415e0010","datavalue":{"value":{"entity-type":"item","numeric-id":926622,"id":"Q926622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a667bd692c76da85ac0fcf68377a5dba604b6fd8","datavalue":{"value":{"amount":"+0.7222564220428467","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":"Q2979883$61455FCC-FD02-4FAB-844C-8B1ABF65AF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3702a91d32369e8a0bfc0ab08d75b877e211c5","datavalue":{"value":{"entity-type":"item","numeric-id":4011363,"id":"Q4011363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b6599650a4e78fe533898549c1be82a5eb0774","datavalue":{"value":{"amount":"+0.6877074837684631","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":"Q2979883$60492A2F-82F4-4F61-9BD2-C91F3220DD1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2979883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2979883"}}}}}