Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• ICALP 2019  + (06:51:35, 3 July 2020)
• ICALP 2021  + (08:35:23, 3 July 2020)
• LICS 2018  + (10:17:56, 3 July 2020)
• LICS 2019  + (10:38:46, 3 July 2020)
• List of Events  + (12:55:05, 4 July 2020)
• Property:IsA  + (14:50:06, 4 July 2020)
• File:Acronym length.png  + (12:16:56, 5 July 2020)
• Acronym Length Histogram  + (12:18:34, 5 July 2020)
• POPL 2019  + (13:20:26, 6 July 2020)
• POPL 2021  + (08:36:59, 7 July 2020)
• ITSC 2019  + (11:19:26, 7 July 2020)
• ITSC 2020  + (11:47:56, 7 July 2020)
• ITSC 2018  + (12:10:29, 7 July 2020)
• POPL 2018  + (12:51:43, 7 July 2020)
• CLEO  + (12:07:18, 8 July 2020)
• CLEO 2016  + (12:10:37, 8 July 2020)
• PLDI 2021  + (06:09:44, 9 July 2020)
• User:Jojiher  + (07:55:44, 9 July 2020)
• User:Jose Luis  + (07:55:59, 9 July 2020)
• CLEO 2017  + (08:14:25, 9 July 2020)
• CLEO 2018  + (08:31:53, 9 July 2020)
• CLEO 2019  + (08:42:15, 9 July 2020)
• CLEO 2020  + (08:49:25, 9 July 2020)
• EvoStar  + (09:55:18, 9 July 2020)
• EPS 2020  + (10:04:56, 9 July 2020)

• FSE 2020  + (10:07:18, 9 July 2020)

• ESEC/FSE 2019  + (10:44:51, 9 July 2020)
• ASE 2017  + (12:43:32, 9 July 2020)
• VEHICULAR 2020  + (17:45:49, 9 July 2020)
• INTELLI 2020  + (17:46:31, 9 July 2020)
• HUSO 2020  + (17:47:06, 9 July 2020)
• COLLA 2020  + (17:47:50, 9 July 2020)
• INTERNET 2020  + (00:20:26, 10 July 2020)
• ICWMC 2020  + (00:28:41, 10 July 2020)
• ICCGI 2020  + (00:36:27, 10 July 2020)
• VISUAL 2020  + (00:42:28, 10 July 2020)
• SoCG 2020  + (07:50:26, 10 July 2020)
• SoCG 2019  + (08:11:57, 10 July 2020)
• SoCG 2018  + (08:21:06, 10 July 2020)
• SoCG  + (08:37:24, 10 July 2020)
• EUSAR 2021  + (08:40:04, 10 July 2020)
• ICNC 2018  + (09:26:45, 10 July 2020)
• EUSAR 2016  + (09:31:47, 10 July 2020)
• User:Lorena Parra  + (09:35:27, 10 July 2020)
• ICSNC 2020  + (09:51:04, 10 July 2020)
• CENTRIC 2020  + (09:57:28, 10 July 2020)
• ICSEA 2020  + (10:00:26, 10 July 2020)
• SIMUL 2020  + (10:02:16, 10 July 2020)
• ICMIM 2020  + (11:31:32, 10 July 2020)
• ICMIM  + (12:01:12, 10 July 2020)
• ITSC 2017  + (12:11:07, 10 July 2020)