{"entities":{"Q3081444":{"pageid":3092159,"ns":120,"title":"Item:Q3081444","lastrevid":58106076,"modified":"2026-04-03T20:08:26Z","type":"item","id":"Q3081444","labels":{"en":{"language":"en","value":"The complexity of linear-time temporal logic over the class of ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862392"}},"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":"Q3081444$59F7006E-04A7-4EAB-8B85-82706311D7F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a35743d8622e0a107f71b9ef476263556f03ada5","datavalue":{"value":{"text":"The complexity of linear-time temporal logic over the class of ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081444$7DC463C3-1BCD-431C-B414-6C7B294C8446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774567f3fd81b8bd04f6d036ca99b84e57fa411f","datavalue":{"value":"1213.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$DEE7F972-22DE-4135-A48D-BDB7FAEB5B53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a50c54ecf76df2fac5192fb966224216ee504c44","datavalue":{"value":"10.2168/LMCS-6(4:9)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$D4F07F27-2572-414D-BB11-D8C7317DEA0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081444$54F50FA4-FF10-4901-A4DB-1588B92F5E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081444$B63AE21F-310A-4A63-822B-1F43062EE2DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081444$86D980A4-859B-4E56-B440-E681F116EEEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7583b1e3be50fc6ea49700c35e083b5398d19a","datavalue":{"value":{"time":"+2011-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081444$AECA8A1F-4D7A-492D-BC28-ADE2E7AB7FC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5bfe2243ed5547b0b0896c70f1fc1179c99a2bc","datavalue":{"value":"https://arxiv.org/abs/1009.5206","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081444$A8C19079-E734-44F3-A5B4-5EBD74F7CDBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$046BAAF8-6FFF-43B0-89ED-A3A186D2F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$DE563985-D837-4CF5-BC64-65C864087EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$958C65DA-693D-4631-A627-9EB1AB8ABFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$3E327F8B-4244-4A98-8290-33538BA02951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8653a732d06f3b2ef139931e18e6f0edce1a27e5","datavalue":{"value":"5862392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081444$E7A0A014-4760-47F9-BE2A-EAB1163B40B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081444$4B9F5534-9718-49A5-8801-F8284E85ADE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c7f98878a51101fd45503b5e7d8f9194341341","datavalue":{"value":"ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081444$E4732707-D02E-4EBD-A1D7-B5FFE44C883B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081444$84829BD4-4E04-436C-AF27-917D7A813517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081444$DEE74314-4E67-45E0-9937-4A1CB5475091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae876b7e33391e0c6b9aecc80bcf32d3268ae78","datavalue":{"value":"ordinal automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081444$32A7CAE5-8656-4629-997E-6393E476461E","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":"Q3081444$528CF98D-6213-4338-9268-24802448B3AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ea9d45a81c12c48a6712fd1d16b7ea361b64d0","datavalue":{"value":{"entity-type":"item","numeric-id":3498491,"id":"Q3498491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c026f5f505c0284cedf1e754959bfbe43b69a6ab","datavalue":{"value":{"amount":"+0.9693907499313354","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":"Q3081444$D0975674-85AF-4D1C-902D-9B196B223AC6","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":"55ed64bf5b983cb6c4f75a2cbff9273230506650","datavalue":{"value":{"amount":"+0.878703773021698","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":"Q3081444$F606F52B-FCCF-4761-8911-47357336D125","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":"62be42ffb7e26ffb1c76ea0d42a0ddd01ab51ce3","datavalue":{"value":{"amount":"+0.8787036538124084","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":"Q3081444$D00B96D1-E85A-4AEA-9E7B-1DF60B16519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"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":"Q3081444$B4819AE3-B55E-440C-B379-2736C719DC07","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":"f1919b6d8ca9b6cf46c70d499aeb6c53aef1a50c","datavalue":{"value":{"amount":"+0.8359753489494324","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":"Q3081444$F110F760-EA2C-4AD6-9F7C-C6AAD02F329C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081444"}}}}}