{"entities":{"Q4649538":{"pageid":6679119,"ns":120,"title":"Item:Q4649538","lastrevid":51601643,"modified":"2026-01-19T00:42:14Z","type":"item","id":"Q4649538","labels":{"en":{"language":"en","value":"Higher-order interpretations and program complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109825"}},"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":"Q4649538$BA2BFEE2-E14B-4338-9B1F-0622374827EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46ee116a6fbf3bcae1bdc5cd48644d03e466fa4c","datavalue":{"value":"1252.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649538$10A42BF2-7B07-4A93-B843-348E4992621B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649538$F92D92FF-7F89-4481-B401-CD74E8C9533A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649538$31892500-A1A4-46CA-A4FB-FCDBBBE5A15C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649538$7E5D79D4-998E-4BA5-9561-9635E3728A73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649538$9CC86861-9A8E-43AE-9638-D1C9D8B7E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649538$A285F318-ECE7-471C-91D9-2A8A97ACDE84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f3e42cfa7122c00399e86e8d59db2a76b8e65f","datavalue":{"value":"6109825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649538$F3DB66F4-08C3-4518-9283-57B7EACCEE2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6d5488e8d15d1fde00fad469cc8b42f4357695","datavalue":{"value":"implicit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649538$FE78DD6B-E61D-4643-A368-A3D2C522183A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649538$3657AA14-67B7-42CF-87B2-CAC9500D743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac40e66bcaa8b01183c2d36dca8ac7800547719","datavalue":{"value":"quasi-interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649538$7E03E604-A5F7-499D-B7E0-47C85E84FCF6","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":"Q4649538$F8B2125C-6838-44AA-986E-A899AC2DFF5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c687817a0a0ce7f217dc3607db892a94399471c2","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-00798298","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649538$58F6E7BD-430D-4496-B5BF-3D06D8E9BCBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"397406838f43e93a698c266682083add624e11b1","datavalue":{"value":"W4393967107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649538$78477371-052D-4A3E-A3A4-D849B9985108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0372c25092b68775ab7541f92944de609a316c","datavalue":{"value":{"text":"Higher-Order Interpretations and Program Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649538$64FDD982-B8FA-4AFF-A5EE-266BCB4CA790","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8ef3e9a801d3c129534632cac6db32a4386d319","datavalue":{"value":"10.4230/LIPICS.CSL.2012.62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649538$222B1631-DE55-4ABA-AAA4-DF49BA8D06FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6c7a4004257d1e116adb1c7aaa0c07889fba0a","datavalue":{"value":{"entity-type":"item","numeric-id":276254,"id":"Q276254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e16e62e4658414c3c387bc8b3f3f1e38e2c38d","datavalue":{"value":{"amount":"+0.997785210609436","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":"Q4649538$B70A1F3C-CBE1-4C1B-9450-E1A63A329C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31171f7911c58d5b9af6a1c1ee2b3d9ddd5c1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4645740,"id":"Q4645740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2f54feac15481e4d94f264386f1ff6794fd8fa","datavalue":{"value":{"amount":"+0.85268634557724","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":"Q4649538$44376E29-B325-407A-BC82-8929A78A16A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a7eb1524bdfbdbdc8c9d3b9108cffff0e8d80f","datavalue":{"value":{"entity-type":"item","numeric-id":2909730,"id":"Q2909730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d4c0421a2b8eb937ce578a1bb9be96dffe2408","datavalue":{"value":{"amount":"+0.8443726897239685","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":"Q4649538$F845386A-D81C-41E5-A169-46B1A59A11B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a335b6246f618c614632f68870f05834f0c305ef","datavalue":{"value":{"entity-type":"item","numeric-id":5141617,"id":"Q5141617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ee8caa6490f0595948bba2b2557c23f15b9ac4","datavalue":{"value":{"amount":"+0.8393370509147644","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":"Q4649538$3F0DD102-0F56-465B-98ED-7B74CAFDD7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8094e912b09c1bdc90b113ba4f4c8101556312b","datavalue":{"value":{"entity-type":"item","numeric-id":2767004,"id":"Q2767004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4fbc3f52b56df1cd900404a6c05c022f9fe804","datavalue":{"value":{"amount":"+0.802291989326477","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":"Q4649538$F4A7EAA0-45E9-416C-B55A-C79E2A35057A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649538"}}}}}