{"entities":{"Q5464476":{"pageid":7494035,"ns":120,"title":"Item:Q5464476","lastrevid":48529867,"modified":"2026-01-05T03:10:59Z","type":"item","id":"Q5464476","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 2195498"}},"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":"Q5464476$CD967F69-1D5C-478F-B4A5-CD3DEF5960E4","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":"Q5464476$3ADD51BB-7900-425D-8944-C129C6D9F1C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61c7a62d8cd61913ea75c88045444beb6848cdf","datavalue":{"value":"1110.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464476$2CEEE1A6-F4EF-4AD0-959C-EB97CBBDFFA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f1b2be9732015562188617a574a6fc2c554f4b","datavalue":{"value":{"entity-type":"item","numeric-id":300303,"id":"Q300303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464476$BE34DB52-3BCA-4CB7-BAC3-AF799267B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baeac018e2e91711dbeb7909f4f10fc4967a7240","datavalue":{"value":{"entity-type":"item","numeric-id":1014566,"id":"Q1014566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464476$8420EB77-65CC-43F7-99BD-3623D43E943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3cf3b62d4eb297329967a86da54bd015bf32a0","datavalue":{"value":{"entity-type":"item","numeric-id":557804,"id":"Q557804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464476$928391EE-2B42-4118-B86F-E8AA327A6F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3214a89553dc064e5abd869148480fb96e64691","datavalue":{"value":{"entity-type":"item","numeric-id":1014567,"id":"Q1014567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464476$25F2AA05-1410-4623-9C5A-A5DF121396B5","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":"Q5464476$1E092932-8CA9-4F59-957A-63099D377F69","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":"Q5464476$282D15F5-F047-40A4-9A1F-7261E465D1EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464476$6ED71AC4-6A72-456E-A7EF-920E606DB048","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e12038063fdcd971e717a4343b08e690c82d964","datavalue":{"value":"2195498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464476$C812E657-227B-4766-9A34-A5F11114EDDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53bd3311b29bc4a1917c477bf6d93094ae3bf255","datavalue":{"value":"stochastic petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464476$69D4537F-40AD-43DA-B448-2D31698C0ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464476$20424F96-BF3E-4F5B-B6B2-F85AED142EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464476$914AFDB7-AA9C-4EC8-88CE-B82796185775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0cb32f0accbbe60cedaed3314247a7bb6c2daf","datavalue":{"value":"petri box calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464476$23134F73-3114-4A6F-BDD0-30B97E99D520","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":"Q5464476$CC10D309-5551-4594-9F10-3A481D0A035D","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":"Q5464476$65C52B49-5434-4250-BAB4-4EF757ED004C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8785a931a1b4ff47231e3ddd721198fbb50390","datavalue":{"value":"W2244752996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464476$3A67DFF7-7B34-4BA5-AFB6-12A685B9629E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b65bef6930dff50fdf49458f9847af89f706a","datavalue":{"value":"10.1007/B100576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464476$1A101D90-2DE0-4894-9798-555712F2EBCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d1551b7a9bcaa95b382f939277576e1c9994a9","datavalue":{"value":{"entity-type":"item","numeric-id":2880610,"id":"Q2880610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beae6d26bf6b8329aa3334d9d28beb00b6067ee0","datavalue":{"value":{"amount":"+0.8083704710006714","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":"Q5464476$461365B0-D57C-4AB3-BD14-4B3A3C9E20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14ba42db8022d87272013c5724dbba6ab287541","datavalue":{"value":{"entity-type":"item","numeric-id":3179415,"id":"Q3179415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3e878f4af29d05913a847d56d01c8881f801d3","datavalue":{"value":{"amount":"+0.7291879057884216","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":"Q5464476$49A79227-161D-4C3B-880A-3FBC191A92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff498993712fe45b83d6c2557ec7efe3cba4cb","datavalue":{"value":{"entity-type":"item","numeric-id":3601873,"id":"Q3601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b02e45baf72b60e5ed36b7e79d9378bf03206d","datavalue":{"value":{"amount":"+0.7072145938873291","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":"Q5464476$77921797-3439-4526-B340-6511A7F85A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee68b5456e5256a52fac9b91aaf5026512106898","datavalue":{"value":{"entity-type":"item","numeric-id":2898944,"id":"Q2898944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e40e97669465e6567fe6953a0da90e848b5004","datavalue":{"value":{"amount":"+0.6945703029632568","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":"Q5464476$3AEA2A40-F568-4349-850D-29DA2042662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5447df68e880f3e3584631ce36f590b06b035902","datavalue":{"value":{"entity-type":"item","numeric-id":3429643,"id":"Q3429643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc723d613d7d7cb7f88a1e454d04ce1c3908774","datavalue":{"value":{"amount":"+0.6894639134407043","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":"Q5464476$B697F082-6D24-43F0-981D-2CE9A458DA52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464476"}}}}}