{"entities":{"Q4968424":{"pageid":6998003,"ns":120,"title":"Item:Q4968424","lastrevid":58369062,"modified":"2026-04-04T22:18:31Z","type":"item","id":"Q4968424","labels":{"en":{"language":"en","value":"Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080334"}},"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":"Q4968424$8FF010E4-2F2B-46DF-8385-154E7230E292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad4643d460bc064bbebaaf187eca60578b60cfbb","datavalue":{"value":"1415.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$E59CB85E-E14C-4EBE-9D5A-3516F0735624","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"418f9b6016d26def7667b85591db064a1a6b4628","datavalue":{"value":"10.4204/EPTCS.81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$E67A6AFC-CBF3-40DB-801F-241C888F98FE","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":"Q4968424$5AABD430-8B45-4F76-8DD9-88343EB2DF8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0eaf95e77ca1b4130000107923cf17e957ee1827","datavalue":{"value":{"time":"+2019-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4968424$CF5CA711-870A-4A63-875D-F3909046C06C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20acc90134c9c88f817465b2d2d0363e9adbef39","datavalue":{"value":"https://arxiv.org/abs/1203.5423","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968424$2C784ABA-E0E4-4130-BC6C-589ED437C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1160b83158efacf145df2d4c0c8260a2de6310f0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?LSFA2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968424$48B8E3E1-1643-4157-9155-0E41D6B4CC16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$916C866A-57AE-4AE1-B18C-57B747396579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$77FCABA0-351F-4850-A01A-E367B3D64D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$A33CC344-E9BE-46F6-BE3E-7E26CC702DC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2978bb7b298870f8258c047cb532b09e93dd3a1e","datavalue":{"value":"7080334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$5CA6FAD8-418D-4B0B-9361-B9A1C0AEF467","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":"Q4968424$766CE7C6-238F-4163-92FF-12BDD4FB6FE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ef9ce7dc90709e2833b0cdea0eb1dfeb94e30d5","datavalue":{"value":"W2012209842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968424$63667BE0-2928-438F-8C70-A48602C15636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cf4d6937b030920d4894b1b4b030c5a3a48ecdd","datavalue":{"value":{"text":"Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4968424$1038BDF3-7472-46E8-A975-358D928BC483","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":"195dc79698e186fed41df824c96be374b4e4171c","datavalue":{"value":{"amount":"+0.9206841588020324","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":"Q4968424$CA2E35F0-2DAF-414C-9F51-DE67A13F3484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069fb85c28b2f791343d499db06617e6e79e334d","datavalue":{"value":{"entity-type":"item","numeric-id":5083762,"id":"Q5083762"},"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":"Q4968424$F1D35835-3476-40D1-A3F0-30683A192218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70164e63f29f716baef3f8a1b1328af34fa9580","datavalue":{"value":{"entity-type":"item","numeric-id":1682314,"id":"Q1682314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9824e4bdb906b56789bf2ff314aa9dba3b94f48a","datavalue":{"value":{"amount":"+0.8749361634254456","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":"Q4968424$F6FF95A0-A1E8-4C01-831A-622643016F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb68be8d2fcedf289021f68f14b200df736b432","datavalue":{"value":{"entity-type":"item","numeric-id":5919814,"id":"Q5919814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa6cd8b539afadd65ca0a0d433e0bb30d91ff7d","datavalue":{"value":{"amount":"+0.8503044247627258","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":"Q4968424$3AF60A6B-421C-43FC-A0DA-92E73192B6F7","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":"9d6f4058f5981a1a1bf85df81dd23731e3ea626c","datavalue":{"value":{"amount":"+0.8334009647369385","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":"Q4968424$03D8D402-0307-4CB5-A04E-FA8AD86E6229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4968424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4968424"}}}}}