{"entities":{"Q2338115":{"pageid":2348858,"ns":120,"title":"Item:Q2338115","lastrevid":73719777,"modified":"2026-04-14T17:01:54Z","type":"item","id":"Q2338115","labels":{"en":{"language":"en","value":"14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7134322"}},"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":"Q2338115$19DBE725-1425-495E-A3F5-3E977DD508A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de6c414f5a3dedfc78836a978c0bf4fcafacf565","datavalue":{"value":{"text":"14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2338115$32B2966D-8D56-4EF4-B483-EAA03020A586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d90e717007e2b7a3dd793f3b2cb5b534604e343","datavalue":{"value":"1436.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$A74292F7-D7C4-454E-9E8F-8C8CDF4D0DF7","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":"Q2338115$9E8268BE-F87E-436F-BC68-32BCCB6DE17D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d288236ae88f14a580eb60644cb4af1d4accf45","datavalue":{"value":{"time":"+2019-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2338115$CDEF0E73-6F0B-480D-AF96-8A6CD0DFBC03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3b0ab4aaa2a971a221bcd306ca123d86367d692","datavalue":{"value":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/348/suppl/C","type":"string"},"datatype":"url"},"type":"statement","id":"Q2338115$E1F31A7A-25A4-49D7-8867-793CFD589D6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$277F9C94-BCBB-499C-8E00-3006C9D83FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$A97A01DB-C625-4815-BF58-E672F50BF36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$3B390C7F-7E06-4A09-B0D7-34B7A45E8910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$BB266D90-5E3F-4D41-80C8-250B41A771C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$38DDF012-6F7E-428C-A18B-68EA0E63A3B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46b631b11eed26e7d9bb4c8d2ca953e8f80f94b","datavalue":{"value":"7134322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338115$5006C6A6-455C-4C17-90B4-604A44B53184","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":"Q2338115$A1F95C84-B0F4-4C84-9DCB-D74EA3E5ABC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b098062b01845f70adfe213e7551bd639e100fe3","datavalue":{"value":{"entity-type":"item","numeric-id":736681,"id":"Q736681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd461bff089641a9edfde340771446fe36dff80","datavalue":{"value":{"amount":"+0.9524011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$FB146B1A-F362-4386-BCF9-6B918F272833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cf67b4f1472832207876db48cca2c4ef7de027","datavalue":{"value":{"entity-type":"item","numeric-id":2323845,"id":"Q2323845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c44bb8b94bba5d8978bd880c8164b4cae1fef7e","datavalue":{"value":{"amount":"+0.9505923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$4D46871D-2DBD-4AEF-BBA6-1D71A3192D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3312b3d90bb62d0213d58e7a78e4e044eac9aaf1","datavalue":{"value":{"entity-type":"item","numeric-id":6049244,"id":"Q6049244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc8bc3a33dee3e109db1549c838bb076fdbd754","datavalue":{"value":{"amount":"+0.9451895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$75C0A120-FEF6-408B-AFED-6E29B79FE0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8509fa1b723e62f4c306bfbadc03fae2bc88c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":896264,"id":"Q896264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0eda4ea8f8e02762d08dba9a8190c2dac6bec","datavalue":{"value":{"amount":"+0.94160855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$386DD3A0-94E0-4563-B238-7D4EA4414320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453a02632603823c285cdd1aa9a60d73bd67231e","datavalue":{"value":{"entity-type":"item","numeric-id":1630076,"id":"Q1630076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36050bb4ace7c746b631ea336eeaee87928f76a6","datavalue":{"value":{"amount":"+0.9411614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$826A2CF2-7201-45C5-A9FD-A0A6F87681C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd159a2485bda64582aaef7935ea4696e786693","datavalue":{"value":{"entity-type":"item","numeric-id":2435210,"id":"Q2435210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c453a51ea7bd9d530948d178d7a443c4242ed514","datavalue":{"value":{"amount":"+0.93903226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$C83FE34B-A302-486C-BFD5-F9BFC6DCDA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325ad3422c21f5a20605113e6dae82a6f26ae874","datavalue":{"value":{"entity-type":"item","numeric-id":2434783,"id":"Q2434783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3891d3708dab3acc04b5c2f5b1f275a8f36b1ba","datavalue":{"value":{"amount":"+0.9352569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$23D7D960-4761-4E54-BAAB-DAFCC16F6C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c69f6c943ecaf0db300ca1aaa27c9320e6d9215","datavalue":{"value":{"entity-type":"item","numeric-id":2018834,"id":"Q2018834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de058eceefd3c35f7671e5b0d7799a09e759f3be","datavalue":{"value":{"amount":"+0.92412204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$0AE4B9C6-644F-4D68-B0C5-9251CDD4D037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad86877806e4dab28b611697a6f6fe224a84043","datavalue":{"value":{"entity-type":"item","numeric-id":2435191,"id":"Q2435191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498b3b3507727a7ead387f3ad5e5e55c79e47076","datavalue":{"value":{"amount":"+0.91877717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$9CD4391C-B2A5-48D9-8968-CB473664A4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78864c917487ed2ebb777234befd7662b86afa51","datavalue":{"value":{"entity-type":"item","numeric-id":2216723,"id":"Q2216723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e242d303ca453e7cb2703501d1486f22c2df51","datavalue":{"value":{"amount":"+0.9130256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338115$635FB047-A545-42F2-817E-1DAD93BD38D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/14th_international_workshop_on_logical_and_semantic_frameworks,_with_applications,_LSFA_2019,_Natal,_Brazil,_in_August_2019"}}}}}