{"entities":{"Q59259734":{"pageid":59165668,"ns":0,"title":"Q59259734","lastrevid":2074938381,"modified":"2024-02-11T23:57:18Z","type":"item","id":"Q59259734","labels":{"en":{"language":"en","value":"Enhancing model checking in verification by AI techniques"},"nl":{"language":"nl","value":"Enhancing model checking in verification by AI techniques"}},"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 \u0441\u0435\u0440\u043f\u043d\u0456 1999"},"de":{"language":"de","value":"im August 1999 ver\u00f6ffentlichter wissenschaftlicher Artikel"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 1999"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"45b67d73604c3f19e2bb3e23a160474e4c889080","datavalue":{"value":"10.1016/S0004-3702(99)00039-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59259734$8B394519-D2D3-4014-BFCB-AC2C515AD546","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":"Q59259734$93AF8CA7-BDB9-4B2E-A957-3DAD1B89ADD8","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"df02f0a902b266c5b06a6ebbb3928e3916e59294","datavalue":{"value":{"text":"Enhancing model checking in verification by AI techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59259734$29195524-74B2-4F79-821B-A60289B7AD95","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"3426988a56fa265f3ed8610794381c0337773c5a","datavalue":{"value":"1-2","type":"string"},"datatype":"string"},"type":"statement","id":"Q59259734$77DBFF71-D912-45C7-877E-855AE424664F","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"69a9148e4aa43e78a5cf398268bad0006e003c70","datavalue":{"value":"57-104","type":"string"},"datatype":"string"},"type":"statement","id":"Q59259734$D7CBA5E6-8215-4080-9E70-23FB19AADC6E","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"435257dd0e1702e0905dc2e1eeac6caa855e49a7","datavalue":{"value":"112","type":"string"},"datatype":"string"},"type":"statement","id":"Q59259734$2E5316AE-E165-45CE-B135-991B7EFFBCDE","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"a7f86efef468708db547d56c6e819c7995500a66","datavalue":{"value":{"time":"+1999-08-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":"Q59259734$775228F7-C8D6-4146-AC70-BCF7B09B240B","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"d3f4b0784b14b1a74a865483e1e59fd0cf10b8d7","datavalue":{"value":{"entity-type":"item","numeric-id":4801030,"id":"Q4801030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59259734$BB11721A-1B7E-4DEB-B6D9-D66B5E2A5AC5","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"d07e82760a4a882530dd26df197580d2275971c5","datavalue":{"value":"Francesco Buccafurri","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":"Q59259734$6B1AF2AC-612E-4011-888A-1525E8B8DC1D","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":"Q59259734$B925F311-E0E6-4178-9D3A-1D5F8C15AF8C","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"187371f040a6afd6b15a82a3eefa5ac4f6674f62","datavalue":{"value":{"entity-type":"item","numeric-id":89467,"id":"Q89467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"571a1430e9882bad88dd6b2de56bf2dcd8127d0e","datavalue":{"value":"Georg Gottlob","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59259734$4D7DBE24-4ED4-4E54-BF6F-B13E9B959AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"f18b6b260bbbc83e386342b3d285b2afeb756728","datavalue":{"value":{"entity-type":"item","numeric-id":62559769,"id":"Q62559769"},"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":"2a6f2178b9bb945eaa190c2e8078a8e914329b0a","datavalue":{"value":"Thomas Eiter","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59259734$21768E23-F04B-4C10-B4D9-AC10089C54A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"612400c983b30daa5f8898ea5625bf3be976aae8","datavalue":{"value":{"entity-type":"item","numeric-id":58049749,"id":"Q58049749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"4fc4868fd7268b6a9b8dc5172b3ff1101ab72e1b","datavalue":{"value":"Nicola Leone","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59259734$E1EC8E61-5D60-4688-824F-546F8094C5C1","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"61712be8e60b0e5fcb001689040f837ba5958c9a","datavalue":{"value":"journals/ai/BuccafurriEGL99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59259734$75C298D9-C006-4A93-858A-4BD75A3F2EAF","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":"b2e098ad24436dc3de1cb6da136f34c3201bbf9a","datavalue":{"value":"0996.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59259734$426E9918-FA0F-4AF8-A5CE-C285F72C6E39","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":"Q59259734$E9CFDC46-C981-46A5-8A70-A38E8184D9C1","rank":"normal"}]},"sitelinks":{}}}}