{"entities":{"Q5415622":{"pageid":7445196,"ns":120,"title":"Item:Q5415622","lastrevid":92373158,"modified":"2026-06-05T01:33:45Z","type":"item","id":"Q5415622","labels":{"en":{"language":"en","value":"Decidability of weak bisimilarity for a subset of BPA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294822"}},"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":"Q5415622$52D4686B-0D31-41F8-B935-83990B3C3C31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b92efeb3c64503ff9d778888f341c4396e1c3992","datavalue":{"value":{"text":"Decidability of Weak Bisimilarity for a Subset of BPA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415622$F42F652B-E85E-429A-9C74-B2084898B6E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06bdeba944d9707f747cf703a5734b7d7e8dc787","datavalue":{"value":"1286.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415622$07049D7A-1F3E-4798-A3D0-4DF985AE8219","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$DA49D857-8F88-44D7-BD28-93F854438577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415622$D792E23E-A165-40E3-81AB-7B1E67AA5963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415622$D0376F76-FCB4-4EDE-817C-C57728277E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a1339889373913eaf8322a6c8cd5dac3937313","datavalue":{"value":"6294822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415622$9DEF546D-31D9-462C-81EB-56CA7EB80B9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdbfa7a26ac6ed9178d3d76f2f5d655fb3d1ae7","datavalue":{"value":"BPA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415622$82CBB51C-D05D-4006-A7B7-1417DA8CCAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de9188e41fe6e1f8081f320e91577ab6f020d0b0","datavalue":{"value":"normed","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415622$9F46559B-EA3A-4DD0-BD8C-DAEDE8F92D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415622$A5EA0F3A-E670-4888-809C-D89FDB42BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e39485aee225ec4a293d088b1dfc560fb50c51","datavalue":{"value":"decidabilty","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415622$F8AD9D59-63F2-4060-87F5-0E8205ADE364","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8bc754f1cda7b78e40b3462972752468e74cef1","datavalue":{"value":{"entity-type":"item","numeric-id":1031999,"id":"Q1031999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$362CA2DC-FF4B-4A54-88F1-50BF26A681B9","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":"Q5415622$B67B1FAD-4D7E-485E-8C66-D104164ECE2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d35dc1f7b2bbedc422929376a232e4d474c728e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415622$0F0FC68F-0CDB-42A4-A564-7FFB9BB6F620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35bafddf836414c798b798a75493556da6c3d2b6","datavalue":{"value":"W1993247717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415622$0F902D90-BDB9-457A-88B9-CDCA03A40A4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$5C7772D0-9F5B-4E7D-9B4B-A30088AE1CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$D52A52C9-BFFA-4AC9-A638-25EEB1BA5D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53a51872f069526f7c4f160c0c189b214a3414c","datavalue":{"value":{"entity-type":"item","numeric-id":4790409,"id":"Q4790409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$6539DA3C-A6FF-432E-99FB-C67EE795F70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$F68725DA-EEB1-4B00-997A-25DDF2B8FB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$4B3BFB71-E270-4946-9726-F405984A1F59","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":"Q5415622$805FC772-4F4C-4012-825F-EE88D07FC859","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":"Q5415622$4BF4BDC7-F50C-4895-BB34-0BFD3132F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$A18B4F96-6608-4CDE-A46C-E1841D17BB21","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":"Q5415622$EEBAF858-7274-455B-9F3D-5DE0C1E887CC","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":"Q5415622$F0863AE8-CB16-4AB2-874E-BE730C68F22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430461b6883a7663fba1e8d32bfc88fe9b4e4d49","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$6C0E83E3-208C-4EA8-90B9-84DF295DA204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52595b6d2abe0a6fb4bdd811c70b5b3cde0bbd34","datavalue":{"value":{"entity-type":"item","numeric-id":2847410,"id":"Q2847410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$A681E463-94B8-4A3C-8636-6E8D23D9D6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$4C59AB0A-EF19-46BC-A8D7-5BC79D81CC71","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":"Q5415622$93B0AB98-6B40-456C-A8F0-43720D7703C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fbe136692e1d2e9e818455ffb500206fc3e69f","datavalue":{"value":{"entity-type":"item","numeric-id":4733426,"id":"Q4733426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$650DDF5E-F62C-4344-8980-EC87DBBB9E30","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":"Q5415622$99C4CC9A-A706-4FED-87F7-068487E9434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$354CE578-3096-4C2F-9308-CDE860E3D332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a54bacda2d9f2b500cddca31513983069c70d4","datavalue":{"value":{"entity-type":"item","numeric-id":4270070,"id":"Q4270070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$CFFA3DB9-4C77-41CE-AA2F-527265FE20D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2bfcd0571c34a2c9a0b90939e40b9f7349d65","datavalue":{"value":{"entity-type":"item","numeric-id":1198053,"id":"Q1198053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$4D8C06A2-40DF-45AF-97EF-F28C18020920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f2f3287edaae3038e2df686f70d537cc2d531c","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$BAC34EF7-A9C4-431A-9AFB-81B229E20CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f77e0c45deccec8f9b418a8144513ba6d95b3","datavalue":{"value":{"entity-type":"item","numeric-id":3525095,"id":"Q3525095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415622$AB48F329-0B06-4105-B1DB-6FAC00E29F5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"212a7adc94f7986087bd60a5a59b572cc0b1ae48","datavalue":{"value":"10.1016/J.ENTCS.2008.04.065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415622$8EC9928A-ED69-4E2E-9204-BB8D9E6BBB4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab54850448f4d4aea413cf1328367a3cd1b51f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37ae24f9fd76d5717f682b2734af2f86081e2ff","datavalue":{"value":{"amount":"+0.8791780471801758","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":"Q5415622$C82C8694-6B2C-4ADE-A1A8-985236D53BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37ae24f9fd76d5717f682b2734af2f86081e2ff","datavalue":{"value":{"amount":"+0.8791780471801758","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":"Q5415622$6D7EBB00-0E13-41C8-B779-F3157C80FCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f547042c3d9ee9223587817387613d59cc1806d","datavalue":{"value":{"entity-type":"item","numeric-id":3502645,"id":"Q3502645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a0f3cf686ef214fffa7313041f9dcc81b8a9b2","datavalue":{"value":{"amount":"+0.861325204372406","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":"Q5415622$02EAA50E-3E21-4CBC-B971-4B8E568369CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d36e6faeabf1e50054a229bddca9acc23123af","datavalue":{"value":{"entity-type":"item","numeric-id":3525095,"id":"Q3525095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a832309d11dac5129ea7fcb23639c6a23339601","datavalue":{"value":{"amount":"+0.8573271036148071","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":"Q5415622$ECB6F7D8-1FCA-483F-91A4-B3012507316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e23ddeaed844f30b3f53acd87a45d8635e523f","datavalue":{"value":{"entity-type":"item","numeric-id":5327437,"id":"Q5327437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca73d33e75eb23bc677df921fda361294ad6197e","datavalue":{"value":{"amount":"+0.841269850730896","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":"Q5415622$5B4CE76A-3D72-4472-9AB5-3B96EFE4E24B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of weak bisimilarity for a subset of BPA","badges":[]}}}}}