{"entities":{"Q6940448":{"pageid":21146295,"ns":120,"title":"Item:Q6940448","lastrevid":75903744,"modified":"2026-04-21T12:53:12Z","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"}]},"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"}}}}}