{"entities":{"Q6544116":{"pageid":14155260,"ns":120,"title":"Item:Q6544116","lastrevid":55668544,"modified":"2026-02-17T20:43:01Z","type":"item","id":"Q6544116","labels":{"en":{"language":"en","value":"Linear lambda-calculus is linear"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853727"}},"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":"Q6544116$AB50C661-9CFB-409A-8470-C9E54E2812B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42d2f5ae7ff54ef0832f1dc662e322415fb0c8b4","datavalue":{"value":{"text":"Linear lambda-calculus is linear","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544116$B9088451-D976-42B4-B78B-8BE964D9D49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"755e54dd01643813b68eb7398d2014c69f9c8f1f","datavalue":{"value":"1541.03171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544116$A9366D4E-51F2-4D76-B0C2-A5369D933AC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544116$24EFE6CA-C7A4-4F59-B595-B81070239A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544116$D67CB927-D229-49BE-AB31-C8AC4C188F0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-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":"Q6544116$D6477EEB-0502-4703-9172-E1714978A584","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544116$B0DBFED9-397D-421E-8F64-1D18F139ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544116$6135943E-AE18-46AD-8912-CDF8E40CD7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544116$90778A7B-C3FE-4BA2-8AB6-54F81E2D32AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9227c9cc6411dd4e3cca868c4d5347d26dc2db6b","datavalue":{"value":"7853727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544116$5D76A0B6-6971-46E4-8252-A95B461437C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544116$2FCB775D-F918-49F6-BAB7-98FC41D60913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544116$CA337322-A4EF-4438-9C72-84FDD9C5EEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544116$B342F6A2-E124-4A62-9BEF-DABE81405BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544116$5AC0D347-A29B-4FF8-9987-4D2BFE78ED20","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":"Q6544116$2EFD656A-6C45-460A-AEC6-EB8658924914","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f4dd32937dfa50d437d6e1bdef1161055f22790","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544116$0A53E0ED-21B7-4A8C-827A-4113EC420AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce843292cf7ef202b8aaec9e40e63443ad4a04","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8d2a71ba9c0f193f010d27f630bfdd824de573","datavalue":{"value":{"amount":"+0.7801122069358826","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":"Q6544116$34811182-FB69-4721-A55B-2C87B4647CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f7eb21d14e16c092110285a00ea257683c3c2b","datavalue":{"value":{"entity-type":"item","numeric-id":2331067,"id":"Q2331067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e9b35573675babe0ba79f558eb194efca7c786","datavalue":{"value":{"amount":"+0.769029438495636","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":"Q6544116$5AEE7373-FB05-4580-BA37-F4FE9DE8946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e7a9a93bb8c612b0d3a34393f581fdfb799cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2849877,"id":"Q2849877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c47add9202e3977d40a46b81310ddbddae23274","datavalue":{"value":{"amount":"+0.7615591883659363","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":"Q6544116$A19B45EA-19C4-48DF-B02E-59FC786F33C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e65de43aa8aba239f0007ef6a6ecea64e2970","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119cd12f8ab4543848b081850c5f50c77f6eff28","datavalue":{"value":{"amount":"+0.7603818774223328","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":"Q6544116$90E2179F-57F4-4DAA-B311-6BB1EC4C5CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c633898e4d5d42c1f39088334966979a4ab4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2825375,"id":"Q2825375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a341d0464802d2027a48f17bb3bae83b0a48fa12","datavalue":{"value":{"amount":"+0.7512072324752808","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":"Q6544116$29419609-ADDB-4269-92CD-096EE375B64A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544116"}}}}}