{"entities":{"Q2115288":{"pageid":2126031,"ns":120,"title":"Item:Q2115288","lastrevid":57533841,"modified":"2026-03-31T07:31:39Z","type":"item","id":"Q2115288","labels":{"en":{"language":"en","value":"A binary quantifier for definite descriptions for cut free free logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7490472"}},"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":"Q2115288$BCFF0674-E688-451E-B0C0-957529F28B69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4562ec6aedd21e7443f4f681b2cf1a9af3a0cba","datavalue":{"value":{"text":"A binary quantifier for definite descriptions for cut free free logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2115288$8DD35F0B-B4BD-41F8-9E52-6DE579DD1ED6","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":"Q2115288$B64181BB-F469-4B72-ADF6-DC70447F6E64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115288$045FD57A-5311-423F-BD94-55F6EF5FCD13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1470e37d0b940c5d9b54c63ce5027a99aca98db7","datavalue":{"value":{"time":"+2022-03-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":"Q2115288$62635F19-5C6D-4EB1-A9BB-5B010FF047F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee6b8681488086f7efbebfc878dd6eeafe456c59","datavalue":{"value":"https://arxiv.org/abs/2108.09777","type":"string"},"datatype":"url"},"type":"statement","id":"Q2115288$CC16D3A3-7D8A-4C38-A885-7FBD912EA7CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115288$16E88B85-9C99-4EB1-8A18-B284FD5DC065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8aa848d1955e4072554eee177aaf7f2a229215","datavalue":{"value":"7490472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115288$D4610379-4275-4D1A-9D83-5969271182C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115288$CFE0EC45-8D73-45D8-AB7C-D4E54E329816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115288$F71DACBA-83E3-40EC-B38D-C5CBAE6DD0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115288$778405E5-F3B8-416B-A7D1-971439863825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115288$43DE73EF-51FA-457A-8A35-54CC38149417","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":"Q2115288$4801A602-9126-4BDC-B1C3-02DCC01F8FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28c33ae65c2cb6eafe41ad322e21ce0bdad8ac9b","datavalue":{"value":"W3195923729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115288$D83A0E9D-8611-4ED4-A925-511D2C95C764","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":"Q2115288$8BE3D544-688E-4F08-AD97-7DBBC6EC2A58","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":"Q2115288$9C70FE59-4CD8-4FBE-83D6-0448086A1D56","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":"Q2115288$9BFD4D77-E482-481A-8893-94F39B0ECDEA","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":"Q2115288$8B4C9B93-2124-4B7B-B746-A419F43ACF70","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":"Q2115288$AB12C7D0-D918-4647-A046-BDA9C33F2C34","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":"Q2115288$8A7FAE56-31AD-442A-9C49-A92E740E77EE","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":"Q2115288$93301AE4-A793-442F-8016-AF398A4291DB","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":"Q2115288$925EDCBF-6AE8-4A37-8AA3-BCE0A9D48990","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":"Q2115288$0A114C1A-710F-4705-B48A-F8465FED7560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a81f7362de475c6f94efb1145c6f25bf8c05513","datavalue":{"value":{"entity-type":"item","numeric-id":2243550,"id":"Q2243550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115288$401449B9-2C15-46A4-8123-D37F6B6877E5","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":"Q2115288$92ECC26A-4293-48D2-92B7-B6BFB620078C","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":"Q2115288$0A43539D-2409-471F-B7C9-CE16CF8B3F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e142570b88f0ef8e481b3a45dfb5344ea6c4998","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115288$AC33E61B-892F-422A-B403-EF7805CDF194","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":"Q2115288$F9ECA42B-3E25-4C16-BB18-42D76185E34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df79cc02c2e2d414ddb832e8390e7d8c8ec96f98","datavalue":{"value":{"entity-type":"item","numeric-id":4793386,"id":"Q4793386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115288$E1A21BA5-AD76-4B4C-910D-8AF2CD9E607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f531367f2bec68636c07b36bb79652d8b6ce76e","datavalue":{"value":{"entity-type":"item","numeric-id":3998995,"id":"Q3998995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115288$9697CE1C-B69A-4970-ABD4-5682C92C6032","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":"Q2115288$E2D6E604-CBAE-4D5C-B150-06BF486DFC6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44265a3d9ee29e9d59297f0f034e51607b9e8ff9","datavalue":{"value":"10.1007/S11225-021-09958-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115288$83B5436D-3E5D-4DE0-870E-11644BA99A76","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":"271ab1a869957f6a6181cec58846ef7186e5d94a","datavalue":{"value":{"amount":"+0.9000727534294128","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":"Q2115288$BD1CFFBF-FA72-4962-9CE5-D013D27F5B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebc073a48b6987817115c78d815f192b93a56d6","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cb0798e3d4db8564ec2b50f5867cc1fc81057b","datavalue":{"value":{"amount":"+0.8859539031982422","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":"Q2115288$8B88E7EF-5253-4F1F-978B-E66FF81D9E5D","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":"79cb735922e4a7f1c42252586022e10f932a1535","datavalue":{"value":{"amount":"+0.8545262813568115","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":"Q2115288$2320EE0F-5A1D-425B-8DBE-0763E101BE4B","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":"1d8eef67a16b5c3f77cb8e44a4d632661538a561","datavalue":{"value":{"amount":"+0.832783043384552","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":"Q2115288$8AA5A680-6CEA-4A2C-B579-FA3752528148","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":"349e3407033d526e06bae361b0f2e9f26acf6230","datavalue":{"value":{"amount":"+0.8078346848487854","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":"Q2115288$83C605EE-498F-4DAC-84F7-09E177A6E2FF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115288$D67C9A4D-2F60-4A34-973B-E93A3CFD3CA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2115288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2115288"}}}}}