{"entities":{"Q310082":{"pageid":311849,"ns":120,"title":"Item:Q310082","lastrevid":77726201,"modified":"2026-05-06T09:56:05Z","type":"item","id":"Q310082","labels":{"en":{"language":"en","value":"Checking EMTLK properties of timed interpreted systems via bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6624778"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$96831B9D-8838-4B9B-9410-B71C1288E90A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"523e054ba6b8cc49ca53f625ea4fa7632fa03436","datavalue":{"value":{"text":"Checking EMTLK properties of timed interpreted systems via bounded model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q310082$E8E21E6D-1E78-4551-82F5-C5E2A1884F54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb76909d5592cebd74dc02d9a86558963a518be","datavalue":{"value":"1417.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$1B497912-8811-479C-B77C-180A42B682D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70320fcc24032cc2326ada00967df5fb708d7b3d","datavalue":{"value":{"entity-type":"item","numeric-id":310080,"id":"Q310080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$9D81F007-9E95-4184-B738-CC02070686CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$F42E2ADD-CF11-408D-85AB-4707C97FE9AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$B552DA91-366E-4BC1-B76B-220AA4C7B9FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87e9445c0cad7e859fcbee25cafb7e14e92d43e5","datavalue":{"value":{"time":"+2016-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q310082$2A76FEE6-4D9E-4FD0-B60C-3C10FEB40C6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$BD49F069-41BA-4D70-AA9E-6210BF1A5FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$F5AB0706-AACF-464C-86C3-7C63F0B46E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$23216EC1-E64E-4AEF-863E-FC7930C085CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a88ce45e8687660355a81822648a5ec9d88feaf6","datavalue":{"value":"6624778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$E308FD03-A4AF-4D4C-ACDE-7065158355A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q310082$3CC11B34-57D7-4958-AE4A-6C2D2D954758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed64f0f289ba5a859b403c78978a55256cab9af","datavalue":{"value":"timed interpreted systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q310082$D196734F-3554-4174-9E5A-BEABF6064FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2123868f4286df857e71b426df40355d244481bd","datavalue":{"value":"metric temporal logic with knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q310082$C8A15E7C-206F-414A-9361-84150887919E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$386BE9BE-0B2B-4857-9E3E-52138BE072D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$FEC4E770-5BC4-4638-8EF7-B74E258DA514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$1FEF587C-FB39-4621-BCD7-26CCD465C58E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$A53E7472-78F3-4E36-850D-304F89FE999A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4244681a28057726639e4a7c15ed1bd1aedd601a","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9637-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q310082$DF7C8023-BC44-44F2-B0D1-5C3C60D6E9A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7344e8f6d2024d7e394b5340cd19d5bec7462505","datavalue":{"value":"W2219669608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$197DC70C-8C97-41AF-80D8-EA806DFC814B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b70a51e45de6fcc886995ebc7a91cd079a9ca35b","datavalue":{"value":"Q59471957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$4840ADFE-6467-4B86-828D-7CB9DBA0BC4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$56AA59D1-BC39-47B5-9924-5116BA487018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$5EBC9A51-430A-48A4-882A-465B356F6F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$34471658-437C-41ED-8356-C97A00F32D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$761142F7-F502-46C7-B647-09CA5341C9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$1B03F357-479B-49A8-AE7B-70744882A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$3F51228D-19AA-40AF-A639-16D571A26332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$BF65EEB1-0578-4A3F-8B8B-F8D1F7B21684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$C95BF812-8D18-4BF1-828C-E8BCCC6857EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c2c416697a5071edaa2c0641d0f2c157ceb6b","datavalue":{"value":{"entity-type":"item","numeric-id":5505598,"id":"Q5505598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$47F6625B-9FB6-48B8-B2A9-86EABCE0845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$DA949AA9-BD5E-4BE9-93FF-332D9AC95611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c20aa85eb416dd7cde803b8e47d06c7c466a5e2","datavalue":{"value":{"entity-type":"item","numeric-id":2999188,"id":"Q2999188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$F38AF7FB-947B-4362-A7DE-176DE90520B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e206af7944c265e8499eb72efe90fa460846802","datavalue":{"value":{"entity-type":"item","numeric-id":4902327,"id":"Q4902327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$94F5C28E-F7F3-4388-98B1-46D2CC73A264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b502cd2fe09ee2d9cf3529d4e50b8fc507e7d","datavalue":{"value":{"entity-type":"item","numeric-id":1420804,"id":"Q1420804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$94559B79-D690-4A65-A6B4-5E4CBDAA5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb45f7d6639f84b527141fafd39e33affb92f14","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$AF0B103E-E875-44FA-B29B-F03C77F56024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$B12E303C-1696-4979-9082-71A1C7145E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494735aaaea3d9548a22956a7a65b2a1577b87f1","datavalue":{"value":{"entity-type":"item","numeric-id":4914307,"id":"Q4914307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$6A185FC2-027E-4EF8-9CE6-D97CDEF03031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b37e17eabc388b62d92d0b54fc83c90acc7ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5259307,"id":"Q5259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$1FDDF93E-86D0-496E-9149-886A5096F0AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771dfd28eb5ab6be7e7a5a5a755cb74fc045191f","datavalue":{"value":"10.1007/S11225-015-9637-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q310082$C4392F62-C446-4DE0-87E3-781841CDB68E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e126c0ae099844b0e94b0f3d610664a8799d94","datavalue":{"value":{"entity-type":"item","numeric-id":5040685,"id":"Q5040685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db55342a9faa83e946b8f776ea8809f0fc5179f","datavalue":{"value":{"amount":"+0.8945909142494202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q310082$A06BB7F7-17BA-403C-B6ED-A79C9F6D936F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae3d14af3526cabf01c3ee75f249097333568e","datavalue":{"value":{"entity-type":"item","numeric-id":5082182,"id":"Q5082182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13acef45540d601ba107264455409e6ce3c6a9fd","datavalue":{"value":{"amount":"+0.8771049380302429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q310082$8FBE259F-F194-427E-89F9-C6EB3E125305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1454116014189fc4bece50c7a54141fd441d32c7","datavalue":{"value":{"entity-type":"item","numeric-id":5259307,"id":"Q5259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb026c1385a5a2412bae704c9e1d9c44a621c99e","datavalue":{"value":{"amount":"+0.8549115657806396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q310082$5BDE4658-46BE-4F20-88ED-13C16EED03CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c7b2ea6fe12ef2e01aa758630ca280b22f19bb","datavalue":{"value":{"amount":"+0.837259829044342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q310082$FFE11647-4AA4-4B8B-93B4-CB11A57315D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f011f3c30df7a271f4b2036dd8a2d87bd30b08d","datavalue":{"value":{"amount":"+0.8210606575012207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q310082$53BBC548-CC89-4C04-B279-FACF6BD6FDDE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q310082$FDC8AF0A-4951-442D-84D9-A914C5A18704","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking EMTLK properties of timed interpreted systems via bounded model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_EMTLK_properties_of_timed_interpreted_systems_via_bounded_model_checking"}}}}}