{"entities":{"Q3824410":{"pageid":5854316,"ns":120,"title":"Item:Q3824410","lastrevid":54270101,"modified":"2026-01-26T13:58:43Z","type":"item","id":"Q3824410","labels":{"en":{"language":"en","value":"A note on the existence property for intuitionistic logic with function symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097369"}},"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":"Q3824410$D5952371-52B8-44C6-A03C-0CF053D83AC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08884fe41f73a8845679d56124906f9fe471955b","datavalue":{"value":{"text":"A note on the existence property for intuitionistic logic with function symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3824410$8D7AC100-3618-4FE7-9D4E-C992F6730B10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7a2241d9ae50e70a03a914c4e730bff57eedbe5","datavalue":{"value":"0671.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$E0C8ADEF-01F6-40A7-BA10-D364578ECB75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5d3d0c0cd6b9c2da5ec5ccbad68d1e8c5e01df","datavalue":{"value":{"entity-type":"item","numeric-id":3824409,"id":"Q3824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824410$BE291C85-8C2B-4AD1-9D3E-B831F659C386","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824410$6E29B633-A2D6-4D39-9F90-75C495FB786C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3824410$0873E662-062E-4EBE-8CF8-F3169F7A3E44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$8BD55BA7-FB95-4802-870A-4996B596C788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$2B0CF05D-B6AF-4AF1-97C3-41C5A7E8D7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$94222744-F32C-48C4-B4A5-FEC03C7E1CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$FF17A61E-7730-402E-90BC-0ECD0C6569AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dfeba87c8b5fb5236546f34dcf9a4228d4b513b","datavalue":{"value":"4097369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$6282AB31-2B93-4AF3-8C1A-9F26923F5070","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824410$B3D5FD6B-E384-4CDF-A1A4-DCFFFF231398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824410$A96659F7-DEFF-431B-84ED-7565A978344C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b08fb9eec74cee834992d589e691ac8309b0b1","datavalue":{"value":"intuitionistic first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824410$EFD396F3-B770-42F3-86DE-820BAACE998F","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":"Q3824410$8C6E3B41-0A12-4CA4-9182-CB46B9E76971","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92c6bdf9a7bb7ae37bec746cbb492055e306422e","datavalue":{"value":"https://doi.org/10.1002/malq.19900360104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3824410$68EE442C-2A3B-40E8-BF7E-6E7BD03C3F7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"968402136d0d24e2e01b9935e8fa75c2be5e1e3b","datavalue":{"value":"W2091579447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$04394F1E-F6A4-4358-994B-6621E8D1D9A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1bd2296ad5d3a7ed776a8ff3716b87603360ae6","datavalue":{"value":"10.1002/MALQ.19900360104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824410$DFE2CE53-CE02-4881-9360-1A20107E17FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe923f69fb9f593c338c6929596fea80f19689","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7b3f5168ad0b51f6357e4601c670eb9ba3a12d","datavalue":{"value":{"amount":"+0.8013489246368408","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":"Q3824410$9268C5CD-4FB0-438B-9D48-46D0AF3158A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a295846e51a1b31a412de3191406d9c03b30f8","datavalue":{"value":{"amount":"+0.8008853197097778","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":"Q3824410$1C63FAC1-F02C-4C40-A4DE-2553FF2FD5A0","rank":"normal"},{"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":"7cb28d4c7e60c05b48f733e48f825d3ee2ce257a","datavalue":{"value":{"amount":"+0.7875297665596008","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":"Q3824410$0FD965A8-2577-4842-ABDC-0B2BC6D2D2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2424956548f5458d44555cd24f140fa3b243eb","datavalue":{"value":{"amount":"+0.766049325466156","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":"Q3824410$8CF76800-A560-41B3-9B19-B2863D1627EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5875ac2c5466f67d2f3ce4d63598efb6842c6522","datavalue":{"value":{"entity-type":"item","numeric-id":1799037,"id":"Q1799037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a388bf76b28a3a27e99f557455c14d16cb05f0b","datavalue":{"value":{"amount":"+0.7657415270805359","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":"Q3824410$C2DD2232-5B50-404F-91F1-C959B83872D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3824410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3824410"}}}}}