{"entities":{"Q716573":{"pageid":718422,"ns":120,"title":"Item:Q716573","lastrevid":63842907,"modified":"2026-04-11T15:55:15Z","type":"item","id":"Q716573","labels":{"en":{"language":"en","value":"Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21--23, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5952715"}},"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":"Q716573$02E16245-09C2-42CD-B180-CDF660EA6EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed0654a9ab9584eab3f6d5e9b142dd99b8059a18","datavalue":{"value":{"text":"Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21--23, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q716573$B3F09318-BE70-4E0D-98F9-0F9FEE05639A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec93b24a75b2b90c7dd21497176963e755f18177","datavalue":{"value":"1223.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$CB4F1583-10F8-416E-97DA-F3CB66E40AEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08112781cd008dd500b9e8609adc05b016322296","datavalue":{"value":"10.1007/978-3-642-24310-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$14D16887-5E6E-4F2B-8E7F-E0A96A052F89","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":"Q716573$F03095F0-2266-475F-89E9-AB3B9A6762F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f03d17569c22bde91cb04cd7cc391add877cceb","datavalue":{"value":{"time":"+2011-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q716573$7FCB703D-8EF8-4A79-AAC5-E1EE4D988C43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$E9A20AF8-264A-4E60-84C2-E44EB612FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$140B686A-1818-4C87-9158-5D3BCFC6A895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$A188D2E6-46DD-46F9-84A3-0895DA46332A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0cf6708788fdbba93299f268aec03b8148a2dc","datavalue":{"value":"5952715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$176AB651-E813-4304-B718-929D98543A6E","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":"Q716573$D718D2E0-36E0-4EC5-9312-BAB7CD5276D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e7910d6e2786dbd68851d9e5fee82f86855caf7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q716573$F078E8D3-A8C3-4E6E-9495-EF45386EA623","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1f656f745ab9c202e89117b9c49c174b2b75c05","datavalue":{"value":"W2520361252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716573$16127435-CBF6-4AAF-AA6C-653F28B4CFD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21--23, 2011. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_modeling_and_analysis_of_timed_systems._9th_international_conference,_FORMATS_2011,_Aalborg,_Denmark,_September_21--23,_2011._Proceedings"}}}}}