{"entities":{"Q1314402":{"pageid":1325152,"ns":120,"title":"Item:Q1314402","lastrevid":81160304,"modified":"2026-05-06T17:52:28Z","type":"item","id":"Q1314402","labels":{"en":{"language":"en","value":"A natural semantics of first-order type dependency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501206"}},"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":"Q1314402$B3A84747-D66F-4057-968E-5D3C3BB0011B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"348bea6433f80cc12b09386d2ee05ce2bf98d876","datavalue":{"value":{"text":"A natural semantics of first-order type dependency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314402$16A9BF21-6F59-4713-8D66-BDE0FA4FCD34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50f066cb8de9d49977ecf505ed78379f36117616","datavalue":{"value":"0801.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314402$24C748B1-1B99-430C-B1BF-1062749BCCC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27a821e57740b6024d57347b27af5b957cc3d48c","datavalue":{"value":"10.1016/0304-3975(94)90067-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314402$63371921-9897-48E8-B21A-1D688A033917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d710f14ce945b346cd22578296921b89c121426","datavalue":{"value":{"entity-type":"item","numeric-id":1314401,"id":"Q1314401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$A908753A-B479-449A-A4D9-EFD61285E0CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$754B6DC8-2D09-40F8-BC6B-DB388F3E1EA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35f07f26077989a46e074a3e6621ef2f811b12d9","datavalue":{"value":{"time":"+1994-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314402$056B64F5-98A5-459A-9916-D6DBF18D4278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314402$775F1547-720A-4FE1-96F9-3D84D802F87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314402$08CC2D38-0FE5-497B-B589-A3D3F81EAD0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76eb1b14b40ffd2030a0154bf049cb60f7bf8def","datavalue":{"value":"501206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314402$CA0D5306-2365-4EFB-8C7A-3A1D3775DA39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314402$9FA0235C-A71B-4F59-940D-A5CAB5EE8303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30f73bf183d3a40437b3f25baef7bd470ce5087","datavalue":{"value":"first-order type dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314402$1CE626B9-1501-4255-BE15-A06F37F6C7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bda6066e89bf76297c8bd53bd8c70ede662580e","datavalue":{"value":"dI-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314402$88E34632-9591-4057-9028-9F9913632D7C","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":"Q1314402$213686C9-0562-45D1-A230-6060DF62B13D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69e75a972331321a7fc78f80aae432dba4308bd3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90067-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314402$BABEE83A-2D7A-42C0-9A63-921322C964A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93608e5008d7fd970f7365beecb1ed3f79b8ef40","datavalue":{"value":"W1984674897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314402$664A9039-1149-4F50-8222-652705AC79F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$545B9885-01A9-4AD6-8243-29DDF33DC2FE","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":"Q1314402$153E4144-4247-4E2D-98C4-2C48C1F819C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$44CDE103-D870-4772-A579-7B3D14CA2EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$F0D374C6-F75C-4994-BFD0-FDD2D52D7363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$DCF48484-095B-4F29-92BD-7D8E0C4193EF","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":"Q1314402$17C0FFFD-0020-470A-8BA5-DB8B0B08262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314402$31A57E3C-D2EC-491A-A299-E3B850475748","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":"Q1314402$1BB2CD99-A5A0-4BBC-97B4-FEBF95E67C90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcd361b6062b83ab93de37f3e286ad0134b454c","datavalue":{"value":{"amount":"+0.7565684914588928","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":"Q1314402$9ED6D20D-C57C-4E40-9F86-D3F3F6F04909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea27bdfec2ba133868d47d02bd5dc4fb070c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b4221e4a5647f186c83259ebe34e99fc309504","datavalue":{"value":{"amount":"+0.7326226830482483","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":"Q1314402$0C9DCE92-7A8E-47DE-BB74-04DA3CAC3129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607a07c497ff4363f9295fb50b398eb5f55fb8e9","datavalue":{"value":{"amount":"+0.7246962785720825","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":"Q1314402$0520BF28-435E-4CB4-8F02-69DF114FF9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc178ce8f35b0821bce02de978a45518ec780c48","datavalue":{"value":{"amount":"+0.7240320444107056","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":"Q1314402$DE2F5A3E-D7DE-4708-863D-4C73ACF4095D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A natural semantics of first-order type dependency","badges":[]}}}}}