{"entities":{"Q2804940":{"pageid":2815678,"ns":120,"title":"Item:Q2804940","lastrevid":83311280,"modified":"2026-05-07T07:11:25Z","type":"item","id":"Q2804940","labels":{"en":{"language":"en","value":"Explicit contexts in LF (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578009"}},"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":"Q2804940$B45F3A93-6744-4733-AA46-F325586521C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fb164a43d08ede31efba65ff08e2ed4e8e904ff","datavalue":{"value":"1337.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804940$BEDCFF21-50E8-4C11-9197-E17905246CFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$F00CB2F7-FB27-4C32-AE55-E3CA5F8D7C80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$962C90A4-B1B7-4E18-B728-B29519C1CF40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804940$0120DC4B-64C2-442C-B8C0-6EE273E53410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804940$C5A7BAD6-58A5-43CC-AF48-A1E5390D7974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804940$49F786EF-9584-43D3-A68E-6E664D3AE781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb63efc458a04bdd693aac955e81fb1c974e8d7c","datavalue":{"value":"6578009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804940$F911B8EA-7077-42DF-9992-60D8EC77DB8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac99623abd535504f801b8a90ea0d101350724be","datavalue":{"value":"LF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804940$ADD184BD-C759-4356-A5ED-AD40E621ABCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a7faf2d5c8d76731eb2c0fa9732494500b1c909","datavalue":{"value":"Twelf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804940$5E2D3CA6-8CBD-48B5-9C7C-8F567260894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804940$F17840C3-F055-4427-831A-6DE5E6AA67AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$939DC757-A958-4180-915D-28EC04F00244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$AED45D0A-7F74-4BB4-AB9F-58C0F33CB316","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":"Q2804940$CC9443AE-8124-4170-B7E1-E8BE1D1FD113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db700b81760fa07041591d7a1b4fc1ba95e6a920","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.116","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804940$0F493F7F-B002-4255-A07B-1896E834A552","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8658e03476225f5b5d1a607dfb82ee624f90f911","datavalue":{"value":"W2000861240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804940$41A81F3C-38CC-42CD-8CDE-E244052C3A2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$8303F59D-F5C9-4942-BCEC-0D782A8FF166","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":"Q2804940$2B932CA2-4309-413B-BEA5-6A2C2FE6F902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$1D03B100-E9AD-4C9C-8656-38CA387F4E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$4CA12E87-460F-40CD-AF63-F2AED15EEBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6db6d308bb0736931a5316de4b01d030f7fbed4","datavalue":{"value":{"entity-type":"item","numeric-id":3523179,"id":"Q3523179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$61F4C29A-1917-4D9A-88F7-5CC489F873E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$2D2A5B8F-0595-4A45-B290-A8FEB86C1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7398de33fda2ed35894b4e4ebf2755fec5a6447","datavalue":{"value":{"entity-type":"item","numeric-id":5055856,"id":"Q5055856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804940$3083624B-1923-4DD1-A064-4D038B979D8D","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":"Q2804940$1102643D-F708-49CD-9A33-126F8E171A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba0b31ac842879c53543f5cd8c9635df6686cd24","datavalue":{"value":"10.1016/J.ENTCS.2008.12.116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804940$807B1E16-0B02-40AE-A19C-C2BB44153A08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63c7789e44f82ad299d31e5e0b4f4ca9f2914e45","datavalue":{"value":{"text":"Explicit contexts in LF (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804940$DFD44261-4E4E-4FBC-B143-6840B06B682B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa50e2721af01e7d0f624a1511435eb49ab2a74","datavalue":{"value":{"amount":"+0.728975236415863","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":"Q2804940$CCC45ADB-51FC-428C-88B1-A8C544C1D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd8e6f1d9d333b737ba9e77e868581448d2db58","datavalue":{"value":{"amount":"+0.723959743976593","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":"Q2804940$E8F284C6-F4E2-4D76-AA43-AF84FC711EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcb359b506a22c50bf7da6e8cd15766af11bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4264727,"id":"Q4264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5259b1d563aaeaaa10f182b8dd7286a3ee8eb237","datavalue":{"value":{"amount":"+0.7237644195556641","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":"Q2804940$25BD87DB-80B0-4617-B8E9-29986F5E824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7219781fca10499402bdd7f7a93765fa8b68f","datavalue":{"value":{"entity-type":"item","numeric-id":1744412,"id":"Q1744412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aae4ea0e42c7714a9aa6e58393c011758973722","datavalue":{"value":{"amount":"+0.7153159976005554","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":"Q2804940$C3B7C5B4-409A-40D9-9FE8-F88C99B2A406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5eaf3467daf87792271d4a93a843969dd2367f","datavalue":{"value":{"entity-type":"item","numeric-id":3204067,"id":"Q3204067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f036ce08efcf79c47e1395bd08189f8ee470a4d","datavalue":{"value":{"amount":"+0.7035647034645081","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":"Q2804940$7D055957-5B89-4670-8828-AED9F41A29FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit contexts in LF (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_contexts_in_LF_(extended_abstract)"}}}}}