{"entities":{"Q4399511":{"pageid":6429110,"ns":120,"title":"Item:Q4399511","lastrevid":81765239,"modified":"2026-05-06T19:18:53Z","type":"item","id":"Q4399511","labels":{"en":{"language":"en","value":"A module system for a programming language based on the LF logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180275"}},"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":"Q4399511$826A03AB-14FB-48FC-BBB1-ECB467CA5E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca5370c9b8fc28ce6086e6d618a216a587d55e70","datavalue":{"value":{"text":"A module system for a programming language based on the LF logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399511$1C4F1D63-4B8A-4ED3-B9A6-DE7629200075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0923daf9bd31bff8954d761d9353a5b6904b0ed","datavalue":{"value":"0902.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399511$EEBAD5D4-8ABE-4F6F-8BC9-902EC49C6B25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399511$ED0AD651-8AD2-4776-99AE-60814ED4C278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399511$4ED5678D-02A7-416C-86C8-A0A327ACDC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fd8fae299cf234170554d2e7553be2d1d5401b","datavalue":{"value":{"time":"+1998-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399511$29A86E83-4093-44E6-9E01-9E8C8442842B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c8654b89aa3b160e126e6b0586a7844d248470","datavalue":{"value":"https://semanticscholar.org/paper/5f5f32d369dec8de96fdfbddd78059d0165183a4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399511$5CFACE70-52A2-4F02-9D3E-0A43EDBDDBDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399511$662AB994-8161-4ED2-8BE9-31BB9607441A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ef7e207ffb2386f8f341f72b494d18a0a03f3c","datavalue":{"value":"1180275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399511$59045BDF-0270-41A5-8CED-754738A7BE39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09a015d5c8bc5ba713c39717c0d08360fecdc48","datavalue":{"value":"Elf","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399511$867EF018-9B60-4C7C-A308-A5E6A07068CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99d2186f1be606a896277c67a7c62cb768936f2","datavalue":{"value":"LF logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399511$16CBF39A-F5AD-4568-8D45-25A0B5936FD9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399511$868E8182-9EE2-4E0A-9F80-A0B3B2151785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399511$EF2B806B-2F51-4EDC-848B-E41BDDB39BA1","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":"Q4399511$CA4273B4-F54D-466E-B88A-544B698F2E10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f904496bfd94ff60efe289db8a63d91a9814569","datavalue":{"value":"W2100758996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399511$A41EFAB5-DBAF-45ED-AB70-DA280C4D995C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06247c00128f00d558f72673fcb1688c86641a1b","datavalue":{"value":"10.1093/LOGCOM/8.1.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399511$18DBD346-3C24-42B2-B425-BA781BA4C883","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399511$800FFB7A-64A4-4769-B4F2-460BF000077E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca1ae193586acd56ae211c43724d2221c376f05","datavalue":{"value":{"amount":"+0.8364903926849365","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":"Q4399511$4B76F9B8-5679-43F1-AF22-E6C2F9E38B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e94d4fc14cc076354ae9542efb419bfde442389","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19244dae946152c9a666e16ce5e1bf50098b7289","datavalue":{"value":{"amount":"+0.7991601228713989","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":"Q4399511$974D9B97-B8E8-464B-9328-1665F800E0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b580617b86b2ddc3c83368dea20364b74b46df","datavalue":{"value":{"entity-type":"item","numeric-id":3992238,"id":"Q3992238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08de98a4b05262af5521437aa915e10c7099a78d","datavalue":{"value":{"amount":"+0.7812584042549133","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":"Q4399511$B4338D95-D04E-47CA-9E0E-3A083E9A0112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe8b3a85c66e804213d51eb2b7ca752b1e48cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5712301,"id":"Q5712301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e1ffea3db22711e33c370b63e11592cb71073b","datavalue":{"value":{"amount":"+0.7771221995353699","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":"Q4399511$C7882703-FA0F-45F8-884A-0D74A09AAA71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A module system for a programming language based on the LF logical framework","badges":[]}}}}}