{"entities":{"Q287256":{"pageid":289023,"ns":120,"title":"Item:Q287256","lastrevid":60718149,"modified":"2026-04-10T18:42:43Z","type":"item","id":"Q287256","labels":{"en":{"language":"en","value":"A characterization of finitary bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585496"}},"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":"Q287256$3CE2340E-C1D2-4F1B-82B4-BDFA75794D67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"218d69242500888f80fa4acfc1564cb5602128c8","datavalue":{"value":{"text":"A characterization of finitary bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287256$E4DBBE74-6E42-4640-AF52-5A76D7EC9648","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d3224f65f03184b1af9aeb032c7609c6fb4f5a","datavalue":{"value":"1337.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287256$C8C55762-AD01-42C3-B452-3A0A156D3344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30129690fc14daaec9fbbf4010e90e82930c5e7b","datavalue":{"value":"10.1016/S0020-0190(97)00163-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287256$DFA70E40-6F0B-4D63-BEA6-AE838091565B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$B3337F69-9F29-403E-802C-6C15BEBEF20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$BAC7C1AD-D8AC-4D23-B653-21CD9F1F6E3D","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":"Q287256$CAAD33AB-811D-4B53-AEE3-C356A7902F98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287256$7F5F8486-05A5-433C-AB77-1A1180454BB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287256$CBA1AB11-AF93-451A-9077-7C9D64E44F77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd15f6456cc14588ff46d62ab8ae33652f005604","datavalue":{"value":"6585496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287256$39F5C0A7-8A07-41BF-B156-9EA150F809D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q287256$FAD51A03-8ACD-4850-86E8-FE8237BA951D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"652ea5d4e11c7e2e4c9d9f677549d75fd497229b","datavalue":{"value":"labelled transition system with divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q287256$94EE6AF8-A525-4E20-BB9C-3209D59D524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08e6f09aea116eb7720c809bee41c1da38872e6","datavalue":{"value":"bisimulation preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q287256$034AE4D9-B2CA-4C20-A6DB-7B30A25CF5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792afc1ec54f7ed6748a844a75d2e329048d34a8","datavalue":{"value":"finitary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q287256$C26B6477-0C83-4205-A92D-8C5037D2B6E3","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":"Q287256$BFA3B4D8-E39D-4CBC-A0B3-B09EF0759322","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$767B2194-0B97-4AF6-8D0E-67B6F2E27711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$624205BC-5E80-419D-BF58-F0139417B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$BA8CDAF8-2C93-47B6-9D3B-3EF762713ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$BEC7E683-C1EE-4ACF-AE85-9208BFC4D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$55102512-85E4-4A08-ADDC-4DDFE0E4E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6effcc92f411143cb63ab680d3148dabab4f36","datavalue":{"value":{"entity-type":"item","numeric-id":3938462,"id":"Q3938462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$C233CA9C-8C2D-4F2B-9C0F-66EDF0DAF927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$75FC1BA6-1326-426D-B3EC-DB6514681ECC","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":"Q287256$733ECD4F-A2FA-4146-AF7A-B215E85FAF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$510F8A83-DB2F-4215-BA3B-C062AA49C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287256$96D650AA-0BCB-4A93-A217-BD7F4111F643","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d867a8074a7fb589f4db7c650fd7e0d28ef3980","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(97)00163-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q287256$75025056-3411-4542-ABE0-E8B20DCA3B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52c3f66a6b5ccb3df10582fcdca5d4174ada4f25","datavalue":{"value":"W2162013421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287256$CAFAA91D-E2A3-4D87-B9D3-A59D49757157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of finitary bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_finitary_bisimulation"}}}}}