{"entities":{"Q1198053":{"pageid":1208802,"ns":120,"title":"Item:Q1198053","lastrevid":66847245,"modified":"2026-04-12T13:15:25Z","type":"item","id":"Q1198053","labels":{"en":{"language":"en","value":"A short proof of the decidability of bisimulation for normed BPA- processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92112"}},"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":"Q1198053$452E3165-D506-4816-BA1F-590006540503","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22e8641972583044fb3363072951437ab7fe1a8f","datavalue":{"value":{"text":"A short proof of the decidability of bisimulation for normed BPA- processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198053$3A48E618-CCE5-4060-80E7-B33277B9A375","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aea997abd77472b6b8ba5da8c44cb3dccaaf2f9","datavalue":{"value":"0779.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198053$A574ABC2-839C-4DF7-B2A0-1C7DC709FB43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"551d883c76b69791bdd5c8a9a50375d9595f9ef3","datavalue":{"value":"10.1016/0020-0190(92)90142-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198053$A0E51625-CCE4-4C9A-80B7-C8AC5CC50927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198053$3A3B640A-DC4A-4FBB-B564-5563D53B9A0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198053$28333586-2694-4F7B-A12E-7070A7AD0038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198053$50C8587E-32A5-4FE9-9AEB-363317CEF552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198053$884D861A-AA86-4F36-934B-BD7364EC523C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcae58a1f7fb0d52e9dfd0d668a75a7094642a5a","datavalue":{"value":"92112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198053$D5123498-E37D-4236-B489-5EE88F83CE5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198053$B41C7CF3-8CA8-4AF4-B968-051F7814F7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2b5eef7ee163b7fbf5014a7e019d016e6b2a9b","datavalue":{"value":"basic progress algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198053$3EC27C81-CF1F-4E48-8156-9FC7BB07DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a2b4ac73f4eab538c66c02ca140adc7c58d107","datavalue":{"value":"context-free processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198053$22E3FE8B-E90B-4F39-B053-C34E8E06E9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198053$B731119A-E3C0-4805-A47C-0E2D06B01B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"277aacba7e88feb2fcfd33f5831fef1f174a78e8","datavalue":{"value":"decidability of bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198053$60633B85-B93C-4DB0-9B28-CE5D0AA1EBFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198053$7248E408-1BB6-4AA7-8F68-804AE94D2562","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":"Q1198053$FFBAFBAA-724F-42B4-9EE4-A0A9DDE95C01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198053$D1E54F40-5DCC-43D9-9EFC-EAA5B9928B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198053$9B2CCF7F-357C-4495-A387-6520EF65946C","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":"Q1198053$B63FF518-F9BA-43C4-809E-DD60C930EC54","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":"Q1198053$7B911233-2BF6-4C38-8511-8F25BE2540E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198053$CED426BE-086F-48ED-9B97-3B03B19330BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af541ce7ad9eaa7c2f63b475f11425abf93b47c","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90142-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198053$EF7A5C43-9E1A-4445-9E19-7F53F4C199E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fde81cae46eb120bfa31372d28f83dab0663ba30","datavalue":{"value":"W2008587618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198053$1166F8D2-675A-4B5B-9CFC-A147E1D3FA6E","rank":"normal"}],"P1643":[{"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":"ae4c30dc64b2ea165f1c1de97c2ddbd342c65cab","datavalue":{"value":{"amount":"+0.856460690498352","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":"Q1198053$7993D4A0-A68D-4DA6-8E3E-732617105956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5128cadcbb2982cf1f739237a4aa20f3797bcc36","datavalue":{"value":{"amount":"+0.8450632691383362","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":"Q1198053$758C824B-EA77-4F98-A29B-42C10830BE85","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":"5128cadcbb2982cf1f739237a4aa20f3797bcc36","datavalue":{"value":{"amount":"+0.8450632691383362","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":"Q1198053$E62AB2A0-FEF4-4780-9633-DEEC712F8726","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":"93afce222b14f3689a3001516cb00971f65f184b","datavalue":{"value":{"amount":"+0.8347112536430359","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":"Q1198053$9018FDFD-3861-4278-9B6B-DE7F67D8B029","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":"93afce222b14f3689a3001516cb00971f65f184b","datavalue":{"value":{"amount":"+0.8347112536430359","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":"Q1198053$B2BA456F-23C8-43E3-8E1C-1F5544199358","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short proof of the decidability of bisimulation for normed BPA- processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_short_proof_of_the_decidability_of_bisimulation_for_normed_BPA-_processes"}}}}}