{"entities":{"Q59609105":{"pageid":59504718,"ns":0,"title":"Q59609105","lastrevid":1307861512,"modified":"2020-11-17T08:55:26Z","type":"item","id":"Q59609105","labels":{"en":{"language":"en","value":"Automated generation of state abstraction functions using data invariant inference"},"nl":{"language":"nl","value":"Automated generation of state abstraction functions using data invariant inference"}},"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 \u0442\u0440\u0430\u0432\u043d\u0456 2013"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"1fffffadc5943b8da80a7c46685d83d2051f792f","datavalue":{"value":"10.1109/IWAST.2013.6595795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59609105$1FDF5351-DC09-4373-91D0-1901DF8E08FF","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":"Q59609105$F64B6948-6B65-4D38-BF49-E4A84BF74D6F","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"3712803abc4d8d7f798efb1bc93e4c69706d89af","datavalue":{"value":{"text":"Automated generation of state abstraction functions using data invariant inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59609105$0FF208C8-491A-4346-A0A6-B4925076969F","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"cbba9c45d93937701ca35de61332802eb165709f","datavalue":{"value":{"time":"+2013-05-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":"Q59609105$EC9E5AEA-393F-49E1-BCD5-4758A416E7CE","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"8ff730d23b307c0e3b5216a4c2f7525fd1258732","datavalue":{"value":"Paolo Tonella","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":"Q59609105$68A47796-66D8-4EAB-B476-BB48FE3C995B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"d2213feae39e38dfba0ed6adbcc8fda05ce53b61","datavalue":{"value":"Cu Duy Nguyen","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":"Q59609105$F5B53F35-627C-4591-AB3B-A44DEB7442D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"21373a4f5046b450c60e7056b3a26505f22d72b6","datavalue":{"value":"Alessandro Marchetto","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":"Q59609105$BF11797F-B197-41E4-8077-5EDAC32D4337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"7a114133da1afd5870fb90fc5b092dc3765290af","datavalue":{"value":"Kiran Lakhotia","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":"Q59609105$AFF8E42E-3037-4DB4-85A0-DAD4D928640E","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"a451cdad3c17ea5408946a8facb479ba7cc87d71","datavalue":{"value":{"entity-type":"item","numeric-id":6767924,"id":"Q6767924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"e19948600316e7761f905423cae79ed9f42f0632","datavalue":{"value":"Mark Harman","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59609105$2AE33057-EAE3-46C7-BD0C-1259B22530C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"471dffd17c40b1e144d424483d4ee2697218e822","datavalue":{"value":{"entity-type":"item","numeric-id":57302295,"id":"Q57302295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59609105$89250049-CB28-4ABC-A521-55DF7D493DE6","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"609186c34f60b98e8a71efbce6f296594a2a3158","datavalue":{"value":{"entity-type":"item","numeric-id":184199,"id":"Q184199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59609105$A0EE96E2-6100-42CB-BC83-77B8E85C32C7","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}]},"sitelinks":{}}}}