{"entities":{"Q4992506":{"pageid":7022083,"ns":120,"title":"Item:Q4992506","lastrevid":58390071,"modified":"2026-04-05T00:27:28Z","type":"item","id":"Q4992506","labels":{"en":{"language":"en","value":"A faster tableau for \\(\\mathrm{CTL}^{\\ast}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356851"}},"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":"Q4992506$FDEBBD51-0799-468F-B6D2-3FD413835705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e86a01eae96ee7d8a45031fb1f810236535eb504","datavalue":{"value":"1464.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992506$C4CA0913-EBD6-4650-87F1-7ABD32D4FD14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992506$06B7A158-BA35-4820-9B6B-B40DD5DFC3E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0471dc5baccca2d205e1708c5e783d66daf8f3d9","datavalue":{"value":"https://arxiv.org/abs/1307.4468","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992506$41974593-4ED1-4248-A7BC-B360A8CBB014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"39cb23180f4226dd6551e3cbe314eccc350066e9","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2013.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992506$8FA007D3-C7F9-413D-92DF-D671EF2EE60C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992506$5D3EC70C-46C6-4BE5-A234-2549533ADDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992506$DD1BA673-0ED6-4A42-B2AF-7152F283DBAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c896e18faa84bd0ab7fe6a9f194f60a33697a431","datavalue":{"value":"7356851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992506$61B10E61-58BC-4D95-AFA2-52B693074760","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":"Q4992506$ABC6114E-0071-44D2-951B-CF27F638816D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d13354bb6f8cae11c13f7078bdce6dad757cea","datavalue":{"value":{"amount":"+0.9146715998649596","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":"Q4992506$B343498C-4C81-4A6F-ADB9-004E7FDEB69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29ff405ace1f502f2e1b235dcf97c7008a8d71b","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c55ddf3e17f33f9b4d2d474c72920967a34493d","datavalue":{"value":{"amount":"+0.8809679746627808","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":"Q4992506$722139BE-2CED-4D8C-9830-1FA07D88BD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337315712da885cd327294fff0fdedb0ae6c4378","datavalue":{"value":{"entity-type":"item","numeric-id":5897785,"id":"Q5897785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0224888f3e952fec608e7b83b3d0adb9179f79b2","datavalue":{"value":{"amount":"+0.8565419912338257","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":"Q4992506$476FDEC8-D7F2-4F15-A7AF-1B172B6D1562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938a5bcf161eb652beff73a49b351be152d96b6","datavalue":{"value":{"entity-type":"item","numeric-id":3437260,"id":"Q3437260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8c7444a5f278c146717ded4bf1124d75aa13ba","datavalue":{"value":{"amount":"+0.8418447375297546","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":"Q4992506$8CD641AB-6225-42F1-A6D1-C9802EFEA764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fad00b0ec17992aebeaa25985ac7a775ae56d14","datavalue":{"value":{"amount":"+0.836764395236969","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":"Q4992506$24F9D9C6-BE94-46FC-A1C0-740080C06CB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992506"}}}}}