{"entities":{"Q988552":{"pageid":990400,"ns":120,"title":"Item:Q988552","lastrevid":65821827,"modified":"2026-04-12T05:36:11Z","type":"item","id":"Q988552","labels":{"en":{"language":"en","value":"On the complexity of checking semantic equivalences between pushdown processes and finite-state processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772400"}},"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":"Q988552$8AFFC325-31E9-479F-B52C-C8F232A87F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c63a2c5c888c66054476b5de58d074ff2d1eb69b","datavalue":{"value":{"text":"On the complexity of checking semantic equivalences between pushdown processes and finite-state processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988552$BA4D991B-84C0-4304-BA06-2137AB7864E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99298db0c54c9554f388689181a880f6d2fe9713","datavalue":{"value":"1194.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$CE9F969F-2F69-485F-AFE9-DB6A2E3F1F1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$F9A8C542-CA8F-4B48-87CD-FEADA5DB7325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$04FD1816-9F42-49BB-A466-1D7F669C2F50","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":"Q988552$33336FA1-E08F-4304-8816-EF10218608C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988552$03CF4969-F891-4297-8B2D-D8616CF9A247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2106fc83a03f5d2070404b1cd0f2811e41fd94e","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/17903813/Kucera_Mayr_2010_On_the_Complexity_of_Checking_Semantic_Equivalences_between_Pushdown_Processes_and_Finite_State_Processes.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q988552$71DFC7B9-85C4-4ABE-8C29-B197DDC5586E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$FF93E41E-3547-4BAE-B132-5A3BB7994314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$14346EF6-4F56-4AA0-95FC-7A13D7ED0EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$9BA216AD-274B-419E-9B14-4B518B858CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$5BD6849B-0E6C-4FD8-BEE1-7AB6DF84E5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$77014D11-AEEE-4F74-B8AD-C9CF3AD912A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683a88aa046e3d88d35717960b3e9fad64134130","datavalue":{"value":"5772400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$16C5045C-E9BF-428F-A224-EA2EE0F05FB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q988552$9F13E4D9-4D9A-46D2-9567-037FA88B8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q988552$CCBF4BE6-1E87-49D2-AD1B-C487D9853AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q988552$B396E729-5B1F-4888-B0D6-B7D099320082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q988552$9CEED3C7-1CE4-4C34-92D8-E6495EC83561","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":"Q988552$59D06289-AD21-475A-A18F-E616A6979416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f13162d94d94e7ef57ef801f3de982c26272d6dc","datavalue":{"value":"W2129121801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$41BF9B42-1E21-431B-9468-EA1CB1DCA385","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$6424D9DE-A9BF-4370-8D58-9DF62486CF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c778ca8a917ef8b30172fcca5a7a1b9cccdc3853","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$B0232852-1931-4792-94FC-B7402AA1FF2A","rank":"normal"},{"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":"Q988552$D21EB5FA-FDCE-4A4A-AFE1-5C2B907C5F8A","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":"Q988552$45B6DC42-9677-4FC8-AFCF-B79F000708C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7970a0d371fd2492f27c8dd09606e28dddff5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535007,"id":"Q4535007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$2809DFE5-4BF4-4A61-8816-7902FE7345A8","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":"Q988552$C8799A96-FB93-4917-8396-B4C9D55A0093","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":"Q988552$C0386EB7-791C-47F8-B03D-F8CBDB38F434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$66E29588-3DDB-4A35-BE38-AE81D42C2476","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":"Q988552$9F1AAEBD-7404-49E4-A70C-E652A635F46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$201DF23E-3D53-48FA-8D3C-E21D194FA2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$047FBBC0-FDBB-4353-9294-51B0B30328A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$186DE1A0-620D-4889-BFBE-1662B0A4F741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$A5CEDEDF-F09F-4BD0-A941-F67D9CE06F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2bfcd0571c34a2c9a0b90939e40b9f7349d65","datavalue":{"value":{"entity-type":"item","numeric-id":1198053,"id":"Q1198053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$3F6433AA-5D7C-4B2A-A5CD-F66DD6A61670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$C8AF7E10-182A-402C-9363-382D2794243A","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":"Q988552$7FD09E38-1E8B-4E2A-B621-50F5A028CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$581A64A5-4808-4D5E-B1FF-B8141F058B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430461b6883a7663fba1e8d32bfc88fe9b4e4d49","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$43ED4FF3-08EE-46BC-95DB-C79682750E6D","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":"Q988552$451A7E21-EAE8-4563-A7C6-D0F3C5208B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d3c4432411299f2b9218070bd4c62e887864c1","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$1BB1A4DE-DC40-4E3B-B18B-34594AFA435E","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":"Q988552$6C67E400-A3AE-4157-BEFA-76E30F39AD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4461f0bb4992663541df43f581b9d4a6d0a23bc7","datavalue":{"value":{"entity-type":"item","numeric-id":5476389,"id":"Q5476389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$A335A8C9-FA50-4790-9751-3DD120D374A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02f65e79988a77c4b3c82a349969e8ce707639","datavalue":{"value":{"entity-type":"item","numeric-id":3546360,"id":"Q3546360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$DEDA3DD0-9A9B-4FD7-8086-AF15ABBCF804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$B6DEBED9-C8A3-48F3-8ACF-8B06A998BD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a54bacda2d9f2b500cddca31513983069c70d4","datavalue":{"value":{"entity-type":"item","numeric-id":4270070,"id":"Q4270070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$00E2323A-3ECE-451E-88D9-18A2D4F13091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571a805dbad680becee69d1be78560ffa89c9bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$13A3F7DF-58E6-4F91-A446-DD293B2300AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2e23606d46041b93706bc73dea3befed08979a","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$5174A7BA-4471-4582-931F-6F5C2161CA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79295103dfc4bddd48b1a13a0dbf4314d0049bf8","datavalue":{"value":{"entity-type":"item","numeric-id":4484513,"id":"Q4484513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$099C0F97-C3A9-42ED-AD69-E2642D737ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69eefb1154fac65c805adaf4f176dff9eff04004","datavalue":{"value":{"entity-type":"item","numeric-id":4673421,"id":"Q4673421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$689EC05E-1EAB-490C-8910-9C975F2DEDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963d2020bfff700028b985f8286e0e88eefa2945","datavalue":{"value":{"entity-type":"item","numeric-id":4536443,"id":"Q4536443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$CB612D2D-6959-4781-96FC-D6FB6C1309E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896f434c8f5a0467f2a8453c01e080e58b0f094e","datavalue":{"value":{"entity-type":"item","numeric-id":4449204,"id":"Q4449204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$677427FD-6100-462A-B35B-1374C9AA7F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6819be8e1cc0610333673323603a0eceaf972360","datavalue":{"value":{"entity-type":"item","numeric-id":1763731,"id":"Q1763731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$C44855C4-C64E-4507-8FEA-053E77F8E7C0","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":"Q988552$8024A0B6-62E6-47C0-A82B-D30A7E2A05C7","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":"Q988552$3249A3C5-2B9A-42D7-8209-9F365E6613FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ff752370cd630c25c6f93f64154afbd4cb8264","datavalue":{"value":{"entity-type":"item","numeric-id":5317186,"id":"Q5317186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$0EE7225C-90DB-4EF0-B49E-A8CBA627CC3F","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":"Q988552$EC3C4F49-433D-467A-A8DA-DB7E6C221439","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":"Q988552$9E34EE65-FA67-45DF-B768-AF29015B5784","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":"Q988552$AB5A08CF-9B6C-47CA-B6F6-FD8C71C28897","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":"Q988552$6620982F-F460-4A9D-9796-93BB7EF302C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$FB8E1CD4-8396-482D-9C5F-34422A4C59D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$9F0A976F-B32B-43CA-93DD-AE7B9C352F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e520ac910e5e7e247de7017e5d4cfab23d4f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3998976,"id":"Q3998976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$30ACB306-B614-4A12-A199-3DC2A95892C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$C2FFF9FB-B9BC-454A-A82C-C96313B6EC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988552$04B3EA56-1308-4F98-B88C-808BA2BE52C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fde22639ffefaa58caf8ee37552135fdff0c562","datavalue":{"value":"10.1016/J.IC.2010.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988552$0A04380C-57C1-4C6C-81F3-A30DCA2D2AE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3f6175da9f5ac1e8faabaaafb6770058f12739","datavalue":{"value":{"entity-type":"item","numeric-id":4708592,"id":"Q4708592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427c5b7a07bacbae34cd2d6baa4125f80e2f2f33","datavalue":{"value":{"amount":"+0.9022185802459716","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":"Q988552$88DBADAC-8EA4-4966-8758-028F70735A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d71e59c6c5bd8398351effc7ce9b85d8d9e4dca","datavalue":{"value":{"entity-type":"item","numeric-id":2409577,"id":"Q2409577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cae660afbc58ae7d662b050e50e8513c26fedcf","datavalue":{"value":{"amount":"+0.8653071522712708","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":"Q988552$667D4A56-24BD-4BBB-9EBB-1F7927318688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c7f01099c0a3e54778119cebaff5f15dc44acf","datavalue":{"value":{"entity-type":"item","numeric-id":4673421,"id":"Q4673421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debc03ec01855dfc4c9aa368390dd776d1046f87","datavalue":{"value":{"amount":"+0.8245416283607483","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":"Q988552$2BDB5E89-7F4E-47C0-9128-67871DCF71C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c324753cd6f7fa675eae4f95207dd45d9b2748","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a822e9d11ece4571c8e0fe105fa266d5a468dac3","datavalue":{"value":{"amount":"+0.8183475136756897","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":"Q988552$2C676D52-BE9D-48D8-8C45-B85D030BA767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5321beff57ccfadabb628356079e6d043c7aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":2766532,"id":"Q2766532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4531d8695ac0c687089dd6e86c5f9d754e7cb0b4","datavalue":{"value":{"amount":"+0.8179752826690674","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":"Q988552$0FBF41DB-E28D-456D-BCF5-886B6092ADBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of checking semantic equivalences between pushdown processes and finite-state processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_checking_semantic_equivalences_between_pushdown_processes_and_finite-state_processes"}}}}}