{"entities":{"Q1183582":{"pageid":1194331,"ns":120,"title":"Item:Q1183582","lastrevid":70204896,"modified":"2026-04-13T13:09:10Z","type":"item","id":"Q1183582","labels":{"en":{"language":"en","value":"How to prove equivalence of term rewriting systems without induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33400"}},"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":"Q1183582$95AA22C4-2AF9-4EC1-902E-681CA1EE9AC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2740d294050eaf70ed0e776615110dee88be7ec9","datavalue":{"value":{"text":"How to prove equivalence of term rewriting systems without induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183582$59A7D4B0-ADEC-4140-82D1-517BCFEF1500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7db1440a8cad37abe887b81c5db08b39f4050a1c","datavalue":{"value":"0746.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183582$A02D69D4-6DC8-4C03-8AFB-6D5688F35E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183582$E646B6A2-5422-42D5-B845-A910B9E4E99F","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":"Q1183582$D2B9AA04-6C26-4F26-996C-C12772034DE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183582$9CC3F52C-BCFB-49F3-AE24-8017E231013D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183582$77A952B2-C007-479C-9CA7-712F719BED7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e863dcde2dddb8aa433da5f490fb6e87e57aaf0","datavalue":{"value":"33400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183582$C938A6DC-4AD9-4D65-B9C6-35FC890DCB54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f56ee3ed4132ff6f16924e8ee6a1798ad4fe07","datavalue":{"value":"equivalence of term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183582$BD486439-09F7-4097-802D-3EBECA3C75A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183582$B8AF272C-8F99-4DA8-BF3F-C53D98D14403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183582$3FAA917F-ECC3-4BAB-8EC4-8B3C65A427AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a0fbf1321309eb519d204c050cb5e89adf9b3","datavalue":{"value":"inductionless induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183582$47D42E98-3E4F-4FFB-9F6E-1A306B459A79","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":"Q1183582$4806CC81-DDC3-4E93-8081-D085203E4BE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc0e9dfedab47de88b81004c6a469f687595725","datavalue":{"value":{"entity-type":"item","numeric-id":3783518,"id":"Q3783518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4044ef6a546f46e3176528d501afe7f11ba02e","datavalue":{"value":{"amount":"+0.9828760027885436","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":"Q1183582$546E1841-F2AF-445E-B136-26DBBE993213","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":"e2d82f37cc0b1d2b9677986333db3f2580873fc4","datavalue":{"value":{"amount":"+0.8454685211181641","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":"Q1183582$6352C0A5-9D7C-4062-88F6-F84306D3751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecba8fd5eba8c85bbd4bcc43c5b043c49cb11fd","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4274e82b676ef352f6dc38c331650aa998c50c","datavalue":{"value":{"amount":"+0.8274185657501221","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":"Q1183582$BFCA2CD4-FB24-4534-9560-C05696C2786D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ea7c93edaa58c009afa0f45c768035fa8c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787c9897d5ec7ae5bcc901b9ab259426cf6cf4a4","datavalue":{"value":{"amount":"+0.7994630932807922","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":"Q1183582$F6240941-F0F3-4E8C-9FA7-10658C9044C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938af511b8f0960c3f714ed815cf0849499e5a37","datavalue":{"value":{"amount":"+0.7756403684616089","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":"Q1183582$B093CE48-F5FF-42D7-8252-E73FDB5D350D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to prove equivalence of term rewriting systems without induction","badges":[]}}}}}