{"entities":{"Q5013624":{"pageid":7043201,"ns":120,"title":"Item:Q5013624","lastrevid":54165356,"modified":"2026-01-26T09:30:33Z","type":"item","id":"Q5013624","labels":{"en":{"language":"en","value":"Definite descriptions in intuitionist positive free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437984"}},"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":"Q5013624$06D45464-17C3-4E80-8617-5D0620747E40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4aab8b961ff66d3f1f315c94b90ec6e3459888d","datavalue":{"value":{"text":"Definite Descriptions in Intuitionist Positive Free Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013624$AE73CC1F-7F20-4767-86B4-7B674B546FAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8529e3e7131aafa9a0e64f4385b571a7cf06f2f3","datavalue":{"value":"10.12775/LLP.2020.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013624$91722EF0-E267-4B78-A9EC-0588D5C119E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7a9ed56ee75de611a0f69c1b285edaed0b5afe5","datavalue":{"value":{"entity-type":"item","numeric-id":266651,"id":"Q266651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$9E1515F8-F71E-4EA1-8D08-BC4DE80A2EC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$119C12EC-5536-44EB-90E1-659AFBB36A26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013624$0E1E8F71-9E60-4046-943A-FAE0E921B81E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"836edb581025878da0c729a7d85d15b50e5606b7","datavalue":{"value":"https://arxiv.org/abs/2108.01978","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013624$684683B7-44A6-416A-8DBD-D543E59AC20F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013624$9D7757B1-2D3A-4499-8A28-7087FE750EEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e74badfd4d59cca11a7fb6c18f221003dbe33fd","datavalue":{"value":"7437984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013624$A4C3A6A0-FFAD-418E-B126-ACECFDD373F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$335B8A7B-DCAD-41DF-BDBE-5D349531D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$B6BCB276-2228-471A-B3E3-7A21885654B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$C53DEE6E-08D9-43F4-848C-C11AFE7D5EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$2723B08E-5F21-4AE7-AD2F-23B9106B76E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a0b2d36329c7ef8c21467cfe491af6433d0262","datavalue":{"value":"intuitionist logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$07EB4DA5-B721-4C6F-97A2-5A0D479F0A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50393dbf8de92cf0a0c3551a71b55877a6fdecab","datavalue":{"value":"binary quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$23F476CF-DB92-4878-BEC8-A039F755F4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc15be24e871768bc6d6414882a5e79e9170ee56","datavalue":{"value":"term forming operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013624$ED113095-9AE1-4407-8E1C-66940FEBB0C3","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":"Q5013624$7A15A266-F924-4C52-B791-163C71142BFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$784CB491-F6F9-41F2-8641-79CB8D635E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8e37266eda3ec5b21a8e7a70fe75c1f6c16a31","datavalue":{"value":{"entity-type":"item","numeric-id":4355889,"id":"Q4355889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$18CFACAC-1040-4834-A680-CA759DB83896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb71809d8ce404343365a947e3ae2b385a38895","datavalue":{"value":{"entity-type":"item","numeric-id":1844821,"id":"Q1844821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$9C1367D5-EDAA-4E79-8BB7-4075C7B5FB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$FFCFAE90-768D-4D27-BAF8-A82873DC56B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$FFD10CA8-C53C-4925-9B22-BF96E3839F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9da6db278a0b4e7baad52787cf34ee8dcacfbb","datavalue":{"value":{"entity-type":"item","numeric-id":452347,"id":"Q452347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$69A8241A-B8B4-4E83-9A78-FF591E19ABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39700daf922af970edf922063d623ae332b142a4","datavalue":{"value":{"entity-type":"item","numeric-id":5409126,"id":"Q5409126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$8F46653D-D12A-4314-974C-E8805D37E7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c7a5f58a82475b15aef06ea287bf6732b6c6de","datavalue":{"value":{"entity-type":"item","numeric-id":253123,"id":"Q253123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$9E54096E-25A8-4CE3-AFC7-3351FD50D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb867c632570d39793ce1d0ab002fa1960ed0b81","datavalue":{"value":{"entity-type":"item","numeric-id":5224577,"id":"Q5224577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$24D8A9F3-C7D5-47AE-BE64-A126A035D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d348e5c75cee0cfd5314db0cd35ffc0369fac6","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$33ABF176-EB2C-4D0E-898A-DDA0A25829FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b0a38c811ddc7b609d98f221aa37397909d9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5104714,"id":"Q5104714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$13516E02-57F7-40D5-972C-66DB2AF5F6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986fac859eb3fb4401f27996d77aaf84eebaf4b2","datavalue":{"value":{"entity-type":"item","numeric-id":5006839,"id":"Q5006839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$69F63C94-27DB-4D99-8FE5-C426D6CFCA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c22a48c5755a62f5acaf4e9fa8a52ba7136feed","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$B10F0900-4BB7-41E1-859B-00113EF44411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f885b1d337b52a28fd05fb3e5eda838736ad70f5","datavalue":{"value":{"entity-type":"item","numeric-id":5241405,"id":"Q5241405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$B4285C02-EDB1-4260-94AB-708340573804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7660a0cbce8062a7f3130cd8256139c3a47ab9","datavalue":{"value":{"entity-type":"item","numeric-id":3121549,"id":"Q3121549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$6641F62E-3DE4-4B0B-810A-6D35AD3763AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90671fe2a4fa6320116d0147417d3da42abd9139","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$ADBAAE89-673D-45E5-8E3B-6E6CAC02F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65df1cef75d5b7ecdd28b45de9a236e878f5c58b","datavalue":{"value":{"entity-type":"item","numeric-id":4793387,"id":"Q4793387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$4A9B94C4-9255-4866-B3CD-909D16F12316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9d49a60c4aa7c79ad7477007bbb84824e0ab74","datavalue":{"value":{"entity-type":"item","numeric-id":1820146,"id":"Q1820146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$825D7E46-0D31-4CE1-8D40-977DE992D556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$20332708-A5DA-45F5-8806-241E005FCA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184dd6d98ab919424ff261c66d8446cc64a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":4192055,"id":"Q4192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$5748D92C-37D8-4C1C-8C8A-7BAF962348E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$7BF4C435-BE8C-4DCC-938F-DF857CE44B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$0A72CF7C-695C-4BB9-B439-4692590D2A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$3E6091B5-BA85-44DB-B5BD-6E26FBE6306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$D15AFEA9-2742-4B03-956E-C83FB4C5F5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$8D40090A-752E-4514-B53F-F21172D898DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4ea8ec907740c330c21974a20644a21444e290","datavalue":{"value":{"entity-type":"item","numeric-id":5549030,"id":"Q5549030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$9F957954-85C6-427D-9E9E-42EA76B85174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672c51adbd9eef44ab9573c0c7b86f998f4c9152","datavalue":{"value":{"entity-type":"item","numeric-id":4357731,"id":"Q4357731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013624$7B9FCA36-576A-4CFF-BA3F-A52E560E5569","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4864029d3f3e7ef13a37a39590e6ca060fe0cf","datavalue":{"value":{"entity-type":"item","numeric-id":5241405,"id":"Q5241405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b78f2510f70656070e0ed833ab7d5afc8961663","datavalue":{"value":{"amount":"+0.9338787198066713","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":"Q5013624$FA9339EC-3EFE-466F-B6B3-0C2786EB7E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aac85556736c2d6f9822a56f417067886b152eb","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a4d258f8dac0cf1eb223bfb64e94f7527d09ea","datavalue":{"value":{"amount":"+0.91946280002594","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":"Q5013624$0C51A9BD-C183-4D60-A26A-2B17E89D7943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b676da501a4388c7d8600a676797eb561342b91","datavalue":{"value":{"entity-type":"item","numeric-id":5006839,"id":"Q5006839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3701e0664c1ef0f63fc0920b3578f7c38e027e7","datavalue":{"value":{"amount":"+0.7797836661338806","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":"Q5013624$02B97D57-1AEB-43A6-96D8-2FFFDF2E142B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae12ac869d97d16759dee7a1de0b7f2573a7bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03877ca896134959c4a475d3b8c5c894cbbc1219","datavalue":{"value":{"amount":"+0.7793182134628296","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":"Q5013624$40EF30D0-6FA3-4761-9D20-AF1DA0E308D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83ca2aa00dcd1b7a31acb549bc5e6b0114a83ec","datavalue":{"value":{"entity-type":"item","numeric-id":5718672,"id":"Q5718672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ae73c9af1fd5c0dcd8f80d3fffbb7592f335f0","datavalue":{"value":{"amount":"+0.7539469599723816","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":"Q5013624$F98C9709-3F1A-47D7-9969-4D2F01C8FF75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013624"}}}}}