{"entities":{"Q5464472":{"pageid":7494031,"ns":120,"title":"Item:Q5464472","lastrevid":96423785,"modified":"2026-06-05T11:11:50Z","type":"item","id":"Q5464472","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 2195493"}},"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":"Q5464472$F6E128F2-75EA-4EC5-B834-42C51D80B735","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":"Q5464472$444B251A-A575-4099-BF7C-7272D924D4B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34b1f129004511dc7fc9f8838a1ad1b9582463b4","datavalue":{"value":"1110.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464472$08B33190-6404-486C-BBDB-F728589FC27A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c92f92f141894c6ce24ba3c5e7ec37f507de7ea","datavalue":{"value":{"entity-type":"item","numeric-id":3434667,"id":"Q3434667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464472$92A6EF7E-635F-4CDA-8A3F-5F92A4BFB00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed62bd5cbbab8c43e35efa51d7ed7a27fba794e2","datavalue":{"value":{"entity-type":"item","numeric-id":3613074,"id":"Q3613074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464472$DD18E896-FC39-45F9-AE39-1ED2399589DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccc87e5757b5bb80152295a027ae4d26eb0172c1","datavalue":{"value":{"entity-type":"item","numeric-id":2999247,"id":"Q2999247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464472$988AA4FD-395A-407A-820F-1AF4940850CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78314204c568d7d68d805d99a70cd9bcc809e18","datavalue":{"value":{"entity-type":"item","numeric-id":3434654,"id":"Q3434654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464472$C89E23E1-10C1-43CE-94C1-9A80650EADA3","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":"Q5464472$9D5A4D67-65F8-40BE-B396-51A6AA4237F9","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":"Q5464472$30E5A75E-5975-464A-B762-EAFE67880397","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464472$BE4FA6C3-87D9-4F73-ADB5-64B0AAA9BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464472$2204518E-B884-4231-BDA9-1E37D5F7F992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c41fccc183d432d64a43bc7468daaae488707f79","datavalue":{"value":"2195493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464472$4E522E9D-EBEB-4CD6-A169-CAB5F8658128","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5a24029e2d408b50ab9c402597ffad2f8a5efe","datavalue":{"value":"use case","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464472$83855BDF-1937-4102-9508-470FDDAF1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab226e56185cdcc6e04d860fff156a9547c933d","datavalue":{"value":"scenario-based approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464472$3A910302-720D-4843-9F4C-43B361861D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d68b227730b905e53108b3be784ed9261398da","datavalue":{"value":"scenario composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464472$23B009DA-3F10-4691-B2F8-D232149690F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464472$143C837B-250D-4FCA-9335-4522DEB9B558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464472$8FD818B1-BE5C-43D8-8E40-43BF2353A573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"988dc5137470376a496eab64f6cc8bb3c478e678","datavalue":{"value":"FSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464472$2F413DD6-4E89-4F91-80B9-9092E5739200","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":"Q5464472$8F5BFEAA-74B1-4E68-828B-559D61067C5B","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":"Q5464472$70B6A938-651E-4FB9-AF18-24F140B98804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8785a931a1b4ff47231e3ddd721198fbb50390","datavalue":{"value":"W2244752996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464472$A794355A-28E0-457A-8413-877E3C58B607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b65bef6930dff50fdf49458f9847af89f706a","datavalue":{"value":"10.1007/B100576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464472$3DE3BB54-0D18-45AC-95AE-6818818F8CAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3e2c9f6c714923890cfaac1ef37c33a56c6f35","datavalue":{"value":{"entity-type":"item","numeric-id":3045262,"id":"Q3045262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df447e8fb7d4edb3b51a48d4ec29052a1040062b","datavalue":{"value":{"amount":"+0.7399736046791077","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":"Q5464472$049A378C-C760-43C6-A6DB-426097FB2B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25741ad3432035ce11f563c8f6dc6eec92d50d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3814786,"id":"Q3814786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f460e703e5f1ee8b5c7b92a557e2e98312ba39","datavalue":{"value":{"amount":"+0.7339063286781311","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":"Q5464472$76C3AA3C-928E-4630-86FF-3DA8B9D97700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e848ec505523ece40979254232c5ed7143962201","datavalue":{"value":{"entity-type":"item","numeric-id":3334964,"id":"Q3334964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dff092677a7100dede3a9ac21fdbda9859f727","datavalue":{"value":{"amount":"+0.7307879328727722","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":"Q5464472$7F33DD2B-C3CC-41D7-BA32-44A9C79B54AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f1b51db0600bbdcf404b304fc3651693085989","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64da56330b1b3d4a388a8b36a1ab36f7bfabbacc","datavalue":{"value":{"amount":"+0.7302561402320862","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":"Q5464472$A7AF53D4-BAB9-401E-83D7-B17517B547CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3bc1ad1c1a07b14d4fed78a17e72213ff22c48","datavalue":{"value":{"entity-type":"item","numeric-id":2906934,"id":"Q2906934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ca15a3b5be4698a46a288e5c0bb25ecae3eca3","datavalue":{"value":{"amount":"+0.7267671227455139","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":"Q5464472$828CB4D3-1430-4880-A3E3-61D668C24D7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004 (scientific article; zbMATH DE number 2195493)","badges":[]}}}}}