{"entities":{"Q6053849":{"pageid":13188004,"ns":120,"title":"Item:Q6053849","lastrevid":58661406,"modified":"2026-04-06T05:39:46Z","type":"item","id":"Q6053849","labels":{"en":{"language":"en","value":"Finitary type theories with and without contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753655"}},"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":"Q6053849$6E6D6B92-5B2E-476B-B679-0AC0DBE36233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c0ecb694f86e9e9826ef039f51ead32cf02e516","datavalue":{"value":{"text":"Finitary type theories with and without contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6053849$152B5EC4-883E-4BC0-8965-437D73179A9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca977d035491d735c1acfaf289fd3ab39b041ce","datavalue":{"value":{"entity-type":"item","numeric-id":5041058,"id":"Q5041058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$A89C514B-68A0-479B-8EEE-5D7C70A00A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$4F55FC92-2999-4565-A509-B0CCFE521656","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":"Q6053849$0C643F23-1A73-45B8-A484-3CBAFF5D8CC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc38c107bfbe3d21f38c865385857570a4bd451a","datavalue":{"value":{"time":"+2023-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6053849$51FB9FDE-B301-404D-ADCC-AE4E7441E877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d5b2d7bfdfd5aa409b0957c6ccb24616e61095d","datavalue":{"value":"https://arxiv.org/abs/2112.00539","type":"string"},"datatype":"url"},"type":"statement","id":"Q6053849$E32D68CB-8E1A-4BAF-9C1C-8E2AF0782A7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053849$F5D4CD22-DCC2-44B3-9F35-B1DA99B624E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"715f1451d3d75262acc482f9ae93471c17fa115b","datavalue":{"value":"7753655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053849$3DB12E7C-A360-42A4-97C5-7649595D46FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6177238090b585e2c1a5d472d6007d0f6476caac","datavalue":{"value":"dependent-type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053849$9E538C23-FFFD-4646-B811-7232EACEF64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d9007b2450dfc6ead6871fe5867d3c22daa672","datavalue":{"value":"context-free-type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053849$C1CBDBEE-12E6-439F-8A90-FE8611CF08C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c1cad79b2e51fe8d3b40c4c396690aa3a1a6914","datavalue":{"value":"formal meta-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053849$8039B750-FE87-4096-AE8E-7B525757067B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053849$5830AF89-CBAB-4081-AE5F-5E690007DDDF","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":"Q6053849$A1013ED9-FB22-469D-A8C7-E1EE45DC2A44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87378f63d842744a73be76a87ac5456b9586735f","datavalue":{"value":"W3216376486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053849$989BF37B-A4A2-47E4-8820-C41473347207","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$EF10132D-91F0-4501-9ECF-1491EC758BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3196c52ecefe6bbfc4fe1f8084810a6dceb61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$66B2BE10-B919-4CE3-8FA2-923528FF855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58673f6e4b6bcb6f6c7f1c61aab1d9a2977ca13c","datavalue":{"value":{"entity-type":"item","numeric-id":5028472,"id":"Q5028472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$884AC2A1-4190-4D5F-9A4B-E59A8D3073D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e622fcb1779edff63dfc667212e670505009e914","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$9B179F1E-53CF-48B2-BDB7-AAB89F185363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbad67c372b78d4e89fdcc7d1bf3491d1269881","datavalue":{"value":{"entity-type":"item","numeric-id":5278407,"id":"Q5278407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$A70BA144-2F8D-4EBA-BC1B-55DD1EBC4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$892C708D-F9F5-486F-8FF6-814A6E8C139A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ca30c05d688bc9398303cc399761993b59ed61","datavalue":{"value":{"entity-type":"item","numeric-id":5874200,"id":"Q5874200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$6363EE79-7C1E-404C-BF35-FE479B096216","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":"Q6053849$BD85072F-7870-4FD4-AB4F-26403A7CE319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$F5266042-EB80-4FAA-92BF-20F6A17541C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$64F89CB8-E791-48C6-AC33-3178A94D3FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$1E4DAE69-57A8-4CD4-95D4-30800CE468A2","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":"Q6053849$EE77A8DF-55BE-4594-86C8-2E6D526289A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b21e92d1e385b1aa703cba49bf61d8d21f05a","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$E031FD50-23F6-40B3-A8ED-2DD222E9D502","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":"Q6053849$7268189B-2DBE-41C8-8ED2-5E3B528E2310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$B6E12C11-0F3F-465F-B218-56A216EA59EE","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":"Q6053849$F0C42B68-66FE-445D-BA80-2A48324ECD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$788C84F3-3867-4869-8F45-06468691944F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$007CB786-93C5-48B7-AAB8-F7DA7AF39CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c346c260873520831ebfefd15c31c6ca8971d3","datavalue":{"value":{"entity-type":"item","numeric-id":4995149,"id":"Q4995149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$E99D63D5-340C-4191-A466-FF20C16A93CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$AF9764F4-3C99-46D4-8C3F-C99DCA9E4529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$530FB01D-1044-47C9-8AE0-29A718EA6A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$E4C2A194-3396-4B65-AC1B-F7EFE901D6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$604D19A0-22AB-47AF-B128-582BBC4E4839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07d544e73915fbf078f9bdc5e81d7f0e4ed39b29","datavalue":{"value":"10.1007/S10817-023-09678-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053849$42A81274-9BF9-4679-A679-D5408B07EC81","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053849$3F0932DF-014F-4FA8-814C-B2E7B1862789","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6053849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6053849"}}}}}