{"entities":{"Q2703745":{"pageid":2714490,"ns":120,"title":"Item:Q2703745","lastrevid":82756097,"modified":"2026-05-06T21:52:40Z","type":"item","id":"Q2703745","labels":{"en":{"language":"en","value":"Embedding display calculi into logical frameworks: Comparing Twelf and Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576675"}},"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":"Q2703745$D4AF7FF1-0406-4306-B2A2-BE5EC47ABE1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"944c8aa79c256d011af501353260e3777b39a98a","datavalue":{"value":"0970.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703745$3FB5F6E1-0359-4673-9838-1C8CCED0F183","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703745$8090B6B5-DC49-4BD6-97BE-AE6674781E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703745$C6859DCC-589C-46E0-BE21-BE068E6B5538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea2ded88325e903b7f55f9d8e847a5de315d1740","datavalue":{"value":{"time":"+2001-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703745$0316377D-14D8-4FC1-8E6B-3D41A120D7F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703745$2A88958A-310B-4B81-86F2-FE32C35587C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c31a7fdfa4017957bbfab49df0ca8f34e62512f8","datavalue":{"value":"1576675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703745$50596B9B-97EF-4F89-9651-CF12D8C8FC1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad697d93a7e2654ad4692743127b9377cfd6775f","datavalue":{"value":"Church's theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703745$94FE5975-09EA-443B-BFFA-4229888C9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4105e7cdbfc62130dc9f0b1a30579274e71c0e57","datavalue":{"value":"dRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703745$E1D1DE79-B839-4273-AFDE-40F676139FEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703745$240D4587-5A47-4499-BF6E-12B334F7FF8B","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":"Q2703745$01C1E093-BA92-4100-94F6-B202B3595A9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e173d2ce981ee5f8edefeef156688c578ae4f57","datavalue":{"value":{"text":"Embedding display calculi into logical frameworks: Comparing Twelf and Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703745$A2BB2E4D-8CB9-4584-BF5C-CEF1393EBE1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4243d97e0a8017982b8094990ee6233d892c66","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddcb0dd7a777f17bf56b1908b4ab685eea68af05","datavalue":{"value":{"amount":"+0.7753180861473083","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":"Q2703745$B606222C-248D-4286-A221-2FC5367E087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a64c47bdc30203f90f4e8f7ff55f9739dfb7112","datavalue":{"value":{"entity-type":"item","numeric-id":3183521,"id":"Q3183521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5661a193bb2ca2e870989fda5fc211a6d5fe4a4","datavalue":{"value":{"amount":"+0.7728403806686401","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":"Q2703745$52776A86-7FB2-4025-BEF2-CBBD6F2DB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353bddc263192ea6c66cc0e0a6b7975b822ee61f","datavalue":{"value":{"entity-type":"item","numeric-id":4246973,"id":"Q4246973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8672fbd8ff91cdf69c729a7cb5493ebc556ec9","datavalue":{"value":{"amount":"+0.7641577124595642","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":"Q2703745$87027E5E-C0F1-43C6-9820-24D8941072AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446af417b1165c073a34fdc7f7ff570c7db50f05","datavalue":{"value":{"entity-type":"item","numeric-id":2843910,"id":"Q2843910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8672fbd8ff91cdf69c729a7cb5493ebc556ec9","datavalue":{"value":{"amount":"+0.7641577124595642","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":"Q2703745$6AFD3296-EB29-4AA0-8C29-7F934BEE8981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d700ddad6d1e7cb86f82803ab615af4c6216d9","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e21970ea3cfba912f9338344162c9a022ce083","datavalue":{"value":{"amount":"+0.760468602180481","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":"Q2703745$CB28F4C3-2CBC-43C7-94E7-D9F210F27BD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding display calculi into logical frameworks: Comparing Twelf and Isabelle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_display_calculi_into_logical_frameworks:_Comparing_Twelf_and_Isabelle"}}}}}