{"entities":{"Q1276237":{"pageid":1286987,"ns":120,"title":"Item:Q1276237","lastrevid":70050456,"modified":"2026-04-13T12:06:28Z","type":"item","id":"Q1276237","labels":{"en":{"language":"en","value":"Decidability of bisimulation equivalence for normed pushdown processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243204"}},"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":"Q1276237$06ABECF0-15E0-462B-8120-64DF9B9A3525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cec05c128fd79d41b556c434f40e4252ab11a2e8","datavalue":{"value":{"text":"Decidability of bisimulation equivalence for normed pushdown processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276237$08EB9C46-3F58-4EA4-8E3D-6C5AD9466737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8c6c7e0ec4c89b8b36852a1392ce4f97722c19","datavalue":{"value":"0915.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276237$7C1FDBEF-3364-4036-94B9-A1270FB94262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40430c7102f3aaacb95f21d5b1fc98a7a8137ae3","datavalue":{"value":"10.1016/S0304-3975(97)00216-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276237$E6620766-3028-403B-911C-4C4715CFB646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$1B245356-113B-4B35-9F58-49B6A82ACB34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$105765C1-9793-47F5-A4B0-2753F4A21BA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276237$B0FD7FF1-6B73-44FA-9191-727654929FE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276237$9696DAE8-2C00-4BD6-A2EB-6D609EF7C691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa5d4eec14b225422bb87454464118df9b415e64","datavalue":{"value":"1243204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276237$2E777BFC-52D6-4E70-993F-EF7894EA49C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276237$B74F4ED2-BCD2-4E5B-9EED-0ECFE449FBF2","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":"Q1276237$52E4284D-F3A5-4DE1-A448-5B84E0F3B2EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e055b0ab62d9c5cc4dfe103dcad4fe7ab3bc87","datavalue":{"value":{"entity-type":"item","numeric-id":758198,"id":"Q758198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$94017E80-6566-4CF3-98C4-8AF512946C25","rank":"normal"},{"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":"Q1276237$84A8E76F-3692-46E2-B63F-0AD9D7984A05","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":"Q1276237$235A6C19-EDCD-4C4B-95A7-115A0133026C","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":"Q1276237$05F7CF45-2B97-49DB-BCB7-8B1B964B49A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c16372a3ae90b6632bbe1af5ac9515a2c7f779","datavalue":{"value":{"entity-type":"item","numeric-id":6104377,"id":"Q6104377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$05847C29-FA3F-4F32-A707-0D401C73D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$80EA1814-88AE-42BB-B993-01EDFFB2C969","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":"Q1276237$8B08E0A7-2EBC-4306-8427-FB4232ECD8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$51B4FC88-56DB-4A7F-B412-306122919685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d3f485a32a8bcfe84649e1d19b25d8ab1be58b","datavalue":{"value":{"entity-type":"item","numeric-id":4818835,"id":"Q4818835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$3D57AE3D-5957-4016-8D8D-FE585908D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b1a50c5e6446a4595b4c668f78c20866c1b879","datavalue":{"value":{"entity-type":"item","numeric-id":4028125,"id":"Q4028125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$B63727FE-988D-4346-8E29-0167D6290209","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":"Q1276237$366A8AA6-DCB0-460C-8261-5556A33FED93","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":"Q1276237$33BAD665-B741-420B-8021-F23C38ECFCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$43AEFE01-7214-4F08-913E-0F2FEAA5C579","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":"Q1276237$CE71A332-403D-4554-93D9-D424093CF189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$C3CC86B3-1485-47A5-A9DB-F62663AF13E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$A81FA971-5E1F-4481-8463-CDEC0CD21A2E","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":"Q1276237$9898B073-DA6D-4443-8619-EEA65F19752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce511bd02960a809fd21ecf773460f1a6a507a7","datavalue":{"value":{"entity-type":"item","numeric-id":4942620,"id":"Q4942620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$D3440A31-EA6B-426F-931A-EA365AE0598B","rank":"normal"},{"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":"Q1276237$400DD370-4A11-4531-A340-F274D1A1F7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$F2F7BCB2-7573-4380-8E5B-18EEBA42B6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276237$094CE8C4-050A-45E6-B130-22114AC2C6F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fd65585e876288106b1d6ca411a81e27f4dbfe2","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00216-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1276237$1A620C44-309F-49CE-B7B2-796E927CF9B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"885860e5b2fe4fa13863bd2870b365b499a0dff0","datavalue":{"value":"W2118539487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276237$A6638B00-D867-4D06-B195-7A2C77332B86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of bisimulation equivalence for normed pushdown processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_bisimulation_equivalence_for_normed_pushdown_processes"}}}}}