{"entities":{"Q5464480":{"pageid":7494039,"ns":120,"title":"Item:Q5464480","lastrevid":48529879,"modified":"2026-01-05T03:11:00Z","type":"item","id":"Q5464480","labels":{"en":{"language":"en","value":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195502"}},"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":"Q5464480$4CBCE635-AAF9-4DC3-9092-ACFE2B22EC21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b6bda3c47f6e915ef79d84fc1067ba080bda2e5","datavalue":{"value":{"text":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5464480$C20B86C5-158C-4E79-9CAD-A2C64B709CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8994e5525db93acfdfbda0e9d77f50a233890893","datavalue":{"value":"1110.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464480$8108C338-14AF-40AF-B9CE-F1F056CE0548","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":"Q5464480$30E9AA3B-A7D6-4CB2-A552-F9F98DF3BA8B","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":"Q5464480$AA16D893-F43F-4465-B5C5-89583DD9466D","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":"Q5464480$46E3F97C-210F-40C5-B135-ECF8167C1DE6","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":"Q5464480$60B31DEE-5E65-4DEB-B544-882FF3AAABEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb11065d0a8b2eb0c9ba922644fcd7df350e36a","datavalue":{"value":{"time":"+2005-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5464480$FE7F8CDB-3C64-468F-835C-66CD032F49AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464480$05F4203F-ECEC-4298-A2D4-97739EF314E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464480$AB031647-FA14-4EE6-9D75-AB49ADA6093E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1800db6e0990b92cc57ebe039095681b513b8c95","datavalue":{"value":"2195502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464480$DC3A99B6-DD0D-40C3-A03A-F1151B6F3E05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78837c3ccd1c337cbddf1801595fa5c649b99e3c","datavalue":{"value":"mobile ad hoc networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$B39BB281-96FB-425F-9399-9135E9192199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a8a83781948f302bc2e1da23842876bd5d54","datavalue":{"value":"routing protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$0BC5C289-06E1-4568-9D80-8F0748A3882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$FAEC7BAD-D47A-4374-9275-DB3D3FAD6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$2965E419-CE5B-4D7C-BC9C-FEEF16FC259E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$D71E4DAD-7EA3-4CAE-86F4-D83250B1AC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$D68C2265-0E91-4C42-A2FE-800F43EEC5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671bcd3c3d1f73aea704375069fae0ab5c8d4dfd","datavalue":{"value":"LUNAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464480$11BA814A-60C0-4C61-9A15-BDE21F95E4CD","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":"Q5464480$4E62B191-A338-4099-AC7D-BDC7C0DE7C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464480$AFBD23D9-22ED-4A20-BCCC-63614E406E7E","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":"Q5464480$2FA4859F-A870-4FF7-924C-D31D8058FF06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a06b7b0d70feb78a09675dcd52e81b801cda150c","datavalue":{"value":"https://doi.org/10.1007/b100576","type":"string"},"datatype":"url"},"type":"statement","id":"Q5464480$B7630070-F8CE-4A47-8D17-A9BEEC13E19D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8785a931a1b4ff47231e3ddd721198fbb50390","datavalue":{"value":"W2244752996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464480$D4CE39FF-99E3-4829-ABA4-4253E37EB740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b65bef6930dff50fdf49458f9847af89f706a","datavalue":{"value":"10.1007/B100576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464480$349B56D9-175D-4F5B-A923-9AFE6850CB69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0efff4f4bb0f654f18038f3eafbc424187ec46","datavalue":{"value":{"entity-type":"item","numeric-id":5479153,"id":"Q5479153"},"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":"Q5464480$72DA7D14-A26A-43A3-8953-576EC6CE863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae4f1c19ca2db14018f195d8e44bc7727b68d02","datavalue":{"value":{"entity-type":"item","numeric-id":3111974,"id":"Q3111974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7c56a0bb4f425996f964dd4bf3715ebe0603d1","datavalue":{"value":{"amount":"+0.8238294124603271","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":"Q5464480$E64F2300-16CD-447B-81F2-39B903E33AF4","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":"571ba95da1fca151fa699ab726e8e802a913baaa","datavalue":{"value":{"amount":"+0.8000795245170593","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":"Q5464480$D37D02DA-F8E3-4B0E-B3B4-29DD08E77C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd192d24e406f15e280fc135497cfe1a8ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":3455541,"id":"Q3455541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c84e47d10c8cc7395775a8a6afa1556be4fd2d","datavalue":{"value":{"amount":"+0.7864971160888672","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":"Q5464480$4B8886FD-7762-4761-8323-356DF29299CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1be6688c7155420e8563500926518545b9c12b","datavalue":{"value":{"entity-type":"item","numeric-id":2056982,"id":"Q2056982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84738823f4dae6b38f2005e2e891aa9f668265bd","datavalue":{"value":{"amount":"+0.7844300270080566","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":"Q5464480$3286003E-A172-4EBB-8012-7433A8F02E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464480"}}}}}