{"entities":{"Q57850737":{"pageid":57765324,"ns":0,"title":"Q57850737","lastrevid":2077609600,"modified":"2024-02-15T02:59:32Z","type":"item","id":"Q57850737","labels":{"en":{"language":"en","value":"Proving Concurrent Constraint Programming Correct, Revisited"},"nl":{"language":"nl","value":"Proving Concurrent Constraint Programming Correct, Revisited"}},"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 \u043a\u0432\u0456\u0442\u043d\u0456 2015"},"de":{"language":"de","value":"im April 2015 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"d3d51cc101ab4284912b8b7df10937ef825f133b","datavalue":{"value":"10.1016/J.ENTCS.2015.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57850737$F5306611-30DF-4DE4-8E63-3E98D39AA35E","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":"Q57850737$E814D0CE-C26D-44C4-A6C3-84DFDB783BD9","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"7e6c3c5f3b2cc14995f7fd9a49b40a3eaf244c5f","datavalue":{"value":{"text":"Proving Concurrent Constraint Programming Correct, Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57850737$1573E5F7-3A85-4F24-B070-E1DBEF554A65","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"27a1878889ca74d06c0fb812a2310eaeb6580e68","datavalue":{"value":"179-195","type":"string"},"datatype":"string"},"type":"statement","id":"Q57850737$3E3ED0E5-9184-4B30-9E73-DE88E5129C2B","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"f1ae57411182e1c42e51df8da1076a0bc113e580","datavalue":{"value":"312","type":"string"},"datatype":"string"},"type":"statement","id":"Q57850737$E1AF6A96-D8FB-4774-B33F-A9CEE623D772","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"1a05bd938ddab69d47c95ccc1dad484926fe9c1d","datavalue":{"value":{"time":"+2015-04-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q57850737$FB521DC5-0405-418D-8982-D686DB46292F","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"215422b0073810e5d63e5969aff65c028f5c63e5","datavalue":{"value":{"entity-type":"item","numeric-id":2878974,"id":"Q2878974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57850737$B41D187B-A9A2-432E-BD3C-A6EB1DEF88FC","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"6dfac56d96a10bcf74ee9fe2bdc3f8f46cfe6235","datavalue":{"value":{"entity-type":"item","numeric-id":5358287,"id":"Q5358287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57850737$8B997C7C-0B0F-473E-80AA-6A38FF4F9391","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9bed2223204c5adc6912881f6b8a8aa969e3f638","datavalue":{"value":"Carlos Olarte","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":"Q57850737$6D179E18-A487-4361-9B68-2E48616666AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"235e575e8ecebef2118a33ee2408dd52c3b777dd","datavalue":{"value":"Elaine Pimentel","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":"Q57850737$D08862CD-ACD0-4121-97AF-5B7781E3EB33","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"2bf62ed156b776fec8590af27512b154395c04fd","datavalue":{"value":"journals/entcs/OlarteP15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57850737$090F753F-669B-460C-BE8D-266DF9746FA4","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"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"99374a6941ff42e63fd956b6e235a0b5915ea8c9","datavalue":{"value":"1342.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57850737$BC6B0130-AD65-4FC7-AC98-7568078696E1","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57850737$3FDABAA2-E545-4E23-89C8-0B6BC0625383","rank":"normal"}]},"sitelinks":{}}}}