{"entities":{"Q293294":{"pageid":295061,"ns":120,"title":"Item:Q293294","lastrevid":52549766,"modified":"2026-01-22T22:50:19Z","type":"item","id":"Q293294","labels":{"en":{"language":"en","value":"Strongly sequential and inductively sequential term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590716"}},"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":"Q293294$3949CCA6-76D1-4E58-8E57-544764BF468A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132881c14d8d85bd3d7ddf826a4f5c938fea60fb","datavalue":{"value":{"text":"Strongly sequential and inductively sequential term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293294$29F122EA-6CAB-49F7-B270-8893A2150DAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf18442fc05da296da323ff23819d31287616d81","datavalue":{"value":"1339.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293294$5CCA33C7-427A-4B39-94BF-B6601CD9FF62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aa36bde4cbc40b9215aa7d8a1efa3ba0ac6863f","datavalue":{"value":"10.1016/S0020-0190(98)00016-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293294$EDC0F90D-4527-48A7-B0F0-266375CD6649","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293294$DCBF3715-3215-478E-91D4-32D0FFDB41AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293294$FBA3D7B4-D0BB-4D2F-AF0B-ADD19E2DBAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293294$8A3DFBC9-5C6D-41CE-A712-2A03D6786527","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":"Q293294$B10B485B-060D-4499-968A-B98CD4FA814C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-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":"Q293294$F2F35E55-3D45-4755-97F1-04594146E4D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcd6ef237efa8f3598e4276813d76be194f20c12","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098000167?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293294$1E0073CA-79CD-44B2-82E0-176BC3A2E63E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293294$119D9D66-B161-4F6A-B636-C08A57C422E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293294$7D626CB6-CD41-4152-A8A3-D8C8E5083B3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dff5422699288093b1da79f2a1ac4333f6bd44e1","datavalue":{"value":"6590716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293294$E0E67B2F-41BA-4DF4-B219-F5892009829E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48d41322cf8932ac8a0071b9f03e24e5b5d91ba","datavalue":{"value":"definitional trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q293294$E2EC2289-A310-4E1C-9277-6D06E2A01212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4835afdb995328103ff6430a869d71c0897676e","datavalue":{"value":"neededness","type":"string"},"datatype":"string"},"type":"statement","id":"Q293294$E5BAC900-7A0E-43EF-B67A-32E1A434F522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22bc85edc603bb887b8847e6cadfce6ad099bf48","datavalue":{"value":"strong sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q293294$E0B69EBF-0442-4288-9DE8-F791CB8260F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q293294$D52BC8C6-28A0-42C0-94E6-D57AD1F93583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q293294$825CC3DB-4892-41B7-B3CE-1F21F54242D3","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":"Q293294$E36517AB-BF88-4E16-BCFC-A19F09A0B08C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293294$7B862FF7-AFB0-4A7C-9F23-BA4DDE6D10A4","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":"Q293294$F0E8F8FC-D18A-4F29-97A8-ECA1D3C7B53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621c74ec4ffc782a3586c027189f19d5c2ee9673","datavalue":{"value":{"entity-type":"item","numeric-id":1892142,"id":"Q1892142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293294$7BB7FC35-73DA-4491-80F8-A1FB0160ED0C","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":"Q293294$7CFE9040-FE1C-493A-8C7E-2270A1DC897B","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":"Q293294$C6F6D5EB-BB3D-436E-B455-A19D64BE7F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293294$76DAD57F-DEED-44B5-BC13-146CB00406DF","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":"Q293294$F78010CF-54EE-4374-A50D-85BBB31C2173","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b2fd67b73c7718e84088b6f6d0b45b34bfa7d9","datavalue":{"value":{"entity-type":"item","numeric-id":3540390,"id":"Q3540390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912f01accde355def9e4dce81cc7ce3223788240","datavalue":{"value":{"amount":"+0.8525946140289307","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":"Q293294$6A1BE7C0-0B83-4C8C-90EF-80C68CCA2332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24699d25f0c6d812b1a4a1f877e2340c52be9010","datavalue":{"value":{"entity-type":"item","numeric-id":1338780,"id":"Q1338780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b8be0a3de0f2e29974e97d52b59ab1362275e7","datavalue":{"value":{"amount":"+0.7832728028297424","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":"Q293294$5B38AF91-26E4-426C-BA1E-8709950F7EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e11a82f408d27aedbd24b0e54946257c8090ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4808760,"id":"Q4808760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b8be0a3de0f2e29974e97d52b59ab1362275e7","datavalue":{"value":{"amount":"+0.7832728028297424","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":"Q293294$1E75A810-D673-4935-9699-DACF1D015EE2","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":"21938debb17c990704c633abcc94da5cc7e5b235","datavalue":{"value":{"amount":"+0.7798144221305847","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":"Q293294$5AFA909F-D67A-4A2F-8919-1DE203571BD7","rank":"normal"},{"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":"97ae8dd3556a8b48b09383e1781896d30d777378","datavalue":{"value":{"amount":"+0.776930034160614","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":"Q293294$4873853F-7EBE-43A9-9F61-89B55984DE68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:293294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:293294"}}}}}