{"entities":{"Q1892892":{"pageid":1903634,"ns":120,"title":"Item:Q1892892","lastrevid":73936173,"modified":"2026-04-14T17:47:21Z","type":"item","id":"Q1892892","labels":{"en":{"language":"en","value":"Deciding branching bisimilarity of normed context-free processes ls in \\(\\sum_ 2^ p\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 767838"}},"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":"Q1892892$72B3EDDB-391A-4A2D-B1F2-22AF566D6B17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"475e6250e5bef948c1588c4634f553ef5eca0c06","datavalue":{"value":{"text":"Deciding branching bisimilarity of normed context-free processes ls in \\(\\sum_ 2^ p\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892892$3DAAF79B-2D97-4BFB-901D-33AEA9DBCA71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baf4c7f8026136bd842edef94b230d7f1d4ef219","datavalue":{"value":"0826.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$E1687BD0-6E9D-45AA-A43B-902AC00304B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80bd59cd009842eaf1c170b649eeda5dece3b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":685353,"id":"Q685353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892892$F3FD7229-F506-40FB-B6AF-35A8732DBF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11d29d2cbdb03c4d5ff90d92cbc2f1d658ba97d","datavalue":{"value":{"entity-type":"item","numeric-id":391197,"id":"Q391197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892892$9BFF07F9-E408-4072-BEEB-4561C4F33CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e8b38f0566e6f49211d95c340d70a07b86b6611","datavalue":{"value":{"entity-type":"item","numeric-id":746488,"id":"Q746488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892892$FCA0DE7B-5DA0-41B8-8C55-D17DD88BF618","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892892$70CB2151-2CFB-46B8-A9B9-CBA57B29C772","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68348d793c32038ea526d66d42ab35dbcd9b80ac","datavalue":{"value":{"time":"+1995-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892892$B4221986-3FB3-4957-B052-79C722B73BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$309B71D1-225E-4C9D-AAEB-19AD2B1D2AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$1C015228-9985-4D29-8FD3-86FDAC4A5407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$DDDE5963-B326-47BA-B386-7300140D4EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb0d90eb7057d7b6782254934bcbd77d4601720","datavalue":{"value":"767838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$B2475ACE-D520-4006-B6B9-2A7C585F729A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9faadcd25ba6bfcb6574f70813d64f7651f95350","datavalue":{"value":"branching bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892892$DAF36FA9-4E5F-4203-8367-344E2EE710C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8029599c1cdbb0b73b25811076def6114b4df0c4","datavalue":{"value":"normed context-free processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892892$093D0FE4-7C27-4FD3-948C-2C7E26497171","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":"Q1892892$F2A88DBF-4B76-4C31-AF73-BEDAE581A63C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"637c496317a7ab46b5aeb3faa20ef5cc125c3dac","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1069","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892892$A894615D-0D06-434B-855B-DB95EB1C38E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d74a01295a1a44d729e0cee7e925ad7e8967468e","datavalue":{"value":"W2057288336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$886E4B88-D215-4415-B7E9-D23C24AE3571","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb16522db249e6034d6ef45d006bcc7aa88af795","datavalue":{"value":"10.1006/INCO.1995.1069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892892$2C567F7C-7924-4324-95F6-E7D3334BC09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e2ed08dd69d9a96fc007cde5e90b506cca45e2","datavalue":{"value":{"amount":"+0.928561806678772","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":"Q1892892$183D32C0-725B-4AE1-87B5-1308883B825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a33d730e58b3ea1389803b864df96f87ec5cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3090854,"id":"Q3090854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7c36219f1d8dd93702da780e7959bc7772321c","datavalue":{"value":{"amount":"+0.8922045230865479","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":"Q1892892$C0D30816-3AEC-4171-9EE8-BE005B0B0D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab90e9a0e11381c75bb7258c2e6ca7d4b003682","datavalue":{"value":{"entity-type":"item","numeric-id":2254493,"id":"Q2254493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ad2578a6cbce4f27071d34695609c8d771a6ce","datavalue":{"value":{"amount":"+0.8865296244621277","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":"Q1892892$EDAFFDFD-8EE4-4EA8-AA0E-C349C9A3B058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8846abf14a40e28aa43e63051c89da0a454e9775","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47348e7f8cba397d7ae5daecf1e85ac1e633a40","datavalue":{"value":{"amount":"+0.8837981224060059","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":"Q1892892$E7DFFB90-560D-4684-8763-CC95AC05A1C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding branching bisimilarity of normed context-free processes ls in \\(\\sum 2^ p\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_branching_bisimilarity_of_normed_context-free_processes_ls_in_%5C(%5Csum_2%5E_p%5C)"}}}}}