{"entities":{"Q6041350":{"pageid":13175451,"ns":120,"title":"Item:Q6041350","lastrevid":57370824,"modified":"2026-03-30T17:12:42Z","type":"item","id":"Q6041350","labels":{"en":{"language":"en","value":"RUSSELLIAN DEFINITE DESCRIPTION THEORY\u2014A PROOF THEORETIC APPROACH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689503"}},"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":"Q6041350$A75D03B3-3685-4F8B-9B8A-12ABCF4A3588","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ba82b1f693ce76a173688ea32c9aa3384527ae9","datavalue":{"value":{"text":"RUSSELLIAN DEFINITE DESCRIPTION THEORY\u2014A PROOF THEORETIC APPROACH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041350$87CB589C-3D59-4988-B7B6-45FADF6B7D3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"577b2daec2c51065c73266f4c496ffb0c88a6282","datavalue":{"value":"1522.03315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$6C76D53A-119D-4A18-8D54-27AF1D6C52F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$F7BD2E2D-660F-47E7-8FA0-E9615EF1CE4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$9179FB67-D816-4815-952B-4C87287FF976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041350$56B954D6-7D08-402D-A331-1F3632DA2B29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$E4DCDFE7-0196-4261-A216-D6183D980D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$47798A48-3E10-4780-BF9D-A55240DB4478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$B1392575-37C2-4498-BF84-56B876765F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e73f68ba6d7a70a715163b25b6329d2b72d42e49","datavalue":{"value":"7689503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$D03D689A-D470-47CE-8796-AEC716CDAEAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958fc0733e0a91bbd78f2cadc712e553cbe8252f","datavalue":{"value":"Russell","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041350$D4F76FDF-3DD8-45AA-81DF-5E4191829092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041350$A5413446-D795-4809-A340-A0D6FDBAA397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041350$42541365-3502-4410-AE2D-FAA9D71084EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db16a26454b350b66e71626a8cdb1a15d7b64c96","datavalue":{"value":"cut elimination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041350$21401234-3A44-464F-A2E7-98D2DAD108FA","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":"Q6041350$A46818A1-ADDC-40AF-A58B-8C161464CC3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc947da3833116915bb7065ee70c3d7fd2c5b54","datavalue":{"value":"https://doi.org/10.1017/s1755020321000289","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041350$333B4BCD-E303-443E-BDA0-ABF408DE6058","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a3797e2091d7821560741e28d09bc0224b1cf8a","datavalue":{"value":"W3194705343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$989B9FD2-F0CE-4B98-8C9C-FFF45D1698D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$FF97213E-B1EB-41B3-BC59-16F31C450F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$35BE7042-90E7-4596-9925-9342816CC48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749aa5c484d884771466997b802e7dc39af08a46","datavalue":{"value":{"entity-type":"item","numeric-id":5311280,"id":"Q5311280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$2F547B36-FBBF-4871-98E9-11A874954B2A","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":"Q6041350$C95159B0-E786-4D42-A4A0-1608908F4FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74042be5441e3b3e34639cd7aa8a9bacff7d215","datavalue":{"value":{"entity-type":"item","numeric-id":5742616,"id":"Q5742616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$F6734DF7-C863-447D-B9F3-71C1E4964A05","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":"Q6041350$209DFBAA-FD5F-477D-B7A9-E487FB383B8E","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":"Q6041350$6F575EFE-AF57-409C-A85C-AF18754B75B2","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":"Q6041350$1110D511-D468-4B98-B55C-60A68E61A9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$9CC27FA2-DC40-4EAD-B182-6002B22A88F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$1EDFF2A8-642D-4064-8ECD-3A780246041D","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":"Q6041350$B491A382-DCE4-4337-92D0-F4A753CFA55C","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":"Q6041350$F0FE9904-52B5-4A56-A52F-485C453B225C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$3695806E-9809-4241-B67A-132B3AF7A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$A031A774-D6B0-473E-A825-5ACDAB9A16E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257c9a1fd948dda8752cc57d3c869337f7659542","datavalue":{"value":{"entity-type":"item","numeric-id":5381029,"id":"Q5381029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041350$4999D86F-B5C4-4F5B-B910-4942E9EED280","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":"Q6041350$7B477DD3-F684-4155-B7E0-E32BF83B0D0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ac90013a1c8bd267b751a9a7a812690258caad","datavalue":{"value":"10.1017/S1755020321000289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041350$F204CDE8-831C-4B5B-B4F9-11F3C200FFFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae8ddc927f252201de4dbd27cfdf27d203a880f","datavalue":{"value":{"entity-type":"item","numeric-id":2142067,"id":"Q2142067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48ade6bbf5d4e218fc4637154e89905fe8bf723","datavalue":{"value":{"amount":"+0.93393916","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":"Q6041350$71DDE254-0441-4599-BC9A-402A147C26F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff4cbce77dfe9b8f8eff585081ea8e2842fb0f5","datavalue":{"value":{"entity-type":"item","numeric-id":3486537,"id":"Q3486537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decbc4db8d8c6af959a373451f1e54eedf82d144","datavalue":{"value":{"amount":"+0.91992044","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":"Q6041350$ACFAAAEB-0FC7-45D6-83D7-F8DFB930E27B","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":"7176bde9988d5c1adc5f8e962dbee139f963eb03","datavalue":{"value":{"amount":"+0.89498043","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":"Q6041350$443DD876-6DB5-4AF4-AC62-6074F7BC59E2","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":"0d47b11a82a95e93c894b5bcce549ce3428b1670","datavalue":{"value":{"amount":"+0.8912069","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":"Q6041350$9349F12D-9A71-4C15-86B1-3F92E7F7E17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755b77fe87a233216e46319226f60fde23358726","datavalue":{"value":{"entity-type":"item","numeric-id":4817178,"id":"Q4817178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9b5d6913045d9609709df5c82ae6e67e118ab6","datavalue":{"value":{"amount":"+0.8807019","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":"Q6041350$C5742447-9457-4337-AA83-A07450E03404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c015385824e2e225151564bc9b8f0c8925d3f4","datavalue":{"value":{"entity-type":"item","numeric-id":2500816,"id":"Q2500816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1cf6f223c141b42bf55cee995e4aca04ef193e","datavalue":{"value":{"amount":"+0.8773775","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":"Q6041350$9429E976-EA66-46CD-96C4-B12743340312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6887b2158b9da9fdbf9a9d10e7d10f6443c66935","datavalue":{"value":{"entity-type":"item","numeric-id":4212908,"id":"Q4212908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f02d95b0cbb23a17d6daf2ff2658b39128aa54","datavalue":{"value":{"amount":"+0.87582564","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":"Q6041350$E5680B48-8E19-4290-848B-F52488FECB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081717fc77e6d77c875b7ac0cd95593d926ea6c5","datavalue":{"value":{"entity-type":"item","numeric-id":5224577,"id":"Q5224577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db80fc45030f04e740ddf5a50531bfab80f7c230","datavalue":{"value":{"amount":"+0.8742599","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":"Q6041350$FC2E9200-7506-44B4-BD17-302793358157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9114a6d6a77ac09df56658eabcb4b30f1155e8cc","datavalue":{"value":{"entity-type":"item","numeric-id":918958,"id":"Q918958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83c271a5c86ade1bbef31ce95c35402b14ac6cb","datavalue":{"value":{"amount":"+0.8674116","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":"Q6041350$826C8200-A09C-4EB8-96B0-A0734FF29C77","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":"Q6041350$5A53331F-70E2-41EA-A72F-A66CC99A5427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041350"}}}}}