{"entities":{"Q59625999":{"pageid":59521516,"ns":0,"title":"Q59625999","lastrevid":2390712962,"modified":"2025-08-11T14:57:20Z","type":"item","id":"Q59625999","labels":{"en":{"language":"en","value":"Roadmap for enhanced languages and methods to aid verification"},"nl":{"language":"nl","value":"Roadmap for enhanced languages and methods to aid verification"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2006"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"3c9207cf7c41eff16e85e387a16feb3fd394ffdd","datavalue":{"value":"10.1145/1173706.1173740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625999$478BAB8F-988B-48AD-AF3E-3DDD421B8616","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625999$53548442-02A9-46EF-A61A-2A9840DBE929","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"47cc99063bc2b764fdfee00161db283d270924ea","datavalue":{"value":{"text":"Roadmap for enhanced languages and methods to aid verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625999$E49693E1-8CD8-4C75-AC73-7FFB453C65B8","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"dc4188996de539672ceb455087c518d143bc1637","datavalue":{"value":{"time":"+2006-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59625999$CD3AC761-A938-448B-99F7-DEFD1EA1D4C6","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"c0176cfbadb0586860f6d51f3fcb32429760af56","datavalue":{"value":"Gary T. Leavens","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$5A25B567-E90E-4E42-A8E9-721D3FB34781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b49389070bf181c8814870d836355e94eb3f3b4c","datavalue":{"value":"Murali Sitaraman","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$4664B73B-42A6-4083-8DB9-8D8FB110F48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"5a257125bda6d8100be4318e8b6e864fcdb6c328","datavalue":{"value":"Douglas R. Smith","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$7DB9A78A-740A-47EA-934A-872F88CCDFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a8e9da5e7f96f3a915ba830b2b6b386b5499b824","datavalue":{"value":"Aaron Stump","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$F0BF9CBC-01A2-4418-9590-BA9EC7ECADB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"148f0a25dbb621576c7a5bfac15629a8394ba562","datavalue":{"value":"Jean-Raymond Abrial","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"32387bd293902a2430b5bb680033d36ecea00dd0","datavalue":{"value":"6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$F4DB1AFC-B25C-4827-8D5A-698F867F307E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b4a14d1fa5611cb91f341559d00b5e2747497c29","datavalue":{"value":"Don Batory","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"9a4403310d2d27312d0a93830981a1e51b735843","datavalue":{"value":"7","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$01302172-D1F4-4E94-86FE-63C73E1A3A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9180e5f31f0dad75efa3bf49c1dc17862003b141","datavalue":{"value":"Michael Butler","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"94d4f77373c2051829a238495246b458b7737ef9","datavalue":{"value":"8","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$F8375138-B863-45E6-AF09-5FFC1C12D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"751141a19c7c0db7acb8b25ffcbde57821e8df05","datavalue":{"value":"Alessandro Coglio","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"a9a9c98c803f52f2debc2c74270b3bd0c1f753d9","datavalue":{"value":"9","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$6BF16A68-BE22-41E4-8B54-C6ED4BA438C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"dccf3045ff9968a60f7f38d233fbd5c690939345","datavalue":{"value":"Kathi Fisler","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"51210afb13f62d7537a51c61ba9b9586db143c24","datavalue":{"value":"10","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$D49E8D90-8F72-4ADC-B62B-D9B2EE668857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"35ab5e6887f81967d28fa61affb4c8a412b53c74","datavalue":{"value":"Eric Hehner","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"4fda4e2a606f90da339710b3368ca24eb2d05ec1","datavalue":{"value":"11","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$DD1D72CE-A3F9-4C29-B5F5-2FE887EBA70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"96faec7f027aa14de8d5f3c6bc549aacf85b700c","datavalue":{"value":"Cliff Jones","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"b1425a27074b51abb46a9cb949eb37d115c2204a","datavalue":{"value":"12","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$AB0FCE11-47F8-4A86-9C11-D0CB9EBC526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"84abd703b175873292d6d16b9169a334f04bb040","datavalue":{"value":"Dale Miller","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"f156fb34fcce34ed7b7ab814d08b4f127f7d0c0a","datavalue":{"value":"13","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625999$3C9071FD-7349-4DDA-8A42-A6E114D77D21","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"cd3eedf23e9af2f6c7023c3b22a68c85aed22168","datavalue":{"value":{"entity-type":"item","numeric-id":92949,"id":"Q92949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"596ecb3c242ecdeec48003049577bc83b5b452a9","datavalue":{"value":"Simon Peyton-Jones","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59625999$4F25AF8F-194F-4F31-AFE4-B4C084C059BD","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"79c05fdd6df991fda175227e85446674179cdb2b","datavalue":{"value":"conf/gpce/LeavensABBCFHJMJSSS06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625999$CB6FA0E2-17D5-4D09-B18E-35B5DA4D49C0","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P123":[{"mainsnak":{"snaktype":"value","property":"P123","hash":"cc853f712198fb0ef022acfc62f36db3bbf64f2f","datavalue":{"value":{"entity-type":"item","numeric-id":127992,"id":"Q127992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625999$12F1D915-0206-4B8E-896C-40E08C8C98AA","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625999$D44EBFBD-D764-48CC-8BE8-A40D1FD211D5","rank":"normal"}]},"sitelinks":{}}}}