{"entities":{"Q57745656":{"pageid":57659665,"ns":0,"title":"Q57745656","lastrevid":2213613719,"modified":"2024-07-27T03:17:02Z","type":"item","id":"Q57745656","labels":{"en":{"language":"en","value":"Symmetry and partial order reduction techniques in model checking Rebeca"},"nl":{"language":"nl","value":"Symmetry and partial order reduction techniques in model checking Rebeca"}},"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 \u0432 \u0433\u0440\u0443\u0434\u043d\u0456 2009"},"de":{"language":"de","value":"im Dezember 2009 ver\u00f6ffentlichter wissenschaftlicher Artikel"},"en":{"language":"en","value":"article published in 2009"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2009"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"0319b08e3de31c907ada4f2bfe4ec2b1a116e278","datavalue":{"value":"10.1007/S00236-009-0111-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57745656$0DBB54A2-8B1F-4464-9069-EFC197AF07F1","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":"Q57745656$19045186-E227-4FD3-A505-F7A248DCC343","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"6eea9f2706010466fced49575fb758e101d38f89","datavalue":{"value":{"text":"Symmetry and partial order reduction techniques in model checking Rebeca","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57745656$03F25BE1-B264-4917-A92B-82EABC3E8503","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q57745656$6D1AEE61-3F60-42BC-9F24-3FE4D14C1FFD","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"6a9228b41a7e028abb3ce5e27e769bd79d66e35d","datavalue":{"value":"33-66","type":"string"},"datatype":"string"},"type":"statement","id":"Q57745656$0FD7E6D3-EE88-4416-87C8-D0FFF75FC1C6","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"770bbeb3b0ee678817c00ec161a0984385c551c1","datavalue":{"value":"47","type":"string"},"datatype":"string"},"type":"statement","id":"Q57745656$4F112D07-40A0-48D5-9C10-4471ACA25184","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"69f40d197f7dbe235e88be49e1a2910d906a1822","datavalue":{"value":{"time":"+2009-12-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":"Q57745656$9F33F42B-1535-48E8-9080-B744674F9115","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"9f99930199b3174f050548178c76204b966bada6","datavalue":{"value":{"entity-type":"item","numeric-id":127748,"id":"Q127748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57745656$4C375FAB-F787-45DE-8DF5-09AB216300E4","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"0b0f963380c63859b72a5bb82785f021bf3fc182","datavalue":{"value":"Mohammad Mahdi Jaghoori","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":"Q57745656$A5C8A64F-9600-45CB-9855-E00B604D450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b175aa2e907c2f429adea598a9ce7f2cd16f5790","datavalue":{"value":"Marjan Sirjani","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":"Q57745656$4ED1E8E7-8034-47A4-B982-6FCF8AF91567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"aecbc8963881e73ce23082d4d71d263dc5e2d011","datavalue":{"value":"Mohammad Reza Mousavi","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":"Q57745656$8ACB90A5-F901-4477-9693-AE89042DB840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"930651b0b3333fb3f4451215eded91d45a0f848e","datavalue":{"value":"Ehsan Khamespanah","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":"Q57745656$E843FFA6-8A0C-406C-9EDB-F8E3BC3FC878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"e288e9cb53cb0ab2a1eaf4c42a1254e55d17e69c","datavalue":{"value":"Ali Movaghar","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":"Q57745656$6E22646F-4A33-4C38-BE0C-F9A6981CCB24","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"8cc85a284d4ffaf4c468d8c9ffe888c6710baafe","datavalue":{"value":"journals/acta/JaghooriSMKM10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57745656$24CD5091-C819-4D89-B586-45EA1C077D70","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":"897e1e04c26e419c89978520ffa156c99f4ed0f8","datavalue":{"value":"1185.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57745656$82065B7F-7439-4C00-A3C4-6D6F42B5DF80","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":"Q57745656$B284B777-B448-46AC-B6CF-705A8DC94219","rank":"normal"}]},"sitelinks":{}}}}
