{"entities":{"Q2093569":{"pageid":2104312,"ns":120,"title":"Item:Q2093569","lastrevid":57512619,"modified":"2026-03-31T05:39:43Z","type":"item","id":"Q2093569","labels":{"en":{"language":"en","value":"Dynamic data structures for timed automata acceptance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7608289"}},"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":"Q2093569$A070E15A-0ED6-4B00-9CF1-ED95987597F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d17c2ab2864b2571fbeb5fc7565f2c528fcff1e4","datavalue":{"value":{"text":"Dynamic data structures for timed automata acceptance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2093569$26F4E864-6D02-499E-880A-8B82A8FAD21B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae108f60af14aadbc157b07b83c4ec5148f11aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2093568,"id":"Q2093568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$5E321421-BF57-4D96-9BC2-7495F4969827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$10973993-A998-4B1B-8774-02DA8B428320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e229a7272481236f52fa95a4480b3f630728e07a","datavalue":{"value":{"entity-type":"item","numeric-id":262250,"id":"Q262250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$0A897592-A416-492F-BE4C-3D4CA1FA9EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eed09c4904adadbb81f103a0792acf67a3dd6d","datavalue":{"value":{"entity-type":"item","numeric-id":269343,"id":"Q269343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$05627725-2E19-4A3B-9840-9B165371423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5982b567ccbc3b75e9a18f0d99e86864b8556d82","datavalue":{"value":{"entity-type":"item","numeric-id":269344,"id":"Q269344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$D934BE43-0A1A-4A5A-8F32-B378DF6F457E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$673E9289-F365-4689-8448-7670DFCC3C03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f4f5bf88e7cf6cb5883450d0b7f2980cf26dac","datavalue":{"value":{"time":"+2022-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2093569$BE62B343-0B0D-4B21-95B7-C2000A6291DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093569$74CA1D5F-668A-44CC-96D0-95F3A76CAC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1a97a7188d4143e338e99eba7d65493911702cf","datavalue":{"value":"05Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093569$4956F8CE-E80D-48DE-AD87-705EBA083CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88e84d519badb29f981b3f6b309c79f2ddbca463","datavalue":{"value":"7608289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093569$E421A2F5-A66E-458B-A404-1031F95D5737","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093569$B94314FF-7DE9-46A7-96F3-06B8E2114E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01cc19e176fd227ee72c622e015022e35bea68e1","datavalue":{"value":"data stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093569$B4938F98-3A0D-4EF2-9E33-E1C046A02FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c0d9685aea0c090b360f522fc529eac4f486ae","datavalue":{"value":"dynamic data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093569$AA52FFC3-F166-44D2-B140-E7DECD56C427","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":"Q2093569$3AD7BF70-FA70-4C38-BBC4-29A69F166AFB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"245f4a73bd0d49670d27badaf200f8bf94c5f097","datavalue":{"value":"Q114692101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093569$80995F59-7E75-4796-A8A3-5F6CB697944D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bba52b926721e353d31d23eb05ce8c788b62e01","datavalue":{"value":"https://doi.org/10.1007/s00453-022-01025-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2093569$A8F171FE-78B1-415F-AEE9-1EE33FAC015F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f72888ecf0fc10a333378c02326cf3aab4afdc4","datavalue":{"value":"W3217447083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093569$F7851FFC-B6D5-4711-831B-2D7B9360D1E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc1816feb96018a7e321ddae005133e281443c8","datavalue":{"value":{"entity-type":"item","numeric-id":5111372,"id":"Q5111372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$8C27664D-3B0E-4E90-B31F-1B8A9F071B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$8E708A27-FA85-4D2A-83D7-6697C685B000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc51cda44edc8ba8956bf0a2f87c09c19220c84","datavalue":{"value":{"entity-type":"item","numeric-id":1583056,"id":"Q1583056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$6B299B88-6BDB-487A-BF32-48B1E1C60BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936271c4725ed0b10005cea1032d70bd3874fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$8583FC81-6CB5-4864-9769-C99D8C7289E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$206201BD-24B8-47B9-9C02-9C69EC568EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88adccb9813f683fc56442632142ee1f0d22035a","datavalue":{"value":{"entity-type":"item","numeric-id":5392291,"id":"Q5392291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$4C14BB7E-130D-4861-969C-663C8BE15A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aee5f91ff84f1d349f0ab186217649c96386f95","datavalue":{"value":{"entity-type":"item","numeric-id":4785622,"id":"Q4785622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$A4F24B69-F57F-4367-828B-E462B4689E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267749dd6974655fa3381e8eb6691edb51eb0114","datavalue":{"value":{"entity-type":"item","numeric-id":4945538,"id":"Q4945538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$0A17B3AD-D487-413A-9364-149086840534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5bee5357a250d05fef165e66d176475085e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5180413,"id":"Q5180413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$BD52C9EF-F1C5-474F-8C55-7DA21E176040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43535ec97e195d5e5a66d32f62f15054db3ad039","datavalue":{"value":{"entity-type":"item","numeric-id":5112586,"id":"Q5112586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$D6960002-C85F-4072-8322-475C340E1C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5306310f707d1cee95a226a5fe0640cce1d14cc7","datavalue":{"value":{"entity-type":"item","numeric-id":391078,"id":"Q391078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$134EEF47-4A92-4DD5-B4D9-794B160E42F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a30bad952edec92c5b279f00c585fecb9e39ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4636565,"id":"Q4636565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$4F3EC611-D8D9-4182-8B91-351EC0DF1F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778abdb50de1164694617dc1325dea11cb0150a9","datavalue":{"value":{"entity-type":"item","numeric-id":3304130,"id":"Q3304130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$2B1EC003-914C-47E0-99F0-0BC40D2F3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4ba771dac290a164052bbd8205a42e589a3f10","datavalue":{"value":{"entity-type":"item","numeric-id":1903639,"id":"Q1903639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$82D2CB95-A354-4265-9463-01C4EA464DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d58fd2772b5cd9324d63cfd2e7983891b092a6fe","datavalue":{"value":{"entity-type":"item","numeric-id":419363,"id":"Q419363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$21D17743-5D12-4392-80B3-A4CB7CBE4C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd2a5820aca65bef19956320536cc56e9a9c3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4561510,"id":"Q4561510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$84D25BC0-6B3A-435A-A208-D31F64C4B171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358bae9ccff0b01ba753556fcb9c8b9fd4148ea3","datavalue":{"value":{"entity-type":"item","numeric-id":4575670,"id":"Q4575670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$5B2237E8-EC4F-4837-AB54-155C22610ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb899d5941f4ea62930a87bd9c20c70be3f808a","datavalue":{"value":{"entity-type":"item","numeric-id":2875187,"id":"Q2875187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$B1CF134A-F42F-43FB-A693-3EC2D26F3874","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82aa944b9700be398b46d8319f79f616eb4d12f4","datavalue":{"value":"10.1007/S00453-022-01025-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093569$2321F065-DB5F-42A3-A5D8-BA8EB6C5C9FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2b9889a4a4bceb26164806cab051122ee3280c","datavalue":{"value":{"entity-type":"item","numeric-id":6192488,"id":"Q6192488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f91fe76469e4bf36bd45a5a01c0d9356742139","datavalue":{"value":{"amount":"+0.9971296191215516","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":"Q2093569$3A918FBF-5FD9-4734-B789-82C0919CA91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e39849c810bd344031b0dc8676d9fdf9244f5c0","datavalue":{"value":{"amount":"+0.7335126996040344","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":"Q2093569$87D0B090-DFFF-4558-AA8C-1FE65E78372B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe97257d52964eeeafa315554f0dbe102b385dab","datavalue":{"value":{"entity-type":"item","numeric-id":6090987,"id":"Q6090987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1485ba181207daef1ba85fb4dc2aa9cd8de28b29","datavalue":{"value":{"amount":"+0.7277641296386719","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":"Q2093569$9E69BE9E-ABC1-4857-9B68-09D54CC2EFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ee680a04de0cb5e022e932a94d690d6c4cea0","datavalue":{"value":{"entity-type":"item","numeric-id":1853524,"id":"Q1853524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0640b640d46075e8594a87098df1ac5054e79f","datavalue":{"value":{"amount":"+0.721891462802887","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":"Q2093569$6D1F0232-531F-4D9B-9DAD-E900DB724C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9256376bfa5059b1e08a7cd826fbeb3b6849c","datavalue":{"value":{"entity-type":"item","numeric-id":5094137,"id":"Q5094137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39ba9cb6d225004efdaaaa8011ba1c29db38406","datavalue":{"value":{"amount":"+0.7080151438713074","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":"Q2093569$FED1DE86-940D-4023-A759-0BAEC1C91927","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093569$B1C2EDCD-95A6-4304-911F-09CC2BABC5DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2093569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2093569"}}}}}