{"entities":{"Q4635800":{"pageid":6665381,"ns":120,"title":"Item:Q4635800","lastrevid":58320621,"modified":"2026-04-04T17:20:38Z","type":"item","id":"Q4635800","labels":{"en":{"language":"en","value":"Bisimilarity in Fresh-Register Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863385"}},"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":"Q4635800$C48E9EEE-5513-4FA7-B91E-365897AF98FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af3899ab81925c4d0e5403bee1b7b89a849cc39","datavalue":{"value":{"text":"Bisimilarity in Fresh-Register Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635800$6E063988-F30A-4778-BFC8-49BA77293F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8def5945250d1829d100d0324f1d73f2bfa8da9","datavalue":{"value":"1401.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635800$4873285B-55BC-47B1-BCB7-184D674D0BD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c1e30370e6cd8c1691fc2b0bb0bd5e53c84fb9","datavalue":{"value":"10.1109/LICS.2015.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635800$6B6ABBB5-E9B8-4EA2-A99F-1D249745D026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635800$42934067-41F8-477A-8E9B-0E35B0FB5ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"671200b99d1f4c8388ee4d2be3fadbb455d7591c","datavalue":{"value":{"entity-type":"item","numeric-id":2396720,"id":"Q2396720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635800$0F8CD10D-18D5-41A3-A05A-19F9584437D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635800$85C294B5-0F90-4320-9C02-A861F0FD2542","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635800$0DAF167A-C3CC-4783-9E27-8A8FB405D6F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635800$B239ABA9-C1F8-4876-A4C5-4B67A7B931EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b2dbe50155af7e508fa4ac197279ab5532e6873","datavalue":{"value":"https://arxiv.org/abs/2005.06411","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635800$43CFA7F9-0ED9-4808-9706-405BF8BCF3E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635800$F32150BA-A1D5-43FE-9A9D-AFCEA74D311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635800$1B960187-004D-4077-ACB1-34BF4AA67739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635800$0D92C518-1455-488A-94E4-C8C5DF1A9EA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd696c006eb0db84af3e044eb8fdae276a9b6ffa","datavalue":{"value":"6863385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635800$F00765FB-01FD-40E5-B86E-CC3FB8191C86","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":"Q4635800$E7DB5FC8-5694-4EE3-8AB7-03C647ECA4ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d0d5d9ee37c1efe1e8ce0fb6e5207883129069","datavalue":{"value":{"entity-type":"item","numeric-id":6168987,"id":"Q6168987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098bb1fdaac748ddbc96ca0927de8da59403197d","datavalue":{"value":{"amount":"+0.9383017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$E903389F-063B-4881-8037-EB1415B2F742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4457c43e78286dde6f78d95204033b2cb15e313e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04f82a3e9dd17798723c0934b5238f87f9dc7ac","datavalue":{"value":{"amount":"+0.8918291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$90A0A54B-F770-4F5F-91AD-B25FB31F9FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbab032b2aebfb31d6cfca2cc82e27b70d8a4be5","datavalue":{"value":{"entity-type":"item","numeric-id":5408551,"id":"Q5408551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0725c31e0894b919f398a9ad7b719b01817560e","datavalue":{"value":{"amount":"+0.8793457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$4E52295C-3881-4C2D-A03E-0BBDBDE60DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d02e8cb2959057d3c3fd9e09358364c98aba44","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ce2641dca6373babdf0be86fc05879edfd2005","datavalue":{"value":{"amount":"+0.8703155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$D083CBDB-CB03-4AC0-8C99-560A7681D02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93e853f06e4b0b52c71817079c949b16807e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2708951,"id":"Q2708951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686cfce74ca34377af790486606a6c05b83c94cd","datavalue":{"value":{"amount":"+0.8662139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$BF4B757F-5372-4966-9344-37785078A7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e612b32880ac2739b31f76245165e2a7427fbf","datavalue":{"value":{"amount":"+0.8647102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$7FCABE62-2391-4FBB-ADD4-E49C3AB3E06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99421368a3e32ce65d0a677532dc18e2d39434cf","datavalue":{"value":{"entity-type":"item","numeric-id":2084943,"id":"Q2084943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de544e2b183b13ceb2783030381fba3bdad5347b","datavalue":{"value":{"amount":"+0.8612739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$306CEFF3-EA39-4F1F-B727-28F6DB63694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c726c29954bca1020e375d511c4960b27f035533","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79340807f00f1f929a4d7eb4dd8530e7f6f569d4","datavalue":{"value":{"amount":"+0.86047125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$A4BB8113-0726-4E84-B1A0-B5E125C7D794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a0db49d0b857c87ab35f0e750ec40593d6eef3","datavalue":{"value":{"amount":"+0.8592537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$54B0FB9F-EB47-4494-9A05-B48A5A0A09B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e30dfdac4003cf63a9fc7358c60a10b81b383d","datavalue":{"value":{"entity-type":"item","numeric-id":5005176,"id":"Q5005176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e327179f7571904c4af4257057976097956ebdc","datavalue":{"value":{"amount":"+0.8591198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635800$376E93B1-F47B-4719-B724-322BED72CF1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635800"}}}}}