{"entities":{"Q4720780":{"pageid":6750357,"ns":120,"title":"Item:Q4720780","lastrevid":49039189,"modified":"2026-01-06T12:29:16Z","type":"item","id":"Q4720780","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3992928"}},"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":"Q4720780$D1E8EC99-D882-4154-AEA5-2422E5577045","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2f5ee46d42edbcf49aa21f3d95a26b1074fdd6","datavalue":{"value":"0613.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$8BA23DB2-0680-472D-82DF-E20AF20467D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4720780$1403A55F-652B-457F-9143-5F33D686849D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4720780$E915CA7E-2F35-45D6-977F-17ACC5D3AA09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$566B520E-CED1-4230-AB7E-2E5172609A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$FC38E571-B4E7-4B97-AEAA-CB7D4BC67966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$73ED8367-E16B-49A6-8C56-15544C368138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$A028B19E-45AE-45EE-8CCE-781FE3BA954A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$B920EAFF-5B60-4EED-8C8A-63CFD44A8364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$165FCA30-7BEA-44C0-8CB3-649E1FB846CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$5368E878-E3C9-422B-96C7-4433D1C7A91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c45c0faf06394df584459a7a0f996e38f71c0a6","datavalue":{"value":"3992928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720780$1FB7EFF5-5066-43B0-96D9-02661E0C2BEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$43D57B16-2490-495E-AE61-7A1D5F50091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$04E50996-1935-4E14-A4CC-3E4C0169AECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a874de5fdc5eeecb422f561084462c8e330b89a9","datavalue":{"value":"recursion theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$6125A44F-2ED4-420D-8BBC-864CD3CE220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a576565d2dcb017617a27fa39b752fdf11961a4","datavalue":{"value":"language EFS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$BF4A5B3E-C5A8-436C-A25A-50E431A204DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$ED549A9C-5ADB-40FA-8315-FB0B4873CB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1bbd52c7dbbd17d50424b922664cdbda7805e93","datavalue":{"value":"elementary formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$107F2C2A-439B-4B89-B0AE-9B0C105135B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$46F46966-37BF-4E2C-BA3B-4D5C7BCC4B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720780$E3B1375C-F95D-484C-A311-71AF6EFDA1A8","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":"Q4720780$22762503-A4B5-4451-8AFE-EFBABC6317D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46989099fe36047aa1eb6e31293b85c9f8e92980","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fdc6bc996bdb8b45ebd508440ea95f9a4ab8b9","datavalue":{"value":{"amount":"+0.791250467300415","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":"Q4720780$8B0F38CC-4CB4-4A6C-97A0-2C79E2296604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe1d9f9c7d792249df1b4b6b8822fc78296a3ae","datavalue":{"value":{"entity-type":"item","numeric-id":1911231,"id":"Q1911231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfd9b859f1607d890f35908f8b534c2a3142bac","datavalue":{"value":{"amount":"+0.7805415391921997","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":"Q4720780$0DEFF73C-118C-4425-A40C-6C5CE1CEF419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14db09bbcd7df5a77dc82777a7dece1b79d7298c","datavalue":{"value":{"entity-type":"item","numeric-id":4417312,"id":"Q4417312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90f346d98441701d3b07eb0057c24d6f3ca5bf4","datavalue":{"value":{"amount":"+0.779762327671051","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":"Q4720780$EDB03212-804D-4B37-9DB5-BF3F5F906860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5ccccc3845cab9f9d2079fb15c9cc0b66d58c7","datavalue":{"value":{"entity-type":"item","numeric-id":5153715,"id":"Q5153715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b1bfa4db5a067428592a03cee6c5f93ae8ea79","datavalue":{"value":{"amount":"+0.779528796672821","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":"Q4720780$1880FEE5-6891-465D-853A-9D636DE981F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5acccd4f4a7ed7215b7e4485e8e3de4b8e2b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5435634,"id":"Q5435634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e852766a97c6e4c424a38878a587ddb5f1e5a898","datavalue":{"value":{"amount":"+0.7766063809394836","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":"Q4720780$A434C064-E899-4D2D-9F24-305829062A4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4720780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4720780"}}}}}