{"entities":{"Q2492159":{"pageid":2502902,"ns":120,"title":"Item:Q2492159","lastrevid":72740742,"modified":"2026-04-14T07:20:48Z","type":"item","id":"Q2492159","labels":{"en":{"language":"en","value":"Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5030393"}},"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":"Q2492159$0751CA71-D8C2-4D43-98D9-9F64E34DA497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da209bc53d022df1b80abea07ad04f4e82524ac","datavalue":{"value":{"text":"Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2492159$7C38C179-9799-4AA6-919B-D67F88F20B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca2a92384e54fc766cb95d0fc4b23711e7f3e365","datavalue":{"value":"1088.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$8F7A1860-9714-4213-AD13-F275E427A6A2","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":"Q2492159$591D28A6-AFC4-4FE4-921F-28E7DAB7CBD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d6d7cae2f5f8201c89a198d036c1b0a6ec42beb","datavalue":{"value":{"time":"+2006-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2492159$F47DED16-82D4-42C3-99D1-598995EC4156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$4B4EA38B-9C9A-42C1-99B5-0EB25229AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$AB320EF9-BC00-47B3-94DB-8DC7E87E3A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$A95D7394-0376-4DE7-857F-2C7E02DE9C51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7a1c901b4f5e3c6dc0a1fd5f47fa3dced645dce","datavalue":{"value":"5030393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$5982E9B7-06B3-4127-A745-CFAD74C27368","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":"Q2492159$CB0E71AA-4249-4A60-90EE-A228E49CDBEC","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":"Q2492159$98EF6C16-9EAE-41FB-B5B1-8B4456B1648C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb0091687f776c6b548eae89eebc3144c96fe59c","datavalue":{"value":"https://doi.org/10.1007/b110123","type":"string"},"datatype":"url"},"type":"statement","id":"Q2492159$6CA65899-08F8-4B05-93B8-A8B018C3243C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$A5ED76AD-0B39-4793-8D2E-3EE33C929CD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492159$5CECF91B-FE87-48DC-852D-60C20D2E360E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cdbe8ea7b770b7416ac06ab7ce25c93b65f8587","datavalue":{"value":{"entity-type":"item","numeric-id":1880565,"id":"Q1880565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccefd5d5bac5e731bb682d48570b92679c9bedbf","datavalue":{"value":{"amount":"+0.8491047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$193DE0EC-25A9-47BC-90AB-07DA17E7C25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b6cdf3035d6642ab2728ef8dac5423265d5df4","datavalue":{"value":{"entity-type":"item","numeric-id":1777924,"id":"Q1777924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86775377c3760e0b93ea2e472692e35f15cc6bba","datavalue":{"value":{"amount":"+0.84310925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$4C019441-38E5-406F-9262-42401376C25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e2f78c83c6225678b87d7f38ddbfb09640b65","datavalue":{"value":{"entity-type":"item","numeric-id":4390390,"id":"Q4390390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1c2ade9e47be8eb8098a4410b38d6b791a413d","datavalue":{"value":{"amount":"+0.8429197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$2D791669-A621-40E6-A115-CDA1DA54C959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b84370813be6c0ee5de6a19bb9d7fffb9113e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1210870,"id":"Q1210870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9f709913d79231487cb0c614a08c832c8a217d","datavalue":{"value":{"amount":"+0.8387453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$5D2934C8-86D6-4DEA-95EC-ECED75B0BFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f732b097ed99f88720d9a05d8c34a9246598ba","datavalue":{"value":{"entity-type":"item","numeric-id":2376841,"id":"Q2376841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28578aee49c72fa8ae1d28a211f29e329b68452e","datavalue":{"value":{"amount":"+0.8356296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$6B596AAD-9D2E-4CA8-9309-06B2BA9817FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194c3e426c800fe70cc8a256bc4fe69da3e21ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1582980,"id":"Q1582980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67eae719ff29e35d58474bfc6731da9cf99fa93","datavalue":{"value":{"amount":"+0.8351859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$DE90A727-9B23-4367-A083-8FE92D354A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9bb7724e6580790f8bf5447d5b5506f55a25c29","datavalue":{"value":{"entity-type":"item","numeric-id":1339986,"id":"Q1339986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40fe3fb965302743b0d109b1088f2eb8848231f","datavalue":{"value":{"amount":"+0.8344171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$8F19960A-2595-4DA6-83CD-71C1A21140E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877b98a9ea7af31ef238fbec3cfae6fccc1ca213","datavalue":{"value":{"entity-type":"item","numeric-id":2472178,"id":"Q2472178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0bf8ba015ba1c2cb98d68865354ecc426a0e2d","datavalue":{"value":{"amount":"+0.8290261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$B24A6A25-3AF3-4402-BF2B-102F86BEE9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263a854c5a5de15991d5d3c650bb40400fa9b6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cb022b411ccf50cf09037a3731a2fe8460435e","datavalue":{"value":{"amount":"+0.82822603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$5F8E737B-C16C-40A8-BBB3-13CA5CF3C18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b68efb5b31d967eb702cccf6b8e9c5550ef354c","datavalue":{"value":{"entity-type":"item","numeric-id":1878936,"id":"Q1878936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b30e7abb719de91a5c5067ea7e3e7c0e6f2d676","datavalue":{"value":{"amount":"+0.8257259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492159$37FC4804-128C-4C7F-A0D6-935222966D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_methods_for_the_design_of_real-time_systems._International_school_on_formal_methods_for_the_design_of_computer,_communication_and_software_systems,_SFM-RT_2004,_Bertinoro,_Italy,_September_13--18,_2004._Revised_lectures."}}}}}