{"entities":{"Q1338780":{"pageid":1349519,"ns":120,"title":"Item:Q1338780","lastrevid":70178931,"modified":"2026-04-13T12:58:24Z","type":"item","id":"Q1338780","labels":{"en":{"language":"en","value":"Constructor equivalent term rewriting systems are strongly sequential: A direct proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 691034"}},"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":"Q1338780$B008ABDF-9D69-43A2-9D22-01FEF2F0D20B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67d80206e5f7c9fbc8a325945ca680e7b1611a16","datavalue":{"value":{"text":"Constructor equivalent term rewriting systems are strongly sequential: A direct proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1338780$2A02F2F9-490A-414B-A3FB-6CDA1943DEB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6f6e98e1ad10ef369fc0821c133426e299e3683","datavalue":{"value":"0823.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338780$A89D7488-6F32-44D9-B6F1-9AA1F0220A32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3a5573835e2211d7a34fc0154f1de66c17f0bde","datavalue":{"value":"10.1016/0020-0190(94)00122-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338780$C52DFE4F-4FD6-4355-AB5C-FF1634D11600","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c53283f06a783eebebf881549b5dd1ed498267f","datavalue":{"value":{"entity-type":"item","numeric-id":248923,"id":"Q248923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$9E18B498-E496-4A90-B424-A8CA98DD878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b360dc0f9cdfe65809a8fb545e8df79a2952addb","datavalue":{"value":{"entity-type":"item","numeric-id":674752,"id":"Q674752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$702A2D3F-F9B5-4209-94CE-CBB423938FBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$421B62B8-1E40-4FF6-B295-F4CABA39A3E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59ca7dddaabc95164618b3a928cf28e73e38b708","datavalue":{"value":{"time":"+1994-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1338780$8D82FFC0-50B0-40BA-82EC-B7B6A0AB0A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338780$874A8D55-8222-4D10-9537-F8FEE5D36C4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b916ce5d2a0b6319f6358c02127203c042a9b8","datavalue":{"value":"691034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338780$457E094A-4E2A-47FC-BEDC-AB13BF0E1EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338780$BE61C755-24AF-48AC-A1CC-75E2C47C4219","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":"Q1338780$C5F42FE0-8B7C-4C3B-920E-020376E90EAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42fd7265bfe84f0f26745aa1898cfaa68f22ff60","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00122-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1338780$A1A24F6C-39A5-4581-8421-E3F9A9AE1C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4435d7f2728be4a805b622c119bef730f2df5db4","datavalue":{"value":"W1995788030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338780$12EFEBD7-D7F2-4D70-BFB9-E082EB7A3E19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f4bbf724ff4ffd0a48d479449bf9bbfc25a287","datavalue":{"value":{"entity-type":"item","numeric-id":689634,"id":"Q689634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$E63BFF36-FBAC-4814-A395-4B375631DBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$2775A1CE-9625-453D-9DCE-716C23A6899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5147416ec2161493d5545370272bdd687c6708c","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$B5519F5D-2A0E-4E21-B244-0D5A334A913C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccdf7173fbc3e3fcf1b15214f83d5bbcd461200","datavalue":{"value":{"entity-type":"item","numeric-id":5055738,"id":"Q5055738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$EEC9C94A-048C-4D55-8B1B-F2B9FF90ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016e8963cc34ca4f74cab0dbda793d95e86a5221","datavalue":{"value":{"entity-type":"item","numeric-id":1059392,"id":"Q1059392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338780$5777B748-CF60-489D-BC7B-3D305AC403E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45666dabca91a135c1af8f8472798bf74e92b057","datavalue":{"value":{"entity-type":"item","numeric-id":689634,"id":"Q689634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efad99edf6bf472831df2daeaa4f639d9d6b057","datavalue":{"value":{"amount":"+0.9043181538581848","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":"Q1338780$B7244F7F-54F1-4A2A-B173-6810AA42AC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099a81d600b274339feafb0733b0baf53d305559","datavalue":{"value":{"entity-type":"item","numeric-id":293294,"id":"Q293294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e889192909504b77128570ea112517acc978464","datavalue":{"value":{"amount":"+0.904226303100586","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":"Q1338780$0A5E32F4-31FE-4483-8A62-6B5480D307B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c0e5a80083d9783c85f3824aed10eee72f271a","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49753c7dde5e2b1e4cf2d12cc4dd1267b1ab15f","datavalue":{"value":{"amount":"+0.8178173303604126","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":"Q1338780$855C754E-EAFB-4F1D-A2BE-8CE202415D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946df74ccf4dc68559e50e2ab772e69aec18121c","datavalue":{"value":{"entity-type":"item","numeric-id":674754,"id":"Q674754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5571185104cf4da237b1e1f350b68e65677b4312","datavalue":{"value":{"amount":"+0.8166729807853699","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":"Q1338780$518D8AD1-0DE1-472C-AD71-059E2653DEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f4d893081f0a342c302224ba339edd0f5ac089","datavalue":{"value":{"entity-type":"item","numeric-id":1093366,"id":"Q1093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97adf92b3e5d6e96329d60d07e3f3df0ace6b78","datavalue":{"value":{"amount":"+0.7970247268676758","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":"Q1338780$340E9B91-3A2E-465F-B324-1B7F8455B9E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructor equivalent term rewriting systems are strongly sequential: A direct proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructor_equivalent_term_rewriting_systems_are_strongly_sequential:_A_direct_proof"}}}}}