{"entities":{"Q1365671":{"pageid":1376411,"ns":120,"title":"Item:Q1365671","lastrevid":67255467,"modified":"2026-04-12T16:24:18Z","type":"item","id":"Q1365671","labels":{"en":{"language":"en","value":"Full abstraction and recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1058310"}},"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":"Q1365671$D283A09C-2847-4A13-9B65-182AE2A00617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f813882803b3b6655cf7cc2e41e2ef22a19628b","datavalue":{"value":{"text":"Full abstraction and recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365671$E849D42B-7AB9-4405-B42C-486FC711AB58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70fa5792d4cda56f167d5514c03ae2fb63c9483a","datavalue":{"value":"0878.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365671$5F526FE5-D5DF-481D-9ADA-67B29B75C226","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9e11c9b7a7242efe090c86979598110f4bc5e03","datavalue":{"value":"10.1016/0304-3975(95)00052-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365671$30C65E67-C32C-4B03-BBF6-F2A63C637843","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$69FD3879-9784-48A8-8FA1-5BE6B5BA4264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b284835588b7f9d1305be10e0856ea84514c15c","datavalue":{"value":{"entity-type":"item","numeric-id":757359,"id":"Q757359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$027997CA-47AA-408E-9CE5-2D4AB613FE38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$7374C285-6562-46B0-9A5F-BEE3C8051FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6be3e37c641cde91cfa734d9536de0ec5c1b8bc6","datavalue":{"value":{"time":"+1997-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365671$35DF7C73-7DB2-4991-8F19-A494C3A24365","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365671$962F57F1-7449-4057-A8B7-51B30172B3D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55cc525410cd19f623a1154b4addc2d5110c51b2","datavalue":{"value":"1058310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365671$10C286E8-2055-46BE-98F1-C561D4F0A540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9c667c66bc4dd4dd141aa41ba80ae1ec3f3dc7","datavalue":{"value":"semantic models for a programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365671$A09C331B-E459-4ED9-A746-4F49875F028D","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":"Q1365671$C1B8BE87-1CEC-46A1-B7DB-54207B3FDBA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$0145FDF7-731C-49B8-8F59-103FAEF949C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$09734601-1995-4E70-941D-F20197B0DB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$B6E7D2D6-320E-46B0-BBBC-B7A6E3566924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$42F22777-94FD-4B20-83B8-F86E38E65C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$B9941789-85B0-4EA9-8C06-565E9EB38EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae439adb82343323653a336fb90498865049c86","datavalue":{"value":{"entity-type":"item","numeric-id":3997571,"id":"Q3997571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$C7D2F79C-BC05-4561-A0D0-5DDB1190C620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$00573DE3-CE63-4E57-B22E-605AED95B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$AC9963EE-F50D-425E-8A79-729CE8D721B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$E4694B7A-4A7E-4289-A87D-55AF8592525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd429f261eefdc6ca8ec98f0c5569a0148b6f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3975029,"id":"Q3975029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$E9CFFB0A-4F60-476B-9A96-A56678BC3CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a69ec3c6cceee861f5cb5fc0b7b805696cd4df02","datavalue":{"value":{"entity-type":"item","numeric-id":757360,"id":"Q757360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$0C443ECB-4C1D-46E8-BA2D-C0510D8FEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b99875d331d036577fe7a66dc4c7b8b3f2b53f","datavalue":{"value":{"entity-type":"item","numeric-id":6116565,"id":"Q6116565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$E5EE310C-24F9-457D-A1DB-32755D7B4529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624eba9896f5c06653ab73cf1f38cd4489df5d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1583487,"id":"Q1583487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$BF5E29BE-F593-494E-BC1A-EDD72C23DC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45af78a519f3828eaf148994aa95f2c0b7dba0ec","datavalue":{"value":{"entity-type":"item","numeric-id":4020489,"id":"Q4020489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$A21CB067-F6B4-409A-93FE-F88D32E140D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bdb98ebdf2d4e1fd3f5d46b558e8fbef79da57","datavalue":{"value":{"entity-type":"item","numeric-id":1177146,"id":"Q1177146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$42096EC2-7BB0-4425-9CB2-1BB4938161B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5651c3c5918f612476602f9e0a0586bc9ef71610","datavalue":{"value":{"entity-type":"item","numeric-id":802882,"id":"Q802882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365671$560B6F31-5D49-4CD8-A1A4-B1A692712DB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ca8406e0c5e863076be5793b8801245be9db57","datavalue":{"value":{"amount":"+0.759230375289917","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":"Q1365671$AFC74D5B-E5C1-4590-A7BC-B24A168BC627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb1bb3200dadfa16fb9d34c95fd84e2d6bb7830","datavalue":{"value":{"amount":"+0.7525747418403625","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":"Q1365671$7CD9E0E7-5D18-4BB3-BED6-F12EE36DD36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdbf355664dd4f56dc218f9f5c68387ab6c97d9","datavalue":{"value":{"entity-type":"item","numeric-id":699935,"id":"Q699935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d021980117c2d5c5cea92ec8fd886fc9a53847","datavalue":{"value":{"amount":"+0.7417930960655212","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":"Q1365671$03AA91F0-6A5A-4B49-887F-FCB1939F0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a2f37f7debea2b80fc6c481caf08f2f003deb0","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38765f04b0a91e0e4d9261e83200a4043ddf2b15","datavalue":{"value":{"amount":"+0.7210130095481873","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":"Q1365671$DB591EBB-D509-4307-8B83-514B4A0D3739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full abstraction and recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_abstraction_and_recursion"}}}}}