{"entities":{"Q5958770":{"pageid":8135572,"ns":120,"title":"Item:Q5958770","lastrevid":47755933,"modified":"2026-01-02T14:57:05Z","type":"item","id":"Q5958770","labels":{"en":{"language":"en","value":"Bisimulations in the join-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715815"}},"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":"Q5958770$E8160A0E-CFE8-4329-BD3C-FC2EF02F8E83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f39253fbf8a184515a29d34063b00be2497fa51","datavalue":{"value":{"text":"Bisimulations in the join-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958770$4D9D9DFF-3B3F-4FE8-9DDB-95BBBC151E8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe87b321b79e12bf9ada8088177ef155e0d9717f","datavalue":{"value":"0989.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958770$A2893FBA-517C-42B9-B956-E3349800831A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf8601c9059299a1a8e36a1326eedb67d425b114","datavalue":{"value":"10.1016/S0304-3975(00)00283-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958770$EF1A90A0-57D3-4745-8BA5-BE20A57A6001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$F6F8A975-8ECB-4D92-A896-E883BCC85D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$F9310DD7-5DEB-410E-B7BE-4361D65930E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$7AD68370-9DE0-4BB8-8271-F8F7F7DC13E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958770$B12727B0-C154-43C9-A338-980FFA695A58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958770$0B2FFAA7-BC24-40B4-A58A-059022161D34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35005e95b7910e85371fd8ed675d4dddc7a319ac","datavalue":{"value":"1715815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958770$89715CA5-0156-471C-84AE-98143D59D789","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fed26b174dcc53333d9ad002c827480909babd1","datavalue":{"value":"asynchronous processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$179CD19B-6F98-45A1-88CE-D77E54F1AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c5455c04c09b0241a2d76ae6bd80d020b7f4d9","datavalue":{"value":"barbed congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$101E9203-8118-4B17-8663-237DD828CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$B8EABBF8-2E32-4DCC-8582-C33789D86399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9253230733737248945f68da10388939768c586","datavalue":{"value":"chemical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$04786FEC-FCCF-4F52-AAB3-0B9924E51775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$65247D37-FEA2-4FCA-9415-AC01B5AE6D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2cc2ef5fcc047124f0fcb431dde6a8eb865ec4","datavalue":{"value":"join-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$F25E44C2-23AD-45C9-9C3E-8331E7262AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$A4A2AC61-A8FE-472B-8D22-96FE5A45158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba97a5e27b81a86b02cd3e8a9a52932dbbfd1c6","datavalue":{"value":"name matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$BA8D8303-BE2E-44A6-B4A8-956786DE6AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958770$AEBB8B7E-7892-4714-BEA2-D6B48D927F96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$C9BEA0B0-8BB7-4665-9DFC-EEE5E622D513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$194D25CA-98B8-4FCB-9DF4-839865B2C667","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":"Q5958770$B893592E-D2EA-456E-A407-1D11C2C72946","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"884b895792e237b6465719f891e5c7366ce0c3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1854520,"id":"Q1854520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$75DAD90A-0BCB-43C7-87E1-B7F9E915C08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c749d385ff9fca7ca4da72b7f0ee88eca4a501c5","datavalue":{"value":{"entity-type":"item","numeric-id":5178860,"id":"Q5178860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$03F5988F-532A-4E0D-8E81-72F25DF1F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$DE366B29-8890-489E-8C9C-F786E5BB0205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0342acc4b6d3d5710fb00275aba55a9d8ae424","datavalue":{"value":{"entity-type":"item","numeric-id":751838,"id":"Q751838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$9E246860-BDDB-49D5-BFC2-B270D467E50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$6C14227B-9CA1-4DE8-8F26-42BA2512E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$9789B4CF-F26A-41E9-BE8D-BB6CD22C55DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$ABDB72D1-1236-4B87-A665-7F6C2100FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b74851938f00bb5c8ae552b2eab3f17bbfc147","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$6FB5BEBB-2414-4755-A537-D1359DB3C903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a69b28cdfea19f2b8d663d600a14baec0a68178","datavalue":{"value":{"entity-type":"item","numeric-id":2364433,"id":"Q2364433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$9275181B-C8EB-4F99-A6B4-21DEE93AC74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$BC4DC93C-953D-4C1A-9D00-694817E8B392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf44dcbfda43323b28e8eb54abb86c90b4ecce8","datavalue":{"value":{"entity-type":"item","numeric-id":4219054,"id":"Q4219054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$F08A9B95-D4DD-4753-8542-6933BC7A6B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$E734169E-DF31-4D28-A947-9256727D9349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189fc814691f7724896a311b991849bff42e7c34","datavalue":{"value":{"entity-type":"item","numeric-id":6044118,"id":"Q6044118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$F2D75B9D-6EBF-4F4B-9AD5-18344BF98ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$36C8D3C6-0D92-42E8-B8B2-5B587B6C9EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dade0b78052b2f86049ffc63ff1a9ba4fd5935","datavalue":{"value":{"entity-type":"item","numeric-id":1391757,"id":"Q1391757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$C4216BDB-CF70-4B5C-B521-9B22914156A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918c90c740fb88aa5073f69e0a5ed72039f108ba","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$F185C028-6B3C-4B3B-9DF8-272B00860BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$829E325B-0BBC-4087-B42D-373A3401E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$C711598D-8444-40BA-B996-6AAFDFC26E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$34EE2EF6-DF52-42FA-BF05-093BEE53091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8449b3247b2aca4e34fab0b2e3b7c447c7c9da","datavalue":{"value":{"entity-type":"item","numeric-id":4223013,"id":"Q4223013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$35D4329E-3492-405D-B78B-E856168825BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b25e1f9870e2fa30d4473980293c0f77342293","datavalue":{"value":{"entity-type":"item","numeric-id":5958774,"id":"Q5958774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$8BE39A31-8B6D-49D7-BD1F-988060927DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958770$9BCBD726-2908-4FE0-9DB1-5B4AB07E7753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ec1d1e50853e205465396da7a6423a935f8461","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00283-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958770$5B6CF7EF-F5CA-41BC-9E83-2618DC68CB9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"532bc0955f8a8fc3888cf4481f0b10fbc8e61a42","datavalue":{"value":"W2161347291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958770$6B830429-6450-4F6F-85F1-23AE860D67EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f00463e27cfa78e039dd7acc130aa74002b712f","datavalue":{"value":{"amount":"+0.8060914874076843","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":"Q5958770$2E312CCB-94EB-448F-B252-4A0CD9799ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bd208339a4b17c15aa25bd556ceab95a02bd96","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943d72c69625e3ff91bab29563118a3898c82511","datavalue":{"value":{"amount":"+0.8011565208435059","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":"Q5958770$9DF70831-C693-4223-98C1-34E7FC9DC00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9acd81086f04f61b2cf87911cbe455e8c1285a06","datavalue":{"value":{"entity-type":"item","numeric-id":1276256,"id":"Q1276256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e011096f2c7c1f501de68021d4313175dde582e","datavalue":{"value":{"amount":"+0.7865429520606995","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":"Q5958770$D01EEF4A-D306-48A6-85A0-9EDFB48BC6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2266230d248cff3c42eb0e0425d023956bfb18e1","datavalue":{"value":{"amount":"+0.7692025899887085","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":"Q5958770$B110828B-3C03-4518-9055-631F85E4CE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617b0df833638df303b4654b02af8d21ecd46a38","datavalue":{"value":{"entity-type":"item","numeric-id":5709380,"id":"Q5709380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f150d37df707a275e1517a31c0309c8bdbc3aa","datavalue":{"value":{"amount":"+0.7651775479316711","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":"Q5958770$70E8E791-14E3-4C67-A755-2620BF2B79DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958770"}}}}}