{"entities":{"Q3000279":{"pageid":3011003,"ns":120,"title":"Item:Q3000279","lastrevid":45228814,"modified":"2025-12-03T13:21:50Z","type":"item","id":"Q3000279","labels":{"en":{"language":"en","value":"Church\u2013Rosser Made Easy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5896918"}},"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":"Q3000279$A179B8FB-BC9F-4292-9C85-5AF6BDA05E40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72a9d95933b0cf6d5fd2ff9f1c551bb76406e05e","datavalue":{"value":{"text":"Church\u2013Rosser Made Easy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000279$C7F4250C-DBD0-4F25-A99F-A132819F3984","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55886b609b3dc83549fc633e4a5314e2ff8de15e","datavalue":{"value":"1231.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000279$6043E03C-BC77-4629-A647-09158D89A45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8980e2224b7708afca1f66bd8671f57bf378a84","datavalue":{"value":"10.3233/FI-2010-322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000279$B3F22D23-FF14-4E05-8EB0-BA2A6B80288F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000279$F80F0C7C-9C67-4B0C-B404-E10F0BB27BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000279$CE1BB6C2-E9F2-411F-8651-1D91B8D9EA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000279$EDD2F6AC-3422-4139-8053-799217199B6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000279$13F4F0F8-6BCF-4D2E-81F6-45BC06B25C5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"564ac19128be891a8e846d9d28e03245875322bb","datavalue":{"value":"5896918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000279$DE3CBE8D-B036-46CC-A23A-553864CED2C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000279$1897196E-7029-4D3D-B7D9-83B6E22F9EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000279$7BAAD258-6F54-428F-A4E0-21FE19045B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000279$9E73565D-4BBD-40D3-8F79-55688208DF87","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":"Q3000279$D998CBAE-D1A9-4870-8188-B72AC4ECCDD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abec1718a3445a55e88c81d56f44513b30d238fe","datavalue":{"value":"https://doi.org/10.3233/fi-2010-322","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000279$0B95F3E6-3CD6-4A58-B32B-57447DC7B6DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"713bfdfa039d04699dddc1c4aea230897937146a","datavalue":{"value":"W1879050965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000279$E65E5366-8E0B-4AEB-9E93-B1F29CCA2195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ff79bf79d1eb5cba07d23765bc260fe88b2202","datavalue":{"value":{"entity-type":"item","numeric-id":3527286,"id":"Q3527286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c37cc48baa0874e44cf98c10dc778907b6dffa","datavalue":{"value":{"amount":"+0.8061677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$5166ABF2-5A14-4E25-BFF4-CFB9B45D3C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef125ccfc1992f077f735ab16afe7b68cf2c8e95","datavalue":{"value":{"entity-type":"item","numeric-id":4608513,"id":"Q4608513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a51f8d50384952443cc0acd6e6c879a317cae31","datavalue":{"value":{"amount":"+0.76279986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$09B1A9F9-C3C6-464E-BC39-FB0FC0C7B967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf5d3cc76b41f2cef98da1ea797c737ba4ececf","datavalue":{"value":{"entity-type":"item","numeric-id":3401476,"id":"Q3401476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8b4cb69b9b7fb42afaa02be150c8aafa30d9fd","datavalue":{"value":{"amount":"+0.7164129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$90EF039E-2ABA-43C3-97B6-88C7E4FE2790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28794209d891970a6551fd5105e75a3a0133de5f","datavalue":{"value":{"entity-type":"item","numeric-id":5192984,"id":"Q5192984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bae1ad22fee3f733a653bf142cb97ffa32b7b40","datavalue":{"value":{"amount":"+0.70476496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$F9CB98CB-7D33-49D2-B0D6-5F96D80C35AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544383bc481d9622f34863057a064ed0a98ebba6","datavalue":{"value":{"entity-type":"item","numeric-id":3201045,"id":"Q3201045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaeff97b64430d3be94b3f2ca6577babe7a97600","datavalue":{"value":{"amount":"+0.69720197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$205A42D2-6CE0-4006-B581-B522D074D023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205ba428240be71e94d36f3d6ac4910a847b7488","datavalue":{"value":{"entity-type":"item","numeric-id":4397032,"id":"Q4397032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9499ad5bec6d5206c4bb681f41fc9fa30fab6d7","datavalue":{"value":{"amount":"+0.6941488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$7A07BE76-6AC8-4346-8B74-4547C7BA0C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de9e87b828a3f0bfa5ae082c0f1d79be804dd60","datavalue":{"value":{"entity-type":"item","numeric-id":5493755,"id":"Q5493755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9499ad5bec6d5206c4bb681f41fc9fa30fab6d7","datavalue":{"value":{"amount":"+0.6941488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$D4BB0316-6064-4ACB-BD05-E609DD732DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496628d71063cf847530ff407cd8cc3309c6ba18","datavalue":{"value":{"entity-type":"item","numeric-id":2016071,"id":"Q2016071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43439e153ba3ce91031a144b911ae338d1d34354","datavalue":{"value":{"amount":"+0.68822646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$08F4F099-8387-41E2-ABF5-17FEE171A288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c656a2044d85c06b977a2669641a7e4990c9c1d","datavalue":{"value":{"entity-type":"item","numeric-id":3088028,"id":"Q3088028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564ce339b812fc3f8990f6238a612814e2e43652","datavalue":{"value":{"amount":"+0.684664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000279$A60E1CF8-96E6-4D6A-8519-CBD1CC0CED17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000279"}}}}}