{"entities":{"Q1959482":{"pageid":1970224,"ns":120,"title":"Item:Q1959482","lastrevid":72020796,"modified":"2026-04-14T02:08:22Z","type":"item","id":"Q1959482","labels":{"en":{"language":"en","value":"Complexity of deciding bisimilarity between normed BPA and normed BPP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5796781"}},"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":"Q1959482$80CA9F4C-4868-4A9A-AF64-53CA45106B0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e688293255692d395edf76c83efb44edbc83d9ca","datavalue":{"value":{"text":"Complexity of deciding bisimilarity between normed BPA and normed BPP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1959482$D600C31A-CE70-4EC3-BC92-B2577A90CE7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c455feaed5822b49725b336a8ad07cbd1c06ef9f","datavalue":{"value":"1209.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959482$649A2BE9-6D1B-4119-A7DB-A84A8D234025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$EA05FAAC-9976-48DD-9532-2F79CC1B8321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f51c10682ff6e99c54420fca8007c3fa5c26943","datavalue":{"value":{"entity-type":"item","numeric-id":1959481,"id":"Q1959481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$922C73A2-CCCB-4909-A7A4-8C5461F2EAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03ac5bba01b795f28026ca20b8186f691ef6095","datavalue":{"value":{"entity-type":"item","numeric-id":1015389,"id":"Q1015389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$C684AAF2-A522-4928-B1B9-C4351C13A986","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":"Q1959482$F5F252B2-C7EA-4DB9-949E-FB67AF1C8036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd011827033d53f67ff93e5fac32ebe2bf4df3d","datavalue":{"value":{"time":"+2010-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1959482$3DF841DB-FDFD-445C-8146-183ACC71FE61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959482$C0147E29-8D80-4697-A12A-820188214B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"528f58640a1fa262abcbb7ef75e7a8415caaf62c","datavalue":{"value":"5796781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959482$E73BBB2C-261F-41BA-878C-1B799BA02D07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959482$015C38DF-0483-45AC-95C1-29056DD72626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a797f12ec2d611e4095c46253086b1b4ac2a19e","datavalue":{"value":"basic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959482$DB38DB53-ABCF-4853-844D-CBEBAF6127CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a76afa3f9278439ca52ef5c2e29fb4a00797c","datavalue":{"value":"basic parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959482$CAA99564-04A9-4269-85F5-0B0871977EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959482$CF1B9A4F-C6C8-49B7-8508-6553690C93E6","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":"Q1959482$94780C49-6FA9-4F3F-8983-680D82C48EC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563de2e22529cbe1bd1533b06cb30234848e5075","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.10.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1959482$820417B3-B979-4150-B9DD-5262EE6AAC29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebc471d461992101d6b9d1915df2cfd398a4cd5f","datavalue":{"value":"W2134172292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959482$0A24367E-11AF-4F03-ACB2-0E40E6583C56","rank":"normal"}],"P223":[{"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":"Q1959482$0E179DA0-24DD-4C5A-BD7B-1181606FAB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024a9473052e6077ed02788c664c7db7649f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$C31C2406-1F8B-41AC-B7AB-538F5DCE87A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d78877640b9cd2dced52f0c8a2bf6bfceb5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4938637,"id":"Q4938637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$40DC9746-051E-47D5-A776-EAE87D3B62E3","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":"Q1959482$1DBCDA41-D76D-4A4C-8357-98733F6481F8","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":"Q1959482$13D7DCF6-6C19-4177-8133-9AFCEE81DFCE","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":"Q1959482$5D4626C6-E4B4-445D-AFEC-23AF25785748","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":"Q1959482$80417A35-E1DB-4262-9F83-213D983AF91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4421edf6721b575327241757c899ea9aaf95327","datavalue":{"value":{"entity-type":"item","numeric-id":5756723,"id":"Q5756723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$C3FE8EAC-3A65-4F5C-BFB6-ABA6CB0393C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$4C732DCA-9C52-46D1-B73C-6967BD363387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5d55f1f9a169acb115e2fa3ba231f124954adb","datavalue":{"value":{"entity-type":"item","numeric-id":1306565,"id":"Q1306565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$1BDBD57F-C8B7-41D2-8F07-442313EFFB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898d30e4d7fc20c5bf9cfdc0d331c5e6621e8583","datavalue":{"value":{"entity-type":"item","numeric-id":5900564,"id":"Q5900564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$D782D69A-3474-4DBF-B065-D94241A935FF","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":"Q1959482$B5C57D3F-0F7C-4A21-B3FC-535C8BEF5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69eefb1154fac65c805adaf4f176dff9eff04004","datavalue":{"value":{"entity-type":"item","numeric-id":4673421,"id":"Q4673421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$A0933F88-30A9-4D72-A6BC-13C7B2BE8444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959482$54BEB5F5-AB8D-4E8F-B238-38807F179B56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee13f7045e1413684fc0ed4261feeed193662700","datavalue":{"value":"10.1016/J.IC.2009.10.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959482$37FDB1A3-A7EC-4A7A-9132-50866A628E83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a69ecbcf836548863b623cfd4b9238e80a71836","datavalue":{"value":{"entity-type":"item","numeric-id":3541036,"id":"Q3541036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d7956af4686b2778399529cb9ed3ddf5b341c2","datavalue":{"value":{"amount":"+0.9489381313323976","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":"Q1959482$66FB0D35-CA15-4392-AE90-D178479B2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82408f3441d796ed2cd7637698c16002dafde811","datavalue":{"value":{"entity-type":"item","numeric-id":4222869,"id":"Q4222869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a7957cc90542d9a52c80706f4a45edfd01c84c","datavalue":{"value":{"amount":"+0.8992359042167664","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":"Q1959482$C5FCE80D-5F39-42C7-A6BE-BB253A14AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1396d1e0e17f6387e96f18e799337976c630069c","datavalue":{"value":{"entity-type":"item","numeric-id":4635801,"id":"Q4635801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c41e3fa798e72b3d897c43c1da7dabcde5c2597","datavalue":{"value":{"amount":"+0.8780750036239624","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":"Q1959482$64855596-E071-4CCE-95EC-791029504CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b325a17197ec960827302dfc774c51c19bfedb3","datavalue":{"value":{"entity-type":"item","numeric-id":1306565,"id":"Q1306565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81f02686691bd06db2b25117617df085fd2ca6a","datavalue":{"value":{"amount":"+0.8747678399085999","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":"Q1959482$4F48AF57-C523-4899-A7B2-D3260ABCF07D","rank":"normal"},{"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":"b81f02686691bd06db2b25117617df085fd2ca6a","datavalue":{"value":{"amount":"+0.8747678399085999","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":"Q1959482$87231F3B-2A6F-4EFA-BD84-3105B5DE49B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of deciding bisimilarity between normed BPA and normed BPP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_deciding_bisimilarity_between_normed_BPA_and_normed_BPP"}}}}}