{"entities":{"Q477203":{"pageid":478970,"ns":120,"title":"Item:Q477203","lastrevid":62118888,"modified":"2026-04-11T03:53:25Z","type":"item","id":"Q477203","labels":{"en":{"language":"en","value":"Interval temporal logics over strongly discrete linear orders: expressiveness and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376191"}},"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":"Q477203$9E2A2962-C41F-4754-BD67-40332AB44B3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f775ce39e24932a1a13be211559ade0f878f823b","datavalue":{"value":{"text":"Interval temporal logics over strongly discrete linear orders: expressiveness and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477203$E57F7D91-6D73-4FF5-8A44-90221E7394B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f481bc0b96b5034d22e079cb6ab4214136243676","datavalue":{"value":"1335.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477203$2938D338-C22B-4A32-A718-31ACEEE92561","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$2DC1C69B-1AA5-4463-B9F1-3420ADCC1364","rank":"normal"},{"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":"Q477203$6ACEFB4C-D57A-498A-81E0-D66AD5EC2B6D","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":"Q477203$96D6B1B0-41C2-42F0-9FC3-AB88E64C2412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$4D4CF5C6-E13D-4B4E-828D-84D85D7C3577","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":"Q477203$6CE62A95-381C-4186-B497-7DAA08650120","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$70F819FA-5BC3-4749-A4EB-595E0509A89D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dfefec2f6ca5d698146ea0cb5593f631aa8cde","datavalue":{"value":{"time":"+2014-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477203$0F6D432B-E147-4103-A0E5-4F731B129CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477203$754AAC47-B5D9-4DC3-A4BE-F2A799B0ED17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f589b3a54445bff0b04f3310e6f2af4eb7ba37","datavalue":{"value":"6376191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477203$67ACBD95-9895-423B-90D1-A9095A38546C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q477203$85F6C450-6677-44AC-AFC3-EEE0C565BE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e645fb5f78d3d67a5a30d1e3fb8efe5009f93ccb","datavalue":{"value":"discrete linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q477203$9DE88E64-25E9-41D5-9E09-835127F031B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q477203$EB6AA56A-FB31-4811-AE36-186DB9574D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q477203$27F46E2C-8070-48C0-97BA-4B7D73E5FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q477203$841454F2-D471-43BF-8072-011B70792400","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":"Q477203$26357BA6-B76E-4B60-90A6-627A958E3707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dad93d17cba7eb439eabb2f0b8badc034d59258","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.03.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q477203$C5284664-D054-4C2B-A69B-D6569D1201B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b9e500665c51f21eabd684c478a88e974015c21","datavalue":{"value":"W2083861746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477203$2E3A0C2B-C047-4E8E-9435-8FBEE137ECEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d24b58778bd6e00c7fd54f8f611cbd74b3e2a6","datavalue":{"value":{"entity-type":"item","numeric-id":4449301,"id":"Q4449301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$880F3397-2079-4475-A028-BA838F718931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$47F255CD-CF18-4E32-ABD5-8ACD66B1CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$680E8674-7788-48C4-BF8E-623C41BEF97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$FB8AAB56-8EF5-4DDF-A2FE-BCF01684B6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5460c3122a60e19dfac3629843b1e29e7830029b","datavalue":{"value":{"entity-type":"item","numeric-id":3406687,"id":"Q3406687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$CCD9D611-8FD5-465A-B15A-80AFF914344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f7c665f75f4201883a012f1f0cc50e44fbfe0","datavalue":{"value":{"entity-type":"item","numeric-id":2825405,"id":"Q2825405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$FEFD0733-A6E4-495F-8014-51C904DE3BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$A4000BD9-69C9-4CA3-9F9E-4FEFDABB4780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb9dcd375531af369ae4cc5063a5b38f6a61238","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$AEC7EA7C-6C2F-477E-B83D-45B9B8A8F0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46960c0454b7c9de4e13a2a08bceb69750cd111","datavalue":{"value":{"entity-type":"item","numeric-id":877892,"id":"Q877892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$A8A4E6A2-7FAD-4301-9791-EEB06E595DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36b8498ebf9e695a23a99396baf9e77955c028c","datavalue":{"value":{"entity-type":"item","numeric-id":3113783,"id":"Q3113783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$98C0D2B6-CD30-4151-BE8F-32D500454E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd2a0b0594ad98d2f19b944bb70087abcd17c70","datavalue":{"value":{"entity-type":"item","numeric-id":2909218,"id":"Q2909218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$3B42FBA1-ECAB-443D-B709-85D8F9214D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca749ed2185099fe6ff93252e3360a1034c63f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$4127D56E-2E78-4134-AFE9-158BA671DB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$027CC744-39B6-402B-B5AF-83328AC56519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$9EFB9DB7-95E4-40EA-9CF3-9D86F03410E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e0cee5e15079e367eb7d0bd333bdaa9d8c6de0","datavalue":{"value":{"entity-type":"item","numeric-id":1941874,"id":"Q1941874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477203$F80B32AB-0EE8-4E42-940A-E4178D22C31C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3f153878bb749005deafe4eeaab1f8c0b5e5893","datavalue":{"value":"10.1016/J.TCS.2014.03.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477203$F6E74518-E667-463E-A7A0-B8E98A8F1105","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0094bcba140d341f081c0d67e2411c36899495c3","datavalue":{"value":{"entity-type":"item","numeric-id":4986512,"id":"Q4986512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd7200ce7c34e1103fe48f2e0c658fb4d2d1ce2","datavalue":{"value":{"amount":"+0.9506134390830994","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":"Q477203$95FCFAA3-F3B5-4A36-8F02-6D81E107E332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb68e5eff965b5af68d0f1ec4f79da0d3750ba","datavalue":{"value":{"entity-type":"item","numeric-id":3457215,"id":"Q3457215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64062aefbec2ed2102d4ae5e0aa74d37485c2443","datavalue":{"value":{"amount":"+0.9134182929992676","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":"Q477203$FF7DF4BA-BE95-4928-A209-4E632047293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb65c41f604503f2f935bfbe3c50aa3dc1486ed","datavalue":{"value":{"entity-type":"item","numeric-id":1740653,"id":"Q1740653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3180092272cfa76530b1c849ab0d11d7424e4f","datavalue":{"value":{"amount":"+0.8785102963447571","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":"Q477203$FBCEC55C-184B-45E8-92BD-BDED7E508293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24d1cfa31363b8909514ca98ec3d7daf55fc3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2938500,"id":"Q2938500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a508d4347afa56f4b6d93a41abf138d172acec7","datavalue":{"value":{"amount":"+0.8765378594398499","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":"Q477203$66A26B1F-CC6B-4663-834E-973A6042A659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe797bc3b1170e13443a180fd65e83f986364f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2799202,"id":"Q2799202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abf766174e8813e5a44757cbc38b10012c3202c","datavalue":{"value":{"amount":"+0.8736675977706909","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":"Q477203$34C23DFA-BB40-4E46-B0A6-9DFDE907F1A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval temporal logics over strongly discrete linear orders: expressiveness and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_temporal_logics_over_strongly_discrete_linear_orders:_expressiveness_and_complexity"}}}}}