{"entities":{"Q867407":{"pageid":869255,"ns":120,"title":"Item:Q867407","lastrevid":50033428,"modified":"2026-01-12T18:04:43Z","type":"item","id":"Q867407","labels":{"en":{"language":"en","value":"Unifying functional interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127273"}},"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":"Q867407$0B380C4B-87C7-49B0-B6BD-9333D1FD6182","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8d6b54ddb0876be5febf4f2f942aefb30323974","datavalue":{"value":{"text":"Unifying functional interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q867407$64929189-CF68-427B-A59C-7AC322C0F869","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9f44ed29668aa853b14ce416cd60c952fcd9f7e","datavalue":{"value":"1113.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$B3F2F389-D315-4672-96C6-18916EA6D835","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867407$9B6D9335-6E48-4D6A-AE50-798CB1D1F181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867407$EBE68285-129C-4DEE-870F-46ACF1415C89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b3ead6168ee7e4a65e07f7e44713ef795f1233","datavalue":{"value":{"time":"+2007-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q867407$BBE910C2-4C59-4F24-8A0A-3D5A6D523D12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2591726ac580a6cdf1f4c496f731b770f9fb0a06","datavalue":{"value":"The author shows how different functional interpretations can be integrated in one formal framework with two parameters: The ``bounded'' quantifications \\(\\forall\\;{\\mathbf x} \\sqsubset {\\mathbf t} A({\\mathbf x})\\) and \\(\\exists\\;{\\mathbf x} \\prec {\\mathbf t} A({\\mathbf x})\\). The different instantiations are summarized in Table 3 (p.~287) as follows (using the author's notations):   \\[ \\begin{alignedat}{3}  &\\forall\\;{\\mathbf x} \\sqsubset {\\mathbf t} w &\\quad &\\exists\\;{\\mathbf x} \\prec {\\mathbf t} A({\\mathbf x}) &\\quad &\\mathbf{Functional interpretations} \\\\ \\\\ &A({\\mathbf t})& &A({\\mathbf t})& &\\text{Dialectica interpretation (1958)} \\\\ &\\forall\\;{\\mathbf x} A({\\mathbf x})& &A({\\mathbf t})& &\\text{Modified realizability (1962)} \\\\ &\\forall\\;{\\mathbf x} \\in {\\mathbf t} A({\\mathbf x})& &A({\\mathbf t})& &\\text{Diller-Nahm interpretationi (1962)} \\\\ &\\forall\\;\\underline{{\\mathbf x}} \\in \\text{rng}({\\mathbf t}) \\forall\\;\\overline{{\\mathbf x}} A({\\mathbf x})& &A({\\mathbf t})& &\\text{Stein's family of interpretations (1979)} \\\\ &A({\\mathbf t})& &\\exists\\;{\\mathbf x} \\leq^* {\\mathbf t} A({\\mathbf x})& &\\text{Monotone Dialectica interpretation (1996)} \\\\ &\\forall\\;{\\mathbf x} A({\\mathbf x})& &\\exists\\;{\\mathbf x} \\leq^* {\\mathbf t} A({\\mathbf x})& &\\text{Monotone modified realizability (1998)} \\\\ &\\tilde{\\forall} \\leq^* {\\mathbf t} A({\\mathbf x})& &A({\\mathbf t})& &\\text{Bounded functional interpretation (2005).} \\end{alignedat} \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q867407$FA9116C5-6456-49E9-BC57-426FC38048A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867407$63956CEC-7AEA-4C1D-8552-AEFA29250BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$FCE41E3F-3CE0-49E2-B71E-E7ACBA42EAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$4ABAF8E5-392F-4600-A1F6-8F0865162574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$61404E93-F2FC-43E0-BF99-5A9D4066A06B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9250fdbe206eac8ce870f39161fcecffc620e18","datavalue":{"value":"5127273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$385F1E18-E347-4F59-BADC-52072E2535BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc96d2e28b133a17fd0ce78906e3da94f46b20b","datavalue":{"value":"functional interpreations","type":"string"},"datatype":"string"},"type":"statement","id":"Q867407$AC98B563-8433-4FC9-82F7-1BFE50BC2D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q867407$AC112462-9CE3-4039-B721-79FA9FBC173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q867407$6234C30F-D439-4612-A5DD-77B22C5A78A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b6a691979f25825b4a139f47af657575484e2e","datavalue":{"value":"monotone functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q867407$091AAE1A-F006-40EB-8891-29F9BA3B2F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb58ba5752a1d99ae68b4e57455f49ff31e8ee97","datavalue":{"value":"majorizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q867407$3DD5F3AE-738B-4C2E-B361-702A9BEE40CB","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":"Q867407$799BE5E9-CB55-40CF-98EC-A07E44A4D21E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde91783316ce0894eea68e7a93d364977b2a33b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1153858651","type":"string"},"datatype":"url"},"type":"statement","id":"Q867407$E6B989FB-AAEC-4729-9877-4E1E9BCC0128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f751b8925f48955663f3515d1decd40cff94220","datavalue":{"value":"W1987058504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$7DC8D0DA-8771-451F-9F0B-E6E9C4B18A8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c20ca2b6a318cb5d4abe00ce2f1966cf457c35","datavalue":{"value":"10.1305/NDJFL/1153858651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867407$8CF8A8CE-203B-4989-8EDF-2FA2C25CBD6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1556d4ed45ad0b360297cf95979aea436e5b8032","datavalue":{"value":{"amount":"+0.8267993330955505","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":"Q867407$4166AE61-D24E-4633-9C6D-D9A8A4967679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75565106e98fbfd0835b1271178387a74b2264c9","datavalue":{"value":{"entity-type":"item","numeric-id":5271413,"id":"Q5271413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88479be7b6377f2ef27a95ab0c82f31581ce0d16","datavalue":{"value":{"amount":"+0.8178561925888062","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":"Q867407$869C5CB6-7469-41FF-B5E7-83BEAB1657C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac156794910271cd5c56234c5388d7406c101d7f","datavalue":{"value":{"amount":"+0.810585618019104","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":"Q867407$F5BE48F7-E61C-4392-BA38-CAB1DD7A50D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78060097943999012c70895f22edd7724bc6dd1e","datavalue":{"value":{"entity-type":"item","numeric-id":964504,"id":"Q964504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fafc12e70f180b1124f75716af0b83e24ef8b8","datavalue":{"value":{"amount":"+0.7759836912155151","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":"Q867407$5A668485-4FF2-4860-86A1-C4EB83015879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd2af8aad974c8b9dc1999f892d762ee72f223d","datavalue":{"value":{"entity-type":"item","numeric-id":2659105,"id":"Q2659105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476a6e854f1809dbef57e684081f5697014f3a9b","datavalue":{"value":{"amount":"+0.7697729468345642","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":"Q867407$7B4922C3-9BC8-44F4-A94A-60ADB60E5167","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:867407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:867407"}}}}}