{"entities":{"Q4913773":{"pageid":6943352,"ns":120,"title":"Item:Q4913773","lastrevid":58354986,"modified":"2026-04-04T20:52:25Z","type":"item","id":"Q4913773","labels":{"en":{"language":"en","value":"Bisimilarity on basic process algebra is in 2-ExpTime (an explicit proof)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152240"}},"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":"Q4913773$292C094A-FB5F-4939-81B5-125762808138","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd2a053395f4b5372dca4fc6f0dabe1bc7825ca","datavalue":{"value":{"text":"Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913773$AFF5F39A-C28A-4CF0-B043-2EE45A5F480A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f2491b1563cb1161e5030e786e7f0dbed34a052","datavalue":{"value":"1260.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913773$1DAE6A69-106D-4736-9D6A-146F8C563346","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6caf039361c327459f086ef0dea3299a0cadcde","datavalue":{"value":"10.2168/LMCS-9(1:10)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913773$4DEAB85D-56F7-4DD1-910D-E738F4CC5D9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913773$4106B282-30CF-4CC1-90BB-FD37611EEE65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-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":"Q4913773$B8583C45-5393-40FE-8CF9-5BA236D2BB08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32fe8d6183da039b129a51eee660700ed4987563","datavalue":{"value":"https://arxiv.org/abs/1207.2479","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913773$64D3A4FE-01FB-4ECC-9608-5D0DEE2CF72D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913773$C5886D95-C9CF-4D28-84D3-03324DCC8BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913773$B6A15A42-93ED-4613-A5A0-EDE4EBF9CEDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fee6521079b7e5b5199015e5af9852332f137bf","datavalue":{"value":"6152240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913773$5E3BA2C8-47B1-4188-A79C-025BD425160A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913773$85AF92C1-CB2B-40B8-8922-A0981EF754D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a797f12ec2d611e4095c46253086b1b4ac2a19e","datavalue":{"value":"basic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913773$8AF9B5C4-627E-4DB3-AB6B-B370BEB47715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913773$E4605C54-5488-4321-803E-FBB56FDE01C1","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":"Q4913773$D92E5F8B-417A-40A2-99E6-988EC5CC5A9B","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":"Q4913773$3AFA304B-0F9D-4D84-B32C-1D2971569E91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b96930ff71a0ba1fc361a9d7bd76aaab6e7660c","datavalue":{"value":"W2002981190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913773$7FCBA7BC-8535-4994-9C99-B740A5CE3DBA","rank":"normal"}],"P1643":[{"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":"18f8107c1e679bd3462f59806a266d47fb74a6fd","datavalue":{"value":{"amount":"+0.8603260517120361","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":"Q4913773$58381835-0200-4B56-8857-8283B316E634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d200a2dac8e851aa1f1862c4e1f2194c864e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1959482,"id":"Q1959482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8789cd3d90af0c1796bcd7ea9962e9b95abf129","datavalue":{"value":{"amount":"+0.8410590291023254","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":"Q4913773$3D15C5AA-8594-4BC6-8B53-BA52C8D15216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1e0b19f6f7e4632825e2cdfda9d03fdbceb222","datavalue":{"value":{"entity-type":"item","numeric-id":5111633,"id":"Q5111633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec0e5397206d4a9a501804cfc0822403427ad46","datavalue":{"value":{"amount":"+0.8306260704994202","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":"Q4913773$1016F321-6C70-4CCB-BDCD-875F3F6B7D98","rank":"normal"},{"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":"907bb62510127d4c0aa36e3fd04e9eed2b3e0bef","datavalue":{"value":{"amount":"+0.8208486437797546","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":"Q4913773$930F7168-E3DD-4C2F-BD91-1D5574A6279E","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":"48cb34c83c20dd582bcaa6a782be1be0b7fec1d2","datavalue":{"value":{"amount":"+0.8191795945167542","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":"Q4913773$501B8F63-76CB-4090-A023-E185A99772A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913773"}}}}}