{"entities":{"Q428860":{"pageid":430627,"ns":120,"title":"Item:Q428860","lastrevid":61765989,"modified":"2026-04-11T01:31:26Z","type":"item","id":"Q428860","labels":{"en":{"language":"en","value":"Alpha equivalence equalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049386"}},"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":"Q428860$E0F38788-8BC6-4B84-8FFD-809AC14FA52A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"265bcaead732172f2095871207d57c0c410fb234","datavalue":{"value":{"text":"Alpha equivalence equalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428860$D731AE52-40DB-47A0-9A58-175DB5C42C11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69ce759bd71a1396e43a144e844b8c3bb2ba3b5b","datavalue":{"value":"1244.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428860$F7DF8E88-C4DA-484D-8B48-ADF1E48DE15B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$CE2AD835-99FD-4401-9156-F1CB9987AA1F","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":"Q428860$5CD04ECB-533F-4C95-92CE-E374D25091A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72164bd681bf7e905e9de5f982349bc17f0310f","datavalue":{"value":{"time":"+2012-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428860$AC96C39D-F3B3-40CC-9951-286F87CEF110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428860$F64949D0-DD97-4A3C-80B0-4E5D4F6455B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428860$3BB6C0A4-3E0C-4E83-9CF2-714F11887AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea8cca63c50ea4d96b0c2fc7cc3e92c5c6a039e5","datavalue":{"value":"6049386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428860$68C2D526-5825-4A02-8239-69FEE50C7D9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed072750ba511438bb1f128b9b11905f7c2f6e7","datavalue":{"value":"\\(\\alpha \\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$8FF281B3-39D0-4B83-9286-A084D5D41915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee0e3752c7c70901b503bbfefbaafbe4767d748","datavalue":{"value":"atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$A676F920-8481-4613-88F7-45DDA6A4BA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d668889f77f3e419bed3147b829f1a444275662","datavalue":{"value":"context","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$C6FFE7EE-DBB3-4262-816B-CE21949363B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7fd10232d9994aaa59ef1979838903a83412229","datavalue":{"value":"\\(\\lambda \\)-expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$B1B51961-34E5-447C-978C-FB7D0631682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66761eaec9090d3cd1f3bd1c961d8ae51dcc51c5","datavalue":{"value":"permutation action","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$B2F78D57-6C79-401C-9E99-CD3975160DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$36FFBB5E-CDF0-4A98-B424-B670EDD3CFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q428860$445670D0-53AC-4D07-B30D-78F571BF84B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$BC85A89E-3216-4AB2-9B79-F76F1D468308","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":"Q428860$86EDAE25-C898-4775-98AE-C8C824731F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcf0afc09bc8f1ef40ef069b816eb351f401d5b5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.01.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q428860$14D26529-8549-4AFC-94DA-9358E0299956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7c40ca83876a909a3d70edb5e4f79c3c164f121","datavalue":{"value":"W2063470124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428860$A1D8174A-7E41-4701-B93F-7028808F5AD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61284a58310ee0a10a78e82eb4533fb56e6bdb78","datavalue":{"value":{"entity-type":"item","numeric-id":2871859,"id":"Q2871859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$34EB6B27-2F40-4B26-A5BB-4CC6329A5461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa75cca882b02d53b82248fac35f8b22ac53455d","datavalue":{"value":{"entity-type":"item","numeric-id":3178258,"id":"Q3178258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$99C8622C-5025-468D-961C-5AB6E7734EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18f73027341d183a562fe1e2b373d885d7c3d89","datavalue":{"value":{"entity-type":"item","numeric-id":2708307,"id":"Q2708307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$209954FD-5FA6-4E8A-875D-C99BC7BCCF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb99815e52b0ddbf311db25f8253ec9a93bf2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":3008233,"id":"Q3008233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$1D78C080-187A-4974-9D77-78E3DB4FD404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$93D392EF-DE02-40B2-88A2-C37DB4926D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a4a52b5fe7dab4b8bf62476a19cc9dc1660874","datavalue":{"value":{"entity-type":"item","numeric-id":2373874,"id":"Q2373874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$5014757D-B6B6-4166-9E79-4E77BD153567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762b43d948cd82d9f4af52f22f8fa8112e0ca064","datavalue":{"value":{"entity-type":"item","numeric-id":939160,"id":"Q939160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$491A81BB-ECC1-4EF9-B66D-7C691A36C6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$D82F2E00-09B0-48B9-8120-C6977F3E9B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec577efbc071bb903e0b945b738db0f9a432c6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5505550,"id":"Q5505550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$0994C3C2-3253-4F20-A277-85DA0B7C18D4","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":"Q428860$011C63B4-5B7E-481A-A9E7-FACEB1FEA01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$316EAE78-1279-4ADC-A26E-278F5B9F0AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$69AA4592-C96B-4B7B-852F-34F7F6C9D063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$81F2057D-E24E-495A-AC07-168F9C136A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b18f9bdbc78d3b714191d0769b308a9a6419132","datavalue":{"value":{"entity-type":"item","numeric-id":5747641,"id":"Q5747641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$4BF3379B-10CD-4B93-9BCC-17BF08069428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$4783D10F-A420-4C9D-82CE-608A908AFD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933ff89cc5998a8f55afbc41a4b90f3170f8cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3523176,"id":"Q3523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$770DDC6B-CEFE-4F47-9E04-06B7994D341B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$88EB7FAC-AB84-4739-8888-4E06A5B39911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$5E62CDC1-BAE9-4819-BF84-AB6034B8BB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$207ECA8F-19DC-45CA-B528-7AF65A1C85D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77123470f85647e0dd689e0abba63b0d33f9f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":2841232,"id":"Q2841232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428860$C2CDF943-756D-4B08-AAEB-F030D4B3D27A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a07d1653489eae976e79fe976e6e8c34d39a69b","datavalue":{"value":"10.1016/J.TCS.2012.01.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428860$A948BB13-B7B8-4118-88BE-821CC6FB9142","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9eeaffb8cca44f5344e46b9cb843ed5fec16d30","datavalue":{"value":{"entity-type":"item","numeric-id":4397232,"id":"Q4397232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e6c50bc4363c2010e70e90d6c34423c68deec5","datavalue":{"value":{"amount":"+0.9036727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$7F30F0AE-73BE-4BEF-A955-9407793E4718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600ef8fe6dded021e8b0705ed43f92223a681db2","datavalue":{"value":{"entity-type":"item","numeric-id":4374798,"id":"Q4374798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0edda6ed3f696c06f674c2493a2bcde47309aad","datavalue":{"value":{"amount":"+0.82472324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$A211FB23-3EAE-48FA-A25D-99508E38AE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469e23b1d7949c304624bd45ec150a9a8938288f","datavalue":{"value":{"entity-type":"item","numeric-id":1935560,"id":"Q1935560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0edda6ed3f696c06f674c2493a2bcde47309aad","datavalue":{"value":{"amount":"+0.82472324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$81EAC633-0DBA-41D8-9C76-1C929E3D2962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b9eb5947e0f1aefe6b949ed243a452c96113d8","datavalue":{"value":{"entity-type":"item","numeric-id":1061444,"id":"Q1061444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4623fce416ba4a5a804b39136bc031531325a0de","datavalue":{"value":{"amount":"+0.8058255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$9A445E91-D23A-445A-AABB-F91E54ACCA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f2cfe904b16e82f274f3f94db600bfb12d9a34","datavalue":{"value":{"entity-type":"item","numeric-id":5444149,"id":"Q5444149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a2b0df660d2c0fbfc3ba94d0e162e5c5636e2d","datavalue":{"value":{"amount":"+0.8042376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$C7DF19F2-7AE2-49A9-9586-80835F23D62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2919d1729dc757449f34ae62611a7cb3e7204a","datavalue":{"value":{"entity-type":"item","numeric-id":1801929,"id":"Q1801929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e530fe0063fe4f75e288458dc0b47be0323d156a","datavalue":{"value":{"amount":"+0.8000244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$B2437376-7F84-4EF8-8F36-F092CEB7F08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3777cefa648d595fc813e17f907206a6d20a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":365672,"id":"Q365672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faee1c7bfe95ab4e256b36e654efafdc9e5426f7","datavalue":{"value":{"amount":"+0.78772664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428860$DF3DD102-63E1-434D-A3A6-0C44AD7659D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alpha equivalence equalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alpha_equivalence_equalities"}}}}}