{"entities":{"Q3540187":{"pageid":5570091,"ns":120,"title":"Item:Q3540187","lastrevid":49486252,"modified":"2026-01-07T06:34:23Z","type":"item","id":"Q3540187","labels":{"en":{"language":"en","value":"Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369504"}},"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":"Q3540187$BD8C1F44-8965-4466-93D5-0CB14097D00F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24c280d529bec13802686e2c1311888e0754f72d","datavalue":{"value":{"text":"Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540187$2429D35D-623C-4767-863D-A9E3220E9F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb13196ed430c38dee573cad11270644bf933659","datavalue":{"value":"1156.03321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$80597C9D-D0EA-4867-A64F-C1936A1F822B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f8e90467ed2a1b4c652cc8d5733711b22f51c3","datavalue":{"value":"10.1007/978-3-540-87531-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$8616F521-6244-4D3A-885C-23BB33058B93","rank":"normal"}],"P16":[{"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":"Q3540187$28E2847B-5247-4510-8801-116D09F0E3C9","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":"Q3540187$96C0F12A-F4A5-48AD-ABC7-4255A82A67A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540187$FECB1F44-2616-4E0D-A64B-17B48B3A387B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540187$B79BA14B-F22C-4BD5-B1AF-9CD3E825E6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540187$FBE26497-5793-4B28-AA2A-821907F1E018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$3603E58E-B039-4F01-A274-831F8E02A317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$8C1F2595-F12B-4A16-AE72-22281F065FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$9A7A9BF1-12FD-4FE6-9AD5-20C9513AA91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3672e52be00a11d7e9f38936c2c0ee97107944c8","datavalue":{"value":"5369504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$E41EA639-540E-4D76-B935-5E716E64670B","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":"Q3540187$D565EB44-8163-48FC-B5BD-C68F053D3A91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"007042a3409cd6de874eeeb6b2c2aff0e0fdba65","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540187$80BF7A74-704A-4D60-993F-4904B177B73A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4a8d75d7e06e9299db618f1c4172bd0d8693b58","datavalue":{"value":"W1585216207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540187$22BD04FD-28A4-454D-A81D-E1477F469E83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b56134ca2322152e144d48dc7841064c7a0d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3124391,"id":"Q3124391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312d257ded4b57f71fe379b23568f2aa33b5e1df","datavalue":{"value":{"amount":"+0.92869556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$997FB817-7911-4FF4-8CCF-EF98DA91A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526ab66eda9e750bffb0f227c56da8a076d08043","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f641c0432d6fc6d63e58e06ac11a343dc9e56ff3","datavalue":{"value":{"amount":"+0.906821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$9E9A166B-26FA-4DE1-BED3-14E21BDD6280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"160fab820e4abf8827a08fd17b373c0f00e76b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24813794280593ce44773c4390af7de18a2a9426","datavalue":{"value":{"amount":"+0.9031415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$0A1F5954-0635-4D19-B5E2-3A3F702A8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a81aa1aa38f8c6216db2d5aa98b73833da671a","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbc18bfd1162593074445ca819a08818f1d7154","datavalue":{"value":{"amount":"+0.89630437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$C893432E-1E43-46A3-9E3B-E0D8A45CA937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb10538b8ae5c4d926035aa87c89ea03ab65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5505583,"id":"Q5505583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007639b005e8523aea77fbb2f596ee0b7e7c5c20","datavalue":{"value":{"amount":"+0.8935717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$8F7C05B1-833F-4946-9445-AD1C771BA33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475b5f71dbb72501f3fe68d217908240784d7d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2321249,"id":"Q2321249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc307c570ee45acc3e8f56151db964dbe9001930","datavalue":{"value":{"amount":"+0.89095473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$1DF134E8-8F21-4C81-BA63-FDF261B4438D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff2fa52f544dffe4627d58a6885a6b6dfba98c7","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555c486bef2f415035b0662be4035f499e9f8105","datavalue":{"value":{"amount":"+0.89083266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$7C1D282F-04BB-4484-9B56-945B8AD99062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049cca40cb3b01e2c4d3852ca12ff7b0e501a6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db4db5aea15a6ae6468b52a65802801bd3dd2c7","datavalue":{"value":{"amount":"+0.88835514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$76CBF0BA-B384-4460-A053-5B1664803ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efa17ce764cedf22884c09901cabe9430db29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bdf59ad1cebbb11b9d86661dff0b1132da13306","datavalue":{"value":{"amount":"+0.8880866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$7DF91CEC-127B-43C5-A105-E6D1594C5B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb0048ba4355aad7684d591b055a973916d55c6","datavalue":{"value":{"entity-type":"item","numeric-id":3643267,"id":"Q3643267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3431d3c53289356d2f85e09d0c40c1acfdc24d8a","datavalue":{"value":{"amount":"+0.887421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540187$27402F83-AE94-467D-A7B4-B13C00826B18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540187"}}}}}