{"entities":{"Q6486433":{"pageid":14065091,"ns":120,"title":"Item:Q6486433","lastrevid":103358942,"modified":"2026-06-06T07:13:48Z","type":"item","id":"Q6486433","labels":{"en":{"language":"en","value":"Evaluation of temporal datasets via interval temporal logic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649996"}},"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":"Q6486433$7CA7D18A-924C-4EA2-A5D4-1A28B574BCAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f45a00ede028b41542412356a7cd105369f24b7","datavalue":{"value":{"text":"Evaluation of temporal datasets via interval temporal logic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486433$AC30E86A-4D02-4BAB-BAD8-71AE25EB809A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486433$1A955894-7DDA-4DEC-826C-8AD9E210AF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486433$D549D3C2-391A-41A5-BCC0-68C0AD0D2680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486433$2B1FEAFF-BED3-4A1D-BCD4-B07B4C132864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486433$B2EF3A22-C284-4C26-B1F4-33D1A4E3D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486433$6D7D88A5-8383-4D3A-9D5F-DAEB6A0DD611","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19f427c8bdc1da29ce7bd323c0da1acaab216055","datavalue":{"value":{"entity-type":"item","numeric-id":6486432,"id":"Q6486432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486433$391A8DC4-B12A-4E34-8828-E303440B39B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486433$76815982-AA5E-459C-B3A0-55D95BFF7B22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486433$5047A959-0097-4A1C-BEA8-41811334A2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486433$FDBB0155-2773-4533-9AD7-4A7F3605F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486433$F0EAD4A1-BF35-4F07-8731-A0A1370687F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf350d1b1467ae58d3b7c18ef5791efee5ab462","datavalue":{"value":"7649996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486433$F48A6503-60FB-41C0-944C-516AE94A7EF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183caf377257c96bd17bad71c97c48b2e3548fc0","datavalue":{"value":"dataset evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486433$F1432B7E-106B-494B-AB37-FF44FB538EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8a8aa46d7a10c167f5cc47c4db94d00d884835","datavalue":{"value":"temporal databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486433$27E3DDF5-E459-4F73-8EDC-97AA6559C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486433$A3EF3F39-B096-41E8-A815-B32F61B2227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486433$36E3A532-C846-41D7-B15A-B3C4BD08CD28","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":"Q6486433$5B821393-ACD7-433D-9B96-B482428C325A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6198c74ac60e9323e6f78070386c44f2ec6050ba","datavalue":{"value":"10.4230/LIPICS.TIME.2017.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486433$B2B36AE9-037F-42C0-9FEB-22A11B01EE8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f87fc005881390bd8d383bea10621652d7fc6dc","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf292576d1585b569d3899955b0dc134588f7ff","datavalue":{"value":{"amount":"+0.7143407464027405","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":"Q6486433$5AE6E8B5-0A9F-411B-887A-1678BD27DD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f698ce49aee4dabccce62f10a50f4439e3c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5194653,"id":"Q5194653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2c1bdea39dac794c2b7cc060021118eb8d9d8c","datavalue":{"value":{"amount":"+0.7141379117965698","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":"Q6486433$1A3DD1BE-D237-4BC2-9699-36892B0E0D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6047ab53c988412df318e009f77a95f452fd6f","datavalue":{"value":{"entity-type":"item","numeric-id":4991927,"id":"Q4991927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70ee39b11af6a1619c396ab1ef65254eaf92d55","datavalue":{"value":{"amount":"+0.7123859524726868","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":"Q6486433$1C47D5F3-EE35-4950-B697-D06FD2F3574B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc954dabd90115284021179d59e882b2d00ef70","datavalue":{"value":{"entity-type":"item","numeric-id":4444474,"id":"Q4444474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ef7e46248cd8146c92892ecb97f03628fba79e","datavalue":{"value":{"amount":"+0.7081548571586609","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":"Q6486433$528CF754-19C1-4418-AAC7-58A102EA9A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f691ffc8312425128ac94373aa5e6f2c72a1f94d","datavalue":{"value":{"entity-type":"item","numeric-id":329410,"id":"Q329410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e234d98c5f5d8a136bcd0f0e875aac5b3a90b3a","datavalue":{"value":{"amount":"+0.7052301168441772","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":"Q6486433$49FFF89B-8A38-455B-9C9F-3ACBD8351BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evaluation of temporal datasets via interval temporal logic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evaluation_of_temporal_datasets_via_interval_temporal_logic_model_checking"}}}}}