{"entities":{"Q2963877":{"pageid":2974602,"ns":120,"title":"Item:Q2963877","lastrevid":52749035,"modified":"2026-01-23T10:23:29Z","type":"item","id":"Q2963877","labels":{"en":{"language":"en","value":"The language of calculus of computable predicates as a minimal kernel for functional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687731"}},"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":"Q2963877$FDF4952D-4830-4A39-9F45-54C650951B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3230641ce8d247bfd83971871058da12f89f73d7","datavalue":{"value":"1374.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963877$61BA49A0-948A-4C16-91F3-C97E65BB240D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a6a04a7f76c8e91f15632d73f7ca3b0ebf8c411","datavalue":{"value":{"entity-type":"item","numeric-id":174317,"id":"Q174317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963877$28E7C642-895D-4C92-843B-50661057F69E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963877$46244D79-C807-4563-9575-E6DF6A0D8E16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2b9f66a1eefd2c8a9bcc009a9fdb599be9deee3","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/shelekhov.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963877$993786B5-0BC6-4049-9FB2-55233DC7A129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963877$38BE74EB-6282-4D84-9BEF-D98EF98B39C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963877$C3B9F216-3482-48E1-B1E0-A22E6012B5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963877$A6C3E34B-413D-4D71-81A7-F83F1D6A408E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963877$4506BA5F-7EC8-446E-9D4C-40FA57A7B6C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e0b39daaee5ecbc306e5ae45239b9ce7e3d400a","datavalue":{"value":"6687731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963877$C3FB094B-4BA0-48D1-B209-F090D53A82D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963877$4F7B86D9-6B4A-4FA0-8BE5-119DECFC1249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00cede9ee57c2febe166e66957df88f6214d4192","datavalue":{"value":"Hoare triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963877$F6ACEFD0-9C17-4700-9C87-82379671A5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963877$49870C3A-B89B-471A-8734-64AE6CEB53F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2c10f579bad0813b791f72fcc1484fc619e422","datavalue":{"value":"logical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963877$E2CED8CA-03CD-4459-8657-8AA118B88DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92be5233ee2f6aaf82028620cf819095c292a73d","datavalue":{"value":"total correctness of a program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963877$D10FFF9E-1D99-4479-AF00-71E14447D236","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":"Q2963877$68BE394C-BE3F-478E-9FD7-4725D8BCFD7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c235f164afbea512314b68329ec4b7f8b37968","datavalue":{"value":{"entity-type":"item","numeric-id":3323248,"id":"Q3323248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84146c85dc78a3ad4cb2fd895429a4481733ed86","datavalue":{"value":{"amount":"+0.711199164390564","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":"Q2963877$1748CE9F-C295-487A-A002-187ACFB10040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2da8bfd40bc7b6b504b9a6a55f47dca86800609","datavalue":{"value":{"amount":"+0.7042914628982544","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":"Q2963877$D868996E-6503-40E0-A1B6-98FC2548A987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29d851e188e9650f65295675c057839464e861a","datavalue":{"value":{"entity-type":"item","numeric-id":1124368,"id":"Q1124368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b3941919ffdfcd5a958b19fa89d363cc5a9996","datavalue":{"value":{"amount":"+0.6975010633468628","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":"Q2963877$BD227BB6-044C-479E-969A-6436EC54006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e6bd5c28e11b3c81e92cc7d1d82f3e553ad6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204053,"id":"Q3204053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5327a36fb22747da264545b5c17a30bdbae7e09","datavalue":{"value":{"amount":"+0.6969078779220581","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":"Q2963877$2BFC01F7-3DA9-4B5B-9F59-1DB4A6BBA5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97f373de35304580b0a0b4774787235a421684b","datavalue":{"value":{"entity-type":"item","numeric-id":3706514,"id":"Q3706514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3728e176e5c99c1b69c893858a6ad2c65c332d03","datavalue":{"value":{"amount":"+0.6953195929527283","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":"Q2963877$565B1029-FA4D-44DB-8501-E370B8DCDB46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963877"}}}}}