{"entities":{"Q3522917":{"pageid":5552821,"ns":120,"title":"Item:Q3522917","lastrevid":49013986,"modified":"2026-01-06T11:44:42Z","type":"item","id":"Q3522917","labels":{"en":{"language":"en","value":"Symbolic Unfoldings for Networks of Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321069"}},"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":"Q3522917$32C91F1F-849C-4113-BFCA-B0FCB7077080","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"715dee3a2a93a2c3723e92f1b2a90cd27b33133c","datavalue":{"value":{"text":"Symbolic Unfoldings for Networks of Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522917$A2720579-7085-4B62-9A47-8C33E046ED73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"072cb05050b80e2dfd01de5380c69ca2714c96f2","datavalue":{"value":"1161.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522917$2F2A8411-243C-4991-B92E-D7B15F4E8DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65f78e7c5dff5db89731532c064da878287fb5ab","datavalue":{"value":"10.1007/11901914_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522917$B393C1EE-98E0-45C1-A30D-2C61E41E9A28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$184B2F83-B084-455D-BB23-2D692B6B8BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$E304BD6D-BCA3-4D86-BD79-42173C53C4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f6d4e3ff7a13e54a54a40f8cfa4f07e93586982","datavalue":{"value":{"entity-type":"item","numeric-id":673005,"id":"Q673005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$F474CCA7-AE86-4442-9BA0-CADD4090EF5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$89EAE1C4-FE38-4396-8796-6133DFDF2A4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522917$24C8CD39-5DF5-4AAD-AC1F-89B3B7DB2309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522917$A7A9F518-0CB7-46F5-85C6-F3DAB0257571","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67778b4da1040ccd470b1383313535e3b83ea0cb","datavalue":{"value":"5321069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522917$2F74587A-2DDD-49DC-808F-6A4919926588","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$FA4BF23B-E4FE-4F19-9C7B-4275C4089032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$6A28095C-6962-41C3-99E2-99D5301DF20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522917$0DA53953-1378-458E-BE18-490608316049","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":"Q3522917$C67749B9-77DA-4C18-9AC3-B933EE2636AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"723bdbb7dce47c4efbc760b0c40b3b647e752bba","datavalue":{"value":"https://doi.org/10.1007/11901914_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522917$DB1039BD-6723-416E-B396-E2B18C504DF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b01f5c9fd89bbf443ea6f02bc9a774128c2f6610","datavalue":{"value":"W2118938189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522917$4C43F419-C5D9-4637-8944-FD7B075BCF6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c389d5d734041e6993858ee8ad1fc2dad7d517","datavalue":{"value":{"entity-type":"item","numeric-id":3522916,"id":"Q3522916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8606110060891a8d6b7513c3489908925d7b857","datavalue":{"value":{"amount":"+0.94912064","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":"Q3522917$D8DEA152-1665-465F-8E81-CA70EAA8DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cca839f7299ac4062fb406875e7520580016f82","datavalue":{"value":{"amount":"+0.9005676","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":"Q3522917$F35F9E98-5CAF-440E-8A21-4E807ACE97B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8d67b1ae796dcf7e8499014df0471921d512a","datavalue":{"value":{"entity-type":"item","numeric-id":4931299,"id":"Q4931299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f92d162f9522d4210174ed834e32fca0cec3b90","datavalue":{"value":{"amount":"+0.9002686","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":"Q3522917$8975742C-31ED-4D8E-BDDF-491FC5AC1648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba2ce00b61133a98101ca20a5fea46f0639eced","datavalue":{"value":{"entity-type":"item","numeric-id":2248088,"id":"Q2248088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f92d162f9522d4210174ed834e32fca0cec3b90","datavalue":{"value":{"amount":"+0.9002686","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":"Q3522917$FE8366C2-BA8C-4479-958C-008C8DE255EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb1e1b670ca20ab7224463d49cda43783f77689","datavalue":{"value":{"entity-type":"item","numeric-id":3511231,"id":"Q3511231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6b54142ebea6c220eec22fc8d04807767e5174","datavalue":{"value":{"amount":"+0.8789334","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":"Q3522917$B5F8D872-F8EB-4DE2-8E72-9E4DFC97CEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa93b1c2113f2100563d74deeeb10ffcfc362e38","datavalue":{"value":{"entity-type":"item","numeric-id":5897963,"id":"Q5897963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4de0a19f4b6ad5ae18f5fca75d9d6422d679de","datavalue":{"value":{"amount":"+0.87530166","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":"Q3522917$7E40365C-6BF8-4290-8A5A-9B4999ABE7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a933c422fd2f5cd2667fd5f69baf6f2fbb1d81e9","datavalue":{"value":{"amount":"+0.8749092","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":"Q3522917$2980C0FC-2883-4B2B-AD9A-78F4E7CFA0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450b5151aa04ee408b0559751b02917d24395a14","datavalue":{"value":{"entity-type":"item","numeric-id":5395106,"id":"Q5395106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b26e9143496a4cef846f3ed0348ec7b4b20c55a","datavalue":{"value":{"amount":"+0.8742808","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":"Q3522917$5CDD9ED9-4C96-40A4-8EC1-4F13C239D008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522917"}}}}}