{"entities":{"Q5083762":{"pageid":7113338,"ns":120,"title":"Item:Q5083762","lastrevid":100127546,"modified":"2026-06-05T21:28:00Z","type":"item","id":"Q5083762","labels":{"en":{"language":"en","value":"Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23--24, 2021"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7545244"}},"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":"Q5083762$270997FB-F595-401F-A299-93E2CA279255","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcca83142c7751b9f8d952b46fdd03e38a1d52f0","datavalue":{"value":"1489.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$8C1C65FF-ECB7-4946-8887-CEC5312A475D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4bac7aeb0937828c6330a743bd2e11638ea5069","datavalue":{"value":"10.4204/EPTCS.357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$29117F82-676B-4A61-BFEF-0ACE9CF0B21E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5083762$1333EF3F-64F4-41C1-9341-3CC58C78E18A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-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":"Q5083762$2A0D6713-63A1-4B94-B1C0-35E84E85EBD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3965915e98e177e5cd953747464690013d83c2c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?LSFA2021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5083762$D2EC21F8-DFD2-4946-BBB1-7AA3F1E23890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$607F7291-3498-4940-8ADF-14068660B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$2B5DD11C-7B78-4EB6-A6DD-4A0B198F51AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$AEAD9712-A649-4C7D-9018-82ACD157A2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$14AA958B-1596-45E8-8379-295E9CB4EF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$D8019993-9D88-45B9-879E-B3171BBA46B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85bb7e943754de2058087eca0521061762246a0a","datavalue":{"value":"7545244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$170FC202-AAA4-4794-BA6F-07CE3B4FCE05","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":"Q5083762$104C6DEF-520F-4D02-8788-1FE5FE37DDB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54e2c92003554a251c65997945c13397558db61a","datavalue":{"value":"W4226118608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5083762$AAF77DCF-46DC-4CDF-AD3E-C6831235FF48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8f1c915c66ea57ad244919f5afa22997153aee6","datavalue":{"value":{"text":"Proceedings 16th Logical and Semantic Frameworks with Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5083762$88378A43-05D5-4522-8B22-3D2BDBEDEC4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1908d22dfa814b868de4ee42675f41b9b277444","datavalue":{"value":{"entity-type":"item","numeric-id":4968423,"id":"Q4968423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fda325623af95dc42ba2631c4e71a35a734170","datavalue":{"value":{"amount":"+0.8907812237739563","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":"Q5083762$36F7A7AD-35A2-4B62-BD1D-2241B3D24254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d257046f80737da5fd95c9e812659431cfb95d","datavalue":{"value":{"entity-type":"item","numeric-id":4968424,"id":"Q4968424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356737b5e916e1ace657d08f54cb0fd3aa3f78d2","datavalue":{"value":{"amount":"+0.8775781989097595","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":"Q5083762$54AEAC14-779A-4F8B-8E2E-15A6CE57D12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df4bf43089b4c0d175b2ec3149009f3ad6bc540","datavalue":{"value":{"entity-type":"item","numeric-id":5022927,"id":"Q5022927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c443a9941bd38f42f5b28dc20e2003bad71f12","datavalue":{"value":{"amount":"+0.8624088764190674","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":"Q5083762$E853B4F9-71C4-4A3A-8FFA-739B0F2D0D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd57ebd12a8fe7cb3e87361e0e02cdb51adb7c86","datavalue":{"value":{"entity-type":"item","numeric-id":5889304,"id":"Q5889304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aef2da711b0b3f84e3cd486a3584d4f0b664fcc","datavalue":{"value":{"amount":"+0.8382842540740967","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":"Q5083762$7D6EC359-9D20-4519-AD55-34EB9435C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d3c04c245bc98dae36dbb830944c77179f5106","datavalue":{"value":{"entity-type":"item","numeric-id":897929,"id":"Q897929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60478b408db4148bc19c3aa5323b04036208d963","datavalue":{"value":{"amount":"+0.834111750125885","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":"Q5083762$103ACD22-F60A-445E-9813-7AEFC8E48914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23--24, 2021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_16th_international_workshop_on_logical_and_semantic_frameworks,_with_applications,_LSFA,_Buenos_Aires,_Argentina,_online,_July_23--24,_2021"}}}}}