{"entities":{"Q2911615":{"pageid":2922340,"ns":120,"title":"Item:Q2911615","lastrevid":42489016,"modified":"2025-06-30T08:02:32Z","type":"item","id":"Q2911615","labels":{"en":{"language":"en","value":"Shrinking timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075063"}},"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":"Q2911615$FCE5BD3F-6C23-4953-B47E-9E92E7A48709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1b11ae73169718e79b88a7b69095baa2b02f9d3","datavalue":{"value":"1246.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$82E76FAA-9AAE-4351-9D91-43BBAD1C9A4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911615$64E1413A-BCBF-4554-9A6D-7495E273CF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911615$2862F75C-E35E-4D66-B187-7873728AE4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911615$1651A9DA-2FEE-4E09-A689-722CFBDB19C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-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":"Q2911615$AD06FA80-11B4-4B96-BF26-EBFDB93184A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$C0836AE8-C685-4951-A0B6-7D864EBDA744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$C1D16503-1D5B-458C-9F6F-DBC2A2F24B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$DDE58802-0C83-4B09-99BE-ADB773CCDEBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a93f97d64b71cb387be36eaa4b5c3f1410d158e2","datavalue":{"value":"6075063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$C895AB34-8996-4780-A38B-079C8572D636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911615$9D91B843-2C66-4C1B-97D3-A151962010FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a15e5d021a84d2da393b95edb454c46511ab0e2","datavalue":{"value":"implementability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911615$D5DDA86C-6C10-4148-A120-2AAA6AC9CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911615$7DB33378-1092-46FD-8FE2-08BF714B0E92","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":"Q2911615$7A78AFA6-1DC5-40F1-A643-6F683BBD78E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29d0b2d30a01a2b371264f552e5b118603abe825","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.90","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911615$447E9BCA-E606-41B7-BF9D-8D4F636E01F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd3653a98d80e2dc9e9ede6a5ca37358fb68e9c","datavalue":{"value":"W2242084152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$5149E2FC-11C1-4B4B-9EEB-AAF04B979D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfdccc65dca9a2612200bce7a487e39f2af9306b","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911615$06550F9C-FDAF-4278-8084-9D2D0F8B7C1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e3c1ef53f2e35ddd0793fdf8be4839517df680","datavalue":{"value":{"entity-type":"item","numeric-id":2637311,"id":"Q2637311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$AFF0F48C-7B7D-420C-A3AD-AFD071A2557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afeb820e4e60982537f25d46ac27e666b446959","datavalue":{"value":{"entity-type":"item","numeric-id":378906,"id":"Q378906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dafc4d790adfcd536a4d563874441dfb4cf3ab1","datavalue":{"value":{"amount":"+0.8978232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$FF58D7E4-15D2-4BF5-A315-07D848FF8BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc427148263a406ca0f0d501dae03f960abda210","datavalue":{"value":{"entity-type":"item","numeric-id":3434280,"id":"Q3434280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389ed1d610552ef8a8e7aa03f57da7f6d119308f","datavalue":{"value":{"amount":"+0.8944026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$76DBF2BD-6C4E-48DE-9451-6FDC6182001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e54784b9174e0d7df3195d77b465d6cfd8d39b3","datavalue":{"value":{"entity-type":"item","numeric-id":5492887,"id":"Q5492887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389ed1d610552ef8a8e7aa03f57da7f6d119308f","datavalue":{"value":{"amount":"+0.8944026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$6B6BAB92-AE6D-403D-A273-25E9D0AA7B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f255fdf2a1c6e60c8b2c58b425e25d1266b4f376","datavalue":{"value":{"entity-type":"item","numeric-id":5492937,"id":"Q5492937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbb834001703def33c1953398daf76672c42349","datavalue":{"value":{"amount":"+0.88419867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$3445806B-CF73-4864-A4A2-AC4E392AA102","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":"0ac92db279cb57a602382b78dfd09a323dde05d0","datavalue":{"value":{"amount":"+0.88296455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$31CF1603-FAAA-4C3C-A436-EBFB51EE5463","rank":"normal"},{"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":"0ac92db279cb57a602382b78dfd09a323dde05d0","datavalue":{"value":{"amount":"+0.88296455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$6763E203-B615-4C01-AD3E-58A3E360F36C","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":"2203824d2b837518ef07302af256a816aad44037","datavalue":{"value":{"amount":"+0.88296443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$FD9F8663-C15A-4A64-A271-847C857D6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc62161c677dfce3a0f9ff5548fef375db3e194c","datavalue":{"value":{"entity-type":"item","numeric-id":2244829,"id":"Q2244829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2203824d2b837518ef07302af256a816aad44037","datavalue":{"value":{"amount":"+0.88296443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2911615$A2AA4EBE-F22F-46D4-AE52-D0FE481DB6BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ad01b8b3027fb4dd0b38e575fe7a0092c00d89","datavalue":{"value":{"text":"Shrinking timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911615$F785409E-C2B8-4400-8C4B-01865E0B5FF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2911615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2911615"}}}}}