{"entities":{"Q5934287":{"pageid":8111089,"ns":120,"title":"Item:Q5934287","lastrevid":47623291,"modified":"2026-01-02T06:09:33Z","type":"item","id":"Q5934287","labels":{"en":{"language":"en","value":"Semantics of constructions. I: The traditional approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1606591"}},"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":"Q5934287$F6ED9FA3-36A0-4516-8F33-E7E1FB939100","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b9c68b65e48e7156d9199d9acea6e84645cd25c","datavalue":{"value":{"text":"Semantics of constructions. I: The traditional approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5934287$10A3AB55-3141-4B33-99CC-8D54C8C8596B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab4298f25d8dfc5edaa4396790fc17799aa29003","datavalue":{"value":"0974.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$2B2C9111-9BF2-4842-B899-F81A61BADB84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abe20af32256769a33fd569394ba08030b04324e","datavalue":{"value":"10.1007/BF02948849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$F499C399-4A6E-4C54-A4BE-721EFB8A66B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$62C7874C-4D25-4A7E-A46C-D706192419F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$65E1A5F5-2B3B-41FA-BF00-6B5FEC95099B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e9bec313c75be18727347f98d0bbd311989385","datavalue":{"value":{"time":"+2001-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5934287$410E0382-9F00-454B-88A8-1922F8E65F09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$F75972CE-7854-48EE-BD28-5D2059F0103A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$6F501423-1622-4100-9B59-5FEB3DA395FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$4857FA00-0878-4677-B79A-1B730F1DA747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"727fc38aec62d0f0169e40a9a9721d6f6c70e404","datavalue":{"value":"1606591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$868562E0-A014-4306-9738-B933804B796A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5934287$88328B4B-1ECB-4F40-9600-45570C21C2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b42cc07dc2ddffe6078404040d5cd77bd78a58","datavalue":{"value":"semantics of inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5934287$34AAD526-87BB-41E0-BD39-29724D5A4F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ff8b03a0bf11abe1cf69fb6cebb8dac8da0c97","datavalue":{"value":"impredicative type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5934287$07A9D17E-A8C9-4304-8DEF-4777E87A24ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5934287$003862FC-D831-471C-8D73-60AD2621EE6F","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":"Q5934287$319EAC78-461A-4A60-8DE8-FACB7CCBAB4D","rank":"normal"}],"P223":[{"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":"Q5934287$E960AF31-B3F7-4803-9ED3-E9A95B0739B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd3b8732001a65e8422e49da191945e9664f035","datavalue":{"value":{"entity-type":"item","numeric-id":2639838,"id":"Q2639838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$4BE6E906-40A3-430C-B443-1CE37CD52B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$1958C05C-203B-41E0-AFF8-9B3A514DF2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$9619D3DA-28A5-4BE3-B6B0-40C85C1C1E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$16C46567-0AA5-4BF3-A471-C9790FD26312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e66a93d338dc2e6a51b7955109b55aabc4f805a","datavalue":{"value":{"entity-type":"item","numeric-id":4880141,"id":"Q4880141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$DDB448E5-C509-4D79-9583-8D257AA83EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103027ee2f4f30152ef29066e4ae73f920adb910","datavalue":{"value":{"entity-type":"item","numeric-id":1372877,"id":"Q1372877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$18DBAC76-21E9-40D9-85B0-57CBC7811181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$53405B3D-6FCF-4B37-A663-3B0F7D044724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0e2b7c6550f0775db656d6dd7762622a65b1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1193601,"id":"Q1193601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$5FF37353-3432-4740-9ACB-C06D61601EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$5680A4D1-ECE8-4759-A292-AE484C6B0F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$A447551C-128F-4CE5-98DA-0CCAC7B2A007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$00CC2A65-E5BF-41FF-8DC4-D90148FEE740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$96FD684A-028B-4E21-8A8C-55462C7B70A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$70AC6632-AFA3-4317-8049-201CB5A1385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7259d016ca92453c50c1ff693c3d07830155a5","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$8A8C07BB-4016-4C80-A8BD-84461DD95A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e375709d71b6317cc9214d6fd7f81965f3c0f5ef","datavalue":{"value":{"entity-type":"item","numeric-id":2785694,"id":"Q2785694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$54548A77-7CFC-415C-BAEA-7695925AD73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d080b838971eb7b11b7cd2c7cc08bf2c166affd1","datavalue":{"value":{"entity-type":"item","numeric-id":1964362,"id":"Q1964362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$85BBC7F9-EC1B-41AA-8B43-A1D8A3005C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e01ccb256ca4958adaee9a6ed6aa07371d3db9e","datavalue":{"value":{"entity-type":"item","numeric-id":1273075,"id":"Q1273075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$9D4F87C0-1E3D-4CD5-AF5C-1FE963BF90DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba8a52a090d07e7c7de6e85df44e71f42a71914","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934287$68EBD47D-72E8-449B-9860-E7CE46D0A407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cec287a219e0db2d93490c7f2971cfac201e103","datavalue":{"value":"https://doi.org/10.1007/bf02948849","type":"string"},"datatype":"url"},"type":"statement","id":"Q5934287$8A2C6C2F-406B-40EF-8238-CC6E77473DBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cc2645279b7772a67968f352319e3624f0a05d0","datavalue":{"value":"W1991055194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934287$BC9DB9C4-14C7-4610-A683-1551E3DCBB00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50721503aef0079c5f4222b84006844b865b3d45","datavalue":{"value":{"entity-type":"item","numeric-id":5945839,"id":"Q5945839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45943529c2f0bdce1d62afd290c701f6bb9343f6","datavalue":{"value":{"amount":"+0.812953770160675","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":"Q5934287$421BD377-0141-4B83-8032-F87E1FF6E2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392c129b7f21c370b84fc2af79a657c412cde237","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45943529c2f0bdce1d62afd290c701f6bb9343f6","datavalue":{"value":{"amount":"+0.812953770160675","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":"Q5934287$A56245D4-6FE7-41FA-9037-087BF142C835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d3b8f42d8fe2bcf2daf278a835f1f1173133e6","datavalue":{"value":{"amount":"+0.7820383906364441","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":"Q5934287$FF0B3062-5FBB-4292-8451-5387AC0B9305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d9ad8a5278ff1762ab5c08f1e1ae920ab20436","datavalue":{"value":{"entity-type":"item","numeric-id":1199709,"id":"Q1199709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febf1b1b3aa9b0d4c33cb1289272923d6ae23329","datavalue":{"value":{"amount":"+0.7673888206481934","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":"Q5934287$F9643157-E391-414D-94D9-2E512CFD3201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2d14f8e15784201d70e8e66cf60315f208578f","datavalue":{"value":{"amount":"+0.754778265953064","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":"Q5934287$F08055DC-A5F2-4BB7-8C37-526DC269EEC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5934287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5934287"}}}}}