{"entities":{"Q4968423":{"pageid":6998002,"ns":120,"title":"Item:Q4968423","lastrevid":58368960,"modified":"2026-04-04T22:17:52Z","type":"item","id":"Q4968423","labels":{"en":{"language":"en","value":"Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29--30, 2012"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080315"}},"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":"Q4968423$FDE72C87-DBC3-4DED-8B1D-7AD59F7083F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"badc6eb1239f2be714bb6bed1b2468e0cdece4ac","datavalue":{"value":"1415.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$297A4BAA-983E-4768-A9D9-EE2D91C789EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d15da2938c06d2b482eeb49ba20024d5cbe7492","datavalue":{"value":"10.4204/EPTCS.113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$82EBC54C-534F-4129-9DCC-98AE2B63FE11","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":"Q4968423$9FAC2EC7-B73F-4DB6-A1F2-1CBC1403B1B0","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":"Q4968423$42B665FB-13B4-40F2-AB18-77DBF9997500","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2cb213e123bb13e987464b1ca1c68994892c988","datavalue":{"value":"https://arxiv.org/abs/1303.7136","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968423$02667020-6278-4482-91CC-2384F5A8EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb3e3ab5195fd5c4f4a320724e3872dbf0e99a23","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?LSFA2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968423$D32DAF23-17C1-4653-A852-0DDF8F50D15C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$8CEEED4B-A05E-4393-B4DC-01C62814651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$CFB0DE00-AC9B-4BC5-B30C-522361F42F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$637D3C0D-1201-4420-B5ED-B092E7A313F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b73ea5190152ee971be694ff597c80ad5e47326d","datavalue":{"value":"7080315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$67DAB908-BB1C-4F8A-9DDA-28ED276FB19D","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":"Q4968423$6D114ADB-0BED-44BB-8EB0-478CCFB825F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ed4142e56f8ee4b28df40e5764ac14e5c481945","datavalue":{"value":"W2078197187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968423$C2428288-6F86-451E-B8EF-E16381536BCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a920e657b3dde02a0347fd5b28dbd8787068be3d","datavalue":{"value":{"text":"Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4968423$75106195-E4E6-4E5C-BEBF-C815B2C75EBA","rank":"normal"}],"P1643":[{"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":"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":"Q4968423$F3AD5763-C12D-4760-9B57-AE93E35EA74C","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":"be96728bc3cab9e92664c61ccfbdd2a08744d4f6","datavalue":{"value":{"amount":"+0.8931323885917664","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":"Q4968423$E1B90AD2-872C-4C74-8A04-C332D5D4E3F0","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":"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":"Q4968423$85BEC042-A4C5-4218-B3A1-A6CB1ACEBC97","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":"4cca153300dccd030db606255c4363046ecdef8a","datavalue":{"value":{"amount":"+0.8794031739234924","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":"Q4968423$3D49AE6D-826B-4731-A326-AFC0DAD38EAD","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":"e9a702bbdb48f6f72636750157ad88f0e62d5a4f","datavalue":{"value":{"amount":"+0.8587455153465271","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":"Q4968423$A192EA99-5F17-44C4-B8E1-9820BC821F17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4968423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4968423"}}}}}