{"entities":{"Q897649":{"pageid":899497,"ns":120,"title":"Item:Q897649","lastrevid":52409138,"modified":"2026-01-22T14:17:22Z","type":"item","id":"Q897649","labels":{"en":{"language":"en","value":"An SMT-based approach to satisfiability checking of MITL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516966"}},"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":"Q897649$4D469E66-63AF-44F0-B9AE-A3750475D73D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c4dcb5c0a1910776d3211db7ff6e279984027e","datavalue":{"value":{"text":"An SMT-based approach to satisfiability checking of MITL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897649$0A762E5C-D582-494D-9E13-007C1B7DA4D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12c2da5b3546fa6e99f44a17f874dee1a92eeff0","datavalue":{"value":"1332.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897649$1A982AFE-8BE9-4714-92F0-774A5B8CFD47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$05D1D21D-7006-4D0A-9E06-5730726A85A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$43F0740D-42C9-4B36-812C-A6347BF25C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$7C120428-9D84-4CDE-9CB1-9F226AA85193","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$BD45B337-4791-43BA-9267-CB01F6B72E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-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":"Q897649$19E51D73-9326-4A82-A72A-643C2D4C2DC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897649$38468E53-D8D4-4179-A85A-96C292D6D89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897649$7C4164AF-DE5B-471A-A075-9D01F30ACD5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bb9ca710e55dd7ed6f7e7ca597add433c0cb634","datavalue":{"value":"6516966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897649$EE79F78D-16A3-42F0-A802-657FB0197D3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff66854a355ea1e29c6af99e9c7db81754bc54f","datavalue":{"value":{"entity-type":"item","numeric-id":26501,"id":"Q26501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$7D7E8192-98B5-46F3-AE49-601FB6B21D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$B93681EF-550E-46A5-A57E-E6B8C1613983","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":"Q897649$CE8DB062-919E-473F-A23B-4837AFDC3612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95eabcfa0a5b9194e14b8b10931ce7ec91fd5ddb","datavalue":{"value":"https://doi.org/10.1016/j.ic.2015.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q897649$E3F35B83-D6CB-4DE2-AE2B-6EAF6D4A1C64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1fdfea1dca8d60d61701c17634a6a21bbf4f55b","datavalue":{"value":"W805171677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897649$14352CA2-76DF-4C68-A2DA-5A13D9FBDEEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61740ecbf6a6fff8312c53cfdd13a6408719c9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$BC18D9BD-6D03-487F-9CB2-E13003D63FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf7b7124083a88a2ca1c16cc51826c05c895649","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$02CED5D3-FD5E-47D7-90A6-F2E986F9FD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$DC0E9913-029F-4421-8C7C-4D6CB62EF468","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":"Q897649$F4A4AA1E-FA0F-4A10-9A0C-C4E9A79698AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$AAA0F078-B340-4CA6-8228-10A0B2522033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9998057915792c2aca7db2cf8322692024db4ad0","datavalue":{"value":{"entity-type":"item","numeric-id":714629,"id":"Q714629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$96F18AB0-7697-485A-8248-47FC2E162807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$9BA3595D-270F-476A-95CE-5B9FE3F7E227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$804781F8-25F0-4E33-868C-77965CD7EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd5e418e27c3801c71210fe135632da3aec885e","datavalue":{"value":{"entity-type":"item","numeric-id":2842659,"id":"Q2842659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$BA8867C1-5AFE-419A-9CCB-CE34C402FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a00b00f1093fd8e565aaa95021eab02d7ccebe","datavalue":{"value":{"entity-type":"item","numeric-id":5500555,"id":"Q5500555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$5CBEF7B0-D77A-4BA0-9FA7-67BF161BE36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$5B7511FC-051F-41E1-A677-8BBEDF29B77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d584ef02ff014ff7b98df140415271ae19a73","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$7CD2ECB1-974E-46E3-A3B6-5FB6A108B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$3AC69513-B0AC-4266-B7BC-5E6CF07D55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$5E2FA7E1-B11F-4475-91CC-AF2A31596484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$ED899B97-68DD-4ECA-90EE-264DC118D59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4be9a9b506cb0041ae2198ca04e29b2e4bef29","datavalue":{"value":{"entity-type":"item","numeric-id":3511245,"id":"Q3511245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$38D234F6-DCD6-4C3C-A663-DAB8F2977446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ac60f1deba4ac31dd5088903dba15b8944d13","datavalue":{"value":{"entity-type":"item","numeric-id":5464766,"id":"Q5464766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$36529EDA-29C5-4956-980B-C026A81A6682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b286d85c0ec526c88453b961ee0940519b5e9a61","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$5117EBEF-661E-47CB-B117-EC1C66E6591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa47655d911cd54ec5a24c13fe6c4246d8dad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$BB625431-2D10-4C41-8D35-0AC62A43284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$66611F14-AB3E-429B-9801-96D25362BB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7102e49907cfbbeb5b8325e3f831504dd3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":418179,"id":"Q418179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$D4E8DE22-BA62-4C2A-9DE9-AA27DCE12276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897649$C533CBBD-2E37-4277-B356-572ED169C5F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b46dd2fc03c48dbd447865813d3b22fbe039b739","datavalue":{"value":"10.1016/J.IC.2015.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897649$D4C57A90-14C3-4867-8FF5-2051796A7C49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe660c55e4219fa4b674a150ad5a77aeaf83eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d64b8558b37f5e9a1f93f06386edad8ae96619","datavalue":{"value":{"amount":"+0.952897012233734","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":"Q897649$4812C7A0-BF0F-472C-B14A-7799253FEA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f56e378cd126375a4faed1f9d35cfaa84e354b","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df357eb26134c5b6154438a6e674a7f5273f95c","datavalue":{"value":{"amount":"+0.8709133863449097","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":"Q897649$BB55A462-5320-4422-830D-276494B7FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea6cef1071023ec3c7c09641c7c2f0dd9d30998","datavalue":{"value":{"entity-type":"item","numeric-id":3296347,"id":"Q3296347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b595d0fe7129ffab520d287952bb1340201474","datavalue":{"value":{"amount":"+0.8278120756149292","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":"Q897649$B5E3ABAB-672E-4DDD-AA61-C98176CBCEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe218b6a605e1b83b38bfdb3588b0e0f2cfe510","datavalue":{"value":{"entity-type":"item","numeric-id":5500555,"id":"Q5500555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e1e442ddea4a85acc69fe8381177b1e40c30fe","datavalue":{"value":{"amount":"+0.7983126044273376","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":"Q897649$F9729863-327F-4A2E-9C13-9501C1D8A3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508294dca7614f1b0d8d321056f1846834406cc0","datavalue":{"value":{"entity-type":"item","numeric-id":6486425,"id":"Q6486425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052150e4792766060bc3fa310c70d7cf1908ace7","datavalue":{"value":{"amount":"+0.7839714288711548","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":"Q897649$07E2B333-90DF-4631-8448-77F8124D8B1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897649"}}}}}