{"entities":{"Q1400578":{"pageid":1411318,"ns":120,"title":"Item:Q1400578","lastrevid":67353420,"modified":"2026-04-12T17:03:20Z","type":"item","id":"Q1400578","labels":{"en":{"language":"en","value":"The complexity of the temporal logic with ``until'' over general linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963845"}},"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":"Q1400578$B063578B-B4A4-45F1-A288-E8FD1B9AD2A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b970afdf6103ea2f871050f3ee52eb321476fd83","datavalue":{"value":{"text":"The complexity of the temporal logic with ``until'' over general linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400578$BABE40BD-553C-4DE5-B8C3-1FF87B8BE91D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83a87751503fd120a8535d1ba52383a8a92f4803","datavalue":{"value":"1019.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400578$64403D14-2A86-47F9-A9F8-E8E1DC7C47A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c72ef723c38cd75c582f8c57dc5e3b0954e4a6f0","datavalue":{"value":"10.1016/S0022-0000(03)00005-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400578$C07F02DD-1D77-4E97-AB60-9F5224A635ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$6BB49761-63A0-4B05-9B26-6C445C41B00D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400578$158AFD33-5288-40C7-BD80-EF1A0B65A176","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400578$0E03FB83-8FFB-4E1B-91EB-7BBA5FF369DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400578$76BABE23-3D7D-47B0-9DE0-5BD7E5459C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400578$4AB13DDC-3288-4076-B3F4-04DA2F0D2240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e8d3921f3704473caf92e86736909d264145f5f","datavalue":{"value":"1963845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400578$8F341E0E-EC75-470F-AA31-7BC67B9BAA35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$BC553314-C867-4223-B10F-CC4E8A387E2B","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":"Q1400578$7418CBDF-B468-467E-B6A1-167A61531279","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcedb27f76af57f2932afc76a3a085b3d11592","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$276E818D-6203-44FA-BC3B-C9AB7A707C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$A34E1A62-3D44-4FC7-ADD4-A3D4870007F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$4CC45AC3-6033-48DD-915D-B335D1EFB216","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":"Q1400578$42BDA30B-714F-4A3D-85BB-1DC28D15B5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$D7A14B47-5642-4465-919E-88C9CE612FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2138ffa5ca3eabca6f9aba6811963bb0c9c43f6","datavalue":{"value":{"entity-type":"item","numeric-id":4281254,"id":"Q4281254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$56C61EFF-0C4D-4202-8E5B-6591D364BA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef8e66aa90dfea81a83d36a53a90523adf29c22","datavalue":{"value":{"entity-type":"item","numeric-id":5567842,"id":"Q5567842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$13D9D233-2234-4A97-BA83-FAF935A78FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d159655db040654f25d54689f98b3a3abd7b19f","datavalue":{"value":{"entity-type":"item","numeric-id":1277794,"id":"Q1277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$C41C214A-5FB3-484D-8E0D-5E4A5B02C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$3D05A6E7-2B6F-475A-8D2C-E483F04A34BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f7383e1361db9b7d8d635e3974eec1f15734d","datavalue":{"value":{"entity-type":"item","numeric-id":5536269,"id":"Q5536269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$655B65FE-5C46-40FD-947D-EC8E8CD6DB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a46918581b182c04cd47041d1a03aeeacfd262","datavalue":{"value":{"entity-type":"item","numeric-id":2721205,"id":"Q2721205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$6F9565CE-0AF5-467A-BAA2-69414399CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$088AF9B4-0167-4D65-96E4-76C4FECBFBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$505089E3-100B-4F40-99FA-65AFCB499716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e74a687711aa5be425bf85c7212fda84bd1475","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$905D1FF6-02EF-4A70-B813-66AEC7AA3CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ce02106336a8e9ace278c5d22fa3a259641d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1155046,"id":"Q1155046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$2EB9BFEC-70FF-427F-B973-ED1892E4AA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$35AA10AD-ECB2-45C0-966E-AA0975944962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$C860280F-15F8-46FC-B487-2AEBEB8AD8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b40ca15922708fafcf7fdd65a80fccea7dd5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4221299,"id":"Q4221299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$B95789DA-2F9D-47A9-82ED-81EBFDF89F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076c363cab69eb6e9f1d705e8fcdc709f30f81fe","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$B222E94E-BDA3-4F29-8A20-7741CEB62B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255b3664dfea16cc525f06c300cbfcffb9568d97","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$6CFAA347-B7B0-4FBF-B7F3-A235CBB49B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$3FBEF9D8-65F5-4B1F-8F36-5B02E969E6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$78D496A9-8208-4C28-A667-FB2938403E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$632CC53C-C307-48D5-9FA2-567D829C1792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9939d9a4a30150573632610c3ed20aa1ab1b1da8","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$E07444EB-2E13-41F0-88F8-B2EC06EA5FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7435100e3d690d36fad3b0237a6b1d48437e9556","datavalue":{"value":{"entity-type":"item","numeric-id":4385524,"id":"Q4385524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400578$6387F722-FE66-4E6D-B005-6192AC8DC856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a507349af4796203aa0a5e42e521a13c5148e8f9","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f5963d0b67b5dd30b54f0ce0cbf8ce413086d9","datavalue":{"value":{"amount":"+0.8982927203178406","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":"Q1400578$9B1CA238-7786-40B9-AD9E-BAE7E5984AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20502be7dae51c272f2616fd28866b335793fb95","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce662f8a3ce429384d85259e2cf32d9dc1a559df","datavalue":{"value":{"amount":"+0.8838937878608704","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":"Q1400578$2946E466-E5E0-400C-92A6-92C15A7B0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05779f72cc7f94b624374807cd511e7ecb7e22b6","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d2c1197db5b3740d4ea0961d56d856b824d08c","datavalue":{"value":{"amount":"+0.8838936686515808","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":"Q1400578$C770F418-E421-46F3-90C7-4A5EA0777518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330fa8d810bc25d775143b51f8bd4f6509ab8589","datavalue":{"value":{"amount":"+0.8768279552459717","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":"Q1400578$B93BB254-A518-4A12-8C35-C763552A30F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cd169c146c93114a40372ce7a38c2a44824381","datavalue":{"value":{"entity-type":"item","numeric-id":3081444,"id":"Q3081444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965f658d23160c47f3be297f79c5257afbbce07c","datavalue":{"value":{"amount":"+0.8369517922401428","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":"Q1400578$3EFEEA40-9DAE-4079-9791-C8D0F9B7972B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of the temporal logic with ``until'' over general linear time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_the_temporal_logic_with_%60%60until%27%27_over_general_linear_time"}}}}}