{"entities":{"Q3384889":{"pageid":3395592,"ns":120,"title":"Item:Q3384889","lastrevid":55395589,"modified":"2026-02-17T15:29:20Z","type":"item","id":"Q3384889","labels":{"en":{"language":"en","value":"One-pass and tree-shaped tableau systems for \\(\\mathrm{TPTL}\\) and \\(\\mathrm{TPTL}_b+\\mathrm{Past}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447742"}},"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":"Q3384889$F9FE60E6-39E7-4439-AC1A-D472D1AF9FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$9B559422-001D-41B8-A3DD-D41285AE06CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$EEB3F128-957A-461F-A31D-B930DEB5F400","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":"Q3384889$F219520C-9EBA-4E87-91A8-1EA349BAE2CF","rank":"normal"},{"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":"Q3384889$37552E92-1FF4-41F2-9808-3849D35D0328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384889$37E81F19-AF9A-475E-974F-15579DCDD183","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29d374b73ba030eac4f0156c1c1c34b876bea56e","datavalue":{"value":"https://arxiv.org/abs/1809.03101","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384889$CB9D7EF6-DF2A-4F6C-BE1A-31670C751F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"16c993ff8afa184b7a4aba619c1379bbb918023b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384889$C0E27930-1C5B-4E29-9F90-0DF003C298E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384889$F55F7E2C-5CAD-42DB-A20F-3490F242A3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384889$6C292DD0-3770-45F0-A758-BEEB239604D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384889$DA95D834-6A27-48E5-A337-119FA95AF8CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02ea81d66e2a6f64f99b9eda9b7ee009702373e4","datavalue":{"value":"7447742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384889$BA8583A8-2535-428C-8AD9-AE4920F9F272","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":"Q3384889$4EDA0E04-AD50-428B-9589-6BA4B6F7E9CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$53935C3F-547E-4CF1-8BCF-9EBFFE3765A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$8591C3AA-85F2-4CB1-A6CB-01C98A6B9BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$AE379692-4B71-4441-B041-480619C13AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d2def958584e07f26fb316398973469263c839","datavalue":{"value":{"entity-type":"item","numeric-id":4645753,"id":"Q4645753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$84C5720A-4B29-40CB-B127-DCEA279A6B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$E2787E4D-E8F9-4C16-9B7A-4A1E2190BFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa2ae8cdfa714fe85ab31a0a67cf966d1ed2aec","datavalue":{"value":{"entity-type":"item","numeric-id":3384170,"id":"Q3384170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$423A0C21-431F-4B86-BF80-82C693B66AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8cfdbc22557797a690d3e9371c8b6a91325609","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$B8B6D784-66F4-4923-AC76-F4DC3D91CA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384889$A136DE49-A481-4CCC-ADB1-BDAE49256FBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551e5cef9ff9e108aedfd914294e17f3070b1595","datavalue":{"value":{"entity-type":"item","numeric-id":2029608,"id":"Q2029608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5641235f87dd188efe54b205547159f94ca91b6a","datavalue":{"value":{"amount":"+0.9678909182548524","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":"Q3384889$1FDD9A3E-C1CB-42AF-A2FB-0709E6F76E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c364d83270373820922f3d86ce350b9759fb3882","datavalue":{"value":{"entity-type":"item","numeric-id":4645753,"id":"Q4645753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce9ca1da3a725be48d267ca52fa7ec55635561e","datavalue":{"value":{"amount":"+0.8657281398773193","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":"Q3384889$27E23617-0565-4C9B-B215-98F52EFB1494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44834aa90ebfe540c9a82b6789b22d6e3dd77e18","datavalue":{"value":{"amount":"+0.804904580116272","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":"Q3384889$381703A3-5F19-4033-9030-46E45EA2263F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4675bb86e4e3eb81dd9711b518f5d38c0ca0c210","datavalue":{"value":{"entity-type":"item","numeric-id":6060101,"id":"Q6060101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33db331c3ce479b36ec846939eb3be9ce6f3f676","datavalue":{"value":{"amount":"+0.7989394068717957","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":"Q3384889$109C3A8D-E25F-4369-83AC-2DEECF5CBB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7a5a3d30cf0f8d369943bc941d21dfc2693c63","datavalue":{"value":{"amount":"+0.7922519445419312","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":"Q3384889$794A03EA-0550-442D-9B49-7B802DF59634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384889"}}}}}