{"entities":{"Q5178760":{"pageid":7208332,"ns":120,"title":"Item:Q5178760","lastrevid":52225757,"modified":"2026-01-21T05:00:14Z","type":"item","id":"Q5178760","labels":{"en":{"language":"en","value":"Parametric higher-order abstract syntax for mechanized semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415839"}},"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":"Q5178760$D9ABFD63-5F4D-4BF4-9E93-EB087AD6AD44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"402a1f7d35af11c6dd7777c9adc53943421757d6","datavalue":{"value":{"text":"Parametric higher-order abstract syntax for mechanized semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178760$889994C0-E740-4EBC-BA4D-D9CA212519C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c8f50983a9d55d77cb6cb57ab08992b9619bd00","datavalue":{"value":"1323.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$E76CD640-E2E0-4FD1-9295-7490557E2716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b963793cf8dc7cf9ec2c82b7fbe43ead503f60a","datavalue":{"value":"10.1145/1411204.1411226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$19841592-BAA6-4160-BF56-A96134C24711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178760$CA7928FA-B16A-462C-8EF4-B1F3751AE5EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fcd26fe34a7006f4256abb2f15c1ce3abe759df","datavalue":{"value":{"entity-type":"item","numeric-id":5178747,"id":"Q5178747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178760$F2DA9C16-196C-4D3D-BDF9-A803252E69E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f27bc284e85649ed8ad3a0b04193a152f9707a9","datavalue":{"value":{"time":"+2015-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178760$A62BC66E-AA95-4F3F-AABC-4487AD6028A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$E17B3D9F-28C5-4071-AD16-E41B2733F5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$AB1D57D7-DDC2-4F22-AD32-5D774A339FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$DBA23384-55BB-4393-B1E6-83924791CAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$BBA297DF-A8DC-4125-A2B0-76056B20D21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$3FC328C3-0D22-4333-B6CC-CE0DD28BA82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b313d0a56b2699cf35cc1cbfd813b06e05e25ca","datavalue":{"value":"6415839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$42FDE6BF-1C57-47AA-A47D-8BE8F9EF7A78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178760$F8ADF973-B873-4596-A8F0-FF1E1B013B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178760$BF5A4BCD-344C-482C-9420-42654A347D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18a74c599c9ab6e6047b499c4529cfa47686616","datavalue":{"value":"interactive proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178760$2CD8B41F-4AEA-43B1-87DF-2F7F6D74CA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d526076ea01fd100395509aa08c044b93be0220a","datavalue":{"value":"type-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178760$715D70F9-597B-4C7E-AE25-C2E7847D397E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178760$E8A7CDCD-6A9B-42E6-9DEE-C079DFEE57D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178760$1E6667E3-15B3-463E-B204-433CFC288067","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":"Q5178760$EF734C8D-5E6C-4FC2-A3E8-1AAB6D85E92E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5397d51ca0929fd83a369df24ac67e4568d5dacc","datavalue":{"value":"https://doi.org/10.1145/1411204.1411226","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178760$45D78534-805D-4A46-8269-637C10ABE086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0e99163a0dac95ec93a43b632c6f7cb43c8c123","datavalue":{"value":"W4246086292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178760$7AE5FD25-3AF2-4F40-B8A5-49B6BDFAD517","rank":"normal"}],"P1643":[{"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":"1dda490d55494eab853d0a6168f2e94cb9f02619","datavalue":{"value":{"amount":"+0.8247540593147278","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":"Q5178760$AE42FB1E-1E39-4C22-A2C7-A08D1C183B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf3ff8b3c7a309ad3e91614f94b8f228de1d8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3637185,"id":"Q3637185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84487a058c4a53c6a52af7d409a6e5a740eb3297","datavalue":{"value":{"amount":"+0.8107593655586243","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":"Q5178760$B0FDD3EF-CD94-45C4-86E3-691B23C366CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771e6bf14bf9eed658c21b56b460fb04bed1fd1d","datavalue":{"value":{"entity-type":"item","numeric-id":3656423,"id":"Q3656423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb7ada5c1a9c692233502a2644aed8f80d438e1","datavalue":{"value":{"amount":"+0.8080280423164368","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":"Q5178760$3E9052F4-7D61-4578-A394-4A902D017BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8981901febcd7accd965714d3a1f4b9b8c7219","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f3fef0beea9bc3a5216d801324b665b28f0b54","datavalue":{"value":{"amount":"+0.7926269173622131","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":"Q5178760$D696AD9B-7933-4838-A3E1-9A18C05DDDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee810cd1ca3ee8d3e27add81649689a382c313e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195262,"id":"Q5195262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7bf2aa4996718e63071fcc56b370176471a8e1","datavalue":{"value":{"amount":"+0.7909250259399414","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":"Q5178760$31540048-4D2D-404E-AEE1-C9EE26DE259C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178760"}}}}}