{"entities":{"Q1763731":{"pageid":1774473,"ns":120,"title":"Item:Q1763731","lastrevid":74149509,"modified":"2026-04-14T18:36:31Z","type":"item","id":"Q1763731","labels":{"en":{"language":"en","value":"Weak bisimilarity and regularity of context-free processes is EXPTIME-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136588"}},"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":"Q1763731$259F66CE-A2BB-45D4-9077-FCBB68A37133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc0db076034a9d67f1293f906ec2958db920246e","datavalue":{"value":{"text":"Weak bisimilarity and regularity of context-free processes is EXPTIME-hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763731$D27B7816-A60D-4124-B073-8399CE536E98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0a95cbca513fd1d23a4d1986bbccfde5e24bf45","datavalue":{"value":"1078.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763731$59A9CAF4-25DB-4D1E-BE1A-B17908F57B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$F8FAA81B-A924-498B-A6F3-9BCB0CAE68A9","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":"Q1763731$30052FD7-A984-413C-96E2-5FDFC4DA99E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763731$61CD94CC-9292-471C-B0C9-E13ECE4DF554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763731$B9C522C7-47E8-4C27-A364-A3E72205724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763731$CBA74BD1-FD64-405D-ABBF-6C3AA1344C11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9984edd0320958bbd48528540f308a7ab936d980","datavalue":{"value":"2136588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763731$4DBC299F-7826-4182-A5B4-68217DF859E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbef6f32527112a2e6d0a5e8b8538cbe4534f574","datavalue":{"value":"Context-free processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763731$2935F360-8765-49F3-9217-F96236DD88A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdbfa7a26ac6ed9178d3d76f2f5d655fb3d1ae7","datavalue":{"value":"BPA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763731$8A3B1E7F-2B4E-43DB-93BB-F527770DE854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8a4beba4c517c84267c35c5746c9d5eafea35e","datavalue":{"value":"Pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763731$172CFF3F-E564-4A19-8D99-6985EA6C001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763731$632F8C10-46CE-4D7E-B5DD-198663A9E2EE","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":"Q1763731$FA439A89-1C28-4669-9ADB-83C798DF2CC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f5ff941659058b5a93cf6f50b9433d79b81ab21","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763731$7264788F-F5A7-404C-A733-80C83D0091F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"890b3275705c3e14a9d9ada5f694072f78a4477b","datavalue":{"value":"W2063293762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763731$96F35466-9DA4-4FFF-8BA1-862E43B11CDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$7FA8261C-1FD1-4B02-BE0E-BA06BF2A275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$8B0E136C-5A7E-48CB-B0E1-2012AA931539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6711abcc32734b5fa9098c7551fe71202907c48","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$63D058EE-891F-4E8E-904B-7BE7D7380426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$9093CDB8-9CED-4E95-B0BF-F79133592A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839106cc0df8f163c5ff9c22a74ac51bd98acd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4222868,"id":"Q4222868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$66B98284-42BB-4BD9-BBC4-E3B6FB4DFD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$AECF0F2F-A99E-4A34-84BC-45A22EF330DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca41435a84244fe0399069b765ff29bb08d6b267","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$6E113822-1078-4213-BC2E-ED9D1F2E3E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f745d34ab5f493aabd95a0423dc61f8f1c7590be","datavalue":{"value":{"entity-type":"item","numeric-id":4708592,"id":"Q4708592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$06BEF3AD-C017-43B8-8B7F-A7A7711647C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2e23606d46041b93706bc73dea3befed08979a","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$12DA0E03-ECB2-441E-B3CE-6E55F53F5D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$22451356-74A4-42FC-AB39-E307E46C2A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896f434c8f5a0467f2a8453c01e080e58b0f094e","datavalue":{"value":{"entity-type":"item","numeric-id":4449204,"id":"Q4449204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$4C512696-CA44-4AA8-B01C-EA99454D6BCB","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":"Q1763731$85E2FDD9-7401-42CC-B48B-147F141CFDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$4A1A81EE-67C9-4598-83D0-DCD2E960A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83492453df2977ed134a3b9b06622987a32b578f","datavalue":{"value":{"entity-type":"item","numeric-id":4917028,"id":"Q4917028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$0FF6DA39-DE72-4D4E-B499-A5361C06E533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa62c3f82e5bf5a1abd4a6feeb9060ee25fa826","datavalue":{"value":{"entity-type":"item","numeric-id":3395948,"id":"Q3395948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$E1250FD2-FFDA-401D-A56D-2331D401939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95789b1ded4f64bc044fa53a65a44241082d655d","datavalue":{"value":{"entity-type":"item","numeric-id":4736869,"id":"Q4736869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$47313FF5-5ECC-4490-900B-EFBCA431E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6d9ef325bb273c0214a26397926e81a4d08315","datavalue":{"value":{"entity-type":"item","numeric-id":4737202,"id":"Q4737202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$A255349F-03A8-43F2-9E5D-EFD0C07230C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e39959a7abeb899b837c7c5bfd26e80688f1c5","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$D2CA5D96-4A76-45E8-AF22-4F034CE81BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec3f4bab026d85e06534bce45fa9f3ad86c4092","datavalue":{"value":{"entity-type":"item","numeric-id":4412112,"id":"Q4412112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$3B9BC6B3-9AAD-4DD8-A97C-41C2F1E8B739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aa03382e6ad7454b01b97ce6d4242efdf5ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1276237,"id":"Q1276237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$F23530BC-6870-4401-A771-7C21C05EC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763731$57308092-81C8-4234-AF32-D49FD338F660","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a8d0747c0f18cc2ac8268ddf11869b51a52c0b3","datavalue":{"value":"10.1016/J.TCS.2004.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763731$FA745F2B-1683-411C-9117-9D14D25CB6AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0cb18896b67314ca15300f7a4e3ec1a837784d","datavalue":{"value":{"entity-type":"item","numeric-id":2847410,"id":"Q2847410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf606727cae4cf60bc315b21b6298c4b298bdb1","datavalue":{"value":{"amount":"+0.9999998211860656","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":"Q1763731$AB62769F-55F8-4559-985A-C50A5CFD87C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ec869d240822df374e71a4bcc4d50412314f050","datavalue":{"value":{"entity-type":"item","numeric-id":4917028,"id":"Q4917028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6741d3b9a8b81fee9b1f4f3a39ba3ab5d4eba781","datavalue":{"value":{"amount":"+0.8371686339378357","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":"Q1763731$CB34A4E4-996B-4C74-90FE-51160CA62682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310777e9004c5484d50f92e5ea54470091bc94ba","datavalue":{"value":{"entity-type":"item","numeric-id":4737202,"id":"Q4737202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7e53c359853ceddab8aef312ceb5c0cc2367fe","datavalue":{"value":{"amount":"+0.8349998593330383","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":"Q1763731$43A9F88E-6644-4510-AD58-1A3F993B92DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9211933f35d3017118cab23f04d1ce18e87ee9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4461214,"id":"Q4461214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a94f99d003860cceae10eb1aa91e16c4330037","datavalue":{"value":{"amount":"+0.833754301071167","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":"Q1763731$E88ED2E5-C82A-403A-A06E-ADCFACD634F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b62a7922dba2e145ed0090460de23ea0be24748","datavalue":{"value":{"entity-type":"item","numeric-id":4736869,"id":"Q4736869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96817758d7b982092b5de19daf6df3da58e96fc4","datavalue":{"value":{"amount":"+0.8304502964019775","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":"Q1763731$5BA06106-3052-4CF7-B10C-6D3F61B16A70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak bisimilarity and regularity of context-free processes is EXPTIME-hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_bisimilarity_and_regularity_of_context-free_processes_is_EXPTIME-hard"}}}}}