{"entities":{"Q853741":{"pageid":855589,"ns":120,"title":"Item:Q853741","lastrevid":64842594,"modified":"2026-04-11T22:36:15Z","type":"item","id":"Q853741","labels":{"en":{"language":"en","value":"Formal compiler construction in a logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073694"}},"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":"Q853741$B7D5907A-060C-4616-8D94-CB972B6C9192","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ee38efeb0bbdbeb68e393dda9abe2b26392ade8","datavalue":{"value":{"text":"Formal compiler construction in a logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853741$D58F928D-FE74-479E-9DE1-69E2E8CBDBDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a24fec14c0a0d93d896c9a7ec8fbfb90d586478","datavalue":{"value":"1105.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$2FD71EA0-BB86-4ADE-9EFC-B5E7E94B9FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c59f50d985c22e47051ba5d524f4d924c14e07a","datavalue":{"value":{"entity-type":"item","numeric-id":853739,"id":"Q853739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$F33456D3-B525-47E8-8C73-E4DB42912341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aea3f0ee8e6f275caea106ffc7919019f79c719","datavalue":{"value":{"entity-type":"item","numeric-id":853740,"id":"Q853740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$530C0991-826A-43A4-9A76-64432B1B982E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$6AEBDC8C-A67E-42D2-8D71-A52DA48F0D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853741$E05171C4-DC55-4FA1-8205-A939BE38FEB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$C6F8D4C7-FD18-4710-86CA-B1D29D045456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$F259147F-954E-4B9F-9587-CC6B2750A92E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c39647de169cdf1af4d5ceb27b1ab6e6b9b56ffa","datavalue":{"value":"5073694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$062435FA-065B-49FF-98EC-D2F1E778DDA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4d8353153b1236de682a1bb2958e8c95ecc9ca","datavalue":{"value":"Formal compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q853741$729BECE9-5B65-4160-8666-CD4CF3AD6A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b1e4d9484f37da4fdd162c43ac2fa8fa97d8b","datavalue":{"value":"Higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q853741$04D9E80D-C2D8-4742-96C9-158052D6A228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83725669fda68301ddefdf160ab069d0433c5a70","datavalue":{"value":"Logical programming environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q853741$AA955D63-25D8-4AE6-9BE2-E50044614EB9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93650e50efcc32706fd94a07b4e7bed2af8db3f9","datavalue":{"value":"Q122446240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$3C1E7A4E-F7A0-4B88-82DE-4653B13A9A6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$6D946D5B-659C-42DB-9BBE-0A800582B4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$0868383D-5CFD-4BBB-847A-F766513A21E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$A69133D1-F275-499F-A5E4-441DEE279D9E","rank":"normal"},{"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":"Q853741$83175621-353C-4F73-846F-BB036117F73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42b3d7a929da9bd1ade1f833995bf1946134a776","datavalue":{"value":{"entity-type":"item","numeric-id":38653,"id":"Q38653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$5B267E2A-C539-4DEC-8C63-752E2153D40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$21E2AF0F-1885-4D7C-A158-DF90E38CAADB","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":"Q853741$FB65EA97-3A40-40F0-A97D-1DA12B2881AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c7c2ca010bd6812bb2c6daf40118a3b859d8a5","datavalue":{"value":"https://doi.org/10.1007/s10990-006-8746-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q853741$790CD468-76CE-44CF-B7E7-AB5198D8D0F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2a49b92d4766dc7c5a0d051773f849a65ae63e1","datavalue":{"value":"W2154518226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$0B86A5B5-9ED1-44DA-99D3-0C70F17C0DAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$C19F8F4D-DE0D-4E68-A9E8-8479B231FD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6e5c9b5922baf53815e28c015ba653d9e95570","datavalue":{"value":{"entity-type":"item","numeric-id":4493071,"id":"Q4493071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$638246C1-9CF6-41C9-861B-8AFCF4F98E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$FB7BA1E5-6F04-4CFF-90D1-E55199E11CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97697f4f989afb3f17f4e8e615e3666a2362da96","datavalue":{"value":{"entity-type":"item","numeric-id":5464643,"id":"Q5464643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$796EBFF3-55A8-4AC6-A94E-37541BA0DC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$69EE6925-127D-4DAF-938C-75234B815729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5789bc155ab0b987340c5a4699fc00916ecad4","datavalue":{"value":{"entity-type":"item","numeric-id":4484346,"id":"Q4484346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$D4C99CD6-FBA9-4FAE-9AF6-0AD351C59DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$9962C1DD-785B-4042-899A-1FC46EBF0A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde40e4f7fbe4e78cd18259f483b68d970099939","datavalue":{"value":{"entity-type":"item","numeric-id":4293532,"id":"Q4293532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853741$5D3D9B6B-4E6D-4201-A9AE-D8A51EB9518C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60c4486af97a84830e6a3177378341fdd8fd2c9c","datavalue":{"value":"10.1007/S10990-006-8746-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853741$04FB2114-7923-47BF-8D0A-D5A1294B4AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22da603ce8c7f61abd2c8d84d1438792c335c214","datavalue":{"value":{"entity-type":"item","numeric-id":3608760,"id":"Q3608760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2404e8f5f7478c6103b7d61904fd3d54ce539575","datavalue":{"value":{"amount":"+0.7340326905250549","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":"Q853741$A5825BEE-4AC7-4E9D-BF0D-FD8409B748FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8650b308d10af0ab2cca0685a7dc34ddb828fd3d","datavalue":{"value":{"amount":"+0.7301678657531738","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":"Q853741$0A8FB994-D414-4FB7-BFDB-1E911077777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4509c56ba685120d09d8ed131f6f1f25f60b2d71","datavalue":{"value":{"amount":"+0.7248976826667786","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":"Q853741$F7D268DE-2253-424F-8787-3B85C23FC3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61f2f9d07eebb406e851e9937fa4cbc38292524","datavalue":{"value":{"entity-type":"item","numeric-id":4447229,"id":"Q4447229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061426dafdc863ffae0b0d662e5026ee1862ac15","datavalue":{"value":{"amount":"+0.7242581844329834","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":"Q853741$42C97E10-17B2-4AD2-AC0D-EE4A6C4F1777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc642dbdc28b23eb9dd71b8412c41128d8900904","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70602b419640e099e3a50c8c7fce6eb024fb9ed","datavalue":{"value":{"amount":"+0.7234244346618652","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":"Q853741$B1898257-0EC5-4643-8BBB-1433EB81A0B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal compiler construction in a logical framework","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_compiler_construction_in_a_logical_framework"}}}}}