{"entities":{"Q2827479":{"pageid":2838217,"ns":120,"title":"Item:Q2827479","lastrevid":42229087,"modified":"2025-06-02T17:49:19Z","type":"item","id":"Q2827479","labels":{"en":{"language":"en","value":"Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641298"}},"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":"Q2827479$332A819E-A901-4276-A377-19B137CE6E4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c670870d54c3da0b2a5dbc6c0864949ca63c66f","datavalue":{"value":"1350.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$02BC14C6-1A18-4DCB-883D-3F3FD9F40DFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c93ee70eccc78eb579f5bcfc6b393248a291b6b","datavalue":{"value":"10.1145/2933575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$31AF5DA4-7CC8-44C2-8529-36E127DC9BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5702c77775a0294f70ce79fb40b36e4014bf6c55","datavalue":{"value":{"time":"+2016-10-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":"Q2827479$A97EC20D-2CF7-4BCC-A12B-B8D1451775C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$82507585-6EDA-4957-91C8-F500293A0F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$72312965-0F26-4088-A467-BAEC47D3164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$15E71DC4-E0C0-45E0-B7C8-1A7B7A6E582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$CB7DB39A-6706-4BF5-8278-ECF7B9264A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf5a2a4ac1e2ee8685f6350cb5db26475627a5c","datavalue":{"value":"6641298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$EDB71610-EC88-453B-A4EB-31E8774D1580","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":"Q2827479$195581B7-FF8A-4BFF-BF33-1EA383285059","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0142ea8ee7cde34de2f9d6cc001335510fa7498","datavalue":{"value":"https://doi.org/10.1145/2933575","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827479$AAEFEA24-1A9B-4D95-87B8-C2507B218CA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3194efdc367ff64ca1c9236b72570010ea295628","datavalue":{"value":"W2913449033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827479$65F2F39C-7A23-4CDB-B203-84CDC90DF914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3676304551dd0087747d5f50d07c56931e854bf2","datavalue":{"value":{"entity-type":"item","numeric-id":5261742,"id":"Q5261742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f410fe72fb920f8820146fe1f66f38de5c19fb","datavalue":{"value":{"amount":"+0.9412718","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":"Q2827479$2E453FA1-BD74-4030-BD87-2A43E31F44D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b84844b6d24816e4d5b4a759c82fc2f5d0dfe3f","datavalue":{"value":{"entity-type":"item","numeric-id":4584017,"id":"Q4584017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53a5152f37e8ce37925adb38258ff1df9fbec0e","datavalue":{"value":{"amount":"+0.94107914","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":"Q2827479$153AA4E4-3120-4877-A045-C19B2E696353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7983be8bd726532f919f934cc9c4ea8cfd4a222a","datavalue":{"value":{"entity-type":"item","numeric-id":2787455,"id":"Q2787455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a961ee4f82d884e820b419bdb884b9c445cc67","datavalue":{"value":{"amount":"+0.9394722","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":"Q2827479$AAD38BDE-518D-4CC5-B338-49FCE8AD741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557f5c4700c7bbcb00a57dc4cd4c6b4d4a20adcf","datavalue":{"value":{"entity-type":"item","numeric-id":4584018,"id":"Q4584018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785a329fce87f85506280d495a49f8c72725f2b9","datavalue":{"value":{"amount":"+0.93717104","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":"Q2827479$B5482B1F-186D-4191-9EEF-B46555F4C80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74625712a2a26ee9e5f222f1373f015318bf6d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5144589,"id":"Q5144589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1be11b956ad27bc76b167cf954d47ca2c4fb08c","datavalue":{"value":{"amount":"+0.9350221","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":"Q2827479$64D8C2CC-421D-4C7B-A125-B99A23CDD138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014e05491fa7a7305922fc099b88923ecb766d73","datavalue":{"value":{"entity-type":"item","numeric-id":5024660,"id":"Q5024660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb91f09f31205a8977abb41327811286d9f0bfa1","datavalue":{"value":{"amount":"+0.93339866","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":"Q2827479$E66CF1CA-AB42-492F-B076-4C83CBDE6933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39709581fe9ef65d14f0e1f02028549520e9fa82","datavalue":{"value":{"entity-type":"item","numeric-id":5144590,"id":"Q5144590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cfaad7fc8c8ad26dca512e5bc396adc7090e02","datavalue":{"value":{"amount":"+0.9323141","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":"Q2827479$9A98090C-2566-4080-B4CE-4E570905C72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfadef55257a503bdebaaa16853fe8d33ccf0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2914759,"id":"Q2914759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ef001d95f6b82ca5e94b498b4992dece836edc","datavalue":{"value":{"amount":"+0.92783356","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":"Q2827479$F792F136-3D7C-40B9-B926-22B621D527CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f522788fe18cbf0caa8a84e5fe5cf7bd1175d85","datavalue":{"value":{"entity-type":"item","numeric-id":2955039,"id":"Q2955039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef353ff86b4c8231598fba812c1f736291c2da4","datavalue":{"value":{"amount":"+0.9230605","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":"Q2827479$D1A97496-576E-48EA-ACED-7CE22CF39F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22175ac7a643f66c786d450a051a68b67eeacb5","datavalue":{"value":{"entity-type":"item","numeric-id":5096428,"id":"Q5096428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e052c6025a6bb8e0660ab4798e2df5fe5eb86b2a","datavalue":{"value":{"amount":"+0.92152625","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":"Q2827479$3F729AC3-4E81-480E-AF40-D5E773232C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbefb5a195a8328d495f21a889a35aad4ba2d17b","datavalue":{"value":{"text":"Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827479$E2E6E0C7-1030-422D-B585-AADDC04BE121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827479"}}}}}