{"entities":{"Q5055744":{"pageid":7085321,"ns":120,"title":"Item:Q5055744","lastrevid":91919822,"modified":"2026-06-05T00:24:34Z","type":"item","id":"Q5055744","labels":{"en":{"language":"en","value":"Transfinite reductions in orthogonal term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631152"}},"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":"Q5055744$438B27CB-8751-4AEF-A8B9-99501319B01F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1066aed2037375cfe7e871e93915f2c72eead8c6","datavalue":{"value":{"text":"Transfinite reductions in orthogonal term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055744$980C8C19-E536-4AA7-B1F3-9F13021B5AD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa46ead9a6d21117959edeb5eb6ce269c298b015","datavalue":{"value":"1502.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055744$15BD4FF2-3F77-4EA0-96E0-B2ACC64F381B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bd930c4002aad076e49aaad214e8ae702b6f1b9","datavalue":{"value":"10.1007/3-540-53904-2_81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055744$3863BF2E-1F29-4993-BFA8-A9B9B0F99569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a0f83b3a96f90d2c59dc38ce677f7e865be720","datavalue":{"value":{"entity-type":"item","numeric-id":1090669,"id":"Q1090669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$E1DC5716-D888-4CE9-B14D-BC6021A4FCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$7576A8AD-EA4B-41C4-90EF-1879C63C1437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca26fc215e519c9f5e5fec9062509fdc8c55ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":1090670,"id":"Q1090670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$56B07415-09FD-4566-A818-FC8276FC9642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$FF3002B8-BDCD-4DFD-B974-E91C6AD91BAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$06D167CF-FE78-4913-A561-E4A8E43CE069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055744$4465DA58-FB1A-4B42-A369-F6E51FCF5DF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055744$57DC9617-35E2-4026-879A-6A317E7A9C9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d26f01dc64396e992d1dbd7ce364cb302949de1","datavalue":{"value":"7631152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055744$50AFAFEA-CA72-40BA-852A-899257C18221","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74907b7afc00123be479b2e59daa532751b263ba","datavalue":{"value":"orthogonal term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$292350E8-1FEB-4D64-A8F4-7D500ECF344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$7CFDF025-8B52-4FE2-8EEE-5C6726F9AA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7145bb54be784f5d031bae6eed8c70e815f7f43d","datavalue":{"value":"strong converging reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$F4E9DB3F-2AD9-4F48-88E3-8797424FF2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2866615b68999b942eebc6524622df5abdf771bd","datavalue":{"value":"infinite Church-Rosser properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$5F5B8698-A506-470F-8C1A-77107A9A8AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$4D40D349-EC88-490C-A911-FA7CAB9F6A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$D81503DE-29DC-4020-8AA5-290D80836984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884da9404cd9b00c569815cc655da7b3297bfcc6","datavalue":{"value":"head normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$7B6271D6-BF6B-45DF-A346-110CFD61D3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c8a40143d9698ec117d55341fb0fa8955e1ade","datavalue":{"value":"non-unifiable term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055744$EC9C35ED-3044-4554-B7D4-98DDF7202611","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$3D2A051B-077E-417D-9454-91CDADBA6EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$6F99C264-9FA2-4286-905B-47D48CE7CCD2","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":"Q5055744$ED3E74EA-A34F-4A7E-A877-30235C5E03E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ba79c227c6665aec5fcb83aebde687b7e53bc67","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_81","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055744$AADE8967-89AC-4E48-96C7-9079A195B9F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e45c42956bf50f1966776b68a018f9d0fa94793","datavalue":{"value":"W2166184800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055744$7DAE99F6-CB05-42E4-B9EC-34EC36F288B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$EE79DF23-F0F7-42A2-9487-46CD1CA41984","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":"Q5055744$0452736D-4C43-4458-88D3-F5683F7D0ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1918f5bb53459939633cf3c465067b1eaa7154","datavalue":{"value":{"entity-type":"item","numeric-id":3210897,"id":"Q3210897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$82D2EC5F-725B-4F64-BE0F-0F9E9FA44463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$8B71A3CF-5E21-4F9A-B1D7-002939358F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$2BF845D9-91DC-42B9-9332-F1A5BBB958B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$76044ACC-01E7-47F5-A2BB-FC27A906E103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055744$9A66D511-24BE-42BB-BF1B-D0DF694C82DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1479344032656739c350d0c18b681ddbcba39c","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04140c52783076053770c4f2a6bcc788d7af969","datavalue":{"value":{"amount":"+0.912246584892273","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":"Q5055744$4B268794-0364-4098-99B8-AA6B08EC624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3a0b5cd885b6a4663a0877fb8cbc03331e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389152,"id":"Q5389152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897f9f024c47681e60a2fbbeee240d723df6f81b","datavalue":{"value":{"amount":"+0.8383224606513977","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":"Q5055744$37E9C33B-F614-426B-98B8-CCC8BA231C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3e13ec7d137f01950a39a61f32d43b8a63ecab","datavalue":{"value":{"entity-type":"item","numeric-id":5419491,"id":"Q5419491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4938f714f2058afde5c63427e55196b4ce1f028e","datavalue":{"value":{"amount":"+0.8369718194007874","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":"Q5055744$499CAA3F-96F9-4F7D-B588-31348CCAB450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20680439dab42b72b681f0d4d36aff89c54e32b","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ba544acb0078d7ec9bb23d5f877fd25a6c09c8","datavalue":{"value":{"amount":"+0.8207281231880188","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":"Q5055744$622FBA48-C9BD-47D4-9A6E-2DC6AB785B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724e38d90db6e49b0184e8f5f1ca682c40c8133c","datavalue":{"value":{"entity-type":"item","numeric-id":5389137,"id":"Q5389137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616d6980e6662ee330334ec384fe7b0e7fd87252","datavalue":{"value":{"amount":"+0.8202996253967285","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":"Q5055744$99699999-8A7B-4EFB-8495-528A20C56A2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transfinite reductions in orthogonal term rewriting systems (scientific article; zbMATH DE number 7631152)","badges":[]}}}}}