{"entities":{"Q2392483":{"pageid":2403226,"ns":120,"title":"Item:Q2392483","lastrevid":51788243,"modified":"2026-01-20T01:14:39Z","type":"item","id":"Q2392483","labels":{"en":{"language":"en","value":"Formalizing adequacy: a case study for higher-order abstract syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6193957"}},"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":"Q2392483$D202FEDB-EB1D-4C6B-8C74-C72849B2D0D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e4780262ea18d360d662b98d216008e9ab822f8","datavalue":{"value":{"text":"Formalizing adequacy: a case study for higher-order abstract syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392483$11BAD05C-2D76-40FF-A978-81C664BFCBA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20602d97847804fd0af15d184fab6642bc70b185","datavalue":{"value":"1269.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392483$2264F851-B17D-45AC-81D3-0BE0129ADDD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$43A453EF-2560-4248-9EE4-0520F74FB28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$C173ADFA-4D5B-4DDD-BF63-2265A68E85D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96bd72a5e73758bd30e2ad91ff0a0a3698c24ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1045891,"id":"Q1045891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$FEB520FB-9459-4AEF-9765-82AACC27EB73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$0ECB9132-262A-471B-9D1D-16E82D5D93D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e52174554282dcd72d8428d308340f8fb7a9109","datavalue":{"value":{"time":"+2013-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392483$FDE0F638-A83F-45FC-B250-79FDE315F15B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392483$2A13C8BF-0726-47A3-AC70-D80382CD8D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392483$EAC52FFF-CFCB-4DD7-9DEA-E216E6E1620D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7169377d1a829d45d728487306cacff3e8570b79","datavalue":{"value":"6193957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392483$B7A8503D-05CA-448E-B69A-7DB0F52F6EF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392483$2D3451B6-5F1A-4792-B8D1-442C36712A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3505d4a1a47ba6779c1bc97acbae985df00be0","datavalue":{"value":"isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392483$3D93A1EE-FDA8-4ACA-8EA6-EF2499AFC640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392483$7A35C7AE-4C3E-4220-9BC4-E465EED0B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f096f8ffbd1ceedf6bc993ca7f44927ad0aacae2","datavalue":{"value":"nominal abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392483$41E224FB-6962-4345-8B7D-3A2886E84D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392483$F9156474-AEB4-4C49-86FA-D2F601269598","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$731B086F-4872-471F-A168-8CEE853E0644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$20DAC38E-724F-492C-BB11-78A165FF306E","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":"Q2392483$4C6E5BFF-6E87-4FB1-95D0-7DABAC8E493C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3b4043728967b7baabe52b86fc37bcda4a38b4d","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9221-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392483$C74DECB1-E94C-4230-910D-8C2747277CE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b95d7d14eff650e9718108fadd4c660fd0c2140","datavalue":{"value":"W2099835716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392483$89566D5F-1D21-4D6B-8733-B0BF2955CFE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2248baad94d49deb8d6e5be7cb1220558fdc2015","datavalue":{"value":{"entity-type":"item","numeric-id":2841236,"id":"Q2841236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$768D5345-0605-4102-9BD1-97DDAF9B22B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$F2F13ECA-1FFE-48B9-A2C8-2A3597EB35E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb99815e52b0ddbf311db25f8253ec9a93bf2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":3008233,"id":"Q3008233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$6B12212F-B946-435C-ABDF-4B94DB0113C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$CC570BA2-5966-494C-AF64-BF85F4BB01AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eb448de94a47e84e3a1641027f8a8ccac116ce","datavalue":{"value":{"entity-type":"item","numeric-id":4862761,"id":"Q4862761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$0FE7F6DF-B19A-4BB9-85F5-37E325F2180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$A23314B2-392A-4C90-B5EE-F47FB4744965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$198DDE58-7BDC-4811-A042-3C0BEC8AA3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$2EF283F3-DC6F-4286-A8FA-AD38333ECA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$A49D5323-3E08-4784-BDE8-F2437D677996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4cd72d2df0d5e232e935ad9628f5293ffb8055","datavalue":{"value":{"entity-type":"item","numeric-id":2871867,"id":"Q2871867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$4C0B4F5B-9E9A-47D0-8F73-CEEF21AFCDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933ff89cc5998a8f55afbc41a4b90f3170f8cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3523176,"id":"Q3523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$95821389-EA73-456D-9542-9F4ED7122753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$A7903F0C-6743-4BE2-87EF-FCD7112D7BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba78a5f2bea4aaf770e00f1e74495a8724e78c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5255070,"id":"Q5255070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$1EBE385E-D1A8-4F97-A6B7-78CC37236CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$640428D5-939C-4520-9C4B-3D80840C7883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$D9A4699A-2E96-4410-8D27-BCB9CF2EA6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$73E25E22-DAD6-4DE7-B894-418E1AA44CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$C7161A66-D5D1-452B-B922-E76B6C5FE50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392483$E8F5BAE4-D3F2-4003-8A0B-96D90692F06E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f55efa2981b15377ddff2679ddfe924af929ae3e","datavalue":{"value":"10.1007/S10817-011-9221-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392483$34EE6FF0-20A9-46B9-BE27-B4F7CCD09578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069fcb18821dd8754f975c2ec6800d7d423e9bff","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ce7c2ada2e708c5ff241e7c996a53d61e68fa3","datavalue":{"value":{"amount":"+0.7610220313072205","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":"Q2392483$070280A7-91DF-4655-A4D5-64E72E1D0851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80428a9594586336bd0797b76cf05e9e409dc1fc","datavalue":{"value":{"amount":"+0.7478869557380676","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":"Q2392483$B0AA2530-6A07-4EC3-B4D3-23CE699F4D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c1c1f51f2ceccb3a7848be0e748313ff30e91e","datavalue":{"value":{"amount":"+0.7443076968193054","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":"Q2392483$26957321-10E1-4490-BDB0-E6FA323703A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2e9d76a9489690629d791b0be06cfcb057605c","datavalue":{"value":{"entity-type":"item","numeric-id":3008233,"id":"Q3008233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf3c604c02effbde82624122eca20199b875fad","datavalue":{"value":{"amount":"+0.739614725112915","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":"Q2392483$46A2E078-DDDA-49D8-9ADD-A94303F8F283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14ffc87ae9579150588c68efa3e67f7336822c","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9846f8248f368a53485dde5bcb68974b2c48353","datavalue":{"value":{"amount":"+0.7384487986564636","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":"Q2392483$D13E953F-028C-40B6-885A-AFBDCB9516A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2392483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2392483"}}}}}