{"entities":{"Q845728":{"pageid":847576,"ns":120,"title":"Item:Q845728","lastrevid":64779237,"modified":"2026-04-11T22:10:21Z","type":"item","id":"Q845728","labels":{"en":{"language":"en","value":"Folk theorems on the determinization and minimization of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664489"}},"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":"Q845728$BBC2F3E1-7A14-4169-B071-FE5926225559","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bafb71b3fb476b812b9d1017f6ed58d9f95f8e46","datavalue":{"value":{"text":"Folk theorems on the determinization and minimization of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845728$DA8E4543-E134-474E-88EE-C4B3B550E609","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40347f58678e6429a08f968bd07c002c45b6c480","datavalue":{"value":"1185.68401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845728$A0528E89-CB55-4736-A041-35A87BA143A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$21BB9163-063E-421A-9D0B-04A1A6412AA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$2E041304-42DA-49A1-829E-556A57EC6581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845728$292E6D57-6715-467C-ACE3-3E2859FC12FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845728$29876325-EF7E-4EFB-9A5F-1D88C4751167","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14d3f7ac98f13e678954d373f225462cdefbd30c","datavalue":{"value":"5664489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845728$EBDB5C1F-2E43-4077-B9FB-3C30DF610AED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q845728$1DB3A842-BBB7-4B16-9AF1-8F876DA248AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845728$7868AA35-A59E-4219-91EC-E10F129EADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q845728$FD1F42EB-9FD4-4A73-AB3B-DD0769B7CDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q845728$5D92E0D8-533D-482C-81F9-C587024D9B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q845728$5110480A-F752-4BCD-803B-28B3A0CB4FDB","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":"Q845728$3B48F77B-06C1-4602-97D1-F1F65A283B88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1011b32a5b913a9fdd694f9512b72b1cc9c83e49","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.04.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q845728$1BD478C5-F548-4A06-AF23-EC9918E18DC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abf9b2273ba9e19eb5f0b64b3b48223f7679f7bd","datavalue":{"value":"W2144186266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845728$DDE7F912-12E7-469A-9183-15FE15C1F3D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a199f6861746874c37cdc88da4352de93d9a85","datavalue":{"value":{"entity-type":"item","numeric-id":3396573,"id":"Q3396573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$2E10CFAD-C2EC-4F3D-B262-5378ACC64F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3c7781dfb7ca96860d8ab07237aa2e50a38e7","datavalue":{"value":{"entity-type":"item","numeric-id":5717493,"id":"Q5717493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$EF821363-CEDA-44F2-93DA-E0A85672EC2A","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":"Q845728$ADA7F100-E04C-430A-A41D-BC9B551AD5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$118A7FF7-8B26-43D3-A714-78CE3CCE33F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$E1790D29-C7A0-4B7E-ADED-34B17B514C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$768CA3D9-5E62-4878-8EBA-31E2E245C0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4169496c42828f2381ac86d8473fbd55e87d527f","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$4E7022AC-6B2D-43EC-A4D2-29FEFC024ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd25a9dffe29a41e12e90c21e722131380cf729","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845728$AAEA7344-E704-45D8-832E-BEE0DBF21527","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89fdf43d4f7ac29a94662ecaf4fec1760543b800","datavalue":{"value":"10.1016/J.IPL.2006.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845728$3CD8A50C-BBBB-4C02-A544-5803868D3E66","rank":"normal"}],"P1643":[{"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":"ebc98a543615f3433c80e7da2779cd5a4163cc0d","datavalue":{"value":{"amount":"+0.9888750910758972","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":"Q845728$6C74B268-B13E-4F1D-A533-085B1F8C4002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcaa2951bbed1ab2ff5f4c4fd406bdb663b8a25","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"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":"Q845728$4F15603C-BB16-43D1-B89E-3491BCAB536B","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":"8ad7299af40b15eda7b9df44a62ba211c5274d5b","datavalue":{"value":{"amount":"+0.8283665776252747","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":"Q845728$5151D575-0F41-4090-9F99-C1D3B64E26B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1395b95b89e73242afefcd1dc09c6087f98f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79aa4e5a1b305e2054f7cd19269319b3399d9937","datavalue":{"value":{"amount":"+0.819343090057373","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":"Q845728$61206753-C350-41F8-84D2-BF2CBFF3B311","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":"6e68804592190188ebde131abd991112e43a1613","datavalue":{"value":{"amount":"+0.8092899918556213","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":"Q845728$3D6FB4C4-0A56-4C61-9B46-FB251FF5602F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Folk theorems on the determinization and minimization of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Folk_theorems_on_the_determinization_and_minimization_of_timed_automata"}}}}}