{"entities":{"Q2142067":{"pageid":2152810,"ns":120,"title":"Item:Q2142067","lastrevid":42178965,"modified":"2025-05-27T12:36:25Z","type":"item","id":"Q2142067","labels":{"en":{"language":"en","value":"Proof-theory and semantics for a theory of definite descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532511"}},"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":"Q2142067$03888F70-066B-4B88-A370-66269FAB6B1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcc081b7a0e7af3eeeb92d960d8110e2507373d1","datavalue":{"value":{"text":"Proof-theory and semantics for a theory of definite descriptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142067$55400C4C-23BF-4B63-A9C9-EE5816E60DD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860fa86c9254b89a4e0e3ccb317bec98ba6a8b12","datavalue":{"value":"10.1007/978-3-030-86059-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142067$0B46FF82-703B-46EE-8F75-A3A6A18EE846","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":"Q2142067$28028F34-AD9B-4ADD-9D24-6B9AFB05F912","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142067$B2FA5F41-CBCA-4CFE-AC77-BF4C98C9425F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1260993e985ce81b5afd2aa001902bbbddbae6be","datavalue":{"value":"https://arxiv.org/abs/2108.03944","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142067$8F156DC2-74D3-48E3-8666-3248E808037E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142067$5BC8386D-EB7F-440F-856C-3A1BD518A373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb2abe97aefa0f45331face4f956105076ba96d6","datavalue":{"value":"7532511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142067$C384A532-3A91-465B-9152-E0FFA37BEDF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142067$10A43524-820A-49DB-8B21-23E8582A7700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639bd768fc42e55c288735e257a64f8aa9ba1288","datavalue":{"value":"positive free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142067$42869CFF-303C-47B7-BA7E-32E0B048267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142067$08BC3B33-72A3-449A-B7C3-D340BCB2E79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142067$2607DAB4-D8BD-401C-BAFE-85961470D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142067$C3FA683C-3446-4FE1-9DE7-03DB4F18518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e800f5c2d037155fecab74ec2dad7434e423ac","datavalue":{"value":"dual domain semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142067$4EB09B8D-6CB3-46EA-B6E9-D828D85726AE","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":"Q2142067$632AE161-A198-4971-A72D-D2661A0247AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9df6d0d344ab01e17aaf3d28000d82c426e5477","datavalue":{"value":"W3201825737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142067$856D4560-A10B-4209-80B0-46DD4C7FFCB2","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":"Q2142067$C6713555-E1DC-4F18-967B-34D9AF288A8B","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":"Q2142067$2E4E7E09-3505-4196-808E-3773686635AE","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":"Q2142067$F15D5E1B-5FDB-4B61-828C-655DC6D907EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$EFC643FC-7D23-4A2B-8C44-074B50FDD887","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":"Q2142067$B390819B-53CC-4CA4-A883-179E08476853","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":"Q2142067$FEA1B21B-2AB7-43FC-8EAC-BE0232A73FF4","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":"Q2142067$73D02A7E-BB34-40A6-9C6D-A2DF1D3B7607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$FFE7EF34-829A-491A-9538-DFE63DC87CAB","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":"Q2142067$C05633E2-2563-4064-9E0A-A7BE6B1F945D","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":"Q2142067$D0106AE4-C3A4-4442-9424-4B029BB831F0","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":"Q2142067$10536C86-4C51-4D3C-873B-4EF0B97C2E92","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":"Q2142067$32A59CFE-3031-4B5B-AB2D-1A9C8C69262D","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":"Q2142067$5CE2F606-B05B-4855-BFAF-D3704A5D7F0C","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":"Q2142067$9CF147BA-7076-4618-A32B-CF392C3FF152","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":"Q2142067$2C10BA5D-C063-4EAC-B129-CBDDB06A2FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac043c5dc3e76dd06ae580d0cc3bff5a56c25195","datavalue":{"value":{"entity-type":"item","numeric-id":2115288,"id":"Q2115288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$A93B8B19-83D4-46FD-9BB9-C2926AB01BD1","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":"Q2142067$913B2954-845B-486A-854E-CAEC09139600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4da0150ec788f9116c5a0cbc83c6b76b7e62cba","datavalue":{"value":{"entity-type":"item","numeric-id":5545946,"id":"Q5545946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$33AC4E2E-F965-41D9-8986-83BA502F8DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74b631df8ffe1ddaf51d33a17b68732573ba4b7","datavalue":{"value":{"entity-type":"item","numeric-id":5565078,"id":"Q5565078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$A21D314C-3E8B-4352-8955-E67B75D4E46F","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":"Q2142067$C9CE1448-D6E7-40C1-9739-8BD1FDCFC58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$249A11F0-57B1-44FC-926A-190BFEC44825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eecb522951f0462b99ba16db42625e5aab36457f","datavalue":{"value":{"entity-type":"item","numeric-id":5793822,"id":"Q5793822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142067$6FA6881B-D916-4100-B859-2EC1BA0EF425","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2142067"}}}}}