{"entities":{"Q1350342":{"pageid":1361081,"ns":120,"title":"Item:Q1350342","lastrevid":67205577,"modified":"2026-04-12T16:02:01Z","type":"item","id":"Q1350342","labels":{"en":{"language":"en","value":"Label-selective \\(\\lambda\\)-calculus syntax and confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983984"}},"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":"Q1350342$96C38FBD-EB7B-4DAA-A5EA-2D4678D639C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cb8803e0dfdb7ecd2c7ed3544cbdb26cdbc89a8","datavalue":{"value":{"text":"Label-selective \\(\\lambda\\)-calculus syntax and confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350342$FDF193A2-CE29-4B20-8171-6F2BC7C4027B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"589e8df9d7001114b7e6b6c0525c1b9eb6f76f59","datavalue":{"value":"0871.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350342$098F2FC0-0F63-41C2-913C-98C068B8C276","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ec21e68da43a3a38c87680bd21561be70fe420e","datavalue":{"value":"10.1016/0304-3975(95)00072-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350342$F3F2762C-FF14-493D-AE2D-7502774E094B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a93c57283e0ed2f2843fc1528f403f7d02271f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1093358,"id":"Q1093358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$BDE41009-DB01-456E-A74C-91379224859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$15228583-B88D-42B8-9C7C-A1B5935A9CEB","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":"Q1350342$53438AC4-DA0E-40DD-ADCD-C8813156C775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350342$439EB8A6-1BDD-4E79-8940-12DC832CA1B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350342$2D9021F5-3EA3-45EF-B26E-79BBDD86F199","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cb67ce0d559dd081df6f67ed28c27f02fe20bf6","datavalue":{"value":"983984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350342$08D9125E-72BA-4B6C-8BE8-B3F817923813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350342$C1F03E2F-DDBE-4C01-93E6-72774B7FF33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4f956571e7f406f4444dca924ef41a39b477c0","datavalue":{"value":"record calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350342$B7C2DDEB-E273-4473-9848-F8FD9836F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350342$0B154DF1-0C50-4091-B84A-F3C1D19B267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0544513bdc8f0636dda569851f6b67fd5744ee","datavalue":{"value":"communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350342$5C6D5186-AED8-4A70-9CBE-CEEED86412F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$F8DB7D8C-957F-4C47-B7EF-7BAAB963BA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$9B24053C-68CE-43F1-AEFF-E51824016DB9","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":"Q1350342$18B25E24-E8C9-4572-84BC-4CBB293726DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd1c78a929d501dd3473b5933bdc5ded7824859e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00072-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350342$ADF4443F-85CF-411D-A33D-56E2506441E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb6326852caac1034109152132de2ae5bd848391","datavalue":{"value":"W2004639282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350342$900B61EE-7AB5-4DB6-A6BF-E58656DB19C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$2DBC7504-95CB-497A-8690-9598739F12C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffc8b00e84f3938384c45de98b7aebec969ff91","datavalue":{"value":{"entity-type":"item","numeric-id":4268465,"id":"Q4268465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$5700DBB5-8D7B-46B6-86A0-5EE45A228C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c50458d2aa5ef32782242c5d7d92bf4da0b1142","datavalue":{"value":{"entity-type":"item","numeric-id":5289307,"id":"Q5289307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$11DB395C-D2AF-4BEB-8C84-687066B1F5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$B7C619A3-A6D2-4CD7-9AFE-FC7A628A1D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$4FA3E4A5-E40A-4854-A0DF-5968EDB080AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a0a75e2dd14ab87e18f951636a318d4e2453f8","datavalue":{"value":{"entity-type":"item","numeric-id":4937119,"id":"Q4937119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$017A9449-7259-4FFE-A1E8-BF39C7C2AAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5405cb9082366fb8b249416c6e301e035cfc2f35","datavalue":{"value":{"entity-type":"item","numeric-id":2956680,"id":"Q2956680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$894BED8B-573B-4464-B5DC-3262EBD8D791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$41584171-C978-4E24-A1F8-D64AB44BC2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$4C513AD9-5231-4A86-8096-5FA4541ECC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$68B38353-D1B1-4EF9-80D4-2FAA63FF11C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$0C5DA8CB-5017-4C81-BBBC-EE0957564849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350342$BA06E0DC-EA9A-4CF8-8B14-13589A8FA330","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d10014aeb484d2d1415d368ee9b8d616af0ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268465,"id":"Q4268465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d43ad33861c3f8785ea6e94f78563170ed93e3a","datavalue":{"value":{"amount":"+0.991646409034729","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":"Q1350342$0BACBF65-6060-4EDE-96F9-256E544E3A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4447ae865fd9ec87b7b267c315f4cb704c47fb21","datavalue":{"value":{"amount":"+0.749366283416748","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":"Q1350342$7103E5EB-A621-47CA-B47C-927DF0DB06C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbdc6542d2cf953da88e7f6b4554d455ec1735e","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb10c5e8dd56f68609f4920f661b381ce7e8434","datavalue":{"value":{"amount":"+0.7474485039710999","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":"Q1350342$F3078D3D-5EDC-44CE-B0D4-1CDFA1A25904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4a3b97fe906bde4ae0e1432524c66a0ebe5d4e","datavalue":{"value":{"amount":"+0.7447152137756348","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":"Q1350342$709B0770-6AB1-4965-9609-CE9734773FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d820de532ee70c4c5b79de888f7506e02ef34342","datavalue":{"value":{"entity-type":"item","numeric-id":5055860,"id":"Q5055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae1789b3a91f9333c1475b5c445c5e8493786e0","datavalue":{"value":{"amount":"+0.7415024042129517","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":"Q1350342$7C739AE9-96FE-47B4-BD39-FECB302448A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Label-selective \\(\\lambda\\)-calculus syntax and confluence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Label-selective_%5C(%5Clambda%5C)-calculus_syntax_and_confluence"}}}}}