{"entities":{"Q2773019":{"pageid":2783757,"ns":120,"title":"Item:Q2773019","lastrevid":58005867,"modified":"2026-04-03T10:27:46Z","type":"item","id":"Q2773019","labels":{"en":{"language":"en","value":"Syntactical data types of system \\(\\mathcal F\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1709141"}},"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":"Q2773019$4757C328-9E36-45A2-AA98-04032AA21BBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dad81376587cbe659a4fe83d195d63abb780adb","datavalue":{"value":"0991.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773019$3FF3FC42-7F05-4E47-B764-93B867DB8406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf6ef6717c5129e3f551d0675f1e3d1672f8665","datavalue":{"value":{"entity-type":"item","numeric-id":2773018,"id":"Q2773018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$C7D9C290-00CF-4658-A75C-B0CA7BBF12AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$C047B987-5227-4BE4-B2C9-9D540AB6A86E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381ddcb86e65a2a07830e4a1bafeb6cc481b7472","datavalue":{"value":{"time":"+2002-04-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":"Q2773019$C3DEA310-BFA3-4F03-B86A-B6D2B9D662DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aa446a496e892e4d127908cf48440087d90f769","datavalue":{"value":"https://arxiv.org/abs/0905.0754","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773019$26BD13B7-8C54-4894-B75B-F995E14A80EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f827b7846a84978805c3293d8efc44f726cb2be","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2001__35_3_207_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773019$100DE976-0792-413F-B453-7FE1895512AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7f1c6bb96125d4149d44ee7bf4d43353eaa0053","datavalue":{"value":"https://eudml.org/doc/221944","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773019$DF6225F5-63F5-46A2-85EB-34B00B7D0008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773019$BC5D43B7-4268-4B9E-B4BE-8F34F1CC4A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773019$1345DCD0-70EE-4A84-90D0-EA0F3668ECB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebe4087a484242fc477e2678beb0549b2ef6b187","datavalue":{"value":"1709141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773019$F39411EB-CF4A-4422-9664-3B7DB09B7107","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773019$BC1E0308-16E7-4F5C-9D30-3405EA2E1108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7902e3cbf38826a7eaec0b75f0a4a56fb12cca37","datavalue":{"value":"system \\({\\mathcal F}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773019$84EACE0F-DF7C-4903-8FC9-ABAFA40A7F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359f88b233983da5eccead886ebb762f086ce280","datavalue":{"value":"syntactical definition of input and output types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773019$E5B0B1BF-C8B8-4E4A-BE2E-1F9F56B8E334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8387884605a617d9f51054c775147b6339d25f0","datavalue":{"value":"syntactical data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773019$F63A56E0-BA77-4F28-9426-53E0391ED1B2","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":"Q2773019$28BF9A28-D59D-4ED2-AE41-4FE7D0BD1FB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb337b6c87f9e894512e1661fc365bdb92438deb","datavalue":{"value":"W2009349137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773019$8F983507-ACF8-48B2-AD80-4832B9BF63C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a549f38ef99bfd672336f5501bd0f7f91ebe41d4","datavalue":{"value":{"entity-type":"item","numeric-id":4219570,"id":"Q4219570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$D8384BAE-D136-41C0-96C2-80EDDB509F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$9483602E-9646-42CD-AE38-012A7C6345BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$209E2E86-F9CF-4EDB-8F55-5E3EC96DC4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$9D3AED3E-95EE-4543-8C67-53F73D6F8508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62728de11085b2637852fd5b2e4cd2194b3b9d02","datavalue":{"value":{"entity-type":"item","numeric-id":923069,"id":"Q923069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$DD793450-9585-4E73-AD5B-17AE2F0BD9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b448f94d79046d6183590aae96b7cfc591a0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4717043,"id":"Q4717043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$589CDB90-5112-4A27-BD2E-10588FD6D82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da860603e57613e99745a725c9da67ce1106c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2773020,"id":"Q2773020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$869D7ED2-95E4-4FFB-8BF4-AC82DCF93A99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02c66b74b1cf75ab539aa2892e924d78ec11ce04","datavalue":{"value":"10.1051/ITA:2001117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773019$8500A1BE-674E-4514-86E7-92EC919F25FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa76a6f637d84103a598ecd313e31b887b0e790f","datavalue":{"value":{"text":"Syntactical data types of system \\(\\mathcal F\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2773019$8D7EE42C-A6A3-4D35-8D22-63025B9B6E7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773019$F74D703D-E122-4B85-BC98-89A1104122E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695f34571625ca38cd79b2228faa0850d88fd21b","datavalue":{"value":{"entity-type":"item","numeric-id":2773020,"id":"Q2773020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd6efe1e3d8a8eec2ab5c3245986c9ec0603871","datavalue":{"value":{"amount":"+0.7128260135650635","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":"Q2773019$67FDB315-40A7-42B2-A38F-55EF13230ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6baac2793c83309f5f40c8bbba3d5ab3698e03","datavalue":{"value":{"entity-type":"item","numeric-id":3136282,"id":"Q3136282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6efe1a266a044ef1557b329e9499a8cd9e73b6f","datavalue":{"value":{"amount":"+0.7088086009025574","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":"Q2773019$8BD6116E-B0BD-491E-A598-E99B341846F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d64bbcda4737c46f7a108b315f6e23e47e3953","datavalue":{"value":{"entity-type":"item","numeric-id":4835619,"id":"Q4835619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe097ed6f45b6d13d051d32e8a0fc184e8c0bd6","datavalue":{"value":{"amount":"+0.7059927582740784","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":"Q2773019$92170EB2-F756-454A-AEE1-C4CEB4081396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84c98ecb8d20117ac3288cc27c98c898b554d","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025b7401779bfbfe2a72500d0bd8cdd9a4e85379","datavalue":{"value":{"amount":"+0.6779024600982666","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":"Q2773019$27C0A35E-A953-41E4-8162-926033AAEC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005c1bccae0486124885bc970e828d6a17fe9cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd181be5a1a89df45159839c026c39be5d5d0754","datavalue":{"value":{"amount":"+0.6714107394218445","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":"Q2773019$AA470C12-CE8C-4035-B653-4A94A57C2571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2773019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2773019"}}}}}