{"entities":{"Q735416":{"pageid":737265,"ns":120,"title":"Item:Q735416","lastrevid":63940104,"modified":"2026-04-11T16:34:24Z","type":"item","id":"Q735416","labels":{"en":{"language":"en","value":"Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14--16, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619288"}},"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":"Q735416$31EA6F66-5464-4C66-8AA6-89976750C0F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65526cb08dafac5e8ef345e78bba052e791b7f41","datavalue":{"value":{"text":"Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14--16, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q735416$D4E46C93-0172-49EE-AA56-6C2DEFBC63AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25fea7d8774435199f97eb1613ee4c2ca6d17407","datavalue":{"value":"1176.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$8AA3CBA9-0340-492B-923E-4F98E2DD8F05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceb32da84907263013c9e056157a1f2df9237815","datavalue":{"value":"10.1007/978-3-642-04368-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$904A3FC1-CDFC-42A4-92AA-497F5E60BD66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735416$42DBE6BD-ECF3-4FFA-BF84-F89D4CB8138A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q735416$1B9894C9-21E9-487E-8542-CDB950FAA090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$7BC72ADD-E7F2-4F4D-B8D5-D787EF713758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$1670EC08-3EDF-4AC4-AA70-F21DA60BF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$A561B507-D2E1-4C7C-8117-B36BA255EBA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fedfcbb36c8c34d467bd526e5689b26bddfefa7a","datavalue":{"value":"5619288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$D4EDEED2-1091-4883-BF23-B0AF8B0F005A","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":"Q735416$49F02D64-3D51-4C30-9348-55A65CF34097","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":"Q735416$8ABAA1E2-9347-4B32-9399-4A9B7CAD1DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2bcc2d6c3b9eb2d5a97ee9bb7dede9e51ceada3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04368-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q735416$AE378E7A-ED14-41CE-96BD-1FEBF1D1450A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b24929adac49cc933172c34c670bfe2335ea029c","datavalue":{"value":"W168733963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735416$6365C7E6-834D-4C48-8020-3DD5FD3943EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14--16, 2009. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_modeling_and_analysis_of_timed_systems._7th_international_conference,_FORMATS_2009,_Budapest,_Hungary,_September_14--16,_2009._Proceedings"}}}}}