{"entities":{"Q2352491":{"pageid":2363234,"ns":120,"title":"Item:Q2352491","lastrevid":52299755,"modified":"2026-01-21T09:33:04Z","type":"item","id":"Q2352491","labels":{"en":{"language":"en","value":"Mechanizing metatheory without typing contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455030"}},"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":"Q2352491$83863182-EF2A-4109-8DC5-7DBA71952BF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dc62b865eabd9219d3406904d66ea49e8a74afc","datavalue":{"value":{"text":"Mechanizing metatheory without typing contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352491$98EF3168-3909-40F2-B5C7-AA7C5EAF8524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b11f8f822c5ade99dc64a1cfb631fd76e4cd10f7","datavalue":{"value":"1332.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352491$70745CD3-4D16-4C04-AB27-E9F5BA98DED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"497b9cd43793e3ec114da580b8b6e36e06ec6c65","datavalue":{"value":{"entity-type":"item","numeric-id":2352490,"id":"Q2352490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$D1C43FC0-8C37-48FB-BA03-5CCB148043D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960ec5db08fbcd49fa89ffa814c6eba04b6e40f4","datavalue":{"value":{"entity-type":"item","numeric-id":306394,"id":"Q306394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$C73C404C-2CBA-46BB-85C0-48099E8256A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e187b2549084d3b0400c26e513ef456c843715","datavalue":{"value":{"entity-type":"item","numeric-id":618310,"id":"Q618310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$2B35258D-2FB4-4A4E-A09D-347CDC46B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbe4f31a299a7c3936057a2f2a53d001af3977","datavalue":{"value":{"entity-type":"item","numeric-id":971576,"id":"Q971576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$E23B5807-72DF-45F7-9961-B2B98F35793E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$15150639-CB40-45BB-AADE-0A41CDA0BCDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2352491$D5DD1752-C8DD-4414-A775-5AA43DEA382D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352491$9AAA08A8-F59C-457D-8CE4-3532E065EB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352491$FCCC4E6E-F402-4085-B3D7-2F784B9B33B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"934d0f4cbf37e7ef9c9114dee66897c6ccf35d27","datavalue":{"value":"6455030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352491$EC9898A8-E251-471E-A087-E121518BF993","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109a54881d3abd209ec2b508effb831d72341598","datavalue":{"value":"typing context","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352491$2D6ABA7E-54AE-4307-ADEB-D8A85340E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d0db58ed9bc575e4c94acc0b5b4aff8eb76bc8b","datavalue":{"value":"\\textsc{ {PoplMark}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352491$A6426974-A170-4775-9AE4-F1C6A738173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c4b1ff2f01ba5dd24ba20f79a96ee21a8e49490","datavalue":{"value":"System \\(\\mathrm{F}_{<:}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352491$4CAAE1B6-76DB-4CF3-82E6-C9A5D476CB8A","rank":"normal"}],"P1463":[{"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":"Q2352491$F65F5C3A-7D34-4743-B6B2-803011C47B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$ECD65F81-1DE6-4E1D-A293-D197800D6B5A","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":"Q2352491$B7CE773F-0EF9-4BD7-A550-22D4954FCCD9","rank":"normal"},{"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":"Q2352491$FA6756CB-D168-441B-ADEC-94C59F40E2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$C88AFFB2-FE0A-4E8F-88B6-C1C5E38DF2F7","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":"Q2352491$6F9F3563-9E11-498B-9EDB-34C30291FE4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fe98996e736af18cebcb0587a617b940ff9163d","datavalue":{"value":"https://doi.org/10.1007/s10817-013-9287-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352491$86B55CF6-71A4-46C7-A14A-1E4FB5067AD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dea32c63fdd4f1f103654aa68d1848f990008e9","datavalue":{"value":"W2052151316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352491$DC3E3BFC-765F-4149-B467-0FACC0654EAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$1339AECE-960E-48E1-893F-7669BED24E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$EF8E4C84-6E14-475D-BF49-27A682F8FBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$613384AB-EE06-4BD2-A58A-F20FA9B75AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$0D7E23A3-6ED7-4A6E-A544-C473C734EE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$68E43647-543F-4548-872F-7AD1B5DB990A","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":"Q2352491$EED9E984-961B-46E3-894A-71C0CFA24C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$7F0E001C-FE8C-435F-8766-F4645212CC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c012672e7c126ba7b33abdf4d0ab516498fc775","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$55E5E121-D7F0-4159-863F-28A6CBCAE97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$F2DE3270-4C37-4878-B8DD-5B6662EF4464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2788a32b1e668b3e184e8bfcb48f92a0fa8df1e","datavalue":{"value":{"entity-type":"item","numeric-id":4983210,"id":"Q4983210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352491$088EAD77-D921-4C79-A326-79A0BE371D24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dfb4319f7a1f641c5800c92c88a94d0e65ec0c0","datavalue":{"value":"10.1007/S10817-013-9287-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352491$4E8A39FE-4A00-4BB2-BFC7-4A0D8E3DFCD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f0e45bfa506ba9fbe0adbda954a115f9a8a53","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1874059c534a17ee7ddc8daeb3878fb07de07c57","datavalue":{"value":{"amount":"+0.7371957302093506","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":"Q2352491$6484F760-6350-4894-AFA5-C522AD517CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c485adaf5c9d59dfd696e67e8bfc3675d896cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":4992397,"id":"Q4992397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51687634e4107e8d81270a1866689709af38e7e3","datavalue":{"value":{"amount":"+0.7190749645233154","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":"Q2352491$355C5D72-6D05-4BD8-9EDE-DE47E88E269D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc23719a4c51797bff536a8269e1f58408b22ed","datavalue":{"value":{"entity-type":"item","numeric-id":897934,"id":"Q897934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7affcf29ba9455aa98c05dfc914db8d77faca38","datavalue":{"value":{"amount":"+0.7140130400657654","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":"Q2352491$75754B0B-23A2-4E9F-8192-BC41D67E01D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f7a6493a8dbc04e7dbf14f2f531038e9beeb7","datavalue":{"value":{"entity-type":"item","numeric-id":5111317,"id":"Q5111317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff1bca29073823921029acc2548520794b95c99","datavalue":{"value":{"amount":"+0.7124267816543579","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":"Q2352491$C91681EF-A23D-4869-998B-E6FCC3A8718D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3a108876ee2d73cf53e48814576175e292747f","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266a0188a29fb4bd2d0ce59d086a29c7224c8ab0","datavalue":{"value":{"amount":"+0.7087029814720154","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":"Q2352491$841391EA-8BF4-4EA2-9D80-B8E116F7E735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2352491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2352491"}}}}}