{"entities":{"Q6149910":{"pageid":13284217,"ns":120,"title":"Item:Q6149910","lastrevid":58723020,"modified":"2026-04-06T11:37:53Z","type":"item","id":"Q6149910","labels":{"en":{"language":"en","value":"A general framework for the semantics of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813328"}},"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":"Q6149910$0C2EA531-3032-4D0C-8D8B-72AC25AB567B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"669ba25016792d3cc8d23c8706d8d9c014d15210","datavalue":{"value":{"text":"A general framework for the semantics of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149910$3D66C413-5EC1-48CB-B92C-90C8433DDBAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afc5d4e3193631caa08a1f9226c3cbdbc4ee23","datavalue":{"value":{"entity-type":"item","numeric-id":2078409,"id":"Q2078409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$BC2543FA-5A8F-46CF-A9B1-2A093B694E55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$E6DA7679-7CA3-41A9-AB24-59B6D95FBF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149910$D7EDC2E9-D118-44F3-93A2-FC80B44E904E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d66bb9d8a38a0837338f8b8970644420d9f46611","datavalue":{"value":"https://arxiv.org/abs/1904.04097","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149910$371A9EEB-3909-46BA-B238-C5E9A4D2B06C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149910$FD94FBBB-EAF3-4812-8982-81F00E0748AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf04d5431f7c28245425c179e5928580127c39b","datavalue":{"value":"7813328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149910$52E13B19-A0C9-4F02-96DF-8528D38056D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149910$299ED968-0074-48D5-9D23-97FA22E5AC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bca929ddf5791e62bc3153429a2e59e5b51946c","datavalue":{"value":"natural model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149910$24AEF530-269B-4413-80A1-A7719D6109A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f27790f4d2a439bbd2628fee0ecb82ef873294","datavalue":{"value":"category with families","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149910$D996CA62-A0E0-4998-AA7C-65E63F14C3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149910$C2C07637-90E5-46F8-B367-517D868B0C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f2d3dc8d0236c2b0d3ac07691f946b0be1ba67","datavalue":{"value":"representable map","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149910$00859619-5281-4759-9327-299732917FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4925bcf54b7c2185e4513cfe7c6032d93be590c4","datavalue":{"value":"representable map category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149910$38AB544C-B73F-47FB-A1D0-572926BD2FDA","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":"Q6149910$FCA183D7-E693-4BA2-A1DA-199145BCDFA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$803BC7C5-5CAB-429F-821E-DDFF8C66D581","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":"Q6149910$DE93F8D1-AE5C-4FC0-93B4-F80BB8D93029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$92E91A50-C24E-4632-BE4A-08077EFBB4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a08c25c238f048b2e589efdf52c68fe9575e27c","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$00CB5723-10B1-4674-A14D-1B93E7AA85C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc7dea19bb664a27dbc66f781809efc5163ac19","datavalue":{"value":{"entity-type":"item","numeric-id":393515,"id":"Q393515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$9D626344-D560-427D-BFEB-AD18844F27EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e299c3d2e29743a83d62cc903f12db089794a9","datavalue":{"value":{"entity-type":"item","numeric-id":4611205,"id":"Q4611205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$0D5A4B42-B5AE-49ED-B52E-875B2D0D6E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e855228292779b4203bd15443a2ad99c5c33","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$3BAC1CDD-3F18-47E5-9D03-9EED64D23D57","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":"Q6149910$BC3A8911-7F5B-40D6-AE0A-CBC423B688AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a551159e2690dfcc05aab1c3b35f74472dd6a56c","datavalue":{"value":{"entity-type":"item","numeric-id":4563232,"id":"Q4563232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$11C77A52-3B11-423C-936B-3AB7B1DE3973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$19EFB992-0C32-4BDD-B70B-B07C32623A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c50d88c12dcca62e5546dce7a095534c48ac41","datavalue":{"value":{"entity-type":"item","numeric-id":3167013,"id":"Q3167013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$F927F9D4-1083-4C1F-84C1-FD5CFA29A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$3B676EE9-B73E-4409-B164-10EF0EF36188","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":"Q6149910$1438022E-E1D7-42EB-8711-AA0D253EF710","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":"Q6149910$96BD3EB2-4ADE-4E18-A400-D2CF259C63DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17807d12117180296370bd9e02d3095bfb068fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1295672,"id":"Q1295672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$5CFB0A43-A46C-4CA1-980C-26AD49822187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$42AA484D-18AB-422C-A59C-4319ACC0ADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515c44b73b0efb370a0635575b3b510d1b9401bb","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$A5B01581-9BCB-48EE-9421-2DB801AE6FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$D32E083A-19C9-412F-8F1F-898634E60B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$9C3FC913-6A54-45C3-9B1E-634E9FC49B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb11ca869a89cccb65ea9cceb6fc53bca68454eb","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$1FDC8F33-2E78-47C1-9619-318DED679935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce38986ff07aca867f810d858cc59d62bebff974","datavalue":{"value":{"entity-type":"item","numeric-id":2414596,"id":"Q2414596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$7A184DD3-3373-4859-9035-B9A8AD3C6C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$0B7BA04F-2C51-4995-96F7-81F31E5C9B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$C076EF59-454E-4795-A10D-49AE73802E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$F12340B6-140E-4F84-ADDF-18642189C6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7acd0e33cf62ff42c5d3d2963429fca167fec9","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$6B2C3272-08C9-43A6-8678-5F4223A28130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$BAA31AAD-1A6E-436E-A9C6-E488E8AEB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06131c291ac8e206d7bf2f04bd61802a6e8de6c2","datavalue":{"value":{"entity-type":"item","numeric-id":1159756,"id":"Q1159756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$2960E6B3-37AD-458E-8A51-FFE568A8DCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$5634EEFC-F39C-4A91-991F-063264FAA39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d71d26e466e0e250d946a4995d441465f07c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$DE386A52-1804-41E4-B7E6-5694588297AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$BC0E6EE4-1F84-4A0C-BB3F-35C547F50177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$2424EB0C-C044-4BE1-891B-28E2D0EBE921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$10B8ABD2-28D2-4D63-9338-3B5F26EFF700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$93CC2D99-780D-46A5-B712-8415F4A434F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$1471576F-581D-4ADC-8E4B-552595DF7C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68f9fe2d21afd1f55ff217614c8afceea80991a","datavalue":{"value":{"entity-type":"item","numeric-id":2078410,"id":"Q2078410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149910$05A362F3-7AC8-45E5-807D-EE6423435E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ee95a6a6aefea07368cebc15255fd649f9aa1fc","datavalue":{"value":"10.1017/S0960129523000208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149910$3B24055F-AB51-4283-B99B-799F9F6009D3","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":"Q6149910$FD7315F7-72F3-4A98-A65F-BF26D75CE8B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149910"}}}}}