{"entities":{"Q3297777":{"pageid":3308485,"ns":120,"title":"Item:Q3297777","lastrevid":86964422,"modified":"2026-06-04T10:20:00Z","type":"item","id":"Q3297777","labels":{"en":{"language":"en","value":"Up-to techniques for branching bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223101"}},"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":"Q3297777$BB25DA80-5496-469B-A2FD-F4E184F10CCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f20d30c2323c5508416f4e9b3c0b84f6b002c268","datavalue":{"value":{"text":"Up-to Techniques for Branching Bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297777$E4E09CA2-0E04-4C38-8C4C-0E3A089D19FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b0c8ef5119434f9912943ab0c7f0c2553b92c0a","datavalue":{"value":"1440.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297777$B60C24EA-1A7F-4A08-97F0-DB2873AE570E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f6bd79784c87259dc88e17dae38ac9351edb1cc","datavalue":{"value":"10.1007/978-3-030-38919-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297777$96D9A0C7-F4C1-4BE4-8A8B-065021606F33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f82d5b36d6b91244f5fb1e23dda8a16f2b9be478","datavalue":{"value":{"entity-type":"item","numeric-id":2119958,"id":"Q2119958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$03FBC330-D4DD-469A-855A-74CEAB100D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$632610C8-51E4-4C05-937A-79E2C8DB3CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$AC85C578-0B3F-4149-945D-60A7F8301031","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbf9559df02eec791348aacc2a79cff3972911d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297751,"id":"Q3297751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$2624E5BC-8230-49AF-9A71-13BC04312F9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-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":"Q3297777$B71FC4B6-BAB1-4445-84D4-D2B7FC57AA92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebfffdc5cd2a0f031c5044ab0695823723d0f18c","datavalue":{"value":"https://arxiv.org/abs/2001.08944","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297777$86E6C12C-B782-4D68-A3CF-79B9AE0208F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297777$86E83FAD-FE00-4621-94D7-81BC85838091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bc5f7fb79e823946ca2f925f69b196e8b35df50","datavalue":{"value":"7223101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297777$2CCFC12E-2632-426B-A4EC-74BD31DB87E2","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":"Q3297777$419252FE-96F9-4F00-AB93-C42EB95E6157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11e9644d503a3603073752ef2192b89b62d11513","datavalue":{"value":"W3102696791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297777$5A0CE4E5-E8BA-4FC6-8380-CB70295C428F","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":"Q3297777$C780C6D6-DD72-4045-A3CC-DB5DCE4ED630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$AF962A8D-F1FF-410E-B84C-CBC53EFAB216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$364D2C46-E8C3-4CEF-B613-774BB525C106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$AB50DF0E-6435-49D7-8E7F-F8547C88A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce4bae12e9ae11dcf15ab7a4c4770ec16d01235","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$502F61D7-7C53-4709-8C8E-D18B4DC8E81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290ed2ab05052197c573ed5b3917c60ff20f2d51","datavalue":{"value":{"entity-type":"item","numeric-id":1680509,"id":"Q1680509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$C80D1EE1-2B13-468B-BB82-4F7C568861FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327263919aa555338c22c3161dbf4ddc1f5c43f","datavalue":{"value":{"entity-type":"item","numeric-id":2272990,"id":"Q2272990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$5D1C627E-5A59-4617-827A-3F4CBD14E8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b9663f98ebea6a0f02394d36a1fc6b5806948","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$2F773DB3-9107-422E-BB3C-23FB9B745793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$A0D1BAD7-E812-4BF4-BFB9-79D435914F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ccd45aeb027fff602ca1b995c566c28f105f34","datavalue":{"value":{"entity-type":"item","numeric-id":2843725,"id":"Q2843725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$940D2780-B14A-499A-912F-41A4A5D96582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$A0E4FCA0-F265-456B-A138-D9A99DD6AA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$4753BA1B-31DF-40F4-80BF-729B11C9F225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f94ff8757f5d21aba1ad444aa28e9cc7bc24572","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$446D2CF7-1909-4BE1-83B9-B2823A06B5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$44BB8247-D5E9-4FD9-89D7-904354D403F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$4DCDC63C-EB86-4A8C-8010-62F60AE6ACFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$7815530F-1424-49BA-BA31-F796554E5965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082d14fe4b31d28abfa6a4d89d968f0784143ead","datavalue":{"value":{"entity-type":"item","numeric-id":3569037,"id":"Q3569037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297777$93C03E54-1230-4A96-AF06-7059DA446E8F","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":"Q3297777$6F9A2658-16C6-4E32-8A0A-E6032536A8F6","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":"8e09b53eff81de611cb556a8a307b8f1dcff0574","datavalue":{"value":{"amount":"+0.8567031025886536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297777$1E83CA7C-C275-44B2-BF02-D124B6998C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d193f725b0652967f09a550e452efbc193f56d86","datavalue":{"value":{"amount":"+0.8490947484970093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297777$1DEDAEEF-3DB1-4102-82D5-204085EAD487","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":"a1326198c39494de3e242923b96b779fb065fad4","datavalue":{"value":{"amount":"+0.8406600952148438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297777$D4C154FD-0DA2-4101-9C70-8FE11CBD68E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35598a0c5d0521954dc4726d2c4c5007571d6ad","datavalue":{"value":{"amount":"+0.833002507686615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297777$54FF1D47-2D86-42CE-9D0D-98F6BB0B44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05645a6aba77279e66dd00cc8f3bf4574a5e89f","datavalue":{"value":{"entity-type":"item","numeric-id":5357707,"id":"Q5357707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a08227f17aaf654363e459f803492a3997ef154","datavalue":{"value":{"amount":"+0.8312562108039856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297777$DA3D42BD-3E17-4E44-A7F8-88225251996C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Up-to techniques for branching bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Up-to_techniques_for_branching_bisimilarity"}}}}}