{"entities":{"Q2804939":{"pageid":2815677,"ns":120,"title":"Item:Q2804939","lastrevid":52524965,"modified":"2026-01-22T21:14:38Z","type":"item","id":"Q2804939","labels":{"en":{"language":"en","value":"A simple nominal type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578008"}},"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":"Q2804939$F369EFCA-EAB0-47D5-B174-E99210C8A980","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"526930e1841ec61e7dfe4f83d707f0edb390299c","datavalue":{"value":"1337.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804939$61938B7C-CB2F-4833-B152-B20BB4C8F913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$BAE29F44-B095-436B-B882-31D5C33857E6","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":"Q2804939$86CF46A3-A8D9-4F51-AB10-870531A4EC67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804939$BB03DB7C-9123-4FF9-8500-72ADA2A321DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804939$E409FCE1-72BB-4ABD-B490-D5E74503AF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804939$2F4A09B5-3E64-4410-9E7D-B65F63521E39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308f10b7b771918acfd354cc7f8600fe54f474e4","datavalue":{"value":"6578008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804939$27BF9012-3046-429D-8139-BDD8562DE4C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f1d7088c7eda844b7c3ca7ec7aae65d08225f2","datavalue":{"value":"nominal terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804939$6FD22767-FCEC-46B4-A23E-72D08E7F70D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804939$2ED2E5E4-94EE-4985-84D8-E891F8A9B528","rank":"normal"}],"P1463":[{"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":"Q2804939$05ADA9D2-1E77-4DF2-9C70-C00503CED27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$15F36456-2273-4A49-893C-40481D32BFB9","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":"Q2804939$3FCF488F-AA98-4AD4-8DBF-A50EDDECE555","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c601271c82c4079a72fede75d4318b60f43b76c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.115","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804939$C4A41993-EEF6-4561-B298-2464C33BB848","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08330ae08b5c5d683fe6779e65fd7dc103cfbeb9","datavalue":{"value":"W2141444450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804939$0C6DBFA6-97F6-4BD6-A013-C1280C1CDB06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$BBEED5FF-A212-4276-BB36-6BF284B98135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1574dbadbb9dc0fd3fd330687abf1f03b9066e81","datavalue":{"value":{"entity-type":"item","numeric-id":5705899,"id":"Q5705899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$C0BF06BB-0656-467C-947E-892148A32AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5d9fd92c048548663706afb0501fe422e367e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477637,"id":"Q5477637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$52A90B85-41DA-4326-A9E4-72D32370F314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c40b45145381f8eb5922725b0ae3c91669375cf","datavalue":{"value":{"entity-type":"item","numeric-id":2372191,"id":"Q2372191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$432A6E8B-B7BC-4271-98EC-7E7370B444AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$5BBBD8D5-7ED1-4233-8B3E-BFC5F8675016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8d5484c75fe2a14b4f198a80db5c6efdf1db82","datavalue":{"value":{"entity-type":"item","numeric-id":5464650,"id":"Q5464650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$7270056B-431B-429E-9B49-1B9F1D1A181C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83209e451b386934da087af785ccc2e33c62046c","datavalue":{"value":{"entity-type":"item","numeric-id":4461769,"id":"Q4461769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$8806BE95-1B9F-43D6-98E2-20B4484AB6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$E0E90FFA-A0FA-437B-ACEC-620D7CF899E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$C029A3B0-BDDD-48DF-BCCC-ADBD810D0AD8","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":"Q2804939$CFD267B6-3A09-47CD-85C1-9ED3115E02AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$218D1C58-701A-4A15-8DB9-62C6CE92F398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5529fc59fde090e80519f64caa2fc1f892f31635","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$36146EA7-9AD6-427F-86C8-9E9FDF497E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7880cbdf3ea521643b7d84261ecfa14d69020d","datavalue":{"value":{"entity-type":"item","numeric-id":5958752,"id":"Q5958752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$D9DC6177-60EA-45C1-9075-A86C0B32B3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8555a6bafcb34b8174bf396d396dfe3981f39355","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$3399481B-45A6-417B-979A-9D423863D3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb8544014b7cfa8b7d1de27e17cb9ecb9a36d39","datavalue":{"value":{"entity-type":"item","numeric-id":5311260,"id":"Q5311260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$CE4E5F51-7485-4DBD-99BA-72ED06A967D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939be0771ea627d569d52a0b8c1f463c5ec167f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613430,"id":"Q3613430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$088F2E65-4EC6-4577-9A22-0E30238D4532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$F3975D20-BAA0-4155-B7CD-816B2F038BF0","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":"Q2804939$DCB89C93-60CE-4CB4-A7EB-F01CB2749171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c5f1bc95e37c86d95b040c7dd80534c5f7b7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5261280,"id":"Q5261280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804939$C3631E9A-DC4C-4D69-AB9B-56F61B80E8EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10fdec2a992f74d16f0b2dc429ca3db29ebae379","datavalue":{"value":"10.1016/J.ENTCS.2008.12.115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804939$BFD85C62-4C91-4E63-9530-DFD26F173A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1379c8dafe94ef15fd109d5570adae8535b9ea9","datavalue":{"value":{"text":"A simple nominal type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804939$3858CD26-C613-4224-92EB-42CE1B2798A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d370ed5ad3d910479fa7136854b9cb3e624117","datavalue":{"value":{"entity-type":"item","numeric-id":2881075,"id":"Q2881075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f5f2059b7c03d2652e3be52981935a42803e4a","datavalue":{"value":{"amount":"+0.8511254787445068","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":"Q2804939$C28140DC-F543-49ED-BEDF-5178478AE3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ca567f76c24a34e994763bae8bca1893723a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5739979,"id":"Q5739979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b9cfa5137c04838783edce37d71caa77532a4b","datavalue":{"value":{"amount":"+0.834290623664856","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":"Q2804939$E33720F7-3C53-4FE1-A95F-8DE08351CAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33d93699c2511574b8287765cccf7d93052df89","datavalue":{"value":{"entity-type":"item","numeric-id":530845,"id":"Q530845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f40e9e7482b5a047b129edbd881d4886579d3b","datavalue":{"value":{"amount":"+0.8160387873649597","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":"Q2804939$7AE52FA9-3260-4165-830F-6D8C33CA8280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bf10d5ad78b7314c398ed94a0d07b67b9ef773","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a948527de500005214826283159f1d19a54eb456","datavalue":{"value":{"amount":"+0.8132858872413635","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":"Q2804939$4B0863DB-014C-4D80-8B87-E64AF4981D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20065657138ebd617461a937d051add09efde2b","datavalue":{"value":{"amount":"+0.8087118864059448","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":"Q2804939$78EE35B2-7D46-4892-A93F-2507E34AD512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804939"}}}}}