{"entities":{"Q4842274":{"pageid":6871854,"ns":120,"title":"Item:Q4842274","lastrevid":41719352,"modified":"2025-05-07T13:16:46Z","type":"item","id":"Q4842274","labels":{"en":{"language":"en","value":"The Functional Interpretation of the Existential Quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780062"}},"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":"Q4842274$8EAC9D83-4C5A-4B0B-9B1C-99CB952F310C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39053db871947908688330cafc9bb0c4607c3069","datavalue":{"value":{"text":"The Functional Interpretation of the Existential Quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842274$39DC52C2-D97C-48C3-B91F-CE35F7D784C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65bc3a5b44b521bed0c29248185e53392b922548","datavalue":{"value":"0831.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$008FDE47-E0FA-459C-B1F1-7F8B3AE729EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842274$266F83F6-571D-4540-9B12-B9F426447C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842274$55507BC9-8D61-42BF-93AF-9ED1B7A06073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c863ac1d49835f6183760d7146a7eba938e3df6d","datavalue":{"value":{"time":"+1996-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842274$7AF4F069-8CAD-4A45-986E-57C45BFA9915","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$DA476CA8-5D0F-4D7A-8DDD-72A80368E128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$A2DDD2F0-4BF8-40F1-A22E-FF5DF6861949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$4488CCDA-8D35-46F7-8502-2816E1606DB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefc218dbcccf0e422da88e866ccbdfabe8a8334","datavalue":{"value":"780062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$49380567-42C6-49BB-9356-5F198A3F0FF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f584cb3d8f8178773104230a72651456e9a168","datavalue":{"value":"formulae-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842274$0BE162DC-5342-41CC-8CA3-3A38EC9D4CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a855b66211b325009cb5bda27a5fab77d68cb40","datavalue":{"value":"\\(\\exists\\)-introduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842274$6E0A444F-F66F-42F9-A125-3CEE4430B3EE","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":"Q4842274$D06FF2D5-459E-4F67-96B3-C1B77FAE7C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5b9e09eecb5df4fd8a232a86631e6735e1392f4","datavalue":{"value":"https://doi.org/10.1093/jigpal/3.2-3.243","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842274$40801084-7CFE-4DB5-ADC4-BAB25F1C0CA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14fff60878fbfe650eb2d537bd961e7cce4fc6a9","datavalue":{"value":"W2074783198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$C533372F-E76D-40FB-85A6-EB408AA168B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"683afb3fde268cd2327ea36ee510c327e1eb524a","datavalue":{"value":"10.1093/JIGPAL/3.2-3.243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842274$2B5956F6-12BE-4DCC-9574-C5B56701E6B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842274$AB38C2BA-FAF3-45E0-A8CC-D171BE47949E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1592a019e6f0d81b78cb26575f91e674f3fae5","datavalue":{"value":{"entity-type":"item","numeric-id":3159413,"id":"Q3159413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6005308085fcaf30c5008e04e0ac49e15ed0b144","datavalue":{"value":{"amount":"+0.8907175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$C3E5AA04-61E6-4472-BFF9-E141891D044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba70c3a34e0c75f0ec357d1ecfb5e07aa7d38fc","datavalue":{"value":{"entity-type":"item","numeric-id":4469720,"id":"Q4469720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6875a69e7bd52e3c9b2faeb1be3a3b89e133707d","datavalue":{"value":{"amount":"+0.88331044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$9C7CEFAE-3F37-4812-BF47-77BC965AEB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31a4eb9a0f787121c46dc3d6666dd2b8f0f9e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4394918,"id":"Q4394918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6f7c3df18aaf62452c7677cbeb181d1d77b792","datavalue":{"value":{"amount":"+0.8830039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$8C8C86B7-EA94-49AB-B479-707F09DCD858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2250eca3f65c10fee0640c9811c2aad58efbb181","datavalue":{"value":{"entity-type":"item","numeric-id":1378427,"id":"Q1378427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97099a5eedcd99fede82a5d8dd644b70c102101","datavalue":{"value":{"amount":"+0.86803913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$D6C4030C-CC73-4411-AB1A-98D55D4BDBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3637b3394825a345a7ea07062c314d25e2ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3585999,"id":"Q3585999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0cf6388eac87cd05bad026c65ebd789d74df72","datavalue":{"value":{"amount":"+0.8647952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$25AD8A5F-9C7F-4376-B6C2-65294FDEFE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4de986565b6c75677256cd17aaf19e0ccf9e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3091729,"id":"Q3091729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f54ba00e0cccda1570a05bd479322dcca240bb","datavalue":{"value":{"amount":"+0.8644507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$FE7D7822-DD9A-4041-8666-76339A072362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726ecf8ef68000ff6a51a1f662872cb89fbf1751","datavalue":{"value":{"entity-type":"item","numeric-id":3743313,"id":"Q3743313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5018efa0dcc556f9b94d3a187b82824d2849ba13","datavalue":{"value":{"amount":"+0.8628225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$8C109B9D-D798-4E23-B6D1-3A4E0F536A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7526f44085f00dc22a1dbfa916ee44ebf3b080d","datavalue":{"value":{"entity-type":"item","numeric-id":3824407,"id":"Q3824407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5018efa0dcc556f9b94d3a187b82824d2849ba13","datavalue":{"value":{"amount":"+0.8628225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$80264D89-C8C1-4F3E-98B3-3EC2745813D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a94d628562084e47ce657b5cd9c821f6f9e106","datavalue":{"value":{"entity-type":"item","numeric-id":892029,"id":"Q892029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1788a05aba507ea0dd5674afb2eb571cc3441d7","datavalue":{"value":{"amount":"+0.86017495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842274$0C263BF0-83CB-459E-B3B1-8979008AD87D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842274"}}}}}