{"entities":{"Q58028921":{"pageid":57943774,"ns":0,"title":"Q58028921","lastrevid":1798562039,"modified":"2022-12-30T11:21:07Z","type":"item","id":"Q58028921","labels":{"en":{"language":"en","value":"Challenge benchmarks for verification of real-time programs"},"nl":{"language":"nl","value":"Challenge benchmarks for verification of real-time programs"}},"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 2010"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2010"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"21aef2f73cd295e3d1694df02f304ff2c74d8f23","datavalue":{"value":"10.1145/1707790.1707800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58028921$94A63207-3C84-4980-9445-77B62C55808C","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":"Q58028921$97B0139A-E107-4950-8DD5-2E6AE7CE8E7F","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"b70f978d244aa48a0dae7c3c7f4181c121e0e756","datavalue":{"value":{"text":"Challenge benchmarks for verification of real-time programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q58028921$4B3A0CEA-89F6-4A25-ACD7-BCB5931F4E20","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"74f1480b151389c8a269bdf820487fb69be5f95e","datavalue":{"value":{"time":"+2010-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":"Q58028921$B4A5ACE1-0682-4226-A6E3-FA41EA1B6298","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"d246273a84875b07b65b4174158d77d35d8de132","datavalue":{"value":"Tomas Kalibera","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":"Q58028921$30B365EB-B483-4329-941B-915E7243BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"56e45b7d172a0d1590b0c4a5bbfa8c24be1b6bd1","datavalue":{"value":"Pavel Parizek","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q58028921$33470962-5B98-4CF8-9188-72D2467B7E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"42b2de8642b09ffb8e3eb15ff4a892b44f1d9013","datavalue":{"value":"Ghaith Haddad","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":"Q58028921$FD94EFBB-492A-432A-BBC0-D1BA5E807445","rank":"normal"},{"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":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q58028921$64DBED96-8E5F-46E4-97EE-26504D27540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"dc1d846d3430b1798a883fc59f7b5a9610a6dc7b","datavalue":{"value":"Jan Vitek","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":"Q58028921$AB3D9F16-D665-464F-BCB1-E1BF0CC2FBDD","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"c917d68f9a775c478c39268a5270565419556d05","datavalue":{"value":"conf/plpv/KaliberaPHLV10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58028921$CDC8BF42-ECFF-4C42-8A8F-BD141DF7888D","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"]}]}]},"sitelinks":{}}}}