{"entities":{"Q975471":{"pageid":977319,"ns":120,"title":"Item:Q975471","lastrevid":65776074,"modified":"2026-04-12T05:17:39Z","type":"item","id":"Q975471","labels":{"en":{"language":"en","value":"The equational theory of prebisimilarity over basic CCS with divergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5719198"}},"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":"Q975471$15DEBC04-4113-4700-946E-10180F5DC8F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daf7ba039c710951ab47dda59e376fe93bfd0653","datavalue":{"value":{"text":"The equational theory of prebisimilarity over basic CCS with divergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975471$BBB91ACB-DC7A-4727-B2BA-90227886C949","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd35833473dd179d1cc2eeb3818731889525ce43","datavalue":{"value":"1191.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975471$8C0124FE-EBA9-4FE1-B064-0B412E3CAD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$CA2E8AAA-4F9F-4BF3-BCC5-46957AB9C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3412f0bcbcf7573ca233c42eaec71f5bcc7a93","datavalue":{"value":{"entity-type":"item","numeric-id":256418,"id":"Q256418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$C4B68580-3D5A-4569-B2E8-65C28A793560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$DA1D2E6D-5F47-4A81-974E-4CB6D8D9324B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$CDC64174-1FDE-4E67-A883-87974EE45CBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$C24AB258-0ABC-4E86-A43F-49CBB774C7F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1ba380dcd1b40e515c615a715f3a37c52287dd3","datavalue":{"value":{"time":"+2010-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q975471$33DE15E5-F824-4D22-863C-F7933BB9D096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975471$5156AA7B-0527-4023-8C12-2BE00608AABD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c78b29439bfec7a14ff72faa6165fd08d69d06b","datavalue":{"value":"5719198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975471$67B5C174-F06E-4EAE-AAAD-85F069CCA761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$A79B6A24-F721-48DA-A2A6-6446F2022EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$0CD280B0-B1FC-4053-83F6-A01E4C664A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aebc47914747b5be2aacaccecdef6df2c813113c","datavalue":{"value":"basic CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$75FAB8B3-624C-43D4-987F-3A7F231AD329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$1166CC99-89C8-49DC-B45E-F0FA49F613AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e08005aafd815f0dba166daa8c52013e9a7fcb","datavalue":{"value":"prebisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$F9E02C5F-D541-4152-8D08-9521252807E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$93FA15FC-E473-42C0-A272-F92C5B7C339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eded367bdebd97b9871d91467f331a629411f0c","datavalue":{"value":"complete axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$88E8AB93-DBF6-43BB-AE03-768C5CEBDA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$85C9FA0C-A2C3-44AA-8262-3B76FB05844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eec13a6f008f792e31a847377ce72f212bdd329","datavalue":{"value":"non-finitely based equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q975471$48051248-C9B6-4AE7-836D-D72B7FED8F1A","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":"Q975471$E4A9049A-25DD-4ACB-B183-E4790F59069A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97821ad7652b52076a485821fef28cfee284b059","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2008.05.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q975471$998935F1-8731-4017-8F7C-DBD7961E80F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b03290b199be0d1a08e608784bf68a35a36f652","datavalue":{"value":"W2078387921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975471$96ECE8EF-4E29-48AF-A099-CB06C7D2CED0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$7031C966-EA12-47BA-968D-27A082654C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c8fcc14cafaf607c8285a612485e369d5ac126","datavalue":{"value":{"entity-type":"item","numeric-id":969643,"id":"Q969643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$7F71AF76-2985-4F61-B24E-8EB9196EB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$1437C64A-4348-4DC6-A0EC-E40099740FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb3346e0185c1da292aeff371bc111936059633","datavalue":{"value":{"entity-type":"item","numeric-id":2506486,"id":"Q2506486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$5F504676-2E22-417F-88B4-2C89582E3C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e886d26c194047ea44bea7544fbb6d8bc9138f4","datavalue":{"value":{"entity-type":"item","numeric-id":287256,"id":"Q287256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$431A2E50-1F19-4FB1-9D2E-567654C5D979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$D573FA0A-E1C3-4A6A-8FB5-104649A364E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$EE0352A8-F36D-42AF-A1F6-9F5F730EBF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$DCD137FE-A8A5-43DE-9742-35A55733D4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6effcc92f411143cb63ab680d3148dabab4f36","datavalue":{"value":{"entity-type":"item","numeric-id":3938462,"id":"Q3938462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$40B10DCF-2A03-40DC-A2E7-51579A5CC3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$3E1D8728-E319-4182-8D6A-19561FD1B218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$FEC2DE88-43D3-467E-B530-4445B9FF47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$4D1CBA5C-38AE-4E50-BA0B-49D626A38828","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":"Q975471$C40293EF-283E-4F31-8EFD-51C6F14D0612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$16EF9774-A598-4311-8168-DD995165CDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$0F226ECD-C228-4EAC-81C0-13978FF95E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975471$5CA9AD69-8CE3-47F1-B382-65B3EE02122A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c992de8d6efb5fd94de6a4f153b85e7400a5bcf","datavalue":{"value":"10.1016/J.IPL.2008.05.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975471$880D4BA9-BEF2-4661-B962-C81D2A2F659D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ea9d56a1322cb17449b4551148e04fab77666a","datavalue":{"value":{"amount":"+0.8403592705726624","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":"Q975471$C8E88B4F-2F9F-4759-B47A-A95E7D93AFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40476ff5ef962ac4329116745e21867f2e8fe668","datavalue":{"value":{"entity-type":"item","numeric-id":2891363,"id":"Q2891363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab200567e46fb143514c5fc471fc6fd27590eec","datavalue":{"value":{"amount":"+0.7819015979766846","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":"Q975471$62998617-5945-4C66-93BE-8A832319CDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8768305c3a9fb9fdae475923e2b36dd9d0056098","datavalue":{"value":{"entity-type":"item","numeric-id":5415608,"id":"Q5415608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4da774a94da58cd8959192ee774e1a0cc4b14f","datavalue":{"value":{"amount":"+0.7804774641990662","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":"Q975471$322D8410-19B6-46D7-930E-DB9C79C33E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c654b684d14890671cb1816a19e0922ec6c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5458057,"id":"Q5458057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b82dfe6c455803d2803c42cbd86c8ec95c88da7","datavalue":{"value":{"amount":"+0.7643850445747375","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":"Q975471$25BBBAFC-2B57-471C-B086-7BD91B504C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77795473655e32ad0233d53e131bb0134af01ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2453533,"id":"Q2453533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574e1f7181c3ee378334668807e33fa0b8b3cd85","datavalue":{"value":{"amount":"+0.7637929320335388","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":"Q975471$C514DC2E-A941-4047-8808-2F58710FABD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The equational theory of prebisimilarity over basic CCS with divergence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_equational_theory_of_prebisimilarity_over_basic_CCS_with_divergence"}}}}}