{"entities":{"Q2018834":{"pageid":2029576,"ns":120,"title":"Item:Q2018834","lastrevid":43479628,"modified":"2025-07-28T11:59:12Z","type":"item","id":"Q2018834","labels":{"en":{"language":"en","value":"Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), S\u00e3o Paulo, Brazil, September 2--3, 2013"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419557"}},"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":"Q2018834$D29E65DE-C2C8-4470-A24D-EE67AEA8873C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"143ec704a0bbc947819e8ae433816b0b69971dd6","datavalue":{"value":{"text":"Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), S\u00e3o Paulo, Brazil, September 2--3, 2013","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018834$C220A811-19E5-49FA-8174-2B7FCF8D9FB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aa290a21abe71b3dc33eff44f5a696912129588","datavalue":{"value":"1310.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$AFF4E0B1-D783-4847-949A-BEED41C7DA3E","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":"Q2018834$BA3EC34C-610E-41E8-A7CF-5B2C39AD1E46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018834$4CA14037-C950-44EB-853E-9FE38292D997","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b732710ae3a5fa7137e7b38f8dc7d6f6783a6e6","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/305","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018834$EC20F9F0-5E45-46EA-9203-C650A38F19D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$97764E32-12AA-4612-A9AA-9F6936A42291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$985738F5-774D-4807-BD7D-B2E69487208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$E138301E-AEA4-44FB-A8B9-C46EB51E6A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$FF416A9B-2212-4C82-9F70-B285BBD5E58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$4AD30E37-1759-414F-A726-0B544D925545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30ccc29fc7a7e34885bb37cf95fb5eec2e823ece","datavalue":{"value":"6419557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018834$F71D1B93-A2B8-44E0-9B79-40D30F0F07D1","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":"Q2018834$A1E315EC-B3C5-4BFA-823B-4C1527FD55AD","rank":"normal"}],"P1643":[{"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":"10c56bfd8703f1301e729f9710bc23cc24834507","datavalue":{"value":{"amount":"+0.9683875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$082A309C-3E4E-484F-96F6-064E32A3A8EE","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":"e6841b59d78da1382dc778c18b9bde6d0b03840d","datavalue":{"value":{"amount":"+0.96471924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$A4FFAFAE-6897-48DE-A26F-8011DDE7D900","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":"1979b1a0d4868b262be5c9301f806489609b25b4","datavalue":{"value":{"amount":"+0.9610336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$FE62B041-1CB9-447F-BD35-7F5BA08D4D26","rank":"normal"},{"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":"1dcbb55ebb93f994e54ca2d97c4532264fda0f86","datavalue":{"value":{"amount":"+0.9559699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$BE17C367-0326-486A-B638-3DDAF0B91E49","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":"d5ca1d82812f622787dbef748af6a9b9169ff8bf","datavalue":{"value":{"amount":"+0.9545155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$B283C6DB-5C3D-4FAF-B606-4C9FB16C0087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdf35f3732d03a545461a0c8a3c330cafdf7655","datavalue":{"value":{"entity-type":"item","numeric-id":383134,"id":"Q383134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60eaadf419005fd6246e39f538d23eeb8837ff56","datavalue":{"value":{"amount":"+0.9478618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$6480793E-5A13-4D88-AF80-CC3B6E366C4C","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":"8bc807ff3c4d6a6333b09c4b99b918ada1eac268","datavalue":{"value":{"amount":"+0.9473355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$DF386F15-574F-4985-BD06-90F1D061316B","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":"51ec8d6b4e9f093dbf052f5ecbe798566c99b518","datavalue":{"value":{"amount":"+0.9441653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$8C284C4B-B330-4C8D-A643-64E424F37DD9","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":"ecf612a872355159e8e4e9a81f7f32556c68b7fb","datavalue":{"value":{"amount":"+0.9411653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$D7E69BAA-A615-4C20-90E4-8E66BFB28FA8","rank":"normal"},{"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":"6d40920dfeb7ca7def95885d0dae66b35f45e1b5","datavalue":{"value":{"amount":"+0.92873645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2018834$2014E795-C89B-4FD4-AADD-5F70CCDEEB85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018834"}}}}}