{"entities":{"Q703845":{"pageid":705694,"ns":120,"title":"Item:Q703845","lastrevid":63748317,"modified":"2026-04-11T15:16:50Z","type":"item","id":"Q703845","labels":{"en":{"language":"en","value":"On the computational complexity of bisimulation, redux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126482"}},"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":"Q703845$40C2CA4D-2862-4FC4-BC67-4A4E13FE6879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd9d0c6075b5884e563c416c7a7ae8e315def606","datavalue":{"value":{"text":"On the computational complexity of bisimulation, redux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703845$09CA0700-99E1-42B9-A416-8556AA3715E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba40db2e0f1601ca73adc9e79a494e714e08dd5","datavalue":{"value":"1074.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$6BEBF4D5-8721-4875-96B9-57DE5FA7F155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$3F5E1693-7E3C-4464-BDF2-A12457B0ECCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$A2B0243A-4AD6-4DCB-9C29-58D4BF6B64EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$A7EBB094-EB55-4117-B218-93ACD5278AE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$46449417-2DBE-451A-A225-5D44F68CF69A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703845$F2ADB684-9D4B-4533-AE2B-153DE6E75405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$5F75B4CA-EA80-49E8-92C3-1D6589478637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$48089141-0875-4A7A-97CB-30CDD9CFB0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$F734E56D-AD90-42C2-960E-1019F0CF02D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$F98F5ADF-245A-4338-A3DF-B88A4C2A30ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$F23FE5CE-98FC-45F2-BAE3-2ADE36021629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"684ea036435230dd8352a76e5986af2f0660c559","datavalue":{"value":"2126482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$9BEB2889-788E-4D73-982E-0E23DCDACD56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf8a69425efb6e05c297b06d30dab6f200e7bcf","datavalue":{"value":"One-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$8F4CEDDA-F2A4-4B13-B0E8-BBD7D073981F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f449ef943033ee684ce5df1e6eb384b57f3f7930","datavalue":{"value":"Equivalence-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$2DCCCB6B-EA4C-47E1-81F2-9365547A9343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$D3363A95-BA33-4D09-9FF9-698EEC8F8CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$D31AB633-5418-4D6C-BE79-8A2640FC4042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8eb270d4ed4b446b915ab174a0d0120cef86df","datavalue":{"value":"Formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$8E343167-CFB9-4FF1-A0A1-A04F2A559E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a4a06a59135385edb87b02a7295992f0978aef","datavalue":{"value":"Bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$B93F4ADB-53C4-4326-B924-73DB277740B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q703845$04716CDD-914B-4601-A9FC-FC2F225F43A2","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":"Q703845$E0CA8A75-98D9-40A6-9509-E0C556ADA35D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac2c4f77de38270b3796d259b0ab4f08a0631061","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q703845$CEF5AB17-C610-42F6-A8F7-10F9EB741979","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"470412b1f088311ce5e86a2bd9746a261bdc721b","datavalue":{"value":"W2078508239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$4E4A006F-8C30-4C9F-882B-C0084035F2D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"085d158ed2fbec2e9e766f1c65bfb1ba5a07a58c","datavalue":{"value":"Q59556955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$8F3EF338-28EA-44CA-ACDB-0AB89D25D808","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$679493AE-C8E8-44B6-9225-35409DCAC7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188f97c082fce1ef94d55797d1aec36a692b0216","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$0AEAB6AE-C34B-4A0F-9327-2411A04BE831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$23AF5511-D952-4C6E-9C06-8A6BF83B6848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$E4F87AB8-01D3-4AFD-8B6A-03F41C87C4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a6823e76c11ef1f853772c882ad2f84a6d8b84","datavalue":{"value":{"entity-type":"item","numeric-id":3292904,"id":"Q3292904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$B22AC9DB-BCD5-40AC-B0F0-0E76045AC915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$F0CE8940-59C3-40AF-8AA4-D871093AC875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c64599df9478b2d2cbf08ed4c0afb3ef07c72a","datavalue":{"value":{"entity-type":"item","numeric-id":2842853,"id":"Q2842853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$2B34F97B-03A1-4CA5-89F2-3099F2C4A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$0CB8696A-7EF3-4456-959D-1073C9F35ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6711abcc32734b5fa9098c7551fe71202907c48","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$09C86187-72A0-4A0E-8B33-4DEBE4CE93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$2DBEFA2D-35F2-405B-A7C4-F38EDB1A523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$BC377AEF-5411-43CC-9D48-071708BE9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$F931038C-3F35-4C7E-B401-E91DCD61DF35","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":"Q703845$022E528A-B3E1-436A-A7D7-D66DD666C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$F4633A01-5233-4BEA-96A9-25C9F4AF6E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839106cc0df8f163c5ff9c22a74ac51bd98acd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4222868,"id":"Q4222868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$EC7AA4A6-02B8-41DE-BAB6-05E0C3C6E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$79720C90-B33A-4120-B499-42C1AB3E467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$4952999D-D28E-45D0-BE1E-068F8B32A64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$FBBD0F26-1B6D-44F3-B457-BF7D25A5CFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$D8F29020-47E9-4B4E-BE65-6F11C3C2E7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf6296675a04b218469db10451a04d2c74acc22","datavalue":{"value":{"entity-type":"item","numeric-id":1892874,"id":"Q1892874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$C5CAABA0-7585-4478-88EF-35B15121CE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca41435a84244fe0399069b765ff29bb08d6b267","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$D25B61C9-FF4A-4683-8E2C-8CBDCB914604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$0022A69E-24D8-4128-89B7-4624FCD84A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcdff1a9e04a76d039ecc1d15cd613703aaa0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3085977,"id":"Q3085977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$D7C31C22-4A0A-4AD5-9DF5-907B19D43A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49a3866831aee495aad82ea58299dfc0e75995e","datavalue":{"value":{"entity-type":"item","numeric-id":4270051,"id":"Q4270051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$A68A067A-3C8D-4F0C-8281-6841C77C8081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$D70468B3-FD3A-4382-B9EB-44351B0CD38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$A18576CE-DD42-42E7-9FDB-3593DE9F96D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$D43177CF-B199-4D59-A0F6-B7D27999526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$0FE77155-EBE7-4B02-8B5A-4E566D15A55B","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":"Q703845$0D4222F6-0921-4E40-81CB-EBADB66005ED","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":"Q703845$42C67D96-61BC-4650-9F10-77AA284D157D","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":"Q703845$4B833CB1-F911-4B2B-89B2-7C83AD81D29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$EA2D0020-1E91-4F28-9B79-173B1EEE1DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$F381F8F5-FD86-4C44-A5BB-DF27098501F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$0206F6F5-20F9-499F-9ECA-CCD905D90A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$17BE7D7D-3AA0-4815-A559-738E1E4E7F36","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":"Q703845$39AAA92A-1CDC-46FF-BAD0-F6CFAB6867C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$C880D206-B806-4C37-A208-F37DD03F2405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$3C0E03F4-97BF-4DDD-9DDB-82442B6D19A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa62c3f82e5bf5a1abd4a6feeb9060ee25fa826","datavalue":{"value":{"entity-type":"item","numeric-id":3395948,"id":"Q3395948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$24272727-6675-40A1-A4DF-2082B3571714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95789b1ded4f64bc044fa53a65a44241082d655d","datavalue":{"value":{"entity-type":"item","numeric-id":4736869,"id":"Q4736869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$8EBA6B37-CE9A-45A1-BBC0-B211B5239D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6d9ef325bb273c0214a26397926e81a4d08315","datavalue":{"value":{"entity-type":"item","numeric-id":4737202,"id":"Q4737202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$9A2F592D-3534-44CE-9EFF-059BD0088BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e39959a7abeb899b837c7c5bfd26e80688f1c5","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$B15371F3-5B37-464E-857A-B9749C59EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$95D1DB67-E5A5-40E5-A7E5-C7CE55BD9055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aa03382e6ad7454b01b97ce6d4242efdf5ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1276237,"id":"Q1276237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$194758B3-A747-4A66-B83F-60D5BA807A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$33799E0F-BF9D-4C25-BF92-9F48C08567AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$B92E35AF-79CA-47D1-B5A5-8D4660389E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d2b9e5ac09d03617896b1814f3ebb7e413d47","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$1B7D42F2-E6D6-47DC-AD59-991E7CEA2758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d656fd977434c5cc9c5eee96756a0a1ee7a004f2","datavalue":{"value":{"entity-type":"item","numeric-id":5044763,"id":"Q5044763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$FCCBAD5A-36B6-4FBA-A34F-EEB3D7A1B740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$272821C4-6961-463E-8ADE-4C6A66AF6B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$84242FE1-3163-4831-BE3F-023AE4878A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31aa968ebd337706ec5ce7e4ca615453b6a22c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4874391,"id":"Q4874391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$C9C008E3-680C-4A88-AAFD-7CF64916224F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703845$B5EEA985-A1D2-49E5-A8A5-15ACD9126719","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"bbaabb86f15b084349a20864c89d5d261f2fff21","datavalue":{"value":"journals/iandc/MollerSS04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$C7E463A2-7AC6-4762-8C89-DE65B9081971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22f8a26554f05c8c2486292be16e0501b8824a01","datavalue":{"value":"10.1016/J.IC.2004.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703845$EDDA1D1C-FBD6-4BB0-BDCD-FA9B3CFED11A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2684368addcf23d710ff784afa2fbcdbdb4d56f8","datavalue":{"value":{"entity-type":"item","numeric-id":5278398,"id":"Q5278398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0636a50a7777ae79d96601d07ba95a8a766a6a59","datavalue":{"value":{"amount":"+0.7844881415367126","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":"Q703845$9747993F-8CD1-4B5E-BF7A-9B9D15142EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f13139c7c1e688699842b67939174ea0db8261d","datavalue":{"value":{"entity-type":"item","numeric-id":4553282,"id":"Q4553282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35683238500aa146b956b6ee3f1d0991937146bf","datavalue":{"value":{"amount":"+0.7728399634361267","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":"Q703845$10248603-5987-4957-B608-0CBA4F007F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c90ff0dfb68d7391e6d85244c7a78020c07120","datavalue":{"value":{"entity-type":"item","numeric-id":2754155,"id":"Q2754155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c214081f7326ee56f3f6057e75422e6d88c0dde","datavalue":{"value":{"amount":"+0.7548868656158447","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":"Q703845$94825FBE-E2FD-4476-BA69-719FC31B0DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7efdb8340a02bab85ed8e28e0582078f601292","datavalue":{"value":{"entity-type":"item","numeric-id":4536443,"id":"Q4536443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3d3bff9eb47f32d340238f1ae2c46712a58bb3","datavalue":{"value":{"amount":"+0.7449004054069519","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":"Q703845$358D80DA-71EA-43E0-A996-44E209AD8323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044eef12825a4133cae596416e0358a3c7de3965","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68f8c70dfdbc5d860996c3cca3c274fc157f6e1","datavalue":{"value":{"amount":"+0.7370651960372925","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":"Q703845$77CC836E-C042-4CDE-874F-BCC723F07967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computational complexity of bisimulation, redux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_computational_complexity_of_bisimulation,_redux"}}}}}