{"entities":{"Q1996031":{"pageid":2006773,"ns":120,"title":"Item:Q1996031","lastrevid":43469605,"modified":"2025-07-28T09:38:20Z","type":"item","id":"Q1996031","labels":{"en":{"language":"en","value":"Guarded autonomous transitions increase conciseness and expressiveness of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317099"}},"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":"Q1996031$B83B4CE3-E5C6-4DFE-83E5-7406651EC518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34b5159fc38bd50ae0c16072e164405fe69c4802","datavalue":{"value":{"text":"Guarded autonomous transitions increase conciseness and expressiveness of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996031$924574D8-ED4A-4926-BC99-E580D2FAFE83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ef4a2cc5349255f2e69a5a497f386d252f5049b","datavalue":{"value":"10.1007/978-3-030-57628-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996031$0757CAA2-FBCE-4DB4-9694-AEF1369BA812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61b78f4faa8dbc44b4c5fe23f2fbabbf68783ad","datavalue":{"value":{"entity-type":"item","numeric-id":782570,"id":"Q782570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$471DB755-74E1-4789-BB83-458C2E88BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$E4C60BB9-ED5C-45E6-B812-EEC68FAA35DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da52b2635d2cd12aed90d9fb08209aaf7209a581","datavalue":{"value":{"time":"+2021-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996031$1A4D1128-AC3E-429C-9183-D83095B088FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"294a15d3cf28df1fd229a378c0f5ecca4b0ae33f","datavalue":{"value":"https://hal.inria.fr/hal-03136066","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996031$4FF8FE85-D031-40A8-9B43-90BEB2C96D35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996031$B6895B38-2C1B-45CE-A955-C6454F4CF481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8908d6e0e4de61c83546d8eb00770a00d6365993","datavalue":{"value":"7317099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996031$ABB41C50-B334-4573-89DE-7B668FCE721C","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":"Q1996031$04BD099B-AB58-4627-9C4D-2263A6ADA800","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fb97a40d38723d7a8b2d5f565af47e6929ee151","datavalue":{"value":"W3080312608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996031$7E682FF6-4445-4CDF-B743-D3049EF712B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82430fcfa54bf20255ecec3b676a13899ddf85d6","datavalue":{"value":{"entity-type":"item","numeric-id":5300868,"id":"Q5300868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$F824D33A-FDE2-4A02-BA9A-651CD2623A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$FD2AD1CD-F612-4EDB-BCFC-20D51FB5E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d022874c2fe7d58d1876938350ab409ec9766ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$1EE8414B-905F-489C-AED9-5DBB0274E2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$816EF8C0-3D5A-4650-A50D-F696D90CCE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34e21332fcca10ed77e5ba35a0a29eeef9a6d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$677232C6-2A0C-4279-BF8B-4CE231F3B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd09dcdc56a3a23419091935935cb57c389defad","datavalue":{"value":{"entity-type":"item","numeric-id":782571,"id":"Q782571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$2479468C-9916-4B7B-B351-1CFF1C55C282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de4f5c89b87bc79d5757a347b9b78cd84ab4dd3","datavalue":{"value":{"entity-type":"item","numeric-id":1996031,"id":"Q1996031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$41FFB6AC-2BFA-4821-999F-9AF42621C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b311730d301cd9dc301ede79de6f76f888900a14","datavalue":{"value":{"entity-type":"item","numeric-id":4779396,"id":"Q4779396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996031$A0AAD06B-2DF5-4F0E-B13B-8763E79FF370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996031"}}}}}