{"entities":{"Q5308093":{"pageid":7337667,"ns":120,"title":"Item:Q5308093","lastrevid":40962084,"modified":"2025-04-16T04:09:17Z","type":"item","id":"Q5308093","labels":{"en":{"language":"en","value":"Mechanizing metatheory in a logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195942"}},"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":"Q5308093$BF40FA6B-281A-4653-BD48-3F7A5BF5A609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a734dc2e0e23430a862ac19d755cb314a95191c6","datavalue":{"value":{"text":"Mechanizing metatheory in a logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308093$E76E6E0A-9FF7-4C44-BDB7-5E97648E7CF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"884a15c773f52e0708a677911b68197277fa4f1c","datavalue":{"value":"1125.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308093$90CA6D7B-31D8-4C8E-8377-6847FF014C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a636b388b5cc8182c95d4b0bf18aa6e374cec127","datavalue":{"value":"10.1017/S0956796807006430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308093$96151B18-00B6-4AE2-A02A-0BAAB3AD648E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$9ED163A1-3878-4344-9507-FDBAB116E347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$354E3020-766F-4F44-A0AB-7F1F3D768760","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$B517B4DA-2B20-4B54-AE21-85B5F0477D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f805aedaf7c0349624b9d43ddf89f2714900c182","datavalue":{"value":{"time":"+2007-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308093$7FEDF535-50DD-415E-B2E1-EFEA92E6A48B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308093$5903F940-0296-4114-B300-327AA59917B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308093$E794E4FB-21D5-474B-AC00-04BCE94818FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308093$4A3B2A49-CC15-4F99-B1E3-BB1A4F8A9F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7062be6cb8bc2c645976b04445bc547bf229642","datavalue":{"value":"5195942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308093$3CDAD476-291E-45C7-9A26-C9C9A8CCD2F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308093$7042597F-282C-429A-B1DA-1A02C362EEA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$41F56AD9-8DD9-43BB-9E15-2D06B3625EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$1E2A79AB-5732-4E0E-8E8F-A5210F724A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$C6002FD7-E6DB-4BA7-B4C2-1A868AF71545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$D1FC396E-50D9-4496-8EFF-AE39A01D3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$8E2FE14D-9B60-4481-B775-E9B522D1E51F","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":"Q5308093$9D159BF0-D077-4BE3-9FA2-7C0A9A8C7E37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$BAAA7E5B-E644-4F8E-A4CD-58C766A51BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bde9ce13adc25a47b859f111cb927e8501a14","datavalue":{"value":{"entity-type":"item","numeric-id":2841235,"id":"Q2841235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$0EC1BD54-589B-4185-90D0-B87C9C65021E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94721e1e032fbadf18e9bc1327b35c58351cc50","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$631FBA73-F7A5-47AC-B86E-91583B0C2B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$8268B75B-9EB4-4D79-A640-5BD14109187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308093$F8DD7B9D-D051-40E1-A2ED-92352C904EAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7140a2ae246559fc814817943371da5d5e1056","datavalue":{"value":{"entity-type":"item","numeric-id":2323447,"id":"Q2323447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64135efdfbf726e6efd6f045680da29fde57b12f","datavalue":{"value":{"amount":"+0.93734014","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":"Q5308093$F336F5E0-DADF-46FD-8C8B-878AD8982958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350bbbcc96b3ac8c2c61b1f1bec9ed4cc54fd1e2","datavalue":{"value":{"entity-type":"item","numeric-id":2151399,"id":"Q2151399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc93dac0b32dc3d1eee130ca60744f2e0a9d8a1","datavalue":{"value":{"amount":"+0.91920465","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":"Q5308093$62F25B86-B107-4898-B834-8045C27481BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204471d84165c32ee6ad7e41e1107beac2a871b5","datavalue":{"value":{"amount":"+0.91675484","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":"Q5308093$6F18474E-D65F-4AC9-902C-DA7500A0E747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c906d6ea96f2de0343d3de6007ed4dc3002c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2871843,"id":"Q2871843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56578bee4888a413424afded07c68bae180d420e","datavalue":{"value":{"amount":"+0.9086088","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":"Q5308093$CDE6271B-568D-4999-A74C-008FADF54A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23071d44cf42c6a671af29cc74f4ddae3eb8209","datavalue":{"value":{"entity-type":"item","numeric-id":5872869,"id":"Q5872869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cc7471dd0c4a49e3af65ec0e7bfff04ca3bcc0","datavalue":{"value":{"amount":"+0.9062375","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":"Q5308093$5F0B1827-5B83-485F-89DB-CFBBD5846DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f32f7afc6645b673602a57956dc8615f52a3e28","datavalue":{"value":{"entity-type":"item","numeric-id":2352491,"id":"Q2352491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902e07860893396d56d93f496e5ef5ec99554c3a","datavalue":{"value":{"amount":"+0.90323514","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":"Q5308093$4FF2E500-8FBF-4B3C-A687-23D34C34CE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462b619ee83e0de0f780c32b64d23747464fa884","datavalue":{"value":{"entity-type":"item","numeric-id":3807197,"id":"Q3807197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba9bee2deb8bfb343c63110d11d9bf4d4abd1e5","datavalue":{"value":{"amount":"+0.8990982","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":"Q5308093$46827DDB-445B-4B17-A3C8-582906BE88D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14369c1b2b26c1a5adfc89152eb76e189196af45","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711210c37fd63cabb63068c244065f3973a9423f","datavalue":{"value":{"amount":"+0.8987714","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":"Q5308093$8A8D8A3E-3E82-47C3-959E-3CD3FE363A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3653fa7595156c9eb48a6d6cfbdf97df9729312d","datavalue":{"value":{"entity-type":"item","numeric-id":2849493,"id":"Q2849493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a494bd0edbe542d56e22a82ffe991613e3f00b0","datavalue":{"value":{"amount":"+0.8965127","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":"Q5308093$761A52F4-B508-43F6-BCAF-09DADA27E5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16db67012b2077f5bad56f6e6e6bfa4f8ae41098","datavalue":{"value":{"entity-type":"item","numeric-id":2676562,"id":"Q2676562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fc5e9a05268fce29115cb0dfade02ac52d1c75","datavalue":{"value":{"amount":"+0.8960935","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":"Q5308093$F24D4622-AAB0-4383-BC91-4DFE772E50C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308093"}}}}}