{"entities":{"Q672235":{"pageid":674084,"ns":120,"title":"Item:Q672235","lastrevid":63704199,"modified":"2026-04-11T14:58:26Z","type":"item","id":"Q672235","labels":{"en":{"language":"en","value":"Infinite normal forms for non-linear term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984876"}},"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":"Q672235$3651CACD-85F7-4A31-BA64-9A399AB536A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b7e6abc6d2c4d41b60725d11215ce603ea8bb58","datavalue":{"value":{"text":"Infinite normal forms for non-linear term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672235$78A37834-C55B-439A-A7FA-1B82BE2F7B99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f57bfe9a73330e5e1d6b55fe01e74c3147a84c9d","datavalue":{"value":"0872.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672235$85480B19-B2D9-4A13-B179-BB58BE8B582D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"787fa5d2ce955620e73a5d6b5224db264172dc7d","datavalue":{"value":"10.1016/0304-3975(94)00244-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672235$EC42DF42-0D84-4111-9F4B-FCDB7D445236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$B78D5C7A-3C78-45B4-8074-612716439D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee4c8c1a79b9afc061b0d6b7a179857b6ef91ec","datavalue":{"value":{"entity-type":"item","numeric-id":672234,"id":"Q672234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$6B99BCB8-D87E-43BD-85D8-F0573F70BC1D","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":"Q672235$3D576C2A-E7C9-4AD2-818E-9B5BF1667876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672235$652DA906-DD67-4DD5-BBE2-6079CBEFA4B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672235$B4121101-5485-437E-82FE-9054F4619112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0fb1f1fee000dd1af20d099434ff0f5906e6182","datavalue":{"value":"984876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672235$58CE755A-42FD-46E9-B957-2AE9140392F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c46429360abde7a471199b50e607b0f644fc42","datavalue":{"value":"nonterminating rewrite relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q672235$D03C401C-EE19-4436-84CD-9139D7EF8E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a532261af2ed23a02394663b761b6acae1cc742","datavalue":{"value":"nonorthogonal term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672235$EA3FADC0-CDC6-45F8-8216-82F5F48CCE84","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":"Q672235$60527D56-7E35-4959-8DA5-B819A2F3C97A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"224ad42adc7bd1cdd3b10c5a0833a16e1ab751b9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00244-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q672235$680F4161-F966-45B2-B55B-C4F95947C3C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a3e7cc912a65d7a762f5544cb370c4890fbcaf7","datavalue":{"value":"W2004273699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672235$45E93FEB-398B-4B38-AD0C-5344C4CBC7C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$F079A193-0263-4A76-8B48-040B6E853E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$5AB03F44-2EF2-4220-ADE1-7DDEA8387F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e339c0f52b065b7629f93e04f820bac86e415","datavalue":{"value":{"entity-type":"item","numeric-id":4772711,"id":"Q4772711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$4127CC8F-7CE5-45FE-8053-EA7E0160CA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$DB4108EE-7588-4730-9A4E-9B5A6BB74EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$47FD3E3A-9F3B-4EFC-BA65-00BC7E8E3CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$38946C1E-DF39-4DDE-AA33-F814E6E07169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bfc0e0d1a95446cd73126c3109fcefdcc1c6f6","datavalue":{"value":{"entity-type":"item","numeric-id":4934252,"id":"Q4934252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$F5A6D487-B4A1-4D1C-B850-908640F061CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1c59338f55ea4dcdea0f9c47d695d90310e4db","datavalue":{"value":{"entity-type":"item","numeric-id":915472,"id":"Q915472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$A7F210F7-AE13-4066-9F8E-DC6874D35B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd70c08dbdb04d184ea9ff6796e4bb90e70145d7","datavalue":{"value":{"entity-type":"item","numeric-id":673974,"id":"Q673974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$B66D4B2C-D0A5-4E58-84BA-0E3C6D8E3CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9a982fb123f5043a9bcd1ef118fe2229af2d13","datavalue":{"value":{"entity-type":"item","numeric-id":4035244,"id":"Q4035244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$A77C3062-FBA8-4B94-A94D-803B9021F1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9621551e44267353a19dc47f7f55496ea54c2c","datavalue":{"value":{"entity-type":"item","numeric-id":5096902,"id":"Q5096902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$655926CB-3C34-45EF-B043-C912DBC088F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47887b51bb71d03f5d015de9e3f52fc32bc9e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5055744,"id":"Q5055744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$DB4B0642-6600-4A10-91E9-045BB9FBCA13","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":"Q672235$BC094BC3-E581-48C4-9F47-07B62B3A60F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672235$B8F4F224-FE07-4B30-9F8E-43E5B6558C0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a4f832c9d474e682f661372f61df5b36763ca","datavalue":{"value":{"entity-type":"item","numeric-id":4035244,"id":"Q4035244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5745db094549a04ce00930cb941cfc4ae87f4090","datavalue":{"value":{"amount":"+0.9312695860862732","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":"Q672235$85E4928E-B001-4DF6-99BB-DADA4B5CA6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75eded395aba2e8c36d81c33f868bc04210a90d3","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2e8dfac45ed59ce0b114342652a4e549e1cb46","datavalue":{"value":{"amount":"+0.9308748245239258","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":"Q672235$7C15A2BA-E956-43DA-81FF-6FD64AA1B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a2118a6b2bcbb8fad1a79b434f4422bb6a0c35","datavalue":{"value":{"entity-type":"item","numeric-id":4205073,"id":"Q4205073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54457c9eb2ef13130c6a0fdd03462ebffe871aaf","datavalue":{"value":{"amount":"+0.8763758540153503","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":"Q672235$7DA377AB-97F0-47E5-998E-5E00AB68E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41aaa57fe30511832972547fc629c35640b6da70","datavalue":{"value":{"entity-type":"item","numeric-id":5881271,"id":"Q5881271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7e55cd058df0db08b5a1e08b0fd34a570f70be","datavalue":{"value":{"amount":"+0.8630017638206482","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":"Q672235$C879AE9E-F3F0-4224-AB95-3439B11F911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e50ff850cd8e98f828d25404e71dcfe0a69b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2843930,"id":"Q2843930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a42f290b75b17bf613639ba5c2f5c119948aa8","datavalue":{"value":{"amount":"+0.8275707960128784","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":"Q672235$C6166616-CEFA-41CD-AFEF-816C248F61AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite normal forms for non-linear term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_normal_forms_for_non-linear_term_rewriting_systems"}}}}}