{"entities":{"Q5464481":{"pageid":7494040,"ns":120,"title":"Item:Q5464481","lastrevid":96423866,"modified":"2026-06-05T11:11:51Z","type":"item","id":"Q5464481","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 2195503"}},"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":"Q5464481$F5D06525-0F61-473C-8C54-B2899C5A191B","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":"Q5464481$F1E52945-9C3B-4373-839F-BBD1F5DFE871","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fed79859d1333532a42b4ff3085face4bdbf063","datavalue":{"value":"1110.68382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464481$B70C78BC-035E-4568-895C-38E71D0744F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6231ff2c5c020fbe04c09def22e7b36641cd782f","datavalue":{"value":{"entity-type":"item","numeric-id":2963909,"id":"Q2963909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464481$AC0F8397-7AD7-4A9D-8B36-7CC5E91757FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464481$E2A1DBB2-10D6-42F0-A521-248F33887DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a21a699a0a68aecb14fb3639a56cdde4b7cfada","datavalue":{"value":{"entity-type":"item","numeric-id":860884,"id":"Q860884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464481$F44E8D90-651F-49A2-A25A-7B32236477AD","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":"Q5464481$47F7E820-7092-4265-BCD6-0BDABC36D77A","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":"Q5464481$E1E4A733-EFEF-4E39-8B1F-F7A753380953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464481$9D167F5A-65C2-41A5-A0E8-21DB4BDA4649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464481$0DED5BBD-A769-4A5E-86A5-8EF2977A9913","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5726aa887555302803981ddd357c361b01378ff9","datavalue":{"value":"2195503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464481$42806FBC-8B9C-462A-9883-6977B79D099A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b2cd8e35470ff36bdb4d1ff9ea5696e3c560d","datavalue":{"value":"intrusion detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464481$63B1B210-E6D3-4B49-8053-3DEEEBE3F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464481$2EE6FE3E-B8C4-4C40-9340-C6186B705019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464481$CE03E840-E376-4751-9B59-F56692923778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464481$24BB56F3-466A-45E7-99EE-135AEA33A4BC","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":"Q5464481$B8F83B2D-0D61-4618-A3FD-1C8DA0BC43CD","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":"Q5464481$837ECD61-1A98-4F2A-96D9-4CD06B280BB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8785a931a1b4ff47231e3ddd721198fbb50390","datavalue":{"value":"W2244752996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464481$5E7A75D6-A301-45FE-B832-3E2782D5D076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b65bef6930dff50fdf49458f9847af89f706a","datavalue":{"value":"10.1007/B100576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464481$781710F6-D307-42D0-9FA2-254556D0DE93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24a7809050fbdaaa469df40358701e1f7a7c3cc","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d587e96e479734027d6a5fe7cf1b7f7319be9d","datavalue":{"value":{"amount":"+0.7591100335121155","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":"Q5464481$6124F534-7144-486D-9B1E-B7F9B88DE4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0925873877b6ae1edeeb1e790022ea13fdeda86","datavalue":{"value":{"entity-type":"item","numeric-id":474447,"id":"Q474447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e3c7e5b1efc40db6533013e9ba7e46b2144fe7","datavalue":{"value":{"amount":"+0.7403491139411926","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":"Q5464481$CA196DF5-4985-4F2C-92ED-506FFA1924D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345c269a4c10df82135052c43dbd8aa88922e771","datavalue":{"value":{"entity-type":"item","numeric-id":4474064,"id":"Q4474064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a9bdf461f0cda26c1e7e392bca12dcd7860143","datavalue":{"value":{"amount":"+0.7306526303291321","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":"Q5464481$71658C26-7D3A-4212-BCB4-006E6E732DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38b97a9b4b1b42b3aa128c775b6adecea0d5ade","datavalue":{"value":{"entity-type":"item","numeric-id":5862669,"id":"Q5862669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ef9a201a8b967aa8dffe16cc6da283fe34b0c6","datavalue":{"value":{"amount":"+0.7275002598762512","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":"Q5464481$3CF85C0C-8D9A-4AFD-B70D-72477AC305E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82172d744e44e0f194e1e24e87c1c1de5c92ccf","datavalue":{"value":{"entity-type":"item","numeric-id":5716567,"id":"Q5716567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52ab0a29ecb4d4cb4601dee1fe71bd479dc830d","datavalue":{"value":{"amount":"+0.7245477437973022","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":"Q5464481$8D36EC6E-9804-4216-9781-C8EC6B3C4222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004 (scientific article; zbMATH DE number 2195503)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Techniques_for_Networked_and_Distributed_Systems_%E2%80%93_FORTE_2004_(scientific_article;_zbMATH_DE_number_2195503)"}}}}}