{"entities":{"Q3507440":{"pageid":5537344,"ns":120,"title":"Item:Q3507440","lastrevid":50389532,"modified":"2026-01-13T23:01:40Z","type":"item","id":"Q3507440","labels":{"en":{"language":"en","value":"Hybrid Functional Interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291043"}},"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":"Q3507440$6B0EA63E-1B1A-4B50-B3AC-9F960FAE366B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83cfb1d2beaeaac4b0758e2471c223b44aaab8ca","datavalue":{"value":{"text":"Hybrid Functional Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507440$05D8EFD5-2F23-4B42-ADA2-1633D53E38B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b028edbe155c89a3f0c74b87d0328d6066d62c7","datavalue":{"value":"1142.03368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$4A33D3E8-2AA4-4A3A-895A-92D94FAE4CE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10a6648ee2955c6e9ecb8797d69612bd31122c9e","datavalue":{"value":"10.1007/978-3-540-69407-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$7CE48F39-49CF-47EA-94F5-C16F8B34D9EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fda900f24f6234602837a102ab7eee0fdf7131e","datavalue":{"value":{"entity-type":"item","numeric-id":557797,"id":"Q557797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507440$B0859A38-72D6-49FD-B70E-4BA8A95E5F87","rank":"normal"},{"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":"Q3507440$DA17E661-3F72-4023-BD60-48AE712B9776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"825fe9d63267fff51faac6ffa3ce79c82f92e1da","datavalue":{"value":{"entity-type":"item","numeric-id":3507413,"id":"Q3507413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507440$0504A84A-844A-4831-A9C6-90F061C1A146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507440$0922F27F-79DF-496F-A0F1-DDBDF13A0296","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$987749AB-FE10-42FE-855B-4B70C5632DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$C5403944-70C8-4A35-B38F-73AA266E16AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$4D1B285A-AFF8-4A9B-82C3-C047DE21F035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c13210a4c5c736b25f773fade2f657ef8fed1c9","datavalue":{"value":"5291043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$5AEF3A7D-638C-4F87-9B0D-4AAE9537DC66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507440$F0A46F81-3EF1-4026-B57A-FF59812A5761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507440$639A23C4-6BCB-4B9E-BD9B-1B0DC23537C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507440$A8C98DCB-1F25-4AA2-8806-24EFD03E36F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507440$56D5A4D8-6FF6-4D74-8BA9-B68D815D62E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed99d94397511bd8e22ab2437f30b726b49b0b","datavalue":{"value":"program extraction from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507440$C2FF11BB-50BD-4CC3-965E-D672827A2F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c40493b7ec5d69342c6c564f2f536b0ad87003","datavalue":{"value":"uniform quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507440$D179AF0B-43F5-4C8D-AAC9-0FE7BCD1B84D","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":"Q3507440$691C4064-135C-4355-8F36-4AA4C3D0A59E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"080c855ff7eb5b8644f3dbf9cf09cfc3cc44c975","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69407-6_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507440$411A5472-F2E0-4AD6-9604-52CFD48E1885","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6675c445f782da8ebb5a44274ffd6a733600416","datavalue":{"value":"W2124982781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507440$AD86411C-AE3E-4D0E-9273-8AE360F8B47E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c46ad00f1cee12a6f63e5cad0267900c88bf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":2882562,"id":"Q2882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd73244d094726ef468999e53845a27a8e52ffbe","datavalue":{"value":{"amount":"+0.94125235080719","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":"Q3507440$46B7F9B7-1026-49AE-9845-12B6B058C819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfc6803eeecaf4dc3eba35d3a9d24d9ce1b912","datavalue":{"value":{"entity-type":"item","numeric-id":5892514,"id":"Q5892514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b095141c3981c16d8c4b4b13323753a8680f474","datavalue":{"value":{"amount":"+0.927784025669098","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":"Q3507440$8AFD8D8C-742D-4135-86A8-0C3F398E455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9717f47c582a39eeb1829ae6667f765c31439ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb42746736663a914110bb38eebba46161bd7f04","datavalue":{"value":{"amount":"+0.8058726787567139","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":"Q3507440$05B2A7C4-9BE5-44C1-8DD7-7E543B886538","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":"d4f842b9b9fb462cd236a70e63ce73394ef689bf","datavalue":{"value":{"amount":"+0.7971988320350647","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":"Q3507440$87360D68-3CDF-4C6C-97F6-23FA307865FE","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":"b022f8d0b396204e2abe31497b4507f2302429ae","datavalue":{"value":{"amount":"+0.7950544357299805","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":"Q3507440$9B3E621A-7967-407F-8C3F-B42FA9A0F88F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507440"}}}}}