{"entities":{"Q5479153":{"pageid":7508712,"ns":120,"title":"Item:Q5479153","lastrevid":92404307,"modified":"2026-06-05T01:38:19Z","type":"item","id":"Q5479153","labels":{"en":{"language":"en","value":"Formal Techniques for Networked and Distributed Systems - FORTE 2005"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039232"}},"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":"Q5479153$4F9ACD4D-D269-4487-9C5B-FD5B680E119D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17f820b11b78684b2b2e3e3776b3e5a7f55b1c80","datavalue":{"value":{"text":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5479153$C6866D75-8011-4B29-A489-AE7584EE2CB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"065cae2926476c9c8dd0d4286407d84a0f934f33","datavalue":{"value":"1169.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479153$8D2FEDB1-2987-4940-9FD8-EE635DD6CF92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09f9e125ebae57ac0f11b51df210820ec8b0bb56","datavalue":{"value":"10.1007/11562436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479153$758736B3-DF77-45A7-B25E-97F672306CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64142a0a15c14c5dc81e44677587f8e227af5a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5458317,"id":"Q5458317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479153$84968778-ADBB-4515-AD9B-5F818AC5FFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479153$0830CE37-545D-433E-A5CB-6AAE0BF9ABA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2259ca7aa68391da35ef93b17b4ec60289ab5b2","datavalue":{"value":{"entity-type":"item","numeric-id":4784917,"id":"Q4784917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479153$4C915431-3554-4953-BF1F-20017B205462","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":"Q5479153$BB0BF143-4B33-4DD6-AC2A-9186EE8E5C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f93c27b816c2dabc366a8583ed8fca095c377e8d","datavalue":{"value":{"time":"+2006-07-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":"Q5479153$06A2CA90-C65E-438A-ADC7-4A2EF3B7E6F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479153$9BE7B691-9662-41F4-929F-14A8260239BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479153$B614EAEC-A28E-4198-AE6D-F5E083EDBCBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00f771e4ad78ca5564d554d0db16e437b91cc42f","datavalue":{"value":"5039232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479153$161505C0-3EDD-4318-9D91-AF7B6BC3F9D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78837c3ccd1c337cbddf1801595fa5c649b99e3c","datavalue":{"value":"mobile ad hoc networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$47AC5B62-AA49-4792-BDC0-E6A4D2AA44F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a8a83781948f302bc2e1da23842876bd5d54","datavalue":{"value":"routing protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$464CD1CC-7394-4D15-A973-A60EEF3BE082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$ACED1217-D159-456B-B11E-C87AD296FB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$379EDFE1-4E7B-4D94-995D-0968D508C1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$614295AD-3603-4B44-8DBB-20B8C0977299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671bcd3c3d1f73aea704375069fae0ab5c8d4dfd","datavalue":{"value":"LUNAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$59C7558B-06EA-4924-AAD9-B7EA63795255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6cdadddd3d875584c67e332d5777bb4eed9ab8","datavalue":{"value":"DSR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5479153$A68EB136-2D90-41D8-9C7E-53813E986BF2","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":"Q5479153$E9E978EE-3163-44A6-8EE6-083750B661C9","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":"Q5479153$128B668E-EF18-4E31-9908-0A536A0B14A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8615247cdb7b53636204ae79a1dc5801d7a33c66","datavalue":{"value":"https://doi.org/10.1007/11562436","type":"string"},"datatype":"url"},"type":"statement","id":"Q5479153$91C31674-E2D4-45A8-81D8-BAD02D7CD0CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3ab63cec99175cc77957a4c963d82dd9e81e90b","datavalue":{"value":"W2915402656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479153$EDB9A302-948E-4F00-A5FE-C76DE3D6AEF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652da2bc90612a531e2fe40a5126610d6cd8a5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5464480,"id":"Q5464480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8d22dfb490a860698c99407b0eb4b03eb3f943","datavalue":{"value":{"amount":"+0.8549069166183472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479153$167A2D80-E70F-496C-8F2B-8D693694AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5f3fc20c4eda60749cb27f0d70e7096cbdc85a","datavalue":{"value":{"entity-type":"item","numeric-id":3628490,"id":"Q3628490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a009d382a898c918fc1bf52422edb903d1f68ac3","datavalue":{"value":{"amount":"+0.7792468667030334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479153$12227C89-AE6B-478B-A2A6-3DE988552BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ca72b8875e3dc9ba63b6bea6dea98bc9b411c8","datavalue":{"value":{"entity-type":"item","numeric-id":462483,"id":"Q462483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f188b834ef6bd054c9ba036d7ffa6db414dda661","datavalue":{"value":{"amount":"+0.7723596096038818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479153$AC595DFE-78E2-449C-AB21-18EDDB5C3F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb296091f43e2c0e0c1c9851fcbdf0e72042b1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1688557,"id":"Q1688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0ca8bfbf9f0ce06f349f19e0f2d14d1ed693e4","datavalue":{"value":{"amount":"+0.7657566666603088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479153$6B301475-653F-4C8C-A9E9-B031471FCA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8d9e174eca38ca1807e9c28be234fc06636ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458318,"id":"Q5458318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a75e79be06e048bb96f6d4e0eae8ac247719a4b","datavalue":{"value":{"amount":"+0.759850800037384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479153$82F2F02D-40F5-485D-B28B-D22E59E98971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005 (scientific article; zbMATH DE number 5039232)","badges":[]}}}}}