{"entities":{"Q4715673":{"pageid":6745250,"ns":120,"title":"Item:Q4715673","lastrevid":46404711,"modified":"2025-12-24T17:30:39Z","type":"item","id":"Q4715673","labels":{"en":{"language":"en","value":"Axiomatizing permutation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 946745"}},"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":"Q4715673$15FD016C-6036-4B32-BAD5-BB5C9A990D7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e24322a7c4e16f7cd398a19973f8e1521ea78c","datavalue":{"value":{"text":"Axiomatizing permutation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4715673$944851E4-C36B-44AC-8057-4A40F2AC793F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"431d1f891406afb68761fdc322ce30cbed2ec389","datavalue":{"value":"0884.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715673$8C25419D-BA1F-40C2-81CC-C0F0287FCD0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d736b5cfca1bc811024c4e7023020202ceac4426","datavalue":{"value":"10.1017/S0960129500000980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715673$CD09E6D6-C1EA-41FE-811F-C8B372504916","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$1794D203-0BEC-47DE-81C7-AB72036A25AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$2C901A0B-4D40-415E-A393-08EA969E5353","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$B867F825-C5F8-49F4-9AD8-0E7BCF25F083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb97a0a1e3c26f34c0d6f4658c7cb47d35dc8ad3","datavalue":{"value":{"time":"+1996-11-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":"Q4715673$234E59C8-A273-4910-A383-E63304D47D90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715673$2905EAC5-C1DE-4D0A-9B8B-EFF588B3351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715673$F723F4F1-E8E8-4285-B004-A839133BED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715673$CD771961-30EE-4BFD-A25D-737EA1E3443F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca2acdff0217432266dbd38fe4dfd8e0b03c7942","datavalue":{"value":"946745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715673$CAA9DB18-1C6F-4482-9AB0-7744516C46AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$B2D764BA-3B19-417D-9F27-171BEAAF14AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$3303A457-494B-48BC-AEE7-CFB58758BD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a85d28e152a65ec457164b2ba36a4468a307764","datavalue":{"value":"equivalences between derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$4BD731B8-B9FD-4B8A-BE77-0FEC967EB7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a35f04d99dd3724edb37e2370352c4734d61e426","datavalue":{"value":"permutation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$99CEEF28-5D3F-47BE-A574-EE642623574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$EB35CBAD-7D08-42C8-BE42-8BE161659335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb6c7157eb7580d8d554ebd95808381dc324517","datavalue":{"value":"algebraic structure of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$AF34987C-A64A-4245-92CA-0DEEEBCCC4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f60a716b8f270ce436ae59a102e11f7b24ce25d","datavalue":{"value":"\\(\\lambda\\)-calculus with explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$D31CF41A-00DB-488D-9C79-14017379AEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9568cdeeb416564a20f99112b7a79081e4e8cf8d","datavalue":{"value":"orthogonal combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715673$9790DC71-223D-4A00-82DF-38E647C52655","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":"Q4715673$225B9C7A-5AE3-4AE3-AA04-FDAE34FF24AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a23b5f1b883353db1792da9968220a0c1143a3","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$1C24AF16-9B46-402B-AD46-6CA419601716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$77E8D326-D613-418F-9697-22F262E28408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"525aef71f8a71fabd320226116750f1a1f08f8ab","datavalue":{"value":{"entity-type":"item","numeric-id":1199528,"id":"Q1199528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$990D8A19-CFD9-440C-A4E7-F9BB786455CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fd91746d52c6e95577227ca648026c392e49f2","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$3C2176DC-9686-4A66-91A3-DCF459990061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$FB12F08E-373B-4813-B851-1C4690517328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715673$4476A3B6-1932-43BD-832F-DE6BD99CC325","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af89478c796d997b19c78b8828c60d723c8380f2","datavalue":{"value":{"entity-type":"item","numeric-id":2843602,"id":"Q2843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1cbe558035d86516b8c57993f08fb49eb94d19","datavalue":{"value":{"amount":"+0.7766621112823486","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":"Q4715673$7492788F-F947-42D1-B72C-7215749B4B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbdc6542d2cf953da88e7f6b4554d455ec1735e","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b67a025e7bfce1d2cc067b4b7e17e04d9d1b48","datavalue":{"value":{"amount":"+0.7477570176124573","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":"Q4715673$F7895FE4-8566-4C17-AC2D-77CEA10CD59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9700c198863ee7cdfccf0298fc0aa7e735fbe1f9","datavalue":{"value":{"entity-type":"item","numeric-id":4808736,"id":"Q4808736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74af9f1d4d3ea3d004373fa3727da75943941c4","datavalue":{"value":{"amount":"+0.7466764450073242","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":"Q4715673$16B07A59-B324-4C0A-BD72-01A0141E1995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed4452b88de96217fce2d9ac9f739d7aa5dcc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3719825,"id":"Q3719825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0140d77ff1975aa570bd56b51a24ea7605d4b3b7","datavalue":{"value":{"amount":"+0.746641993522644","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":"Q4715673$27C55990-416B-43C4-8C49-DEE774246322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ba2970c68de4f2023855e1aea9a24bdc489dde","datavalue":{"value":{"entity-type":"item","numeric-id":4304752,"id":"Q4304752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f32f78f13dde1751346d1db5489ad5cfc89a3fb","datavalue":{"value":{"amount":"+0.7407265901565552","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":"Q4715673$CD1EBBC8-C815-48DB-9152-B1748F5C7035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4715673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4715673"}}}}}