{"entities":{"Q6970220":{"pageid":21324384,"ns":120,"title":"Item:Q6970220","lastrevid":84048338,"modified":"2026-05-08T19:35:08Z","type":"item","id":"Q6970220","labels":{"en":{"language":"en","value":"Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054028"}},"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":"Q6970220$BB8694C4-592F-4B8B-9359-4E64286A7780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f461e0bdeba82607d652d6cdda4faf132d8e646","datavalue":{"value":{"text":"Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970220$D39728B8-B26F-4E29-AF3B-A55E5647188B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edfa23350094413b7f5f1067136b5ea1c3267891","datavalue":{"value":"1573.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970220$83B82210-7C3C-4705-97C1-409597391D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc971ee7ff6286803c5e9dcb1c16fe7580c0dfbf","datavalue":{"value":"10.1145/3661814.3662103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970220$69AFDB80-8EF7-4F03-AA96-EEFB80FA0E15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$C90E347E-D815-4D7E-A112-394EB35CE215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"caedad62fe7642ef3b70c2321bcf420b47adf4bf","datavalue":{"value":{"entity-type":"item","numeric-id":6851659,"id":"Q6851659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$C1D8333B-51E2-4045-B755-CEB0AB92B0E2","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":"Q6970220$AC43E814-00C5-4320-927B-58ADE37F90BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-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":"Q6970220$CEF5CF4C-65F0-4CC3-989D-1013564F936F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2beec13c53d23ce7a1c58e576d905152d96744db","datavalue":{"value":"https://qmro.qmul.ac.uk/xmlui/handle/123456789/97148","type":"string"},"datatype":"url"},"type":"statement","id":"Q6970220$33AD4690-0741-4592-A34A-834D633B0182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970220$F293BC41-23DA-4AAA-900A-A1A5EFB51873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970220$4765C1E5-15E6-4FD9-B766-B4EA537B6FE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81acf4f35565d6cf365225b19f03ed5a0b7a0cd1","datavalue":{"value":"8054028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970220$348B3668-A08F-4337-BF3A-294AB39F9312","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":"Q6970220$FBEC5474-E357-436C-BC8A-0150B13B49BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$A1F65490-5025-4534-B3BB-C81EDD77615E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$E6C5E7D8-49BD-40A0-A7F5-C28D5DF598B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac2906df9182a44b878cf3c672c11aee3448129","datavalue":{"value":{"entity-type":"item","numeric-id":2900257,"id":"Q2900257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$442308BC-CFD3-407A-BEE2-A8A3033C9A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a09cccdd730facc51bf400b37836cd56dd3b94","datavalue":{"value":{"entity-type":"item","numeric-id":2289066,"id":"Q2289066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$6F1A1411-335D-48CA-A47C-B890A223F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$C6624B65-05B8-4F9B-8DF1-69107AD906CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345a99195b275288f37e0bc7794c047e3991529a","datavalue":{"value":{"entity-type":"item","numeric-id":5271055,"id":"Q5271055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$F39F51C6-0CDD-4DF8-9537-70D5E551DFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$FDD16B24-3599-496C-B2E9-722FC6AA0DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee6413029ba009f86cfc2e978c2cf265197364b","datavalue":{"value":{"entity-type":"item","numeric-id":1386414,"id":"Q1386414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$1B1CDA7E-6BEE-42EF-871F-5A43D75239BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3402b658120540eec801a4fff8e839211add8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":477213,"id":"Q477213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$AD3635BF-2501-4572-BFC9-0ED27D8C695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145e622600d34e2e2f04dd6d81034ed240f20627","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$BEEB403E-E852-4805-B4B3-439F7417C3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85db71a32648e55138733c05985bbfe8ecd51d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$10BD7EC5-D46C-46E4-8CD7-EF68B0362C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$B265D649-E0D7-432A-BC3B-9AC489E7DBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$902C3487-A55D-4566-8701-3F6475E60FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$92074698-775A-488D-B854-EF7B07132548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385740d7b36e16bac5817543ff7ccba2a459b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3178283,"id":"Q3178283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$9130E1F3-6491-4688-9ABA-F9346E0874E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31644956a47dc9efb325244474ce5ee9b0257ea","datavalue":{"value":{"entity-type":"item","numeric-id":2828314,"id":"Q2828314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$FFC92952-26AE-4503-9843-E04102455C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$B1EB04B4-FF7E-42CD-8546-4ECAE63855D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fb9ecbfae88829fc85b064240ac621c4f435dd","datavalue":{"value":{"entity-type":"item","numeric-id":4943358,"id":"Q4943358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$EB5A7C9C-33FC-4ED1-8E16-73BA96023FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acae650091b0525e6a892b3f4eacfc324b1d9d43","datavalue":{"value":{"entity-type":"item","numeric-id":5176929,"id":"Q5176929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$14228CCB-AC06-4902-9403-23AE451B7998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$08966E5D-BD61-4429-9E10-A270164A2EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$D7B6A66E-A719-4038-B311-A2CE5184890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345af04bd6225fe1bc7f8496b65e5563679e251","datavalue":{"value":{"entity-type":"item","numeric-id":2949444,"id":"Q2949444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$FC855CA1-70FA-4942-89AA-23CCF026196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859ab3688478184b220c554f2f4c4b0e413a5d8","datavalue":{"value":{"entity-type":"item","numeric-id":3460912,"id":"Q3460912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$29FF98B2-C54B-41FF-9D21-392C5733974F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb7d511f8aba8436e91765e2ab29c0ba2c0f389","datavalue":{"value":{"entity-type":"item","numeric-id":3636798,"id":"Q3636798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$C91A5062-BFB4-4623-B227-AAD33472B086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d2def1d0479543da9657837e12b5ddb50097b","datavalue":{"value":{"entity-type":"item","numeric-id":6535615,"id":"Q6535615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$A878862D-0A12-42AE-8F20-FA81A1791F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13615c7074f468a775c03f99a7d584aecda64957","datavalue":{"value":{"entity-type":"item","numeric-id":6851660,"id":"Q6851660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$7726CFA8-08D3-478B-B3C2-66F3395A1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$488BA9D8-B6B1-49C6-9B32-3BD2404B8D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4b79829f8fd84af3b54b011e9baecc4634b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$72421927-A315-4404-A466-18C9991234EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$F7AADEA1-E266-44CE-8A24-BCCC128C29F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7ebf57980c5216f7584d984651a399f992271","datavalue":{"value":{"entity-type":"item","numeric-id":2852363,"id":"Q2852363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$7319D1D3-4621-4030-97CE-B7F9F8716AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$39CF5BD4-2CF3-4EE4-945C-8984EBCACC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$E9DAE803-77F7-4916-93ED-7AAB2E8B1194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40059917d0d7b1cf8ff9391f3c31bb04e97eaab5","datavalue":{"value":{"entity-type":"item","numeric-id":3460566,"id":"Q3460566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$D70BE3DF-646D-4F49-B4DE-D006BB4F940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3ed0519c460f85a296a7898c0465ada25aca49","datavalue":{"value":{"entity-type":"item","numeric-id":2396722,"id":"Q2396722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$E097C093-9BC6-4037-8F49-B2EEC0CA75EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb501467d354595fac8316f279a2e6ed64f61cf","datavalue":{"value":{"entity-type":"item","numeric-id":5056398,"id":"Q5056398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$2FB1C787-67D1-436C-9D09-1289E0CA850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$4CA28962-EE65-4F1E-BF63-2B86D7C9AA2C","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":"Q6970220$FF9B0ECE-D6E0-40ED-A481-962C8B03962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$31358479-496B-4A78-B8BF-090002211572","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":"Q6970220$8EEF582F-27C5-4FCE-931A-8E096B1AA790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956598292838c18761f954571ae7abd804f61a56","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$BBC74514-1298-4B57-A091-30CF3A75E28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5389926d68ebcaebfaab33d4737b906a344c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899331,"id":"Q5899331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$1DFF9356-DD27-4A1C-BE78-8575ABE47AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e540469eeca447506cba8553e8dbe095c6a67a","datavalue":{"value":{"entity-type":"item","numeric-id":3546343,"id":"Q3546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$FFF60941-9422-4F2B-B28B-8027355E3B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"617b89c9f2853267288a6e34c99d47bdf96f7104","datavalue":{"value":{"entity-type":"item","numeric-id":3003321,"id":"Q3003321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970220$AE258388-0521-4C02-870E-581D45696561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pushdown_normal-form_bisimulation:_a_nominal_context-free_approach_to_program_equivalence"}}}}}