{"entities":{"Q835053":{"pageid":836901,"ns":120,"title":"Item:Q835053","lastrevid":64695267,"modified":"2026-04-11T21:36:56Z","type":"item","id":"Q835053","labels":{"en":{"language":"en","value":"The decidability border of hereditary history preserving bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5599220"}},"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":"Q835053$3A7A7105-C9B1-4886-BC21-599FF86479F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc690d36ce85585a8675e3b7812b2d1a406c3600","datavalue":{"value":{"text":"The decidability border of hereditary history preserving bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835053$D2DE8236-C515-4996-959B-60EF22EA6103","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60301fa520a61b23b74314fbd675005c0a79087e","datavalue":{"value":"1173.68538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835053$4345CDBF-C304-42D8-8CA9-80354DFCE711","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":"Q835053$FBF3F0E5-1571-4BC2-B42D-186FD70ED4FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53d537450d777afe86620348ba62a2bca3ff92d2","datavalue":{"value":{"time":"+2009-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835053$6E991996-6CB9-4B79-B215-C6790FEC2C41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835053$65EBFC6A-4A47-4443-9ED1-D06F012D6580","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"311140180762982fddb37ede26e01f4f817a6fb0","datavalue":{"value":"5599220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835053$FE80567C-AE27-416C-858F-A58AF4A56B21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q835053$368E5261-F7F5-4395-B56E-A1A5452C6651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60321202e3aa71a3e09beef470ffc75428b6c441","datavalue":{"value":"true-concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q835053$9FBBBBF3-CB61-41C0-B3F0-206B91898560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c71491e5ec4134e84f50c35e083dfc45078b5ca","datavalue":{"value":"bisimulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q835053$B7103DB4-9B7F-479D-8BB7-FC8495E9E7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c50f36b122768fd7af5c283b3e7463f4c5fda0","datavalue":{"value":"infinite-space verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q835053$4A2FC5A8-FCA0-4E55-87CC-7F85ED677592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e6124c50a3014292588470f89d4808872cd469","datavalue":{"value":{"entity-type":"item","numeric-id":532391,"id":"Q532391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$F77D8F11-9898-4E0C-AA5A-FE2BBA57C042","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":"Q835053$8B730FA9-2018-4D8A-9555-D6D22C67129A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30d48ee58453ffea6d5fb7b016108a3b928d8482","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.11.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q835053$16115C57-FF37-4353-9CF3-4539C495795C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65625969590284d205075336f6dabb6c34f56ba1","datavalue":{"value":"W2084295474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835053$4E6C2563-CF47-494F-9358-6E982DB5D5D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c0979a4158ead2db6d7ef533943babc386c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4490357,"id":"Q4490357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$BAC5FCDB-183E-406D-8EF3-CBB4E9476C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2ca41c0890f3c8b11c23c81c514b4bccce6740","datavalue":{"value":{"entity-type":"item","numeric-id":4499199,"id":"Q4499199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$9E3AF61D-B6EE-447D-972B-D7BA50E5BA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1000ea3c7437af88e8dc77a6449b31406f60ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$1DE76B2C-4C3E-4326-8644-7658936B300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$FB1B4D64-E6CA-4A06-82F0-BAA7BA3E7F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2c20b98ada43d32a6fdc77cb2921451b703cad","datavalue":{"value":{"entity-type":"item","numeric-id":4501547,"id":"Q4501547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$8969658D-2CA4-4283-ACD2-180C04E48115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a89304773bc457e5fef3c469cc695eb89fc11d","datavalue":{"value":{"entity-type":"item","numeric-id":1401953,"id":"Q1401953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$CA7A186F-0301-4664-A99E-BE00C18E5B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3edfe4d12755d0aa49f3bf8d40511755d4a2c0","datavalue":{"value":{"entity-type":"item","numeric-id":5431340,"id":"Q5431340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$847EBE71-6A67-4E33-B59C-587EFFAAAD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671e6a4543c33ca1cc8d98e28a403c63d4b63431","datavalue":{"value":{"entity-type":"item","numeric-id":4251912,"id":"Q4251912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$60B4B633-6FA7-4204-B8A4-2C3832AA3AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f0e8dc5a795a6393207f78d81382c996b98cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4415263,"id":"Q4415263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$7315EC4F-7B2C-4E66-821F-1B635223540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3eb892649e381348859e24a44cfd45b9cfc886","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$4C52F01C-D615-4DB4-A0C9-0E422285B8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09394286f47939c3b7fb510865445a2c470df992","datavalue":{"value":{"entity-type":"item","numeric-id":4791269,"id":"Q4791269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$3758F686-A574-4632-A441-989CD9F28395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8537f6a57826b3db1ef7a461ab0575417933ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":4036588,"id":"Q4036588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835053$327969EC-F5CF-4C88-9FAF-386F82745067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8987bf1858418a0b64a9d0be06436cf57d6fa61f","datavalue":{"value":"10.1016/J.IPL.2004.11.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835053$8225293B-2A46-49B0-BA57-A21F05A38B57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decidability border of hereditary history preserving bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decidability_border_of_hereditary_history_preserving_bisimilarity"}}}}}