{"entities":{"Q3511235":{"pageid":5541139,"ns":120,"title":"Item:Q3511235","lastrevid":58183302,"modified":"2026-04-04T03:40:15Z","type":"item","id":"Q3511235","labels":{"en":{"language":"en","value":"Undecidable Problems About Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299131"}},"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":"Q3511235$8044F3E3-766F-4DF0-A937-363511EB5A7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0660c1e5165e57d8f9e993611f213d76256b63b0","datavalue":{"value":{"text":"Undecidable Problems About Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511235$A320DD8C-5A4C-4900-867A-8F924D086E77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9824400b2a84e81ee4334463107a08f6ea15082e","datavalue":{"value":"1141.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511235$24D43F79-225C-4384-ACD1-C115EFA17A9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8476a10f9cd1b4dea4846cc543c70df5475bd895","datavalue":{"value":"10.1007/11867340_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511235$4711499C-054F-48BE-A82B-50F39E3C36A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511235$2D1FD638-01F4-4086-896A-347548AF55FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-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":"Q3511235$FD0A0BB2-4E52-45E5-8064-5C0D5174B1CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"622f01b54dd4529b9b29acdaa0de95e3ba80cbb1","datavalue":{"value":"https://arxiv.org/abs/0712.1363","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511235$78D66B4E-7967-446D-8ED0-D39DA32FD770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511235$A2149CC5-7364-45CE-BB79-8223D3ED835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511235$EA595E21-D362-4EC7-97F2-851D81FB6AF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35f3d5f77dc800d164ee0520ccacb9c3ffaf7186","datavalue":{"value":"5299131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511235$6461B423-CDAE-4B64-BF2D-EF35C1630900","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$36F65A3E-A842-4EAE-A005-85A8D2AE1FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b346bf5d30cc270d63ed907a17a5ef2eb967f46e","datavalue":{"value":"timed B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$C75E20CB-DDCA-4E1B-A086-5551A4EA8675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7719570a6d4088fc7c5b2f7c2752a377d89dae3","datavalue":{"value":"timed regular \\((\\omega )\\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$B63556D8-714D-4F4B-8F0B-80EF1671E205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$08A13B67-FB2E-476D-82DB-ADA7A6EA90AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85a91c3387b2bf7ca4b50b1ae4307ef40a1aade","datavalue":{"value":"universality problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$A4007097-1832-4E1A-89FD-BDDD1782C4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee2bfc2fb0d220cf44f10cb5375c20707669615","datavalue":{"value":"determinizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$F546D78E-354A-4493-BA2D-8DA0F285AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b35b8d7e2e9d2407cff5640487fe4616ee53eaa","datavalue":{"value":"complementability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$8F6BF38E-A289-43C1-BAAB-60E1E27D2FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ece629b2368c3e0770ff9f2358b8f195337edb","datavalue":{"value":"shuffle operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$95AD47E8-99D8-4F93-B9A8-6385F2EB22F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4270449453f0cdb95524f8fb1bcc035f036414ff","datavalue":{"value":"minimization of the number of clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511235$579E93E2-BF50-4DD6-9093-B77161CAF246","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5cec85976887ea974bbe2cdde3814e9335c077","datavalue":{"value":{"entity-type":"item","numeric-id":324244,"id":"Q324244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511235$A99AC1DD-19BF-407B-8209-2D7822B481DE","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":"Q3511235$93A1DD03-8D3B-4C7D-9764-5E05EDCE0506","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d8284e05b8fb3856023724a29b10c036a0f6107","datavalue":{"value":"W2156016854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511235$63D84C38-9364-4A36-9E3B-56A8F92E1EF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cea9c7d453a66bcf9d1b0f113f7393b25f5d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593f5b325cca325354cf9ad55788f713baa65f3c","datavalue":{"value":{"amount":"+0.8738338351249695","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":"Q3511235$A3EB852C-E51E-419A-99B0-F83D6AC6005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8d9f95be7cd8ef46917f870e059b8e9801934c","datavalue":{"value":{"entity-type":"item","numeric-id":5717493,"id":"Q5717493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78644c6b55c73113e7fcc7420981de15eb194c04","datavalue":{"value":{"amount":"+0.8686941862106323","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":"Q3511235$09F5EDA4-1FC5-42B5-81F8-B6632D6E7267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fcc1e1c01f52a4968541b3c468b2c173f12958","datavalue":{"value":{"entity-type":"item","numeric-id":3635988,"id":"Q3635988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ac7daea998486d55e8a2e2582e90874d25aa60","datavalue":{"value":{"amount":"+0.8553164005279541","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":"Q3511235$FB1EE2B5-7958-430B-8352-AD8C3B3C5047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e88e951ffd6bf0e120ffb34da2e669159aca938","datavalue":{"value":{"entity-type":"item","numeric-id":5716855,"id":"Q5716855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cabb4e017ea3b8350d4188124b5b5f50c2a2dc4","datavalue":{"value":{"amount":"+0.8210710287094116","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":"Q3511235$508763D7-0CC2-478A-A42D-1AD2133C1AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03379044b5eae50f2888ec692ad1236b3ad5d19","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63d7ed0f2cd77f76f52babdec0492b2dc81ef06","datavalue":{"value":{"amount":"+0.8148342967033386","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":"Q3511235$731B2D2C-7664-44A3-8AB2-6B95AD48421B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511235"}}}}}