{"entities":{"Q2373744":{"pageid":2384487,"ns":120,"title":"Item:Q2373744","lastrevid":43963782,"modified":"2025-11-18T13:57:46Z","type":"item","id":"Q2373744","labels":{"en":{"language":"en","value":"New up-to techniques for weak bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171360"}},"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":"Q2373744$CECDE0A5-B9F5-4D66-B1E7-1E89CB95A78B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94760359d500a77cb55e38b6e02aed8c60539e28","datavalue":{"value":{"text":"New up-to techniques for weak bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373744$114C58FC-CC4E-49D3-B94A-134E0DEE44AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f06e69239f0914a2f22f29d365f8ef487176acc","datavalue":{"value":"1118.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373744$2B53E2A0-64EE-4E17-8507-0D027A96C6B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$145C6B4F-E0DE-43A5-BC2F-A212B9C4EE0B","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":"Q2373744$53BCDFB8-D900-4D5A-83D2-695F2FF51877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-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":"Q2373744$8B0DD466-6BBD-4A35-9B3F-1380F823AA6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373744$66A4AC79-BCA7-4316-A9B9-CC78244BF190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6810f46af354a3945403c9856327e5e0b95be7ed","datavalue":{"value":"5171360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373744$3C143816-9312-4776-8880-F7B857E697BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373744$5A24156E-E207-4CC9-8211-9616AAC0373D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373744$4862AFBE-D18A-4FBE-AE75-A2B1EC17F44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373744$766ED4D2-E5F4-4D49-9FE0-E9CD654BF732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8a28d630eff55658c3d3bcbf59594716fb143a","datavalue":{"value":"commutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373744$AE4EAC82-59C8-4C5C-B19E-C8D99B383FB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$703BF378-4160-47CC-82FA-EB5C2AE35BE9","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":"Q2373744$DCC7D1A6-B9E4-4238-9489-7754CBC1C2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78608c6ceb0e38cb194506f7f8ab7c51b9ee067c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.02.060","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373744$3D657925-A612-4465-8853-9413D7209D52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3ab0514569010b43bccb56388a57456555dc310","datavalue":{"value":"W1973506584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373744$16789FFF-01BF-4A0C-AFE9-11B61A754624","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$19B9907D-62B7-4551-AD9F-A2C0E4B78658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5f6065d4b2ed03da17fc0ec89b6e65d3a8aea8","datavalue":{"value":{"entity-type":"item","numeric-id":1271472,"id":"Q1271472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$BE869357-1C10-4F4A-A5C4-D87C3A9E4058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$2B6AB729-9557-4DCC-9B64-E9A18B97A6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f7d697c553cca5167f24089905babc27f46c11","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$CD967238-03CA-4B58-953B-94C2F4A32C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012cbf58e45c270c223e6c7dea4751d5567dcaaf","datavalue":{"value":{"entity-type":"item","numeric-id":3608458,"id":"Q3608458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$C951A4B9-29CD-43FF-90B4-414A924BF792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$570559E2-85E4-44CC-BD30-BC9BCCFB21A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$FE89FA08-31C3-411B-B454-593968AB6E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373744$BA8DB670-2714-4AA2-A86D-B236120940B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4541e4fe1e5b0f86047329f618070181dfc03b9","datavalue":{"value":"10.1016/J.TCS.2007.02.060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373744$A0CEA821-2D6A-4C1E-9EF8-B96A10C4C1FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534c0b4d37f293b8f0874a0b9e15b3cc0e37022","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ea72d5cd81d3e5372437992151ecd61f1f8fd9","datavalue":{"value":{"amount":"+0.9718302","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":"Q2373744$34ABF373-D630-4AFC-9E48-55DCE7B6DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc76e44ade16f5f91899163ed3696c0310d76fb","datavalue":{"value":{"entity-type":"item","numeric-id":5756594,"id":"Q5756594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1718237c6f08c361c5ec37f96ad22f12867a9698","datavalue":{"value":{"amount":"+0.9125376","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":"Q2373744$302076F3-8F43-43BE-A092-7C2D3F8E18B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e83fbb2ee5fa43a80e55ef7b6bcc731c51bd192","datavalue":{"value":{"entity-type":"item","numeric-id":3613350,"id":"Q3613350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a7319b8cdbcfce3cac39cc6d36a9f2ff2374f5","datavalue":{"value":{"amount":"+0.9061004","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":"Q2373744$821AEFF1-3045-4A3F-9D2E-C2AB065E69EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dee2c5e62de8ccc0aa9ee3b2abeeb2f829ab038","datavalue":{"value":{"amount":"+0.90237874","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":"Q2373744$278D65C2-3AB2-4F8D-BCAE-738B2B4A496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71e2654c3f5c92e1425cf36a40e35656b6ad3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5898149,"id":"Q5898149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41df79fa906ca5d568afc908c153629f2699648a","datavalue":{"value":{"amount":"+0.89380336","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":"Q2373744$06DE5CE1-2077-4341-BE28-16D9DDDB6592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7848e47b1432638e0e5ec030b2250b1971bc51b5","datavalue":{"value":{"entity-type":"item","numeric-id":510897,"id":"Q510897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f8df5b9d61d51f3c166dc69e3450e3caa661b1","datavalue":{"value":{"amount":"+0.8884586","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":"Q2373744$B6B44F97-1BC4-4A96-B720-DB827F90BFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa13a48cbe0e9c6fd2b4d96bc5f01fd70e1955f","datavalue":{"value":{"entity-type":"item","numeric-id":4941915,"id":"Q4941915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82dfc0c1d9ffb7706f69698da4b1ebe581458611","datavalue":{"value":{"amount":"+0.88443565","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":"Q2373744$647A1C63-F6DB-47E7-B5A3-27ED41D86D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3f4e250306554b5d29f4d083d37f2c82a9f0cd","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d264bafe6c74b2344bc197fb52bf54283db79651","datavalue":{"value":{"amount":"+0.8841239","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":"Q2373744$921D04F6-1E3D-4BCE-82C7-F9EB3DE4293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae9242e5f0daf3eeb5b37ebdbe6dabc395dcaaf","datavalue":{"value":{"amount":"+0.8839019","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":"Q2373744$0E9FA00E-44C1-4021-8247-9246D74367ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373744"}}}}}