{"entities":{"Q2332032":{"pageid":2342775,"ns":120,"title":"Item:Q2332032","lastrevid":53582222,"modified":"2026-01-25T09:05:50Z","type":"item","id":"Q2332032","labels":{"en":{"language":"en","value":"A flattening algorithm for hierarchical timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7125097"}},"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":"Q2332032$A4E30F9F-065C-4655-9727-5B80D0C42FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87ab04dfa672bf5c6de2eb3ee1eeb4f52a910ad6","datavalue":{"value":{"text":"A flattening algorithm for hierarchical timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2332032$2A3307AF-F8F2-42FB-8FE3-55988DEEBF0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ca7d90c8f7ddc2330498157c07b5f1a16b00612","datavalue":{"value":"1423.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332032$CFF3BB2F-767E-4126-BD38-3AD4F9665FE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09250e68a98794abbd0c7f37d6f4260946a7b666","datavalue":{"value":{"entity-type":"item","numeric-id":357922,"id":"Q357922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332032$3F4ABF2C-CCFC-48F8-A2AE-9F51F58E0224","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f5364a499520006fc04ab045f01b42fc803d16c","datavalue":{"value":{"entity-type":"item","numeric-id":246866,"id":"Q246866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332032$6E7135A9-3CD8-47D6-9999-85960824285C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97e6e40fde11bab71af900bf93cdabd76f1f7c45","datavalue":{"value":{"time":"+2019-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2332032$ED9A60AA-77DE-4919-90FE-1FD614C715B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332032$5BCF4BA1-7A07-4FE4-B181-B4DE1207DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332032$AEF810DA-FCB6-4E7D-8D2A-C2908BE55E47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bea7f237797f555dcd74ff9f939e3fc6290a5130","datavalue":{"value":"7125097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332032$5181D22A-CFCD-4239-8AD1-7462FFF40BF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332032$4FDE2286-C3C1-49B4-A65B-EF71FB5C25F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332032$CBB013B6-2557-4323-AB3F-31AE720F4470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332032$08D7CF9F-4CAB-4E92-B761-2E5F7896F13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332032$5016858E-B982-41CB-859C-5F0D31472562","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332032$5CD91AE2-9C5D-4A59-9E28-E2FC18219938","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":"Q2332032$18BA6791-F2A4-4B45-9F01-EFDB099F5123","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d833898a79ac5224b387ba42b399ce6aacf7f803","datavalue":{"value":"https://doi.org/10.1007/s10598-019-09438-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2332032$B57884FB-1D04-4281-A832-AE4D6892A337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef8aa7226f8aec43568bcad62c5f39847a789ded","datavalue":{"value":"W2940970263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332032$B77B3B33-3863-4AE2-AC67-E031549274DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332032$6F6670A6-9B2C-4656-B362-5C7A7F00D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec9ce53022b87fe422f2cceaccbba423dcfe981","datavalue":{"value":{"entity-type":"item","numeric-id":4738327,"id":"Q4738327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332032$4837D3A1-0391-4867-BC44-2A47377EB1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332032$4B9281BA-5D81-430D-8A15-EBDA2AD7C6A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34124cb5cef85581017c48b8e02879cb9ca21867","datavalue":{"value":"10.1007/S10598-019-09438-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332032$C5659940-688C-4F49-9E90-BF442AEF3624","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6513ff3e355bedd999f1b9aeab10d685bf769a6e","datavalue":{"value":{"amount":"+0.7486884593963623","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":"Q2332032$37A39D1F-2002-469D-9714-5D3C277EFEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17dea1fd667c70fcb3dc27c2fa5bd4b4c74b9cd7","datavalue":{"value":{"amount":"+0.7310609221458435","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":"Q2332032$1A858EF0-190A-4261-9F12-C4DE1B0D78F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b391f5aaba035cfc74ea369a0b82d6da0b5b5e1","datavalue":{"value":{"amount":"+0.7278992533683777","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":"Q2332032$CBA5A56E-586F-4F5F-BCF3-7AB2160F0DC2","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":"45927f3b18e54bf675a9b13f7ce6bc572d221496","datavalue":{"value":{"amount":"+0.7265758514404297","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":"Q2332032$A8CA4835-963D-4BA8-85E5-548C1B1506E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c3a00573845a9483735b4bfd29331b1e4230e2","datavalue":{"value":{"entity-type":"item","numeric-id":453542,"id":"Q453542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2432ef09d17f64c4a4bd8c1773ef0f453c6d71","datavalue":{"value":{"amount":"+0.7216368913650513","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":"Q2332032$3D975742-39E8-4E76-A183-4CBE00F71BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2332032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2332032"}}}}}