{"entities":{"Q3783518":{"pageid":5813424,"ns":120,"title":"Item:Q3783518","lastrevid":52537082,"modified":"2026-01-22T22:01:25Z","type":"item","id":"Q3783518","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047062"}},"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":"Q3783518$57CCC5E5-8AF3-4E0F-9FB1-B5EC2C13BAED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd2b09167d8a5065a3d429abe2dd82146a8e223f","datavalue":{"value":"0642.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783518$20EE7035-9937-4AD1-83D9-5A88124DD3E1","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":"Q3783518$70466E7B-E5FC-4EF9-935F-4134135C5925","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3783518$21959233-0A41-4263-BD17-8245464F30CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783518$1E67D6C1-4D26-4FEA-A65D-20AFE6FDC13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783518$15A879FB-433A-4102-9242-C1E333512CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783518$0A366A6F-A510-437A-BFD6-FFCDFF66FB2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46427bce1c7ebf8e293c78c61eb16a9bd8d65f46","datavalue":{"value":"4047062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783518$751BAB22-3DDA-40A6-AFA0-FB3A9DA5CD0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783518$2E0D104F-38BA-44BD-BA72-9BDCF2E046FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a0fbf1321309eb519d204c050cb5e89adf9b3","datavalue":{"value":"inductionless induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783518$67C89252-E4F3-4A84-A6C2-56B131305377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f56ee3ed4132ff6f16924e8ee6a1798ad4fe07","datavalue":{"value":"equivalence of term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783518$EE913346-4503-4312-A41A-7585A9549642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c49ae5993a82349675ff861d2f7b0436bc2db5","datavalue":{"value":"inductive theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783518$ACF9F155-6203-4744-A19B-72EAD5FD5E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db759d2a446442cf3ae0140310d05420ee4e0dee","datavalue":{"value":"equivalence transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783518$7ABFE9CC-3709-4A90-A00F-CE79DE9E80A9","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":"Q3783518$C375482D-152B-4AE4-866C-7A1C48F61764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd70799035cacaa4c97b9282ffc1d71e5edfbac","datavalue":{"value":{"entity-type":"item","numeric-id":1183582,"id":"Q1183582"},"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":"Q3783518$2DA22252-45A2-477B-8C73-6131533F52BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6574306d2419827858f10ebf8d18454bcc32293","datavalue":{"value":{"entity-type":"item","numeric-id":3706484,"id":"Q3706484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344b66497ace7d6969d400c3e59f77d6a398249f","datavalue":{"value":{"amount":"+0.9823781847953796","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":"Q3783518$664025D1-4D00-4831-B214-6084663C2E7E","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":"1b69dd88d0dcfd99adb268ea850d3f6e45900e91","datavalue":{"value":{"amount":"+0.8646067380905151","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":"Q3783518$5DB18DA4-6B95-479B-B48C-3E21CE838E76","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":"93292e7cad65b7b2d4adbbb96c8e77cad884f365","datavalue":{"value":{"amount":"+0.8043739199638367","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":"Q3783518$4CB7A954-DED5-480F-A954-2771F2405AC4","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":"2024c69e6c034cfba83c61131797fe740dfd54f9","datavalue":{"value":{"amount":"+0.7703143954277039","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":"Q3783518$F33B70EA-F0ED-4585-BFB8-42A1F5F9A7B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783518"}}}}}