{"entities":{"Q6940448":{"pageid":21146295,"ns":120,"title":"Item:Q6940448","lastrevid":84102683,"modified":"2026-05-10T03:14:16Z","type":"item","id":"Q6940448","labels":{"en":{"language":"en","value":"A lambda term representation inspired by linear ordered logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082599"}},"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":"Q6940448$04DE37CA-946F-43D3-A7A4-1C23ED78074F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c11af3a998bfebe1ce7841febfb237893b02f5d","datavalue":{"value":{"text":"A lambda term representation inspired by linear ordered logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940448$D4BD9DA6-1019-4C75-8309-B6E23C16FD58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3075f011f46e20716ca7afe731a98dfbeb01f1b2","datavalue":{"value":"1570.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940448$8AC44FA6-E646-4499-A4DD-996988F48BDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d51261e400e599e7480c464e50b7c7c5f63142c","datavalue":{"value":"10.4204/EPTCS.71.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940448$9E296E05-5780-4CD9-8A1D-804E7C8DD63C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$176E6319-23D5-4F1D-80D5-D1D14A1C723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$20214660-B5AF-4C77-B219-565A728EA978","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-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":"Q6940448$5E8357AD-3D86-48E1-8139-2959718F74D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940448$F7DAC064-62B2-4348-8080-58A98F90150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940448$DFF37AB9-BEE8-4A90-AC28-3694B2D02A03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb2695b535a81397f14316df1a13fe18188f1de","datavalue":{"value":"8082599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940448$F6FCA6C3-CC7C-4531-AB66-5010B950AE48","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$3A336130-0239-4266-80DE-2230AA0F7150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f80c720ef8dfe7841a9858fa3f4cb616f012aaa","datavalue":{"value":"representation of binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940448$98759440-3D72-4D5C-B569-D5D96579A0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940448$5DBD0970-332B-4BE7-A261-B17150A86D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b298675e37ce5d1f662ab07b0747c0b636ec8a","datavalue":{"value":"ordered contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940448$043D4200-04C0-47C0-AA54-81763F63184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc58fbba8c0d84cc182d8abf748bd74a06a1dea","datavalue":{"value":"space leaks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940448$AC4C44DB-070B-4752-980E-9265E2C9C679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6940448$13C8379D-EACE-4903-AF54-5F8FE329AD87","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":"Q6940448$95FA40BD-6D11-49ED-85ED-D10E2CA698C5","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":"Q6940448$1ACD5E33-30B8-41BC-A9E0-F960891F7112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$9ADBBF0D-F303-44A9-A8B8-B975ACC95C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$B7188E79-068E-4E03-905E-FA677EFDF176","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":"Q6940448$4CA9934F-B283-4795-86E8-5B230ECA5FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$7E2CDE8C-05E9-4330-A381-3DE9AE2E0351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$8FB39B89-3CE4-40DE-9D0C-F384C46073F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d031a16c82c0e88adc286b0652a71c3d01e68f","datavalue":{"value":{"entity-type":"item","numeric-id":1778107,"id":"Q1778107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$9C678805-32C1-4204-8F33-6B1153E33430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21578f99b60e4a2d18fdab2b014bdc1ac8c0567e","datavalue":{"value":{"entity-type":"item","numeric-id":5177993,"id":"Q5177993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$86D6CE99-FF49-4EA2-B1F6-589EE469D36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$D63BFD0C-CBE2-4726-B2CF-E823A77075AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$4D2C6372-206F-4831-AB55-ECCDAF18B137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa1392a6457245aa1a13636979cc944e1f47959","datavalue":{"value":{"entity-type":"item","numeric-id":876041,"id":"Q876041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$81A114E2-B7D6-4224-B766-0CA344FB7B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbe5267d1195440877775dc4014bcf6f86f7960","datavalue":{"value":{"entity-type":"item","numeric-id":861365,"id":"Q861365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$EC5FD5B6-0D29-402C-8C16-FE8D85375A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$C7DFBB63-B203-43BD-AA67-2C37DE488C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef380137ed3b9839afc57611b9ae8d70c3e71aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4259974,"id":"Q4259974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$B38E9F3A-8BDE-4BCD-9AE9-5FAE535EA59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930ac38947e68a89dac6f498262a43fe5a172bee","datavalue":{"value":{"entity-type":"item","numeric-id":2763626,"id":"Q2763626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$688842F8-588C-4703-A9A2-ED64D3E636C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348a740290a2c179d9f484476a2f2aa7ed8ffff8","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$4CD5B5DB-480A-47CC-A3ED-AF6F8399B9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6ec6472914b54eae45321dbfd7ec01b21815f0","datavalue":{"value":{"entity-type":"item","numeric-id":3025334,"id":"Q3025334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940448$66E9104E-8802-4655-88EB-3D64972762B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A lambda term representation inspired by linear ordered logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_lambda_term_representation_inspired_by_linear_ordered_logic"}}}}}