{"entities":{"Q5464475":{"pageid":7494034,"ns":120,"title":"Item:Q5464475","lastrevid":96423812,"modified":"2026-06-05T11:11:51Z","type":"item","id":"Q5464475","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 2195497"}},"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":"Q5464475$BC812AFD-6063-43B4-A34A-EE14C6974852","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":"Q5464475$98C63063-9504-488C-8730-623B6B271280","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b85ebc604dca092a873021c37e029a5b79f14be","datavalue":{"value":"1110.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$C5673238-3055-4AAD-89F2-0A5C158320F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58083c7cc0bfc34ba24bf6a67eb4c8044fdc332d","datavalue":{"value":{"entity-type":"item","numeric-id":2165224,"id":"Q2165224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464475$BBD55293-ACB4-4604-9D79-53E24A1A7DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbb4817d47b3532731d0b0d3160450bd0effcbc","datavalue":{"value":{"entity-type":"item","numeric-id":453476,"id":"Q453476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464475$73C8EDC6-096A-4B79-ACB4-75EF7B63AD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464475$04AEECC2-535A-4FF4-96F0-3E38376BEBAD","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":"Q5464475$E2915A2C-DC96-4BB7-8ABA-18224BD27EC0","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":"Q5464475$E8171009-8FBD-4879-9111-73E2FFC658D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$968A68B9-026C-457D-B9CE-F2D337DF8014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$ECE33EAB-085E-48F2-A224-9184419CA7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$7AC80EB4-98F7-499B-93C9-5D977675B707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43a40748fa9b4583557050ac99c534dad51f7cf5","datavalue":{"value":"2195497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$745376EE-8068-4256-B506-6F72795AFF10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1ea3eaf0b542f0d2bada8b0ce3a61f0b002d9f","datavalue":{"value":"Decision Diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464475$58FC5774-BC9B-4A04-8B80-D530E48FF777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57eec2b207b00e2bc599f1d64e9179c27f04da79","datavalue":{"value":"Symbolic Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464475$466ACF6A-5FE0-47BC-AE68-624B70E729E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cf90f95d1b675cbd1bf856a32ebeafe48b3b94","datavalue":{"value":"Symbolic Reachability Graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464475$713F6083-8C9F-41C8-B50F-C8E4E26900FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914591596d9dea054ea8dc68ce2bd5736c735f98","datavalue":{"value":"Well-Formed Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464475$99D2C493-BB9E-470A-BE95-5C75A0BFD6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02d5bf719800dceba87a4e2ae56107f924013eb","datavalue":{"value":"Symmetry Detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464475$0D9DF0EF-3EA4-42C8-AC61-63D032369AF4","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":"Q5464475$1E738566-A05E-4336-8095-CDAB3ECA690A","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":"Q5464475$5A2D05C9-B6AB-484C-BFE6-AF7059D21B98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8785a931a1b4ff47231e3ddd721198fbb50390","datavalue":{"value":"W2244752996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$7FE44C82-2E2F-4443-BD92-1D98F8DF80BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b65bef6930dff50fdf49458f9847af89f706a","datavalue":{"value":"10.1007/B100576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464475$5A7C05F7-8D18-4F3C-A7A4-B55D333A9263","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad735f8a1df465af6182e025d488b09f084311e","datavalue":{"value":{"entity-type":"item","numeric-id":4255567,"id":"Q4255567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5c024667197226a8a03557527f73cd2f02f7d1","datavalue":{"value":{"amount":"+0.90014464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$8EFE8805-3E28-40A1-82E4-A3119B6C33A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1d944e1fd89fc2fc2452327ad8ad71eb78a0d1","datavalue":{"value":{"entity-type":"item","numeric-id":3797027,"id":"Q3797027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f016d7d90973bdc938cdca22d24b4aad323cb27","datavalue":{"value":{"amount":"+0.87686735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$7D92205D-8702-433C-AFCA-270C22E13AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620c681e3d7b34740ab95c48f90bea322b224fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1434418,"id":"Q1434418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2fd750b3fb47a0994cc88009bcc68d9e8fa709","datavalue":{"value":{"amount":"+0.8655636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$0CE16F30-0708-41DE-99CB-28EE91C5035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66144a502e2c2e8ed73ed773716b4c7bee82661c","datavalue":{"value":{"entity-type":"item","numeric-id":4738777,"id":"Q4738777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e35b38717b09081981b9b002373b35d6fed0ec0","datavalue":{"value":{"amount":"+0.86371493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$FFA192B3-891F-4335-A0AD-A2A6B0EE2970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c81c9b99cb0f012307d6c6cec567ade6eb3174","datavalue":{"value":{"entity-type":"item","numeric-id":2642670,"id":"Q2642670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098acc4f6a1379e249cd741ad665ab4c03e3fa42","datavalue":{"value":{"amount":"+0.86211765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$6FEE79B5-BBD7-47F5-BD70-91DC7CD0A5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ad56b37bb3624d87ebce6bd3efb52436bebf52","datavalue":{"value":{"entity-type":"item","numeric-id":1960701,"id":"Q1960701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c466675386171d77ecb23e9d18c2f339cfdde21","datavalue":{"value":{"amount":"+0.8591361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$B6737F5E-542B-48CF-AC75-E32020D0F247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b542a954d1ac46f24395c4a5f34fd2460943b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4533051,"id":"Q4533051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3edd66082c6b3e30a06b899adeee3545d4f39a3","datavalue":{"value":{"amount":"+0.8488282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$D22181B3-45A6-42B9-A042-58A46FD68A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef618344d3a9613d63552d649db4feadbfd239","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feac66dc57fb580729fe40e30d1347c0d73aea80","datavalue":{"value":{"amount":"+0.84399265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$6F16BEAF-B11B-4904-B8DB-6294E6B7EC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d0067c4ac47ab64000a619368c3c4a6d46169","datavalue":{"value":{"entity-type":"item","numeric-id":3813682,"id":"Q3813682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc2af69442291d5cf6c1ce94ce87d9ad55f4677","datavalue":{"value":{"amount":"+0.84073967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464475$D8AF67A0-4B47-496F-AABB-54EBA0DF619E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004 (scientific article; zbMATH DE number 2195497)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Techniques_for_Networked_and_Distributed_Systems_%E2%80%93_FORTE_2004_(scientific_article;_zbMATH_DE_number_2195497)"}}}}}