{"entities":{"Q5327437":{"pageid":7357011,"ns":120,"title":"Item:Q5327437","lastrevid":51794426,"modified":"2026-01-20T02:00:38Z","type":"item","id":"Q5327437","labels":{"en":{"language":"en","value":"Checking equality and regularity for normed BPA with silent moves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196335"}},"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":"Q5327437$F88A6FC9-2776-46B3-9D12-126830BAA11F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b9519826ad87f96816c6a8e079a4886f6f4b959","datavalue":{"value":{"text":"Checking Equality and Regularity for Normed BPA with Silent Moves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327437$06B046D8-5FDB-4492-ABA3-F7DD321711FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f95634f0261d4fe8b738b2c65e10832208e79f2","datavalue":{"value":"1335.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327437$111EB9B5-978D-4A64-8CE2-E46391407016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a21d2930290cd5c98a505e9d15e06b9bbce2719","datavalue":{"value":"10.1007/978-3-642-39212-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327437$600B1EAD-2B40-496A-829C-0B39D688AEA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327437$A776FB5B-8A65-485D-B5B1-A935FF4043D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327437$BE5E48CE-9D4D-4C07-B73B-76C046F33BB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-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":"Q5327437$EEAA8381-A6EE-43E0-8840-342FB5F7867E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327437$7F83FB18-4C48-48CF-9311-9F67BE0696CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e099aa3366be53769bef14a78bad47c83685102a","datavalue":{"value":"6196335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327437$9D42C7B3-6318-4353-9807-701F2397AF8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f34fdafe40c66edfe5abd6784afdc2bfe321d3","datavalue":{"value":"branching bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327437$5D09DF39-704E-4AE4-B63A-571F3E3A5027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a797f12ec2d611e4095c46253086b1b4ac2a19e","datavalue":{"value":"basic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327437$D959EB99-8355-4B69-836D-EA8C8988B992","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":"Q5327437$E30C0F14-F3D2-4F80-8667-576DD26736BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d6d2a40183af8c211aa91e7d49700b6137adda0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39212-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327437$1B57D82A-5AFA-4554-81D0-318D9A094CB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2c7c4b34a1c455891de7b44717ca535321dc945","datavalue":{"value":"W2131035551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327437$505212EE-23E5-40D3-886D-54907EB6B964","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc60f151a224169864ed47742fd3872db1d446aa","datavalue":{"value":{"entity-type":"item","numeric-id":5415622,"id":"Q5415622"},"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":"Q5327437$7DE7FCE8-C9E3-4F37-947C-F3BAAA6D5B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6784552641606d76c2f7a22b15e88e20a8230f40","datavalue":{"value":{"entity-type":"item","numeric-id":294692,"id":"Q294692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065b9bd4a80ba0198cf3884b2137a40fa9971b93","datavalue":{"value":{"amount":"+0.8374937772750854","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":"Q5327437$F3ED3BA0-3891-4E29-ACD5-9B414FDF6B5C","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":"23b85dda06516b589fc7a50d6d605b7079ef49a7","datavalue":{"value":{"amount":"+0.8296889662742615","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":"Q5327437$1104BAEE-6CCB-4EC2-92D1-9E7C1594E5F4","rank":"normal"},{"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":"e4c88fe2ed0daffccb65402d6fcadb765e3ba9ea","datavalue":{"value":{"amount":"+0.8240420818328857","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":"Q5327437$DAA54DB1-1FE3-4CFE-92EB-AFEFD94D9F8D","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":"e4c88fe2ed0daffccb65402d6fcadb765e3ba9ea","datavalue":{"value":{"amount":"+0.8240420818328857","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":"Q5327437$5F1CB1B9-5B58-4D37-AEC1-32ECA9344B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327437"}}}}}