{"entities":{"Q5144590":{"pageid":7174161,"ns":120,"title":"Item:Q5144590","lastrevid":53909504,"modified":"2026-01-25T22:18:20Z","type":"item","id":"Q5144590","labels":{"en":{"language":"en","value":"Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297721"}},"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":"Q5144590$EFADA0D4-3512-423A-86FB-3E6A7A2DA781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd97f0cf0e87efc430018b02b51cd235857d58ee","datavalue":{"value":{"text":"Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5144590$C9F68AFE-BAA0-4774-860C-0B9349717C55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5980329809305dfb493b4d91ecc12065f4c547fc","datavalue":{"value":"1452.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$87314571-B2D2-4DCD-AD99-E84C54BDFA15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e18816cefc99d5ee6efd1423739bea938bfc44c","datavalue":{"value":"10.1145/3373718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$DD92435F-D6CA-4833-8410-0DA948500968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd0361d59a727a9500ca078b0f9d7cf220f3e8c","datavalue":{"value":{"time":"+2021-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144590$4F089897-E73C-4166-BF46-69C253ACDBCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$39F6AA4C-F92A-43D8-81AE-C533386C6CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$AB237598-6633-41E3-A847-AF4EC62DEDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$14FAC0FC-66D4-4FB0-813D-75196D2B8E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$05CABF7B-9D1F-492C-AE7B-2A5A33E14E10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"763757fdb62363dd2b04e2de5751d9ac7e9735a2","datavalue":{"value":"7297721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$FF36000C-8A27-450A-BCF2-ECB3904CBAC2","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":"Q5144590$3FFA4467-D8C6-44C6-A4CB-E0B019D6BC9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98d10a1f6fb38c75eb604320dee0b73f9a8d4633","datavalue":{"value":"https://doi.org/10.1145/3373718","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144590$20688F5D-C27C-43C8-AD6A-C54AAB7DBA8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab76a46a23a96b8027e57ab18446902a44b98b6e","datavalue":{"value":"W4235026653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144590$FF315E72-D449-4CA8-9DCB-F2637C156289","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a23f1a51d1d538095c4ec7d77e3eedc069784ff","datavalue":{"value":{"entity-type":"item","numeric-id":5738957,"id":"Q5738957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e47c396467d34f3a62dd5e88003cfbcfaa6ffb","datavalue":{"value":{"amount":"+0.7963172793388367","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":"Q5144590$0011AD7D-99BA-4EB5-893C-361C3BB9CBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcdd717f1786c3858a3c0b3e9a930ec7da13cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4994500,"id":"Q4994500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3da2d7156f5323eba0a700c44bc0683fa9573b","datavalue":{"value":{"amount":"+0.7842961549758911","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":"Q5144590$8D115B4A-6150-423C-9DCC-CD5CAAC3D96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8e128c7c2c610d74fcd2406c28e87772affa3c","datavalue":{"value":{"entity-type":"item","numeric-id":5267431,"id":"Q5267431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c53a1d9c26d228a9f3d84d2b45340665ac49daf","datavalue":{"value":{"amount":"+0.7815204858779907","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":"Q5144590$1283AC6B-B685-47DA-9B55-F5315E110AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004644715ff76fadcf72819d87e8bc22e701903e","datavalue":{"value":{"entity-type":"item","numeric-id":5277735,"id":"Q5277735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cde63e58c354d8c747d75d95eaca94925305e27","datavalue":{"value":{"amount":"+0.7815121412277222","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":"Q5144590$52CE9F1B-22A4-41CC-A05D-737F69C7848D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd23e07a62b4f9a50a280f7d2a0b78f16f11508","datavalue":{"value":{"entity-type":"item","numeric-id":5007123,"id":"Q5007123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a63a94a5b1b9ca9b8f524ed9e7132c87a8ecc5","datavalue":{"value":{"amount":"+0.7652925252914429","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":"Q5144590$16CFD408-E44F-4430-A473-E44D0DE13582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144590"}}}}}