{"entities":{"Q4457835":{"pageid":6487434,"ns":120,"title":"Item:Q4457835","lastrevid":48259015,"modified":"2026-01-04T03:46:39Z","type":"item","id":"Q4457835","labels":{"en":{"language":"en","value":"<i>PAL</i><sup>+</sup>: a lambda-free logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2059565"}},"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":"Q4457835$7569B565-4881-4F8C-85A6-DF13A46E1369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa1dee3468d9962a98ae6b038dad607b8cddcf88","datavalue":{"value":{"text":"<i>PAL</i><sup>+</sup>: a lambda-free logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457835$0782EDBF-395A-4AFE-B270-8D3486B709E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"454406fd53e7b14f5e9760407fdcf9043db6bd13","datavalue":{"value":"1038.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457835$FD34A5F3-416C-4AE5-AE87-C86FAFD57FF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5d680dd1690c9550bfb8b8aea54b5b5db561019","datavalue":{"value":"10.1017/S0956796802004525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457835$AB3CBAD2-A795-43CE-B05E-72174F01347C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457835$74A489F3-7B51-422A-8D6F-A3B3E9EDDB75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457835$85F1960F-EB37-4F35-B42F-FB62BDC66524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d75dd69f6961ad93c6a4059106a59e2c8b929b1","datavalue":{"value":{"time":"+2004-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457835$7E5832C1-B3DF-490B-8BC0-C9A3CC540D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457835$50695377-A041-44DC-B690-A64C7367322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457835$C3860E25-D62B-44AE-ABBE-1531EB9DF299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c473506b584bcebcc767ccc9e63de9f795eda4b1","datavalue":{"value":"2059565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457835$B243E0AA-B9EE-4EAD-9379-0AA131CEA258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d6ff9e3e086c1bed17407f97b1222106654a07","datavalue":{"value":"lambda-free logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457835$EBF626C8-4A08-4E32-8591-F69E12D58968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2982a78d0e05aeb98ca73f8103c5d3200033d33d","datavalue":{"value":"specification of type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457835$37860A32-A185-478F-994B-C6C23FADFA0E","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":"Q4457835$B4C71719-7217-412A-97F8-A522EF23A96C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93eaf4fcab877dc8917b9615a42145cb81a4488","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7c07c20e4b63320950db68a621bcfd8a643ff3","datavalue":{"value":{"amount":"+0.7252835631370544","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":"Q4457835$AF2DBECF-6882-433C-A8E9-F1552D63604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965ef981a88f68c9bc25d87eaf82779a309524db","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7158c07df2e9f00adaf7fca8c9c2f4237feb58","datavalue":{"value":{"amount":"+0.7167075872421265","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":"Q4457835$97CB8ED4-FD63-4457-B8DE-76C1C3D029A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016da1f9630eba75aec4297181b4e53c23077022","datavalue":{"value":{"entity-type":"item","numeric-id":2871837,"id":"Q2871837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c189016ad06f099ce70e7916d3757f38611c220d","datavalue":{"value":{"amount":"+0.7166846394538879","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":"Q4457835$B82ACD02-A2AA-4780-9A7B-9A3386298B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f559e33bdae5d6031398bd74dad7b706db362e","datavalue":{"value":{"entity-type":"item","numeric-id":4282512,"id":"Q4282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a8fc40131979dea91d664a670f91f2eae757a3","datavalue":{"value":{"amount":"+0.7133859992027283","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":"Q4457835$91F4D96C-3E96-49D7-8E5A-7F2CC0D214BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae53d721cf724725a2da8108ffffd84aa5b69d1","datavalue":{"value":{"amount":"+0.7123942375183105","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":"Q4457835$4C8E001F-F374-4E33-AA6B-B9AC74E2E3AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457835"}}}}}