{"entities":{"Q3644842":{"pageid":5674748,"ns":120,"title":"Item:Q3644842","lastrevid":50819903,"modified":"2026-01-15T07:22:31Z","type":"item","id":"Q3644842","labels":{"en":{"language":"en","value":"From light logics to type assignments: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632164"}},"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":"Q3644842$9F637423-67DB-48E2-92F6-8219959BF093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6de36ca54e50f1c0d459ebbdd7645a4354412e1e","datavalue":{"value":{"text":"From light logics to type assignments: a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644842$2D791FBD-807B-45BD-BF43-82F1511EE22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc02daa2c910a40bc67e9d2bf3bb15c72a8e4e8","datavalue":{"value":"1182.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$C938F448-DA89-4324-9F9C-14903022A173","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644842$576C08D6-6CC2-4758-814F-995F3388EDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644842$436F721E-07CF-4E16-A205-FEAAD16E305E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644842$92831561-94E3-400B-BBE7-A08585198972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$BB4F812F-6C5A-46B3-A5AA-0746BE90F97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$95EDA2BD-784F-4DDD-A834-BE4AE68FF1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$47750557-4035-4FF2-A76D-9AE457A0B20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$538ADF64-55F6-49E2-9937-0475DA93B4E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba3d5808da39f95522de794dd95680f2721d49b2","datavalue":{"value":"5632164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$6246ABE1-62ED-4291-8D3B-F24C6369CFBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644842$8237BE2B-CB08-4591-BBB7-3C74B1AF09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644842$A7FB7F28-99C7-4A15-B53B-D2B2E29DF156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644842$00C05638-683C-4C7E-843F-DDD15DB548FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644842$5AD06C3F-5A39-4B59-B8E8-3D0C7429D00C","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":"Q3644842$C71E0910-4EB2-4C3D-89D7-58EE3CD57CF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75dd351e05e05ba634da1fec4b5e0fca8f210b35","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp019","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644842$C8A921D8-887E-4553-8255-DC04FC34EFB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"877bab6858839f925d0dded32861274a37405d6d","datavalue":{"value":"W2009551018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$8C75C0B4-9698-4A00-BC31-0D16F369044A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba8672d1457b310c4029f0cc4258ee8780022913","datavalue":{"value":"10.1093/JIGPAL/JZP019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644842$D164B4B0-0378-48A2-AC60-9289C272AF8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644842$4BCB4A15-5F81-4139-B9CE-1E059C96B97A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47255c39c2b098453b7d5d066e398b9e73a8f9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3608417,"id":"Q3608417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba5650de892be00b040709d3bdf02168f756d1c","datavalue":{"value":{"amount":"+0.8362096548080444","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":"Q3644842$B5F2F88D-4A4D-45B8-AD41-82FE3F92FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ead40b726cdc4e69a5e1d35cecc6127c908133","datavalue":{"value":{"entity-type":"item","numeric-id":3623002,"id":"Q3623002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6caf17d064beadbeecb4a9395a178b1fcfe3ee7","datavalue":{"value":{"amount":"+0.8280251622200012","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":"Q3644842$3E4F1EE7-C7BD-41B3-8A8C-A75ACCAA5386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91a418a146cc22bea03ee44431a464e35382cb","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce72e70c2b3beb95c1525c46836b1df5950d5a5","datavalue":{"value":{"amount":"+0.8222340941429138","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":"Q3644842$7570D287-874E-46F8-BC76-3F5221BA6398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879ebcac6fe38e8637392e033eccae48acbdffdb","datavalue":{"value":{"entity-type":"item","numeric-id":5704005,"id":"Q5704005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b9a3e2aeda93b0c67afddb5212c126b0114684","datavalue":{"value":{"amount":"+0.79168701171875","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":"Q3644842$88D7381C-6192-4546-B5F7-7783122C7F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91b08cc869afadd64502b6ae6945c389f4cc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":3612618,"id":"Q3612618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee4d24d8790c3d2cdd54ece8a340ca053bf7599","datavalue":{"value":{"amount":"+0.7669646739959717","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":"Q3644842$94834858-A308-4A5F-890B-A66C38051321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644842"}}}}}