{"entities":{"Q59471957":{"pageid":59373329,"ns":0,"title":"Q59471957","lastrevid":2215555862,"modified":"2024-07-29T15:51:23Z","type":"item","id":"Q59471957","labels":{"en":{"language":"en","value":"Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking"},"nl":{"language":"nl","value":"Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking"}},"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 \u0436\u043e\u0432\u0442\u043d\u0456 2015"},"de":{"language":"de","value":"im Oktober 2015 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"ee87c5f35cbc54191680bca98190fa76ced5f226","datavalue":{"value":"10.1007/S11225-015-9637-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59471957$FF8362B5-8450-425F-A0CB-6DD908374BE4","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":"Q59471957$002314AB-CCEC-4A6A-A265-D563DBE98CF3","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"3545c8334a746cda0ec566b33b8ddeedbde7b9bb","datavalue":{"value":{"text":"Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59471957$7BD4B92C-818F-4F15-BB2C-D91AE5D76800","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"185b1ffb37513a089fc3a779d6838b5e7f5330c6","datavalue":{"value":"4","type":"string"},"datatype":"string"},"type":"statement","id":"Q59471957$4A889A4C-232A-4799-B226-4A68B48FA77A","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"5f7864b21531c306d2b3668126269aa36febc8a8","datavalue":{"value":"641-678","type":"string"},"datatype":"string"},"type":"statement","id":"Q59471957$253C7E08-1F74-45CB-8D66-1F5FE4CBC3C1","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"5e74d8ca690532bfbf96c7802b2b9c46fa497524","datavalue":{"value":"104","type":"string"},"datatype":"string"},"type":"statement","id":"Q59471957$C65F877E-F743-4D62-8EAE-7979D4E32A4B","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"6baa35b41376450c3015d1c9506c20a250b00826","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59471957$CFD79CAB-6FE7-4017-A7DC-A8843C0BEC91","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"1a4c48956369c43d80c63a8b45c0ae90aa174dad","datavalue":{"value":{"entity-type":"item","numeric-id":7628029,"id":"Q7628029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59471957$70746F12-13C2-48CF-8E05-8712C4FC927E","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"115a07df75a07049eb0a6fc3686c77b6cd1d9881","datavalue":{"value":"Bo\u017cena Wo\u017ana-Szcze\u015bniak","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":"Q59471957$AFB9B751-5591-4E7F-8FC2-E8E576710D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"30063eaa2e93db9b09e13f575c393bddbce35d17","datavalue":{"value":"Andrzej Zbrzezny","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":"Q59471957$50305454-5473-4EE3-8D89-C7CC08B39CA3","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"57fabfc9977139315b894ac38de5f000ee19f8a0","datavalue":{"value":"journals/sLogica/Wozna-Szczesniak16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59471957$CBFFB670-6622-4B50-A111-E2CCF5A993FE","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"]}]}],"P275":[{"mainsnak":{"snaktype":"value","property":"P275","hash":"d88af718aa8a9dfc24195b73bf4f597bc66c46c3","datavalue":{"value":{"entity-type":"item","numeric-id":20007257,"id":"Q20007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P580":[{"snaktype":"value","property":"P580","hash":"5f859aa493380523a92e2440e5384fba3d37590e","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P580"],"id":"Q59471957$403a0157-2393-4289-8135-162241a6abf8","rank":"normal","references":[{"hash":"3a5a79d5f9f1c400e34ea860836aa86a6d7a2b15","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"8c99cde9c9a975090e642283ce4937f9cf3818a4","datavalue":{"value":{"entity-type":"item","numeric-id":115868162,"id":"Q115868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P6216":[{"mainsnak":{"snaktype":"value","property":"P6216","hash":"5570347fdc76d2a80732f51ea10ee4b144a084e0","datavalue":{"value":{"entity-type":"item","numeric-id":50423863,"id":"Q50423863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59471957$e400c6bd-f6db-443f-878e-2f3613653f99","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"c02a7ecfcdf1b2abcd0c4fe328217f65ecd5d1c1","datavalue":{"value":"1417.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59471957$129E793E-85EA-44C6-A724-571CFFFCF598","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":"Q59471957$EB7106D6-1C66-4012-9AEA-988C4C528464","rank":"normal"}]},"sitelinks":{}}}}