{"entities":{"Q4814187":{"pageid":6843767,"ns":120,"title":"Item:Q4814187","lastrevid":74877756,"modified":"2026-04-15T00:47:45Z","type":"item","id":"Q4814187","labels":{"en":{"language":"en","value":"Proof nets and explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2097850"}},"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":"Q4814187$21BDC790-9BD2-47E2-8B30-ACB7DC24F85A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deaf3beeab06183c8ea8fd2f30592169e9ccc601","datavalue":{"value":{"text":"Proof nets and explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4814187$FD67C299-A809-45D5-98DF-0CDA0976EBC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acbd89c3372207c281d5e1c93649123b57db84bb","datavalue":{"value":"1047.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814187$3F845D5A-FCD7-4ADF-B479-849CC6F4E3CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e6b245efd88e96dd05b8b96d8e4b5b895d8783f","datavalue":{"value":"10.1017/S0960129502003791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814187$B7DC4D3E-8184-4FBC-A1BE-BF11211222A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4814187$8E4ACA24-149F-4DD2-9FF5-DB89B97197B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4814187$A69BE057-72D4-4A43-925C-56F065116033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aaf76855a122148b3cec34c550514a70b8f16e5","datavalue":{"value":{"entity-type":"item","numeric-id":4508293,"id":"Q4508293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4814187$21AE98C6-0675-46AC-B966-66F3204A2D20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4814187$8C606F5C-93A1-4E7B-B122-06A7C0653F72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65aed4952f0ea543318f530fb41d65bb13a32cde","datavalue":{"value":{"time":"+2004-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4814187$435D77D7-562B-4B4F-9B9C-F1D1EB1207D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814187$E9903878-6BF9-4EC4-AFEF-BA0128B91BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814187$854A184A-DCD9-4132-8930-736ACB0D23FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814187$8BC28242-C4B7-43AA-826D-386575EF0516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"634446e8c7556c07243d6c0ffd313f2a171dd559","datavalue":{"value":"2097850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814187$C86073D2-D9DD-4B0C-BB34-F2944AF837C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e3a46648fd8bda1c5c1c2b5c7834cdf0fa72e6","datavalue":{"value":"strong normalisation of \\(\\lambda\\)-calculi with explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814187$CA5104BC-64A9-4211-8F85-1E4E9568646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eccc04b34b77b02f2169ebd052da54019f8111c","datavalue":{"value":"termination of cut elimination in proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814187$F2BC08DB-EA85-476C-B770-810D356FF70E","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":"Q4814187$B0F1B692-8910-4651-AF85-777E73BAB886","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384a66c57b87a7e351a74cc52b4739b3cb154285","datavalue":{"value":{"entity-type":"item","numeric-id":4508294,"id":"Q4508294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db7de9a4ec1d22e4064ebebb01a465380f320b4","datavalue":{"value":{"amount":"+0.9628680944442748","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":"Q4814187$5D7883DC-D81C-4741-8DFB-6BB0D4CC545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaf5c048cd71b15c4db3ce8b614660ab5b2abb0","datavalue":{"value":{"entity-type":"item","numeric-id":5703866,"id":"Q5703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db7de9a4ec1d22e4064ebebb01a465380f320b4","datavalue":{"value":{"amount":"+0.9628680944442748","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":"Q4814187$7EF3B402-2388-47A2-A168-D0BB34730BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f1896d4af55a7de22770ce3e8705c9fb7bff57","datavalue":{"value":{"entity-type":"item","numeric-id":5292634,"id":"Q5292634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24183886cc63b08b119e171a571f0ea982095e80","datavalue":{"value":{"amount":"+0.8472676873207092","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":"Q4814187$0AA84E98-6F9E-4ADC-9319-015687D9AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e6d9ba380b1bc085c7bde200864b13e01226e0","datavalue":{"value":{"amount":"+0.8276118040084839","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":"Q4814187$27045EC8-B44B-434C-9A16-70497A1489D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a0c49580b9f40ba7eae0945784377d8f50f395","datavalue":{"value":{"amount":"+0.8156890869140625","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":"Q4814187$45873F89-328F-4C18-976B-8406089DF908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets and explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_nets_and_explicit_substitutions"}}}}}