{"entities":{"Q6487976":{"pageid":14066745,"ns":120,"title":"Item:Q6487976","lastrevid":47829895,"modified":"2026-01-02T19:49:25Z","type":"item","id":"Q6487976","labels":{"en":{"language":"en","value":"Deciding bisimulation and trace equivalences for systems with many identical processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666525"}},"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":"Q6487976$2A64AC98-1144-48DC-8FB5-3E3D5EEA8DA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"442379bb5ca481132bb1af23c60edc411ea557fb","datavalue":{"value":{"text":"Deciding bisimulation and trace equivalences for systems with many identical processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487976$05931351-ECD4-44F7-A71C-CDACC83B2AF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2589fefb3c3f4c5bf5b7dc75b05cebc616f3738a","datavalue":{"value":"1512.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487976$9AFA0FB7-3500-4327-8D9D-F1B83CA0D4A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$8AAA6FCB-20E0-4FF2-A9B9-C24DAE183D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6489a424af5509c3e216cf61b1d26bc45134c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":672061,"id":"Q672061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$B087E8F6-FBE3-4756-B883-4D94452055C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2d9e2a8ece130ec788643bf8ad95b8300efa699","datavalue":{"value":{"entity-type":"item","numeric-id":672062,"id":"Q672062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$A46EBC3D-4C19-420F-861B-BDCAD2445C1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487976$1111951B-A68A-4BB8-9D5E-AFB2991D2310","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487976$C8A82094-D5D7-4271-A1BC-B775019033B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487976$028F4D75-7EA1-4985-8AD4-4CE3F49C5111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01593741f753924a6dca649cab9f77385bab3339","datavalue":{"value":"7666525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487976$AFD75A25-9E9A-436E-B599-FB0F76077159","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":"Q6487976$3482EE52-6439-48F5-8D12-A84BA3B00F37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ae6ed760781d3b49742d7b716b0a26662372ea","datavalue":{"value":{"entity-type":"item","numeric-id":3142557,"id":"Q3142557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$0315B1CB-8565-4CE9-AE97-9D0C358022AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$07DA9DF2-EB6A-4353-9DA3-A549E7502AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce511bd02960a809fd21ecf773460f1a6a507a7","datavalue":{"value":{"entity-type":"item","numeric-id":4942620,"id":"Q4942620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$DF9544BB-96E9-4495-BCC0-EBE0E5FA1587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b282ec426ce8dffbfcad6628f7a302c0f02e72","datavalue":{"value":{"entity-type":"item","numeric-id":1098279,"id":"Q1098279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$47A6E696-C398-4C15-A23E-B3C2A2BFFC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$A5DF5C17-2EEC-4658-846B-DE9E8B1F71F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c06516e86ec2e7363d8cee5b62df496371a82f","datavalue":{"value":{"entity-type":"item","numeric-id":758201,"id":"Q758201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487976$5782807A-00F8-4ED5-B556-978672B5D476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d25f6ad8cac66bedf4910b6f86ae57d60a75e70e","datavalue":{"value":"10.1007/BFB0015435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487976$275C8BB5-0A06-48DD-AB02-78CB5FAF7DDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba9b97f349072778f462996a9b6d9a4b1e9f8b6","datavalue":{"value":{"entity-type":"item","numeric-id":672063,"id":"Q672063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6aa48e308732df17a14e5ee4112ecdc28ac8166","datavalue":{"value":{"amount":"+0.9679726362228394","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":"Q6487976$B3226F69-7A61-4E4B-8C72-E5D731FD4D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c519f6db5688de71a3a2314c67a77fd8881c65d","datavalue":{"value":{"entity-type":"item","numeric-id":1310916,"id":"Q1310916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a8ad7a66aa66afb7a303ce3532a07c15d127f5","datavalue":{"value":{"amount":"+0.7922216653823853","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":"Q6487976$B9F53DEA-474F-4855-8FE5-020A7D249361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114b142bdc5f56e27f94135cf1e45dc66c203e21","datavalue":{"value":{"entity-type":"item","numeric-id":4571985,"id":"Q4571985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d766fde6cbf5b400dfa6891ff99633dfca70fcd","datavalue":{"value":{"amount":"+0.7916133403778076","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":"Q6487976$A3A8255C-CBE8-4339-BA3F-F417F47124A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516bd943972c6cbd6b22be160d797dc7e9735399","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ea0a5382166fd4318bc25946e6c12ee3c479cb","datavalue":{"value":{"amount":"+0.7676520943641663","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":"Q6487976$4F337C87-88DE-4CF9-AB55-39060CF5D4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27866ed721803aeaa9558fb0be624e583324e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d27fda03e2f641c92fb285020e7179445d33477","datavalue":{"value":{"amount":"+0.7667143940925598","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":"Q6487976$00A9F874-E8DF-482B-9CA9-E3D133727922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487976"}}}}}