{"entities":{"Q5170290":{"pageid":7199862,"ns":120,"title":"Item:Q5170290","lastrevid":94403111,"modified":"2026-06-05T06:43:35Z","type":"item","id":"Q5170290","labels":{"en":{"language":"en","value":"Representing model theory in a type-theoretical logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319824"}},"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":"Q5170290$7EF7AC6D-A0BD-4513-8447-2E5C8F49D8B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23e434789a38993c765747e238728b4ff618edf3","datavalue":{"value":{"text":"Representing Model Theory in a Type-Theoretical Logical Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170290$19D7EB3C-58C1-4042-BDE5-3052DBF45253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bcc832231be719fbc5b4a6346329201b6cfdd18","datavalue":{"value":"1291.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$2D49A96A-ECE5-4CDB-9C58-370D1BEBAB54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e727f7412a28c7638c002661822734993886d80a","datavalue":{"value":{"entity-type":"item","numeric-id":654912,"id":"Q654912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$CDC6380C-C025-442A-8DD1-E802EBF63E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$D2815E90-4492-4827-BBEB-AA60662C7B77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$7F753B01-9C64-4BFB-8DA4-BB489CB48955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eacdb5fcca3e105f9b9fc4f2a069313e1de98d4d","datavalue":{"value":{"time":"+2014-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170290$75B8FDDA-1A1C-4695-AD0A-534E184B164E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$734BA86F-C2B4-486B-8985-8C6A5B72A06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$516D2707-EC5D-4D0C-987C-E0A92D000F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$00A5546B-7703-48C2-866C-D4F8B46CE6CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e73864ff00af68d3e373fc837db13e554ad6e13","datavalue":{"value":"6319824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$C2C29C4A-6058-4BB0-BFFD-FE4050E21716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170290$14799294-F2EF-45A1-8FCB-F57CE43C42A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170290$D90F85D3-A61B-4192-823F-558658F524B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3e751a4dbceaff1a1e96128d449008393eafdd","datavalue":{"value":"model theory and module systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170290$C1E30617-99F2-4098-AA9F-B4315C79907B","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":"Q5170290$EF6A279B-EE3B-49F3-B5AE-F7E68525D5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$15DCDAB6-AA51-445F-918E-D712A73AD66A","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":"Q5170290$9E61EB6E-805F-4614-970C-311311A7DCF0","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":"Q5170290$0B49B25E-FCBE-4F56-BF3D-7B7DA5803D54","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":"Q5170290$8370C471-F23D-40FD-8E80-B1362FEBE22F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c21c1cf4105220ed8b75443f12643785748692be","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170290$ABCA512D-7991-41E5-B9A4-D7A12AA0515A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec2ff8ffba5e9a9566d6fdcdba13999aca24452","datavalue":{"value":"W1982273589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$4D7600CB-3DBF-4220-8316-79C4377C98D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8448c0105e91748355fbfe83c6a8ebfb33e3531","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$9B8F5FA0-C8C6-4996-8C36-D4A184C827F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77a336cec51115f83ddcee5cc4b7a1820c95222","datavalue":{"value":{"entity-type":"item","numeric-id":2722016,"id":"Q2722016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$064A6112-A7DF-4C11-9A68-6C687A0D31A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b430b4a79f39ee5081bbbd36290f81e874e41a","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$7C2C9AAA-5C20-4AF7-938E-2CB534DB0B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfb5a203f48711c5b2543870d11dc52b7197c39","datavalue":{"value":{"entity-type":"item","numeric-id":3613410,"id":"Q3613410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$345F356C-1048-4788-8270-808923C27C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$2553A86F-D4D9-4178-B067-62039666E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$06803F1D-CA98-4348-83F2-4FEB9C7A23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc12fcd2307ac93ccb70c186e452eab9a3a8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3430948,"id":"Q3430948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$D279DE52-8C1A-48D0-ACDF-812A88C25F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$C6234629-DD15-4CA5-BD9A-049F33AFD57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$82484040-451A-42EB-A144-5BFB30A75F18","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":"Q5170290$DAA0D9DA-C01C-4A47-804E-8DE5F8AFA6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$B418F839-0018-444E-9551-83C4E05C5027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$B9C82D46-E08F-4F5F-9FB2-2794173194BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$B5B5A607-740A-4029-B9E3-97003E614055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e76c3561d4ad59b1eadb95f4ad79b1c13c964cb","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$3C660811-30C4-4747-B1A3-521A7BA8D125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$CB2C8B8E-9676-4A77-8625-FE87788B6A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299da2cdaab4313c0718c773bd4fb2786347b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4790669,"id":"Q4790669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$DB09B393-4E35-4ABE-A369-20B084C3D3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$85B9E832-D3B4-4A47-8CF3-B6F4A2D06DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$52055992-6DBC-407C-A42B-8B8945CE1DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$0284E4F2-84E9-4225-B29B-335CD4A0BAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fedee4387bd72c28c4564ba8c0f4992a7d9ef85","datavalue":{"value":{"entity-type":"item","numeric-id":3265664,"id":"Q3265664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$DE486F85-A595-4049-8A2D-BF5726AD2EAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa875d0d96446c1e0606bdda55578f9fe1fd8142","datavalue":{"value":"10.1016/J.ENTCS.2009.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170290$5665887D-1CE0-4281-A45B-CF4E24E2AF01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b075271587bb175f90ab0b2ff58621eb0d766e","datavalue":{"value":{"entity-type":"item","numeric-id":654913,"id":"Q654913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a632e815f5466239edcf88a6656477776881bcff","datavalue":{"value":{"amount":"+0.9117666482925416","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":"Q5170290$7C9ACC29-742A-40A2-BE9A-CC30B6CBA6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6309cfea5637855d5b9a9883e1fa2b37973eb5b4","datavalue":{"value":{"entity-type":"item","numeric-id":5400853,"id":"Q5400853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0ce24a86814636f2ce18ab2c3b43a658f3170c","datavalue":{"value":{"amount":"+0.7746613025665283","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":"Q5170290$55A6B7A5-9F4E-44AC-A27C-D6D7B08D078D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0a142ad2c3598c030546208e0fe5fe3c05610","datavalue":{"value":{"entity-type":"item","numeric-id":4862761,"id":"Q4862761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1c5b41bd8a1c7d16ebc6694eaf5671777ae926","datavalue":{"value":{"amount":"+0.7723466753959656","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":"Q5170290$20A81B5B-040E-4DB2-A7A5-41807BA9B5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efa3d71c38b9d85f0315908f9cccea3bd260473","datavalue":{"value":{"amount":"+0.769931435585022","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":"Q5170290$CBC883E0-ECB7-4EA1-802B-A8A1C8F298CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f559e33bdae5d6031398bd74dad7b706db362e","datavalue":{"value":{"entity-type":"item","numeric-id":4282512,"id":"Q4282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15426c04e0987d248202912a13f09b9a4522f609","datavalue":{"value":{"amount":"+0.7677841186523438","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":"Q5170290$009155D4-00FC-4804-BE66-803441ED428A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170290$ABA76DEE-543D-460D-9BE2-9B89B645290E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representing model theory in a type-theoretical logical framework","badges":[]}}}}}