{"entities":{"Q6486041":{"pageid":14064699,"ns":120,"title":"Item:Q6486041","lastrevid":103425371,"modified":"2026-06-06T07:20:43Z","type":"item","id":"Q6486041","labels":{"en":{"language":"en","value":"A Simplified Application of Howard\u2019s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636415"}},"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":"Q6486041$84AD60A0-C39F-4705-8911-5663BB3F62C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7defea7cfdb4e195152051759543e1567babcd0e","datavalue":{"value":{"text":"A Simplified Application of Howard\u2019s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486041$A7AD2E47-623D-445D-802D-4EC22B68E3EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c717350f1162f2fcec257831a07ceaa3a20f26","datavalue":{"value":"10.1007/978-3-030-63595-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486041$561479D0-E7E6-43C5-8CE0-850A6F3C5029","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486041$55BCD5AB-C053-41D6-85BF-7B1C9CE9390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e75eadb858d1c143d0e036ca12d189847ed9c21","datavalue":{"value":{"entity-type":"item","numeric-id":2000673,"id":"Q2000673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486041$359046BA-946A-4828-9900-D50F999E1F85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1fb293f39334c5080a99c17f9aab59094f2f8728","datavalue":{"value":{"entity-type":"item","numeric-id":6486040,"id":"Q6486040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486041$01C59A36-F255-41B0-B250-0D429AD31969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486041$703DA4F7-0E65-474B-B757-0C8D0B661EEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486041$55E3FF28-0541-43B6-971B-83B6885499D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486041$BB316416-0144-47F9-9FEA-9965C3DD98DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2a0a0a7e511eceb40d73b25a8c2c57bcd653cfd","datavalue":{"value":"7636415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486041$99E77708-2741-442D-8FBD-DB22C7160BBD","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":"Q6486041$FBACF3E2-FA8E-4AE2-B5E7-A42543B80B75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849c17cb94218e8fed782e07a8b252a384219966","datavalue":{"value":{"entity-type":"item","numeric-id":3196359,"id":"Q3196359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789335f26d0a4a822f197a71b80fe037ef481c20","datavalue":{"value":{"amount":"+0.8051542639732361","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":"Q6486041$21DF265F-BD80-4C9A-9178-D1136B7E9FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef9cf6987fdb38041d6207038228071299b8c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb495f3b28d3e814d60741e52661e2020d83d10","datavalue":{"value":{"amount":"+0.7932881712913513","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":"Q6486041$EFCD9A55-ED1A-4099-BD8D-119E8C1E333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66ac497a4936fdac27c824467dffa247e2b5ad5","datavalue":{"value":{"amount":"+0.7902247309684753","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":"Q6486041$967B4AA6-42B1-42C7-BE79-62E6ED33CA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e66077f573269297e0cd2ec7f75820aeb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":3540166,"id":"Q3540166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493366ded2eae7d1b173c54398965a97639c8be7","datavalue":{"value":{"amount":"+0.7846816182136536","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":"Q6486041$B6B2F88F-8A5F-45F0-8F74-AE1B369DE791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f000fc31c1bab55c3a4a6f5c543789864c6d5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5055855,"id":"Q5055855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cc8a151d38d23c2aa8ca003a00d48de6c14ac4","datavalue":{"value":{"amount":"+0.7831749320030212","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":"Q6486041$FF636488-24C4-4BD6-BFA0-1844DAFF6E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Simplified Application of Howard\u2019s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems","badges":[]}}}}}