{"entities":{"Q6541147":{"pageid":14152290,"ns":120,"title":"Item:Q6541147","lastrevid":57344799,"modified":"2026-03-30T14:10:31Z","type":"item","id":"Q6541147","labels":{"en":{"language":"en","value":"A cut-free, sound and complete Russellian theory of definite descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850741"}},"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":"Q6541147$F2C050D1-94E6-4099-8CE8-A4D6380B7ABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60ec1f4f19c20a1456ef28cea62c1ecf2701ff1","datavalue":{"value":{"text":"A cut-free, sound and complete Russellian theory of definite descriptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541147$0D1194B0-D413-4D4E-BDBE-9121BC96D189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18c51e192f64d102885f640cbf7f5ffedfed258a","datavalue":{"value":"10.1007/978-3-031-43513-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541147$810B56BA-42C8-4D1F-9E5A-B61F8E3948AF","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":"Q6541147$693F0348-4C15-47C2-A18A-5E74BC223024","rank":"normal"},{"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":"Q6541147$1DBE3509-8107-4BBA-9E65-44A0E3D16E3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541147$59989EB9-509F-4D3E-8A33-2D41D8B78117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541147$65D53507-1B53-48E1-A71B-0B3D03AA389A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7dfa6a2effff63c67a494810a0e92606ea9cdb2","datavalue":{"value":"7850741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541147$F1AE6EF1-AF5B-417E-8FB3-2F7672EB9D3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541147$CDCCC97A-263B-4F2A-AF85-AC4E3B68D28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af9ab3c4cce4c8afc2b7ced6f017a136b774071","datavalue":{"value":"predicate abstracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541147$B24F8322-E077-449D-95CB-61F409C32DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541147$C5BD0BD7-AF90-4117-8257-74F209CCD945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541147$EA92BB13-FD11-437A-9891-0D4678BB09B1","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":"Q6541147$47424004-1A3E-432F-BEED-974EEA0AAFBD","rank":"normal"}],"P223":[{"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":"Q6541147$CCE8DABD-44B4-48C0-A5AE-79B44FC90644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ff7c4a7feff9f1c47a5dd0b4e8fefa755b6cba","datavalue":{"value":{"entity-type":"item","numeric-id":2303232,"id":"Q2303232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$CC932157-2D9F-424F-9E29-90DFD03C16CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ad3b78a664643f19b3ee97851a9e734914e232","datavalue":{"value":{"entity-type":"item","numeric-id":2305408,"id":"Q2305408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$E12E3EB7-7A5D-4E06-88F3-80347F7F37E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f515395370fafe15c517dc7d5b4efec8bde05","datavalue":{"value":{"entity-type":"item","numeric-id":5668436,"id":"Q5668436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$A1D67072-39CB-497B-8A18-ADBFE117B4CB","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":"Q6541147$D672B20E-9711-4117-BC19-713A0FF6A6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa3c53987443a4178b6d2e267de74a5a04ae070","datavalue":{"value":{"entity-type":"item","numeric-id":2548954,"id":"Q2548954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$88C5231C-CB3A-4FA6-A942-EC723BB0C8A1","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":"Q6541147$6803B2C7-19CC-4853-98A0-8DD2250D9A8A","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":"Q6541147$AD172B75-C047-477D-B56E-79F8889176F3","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":"Q6541147$08D18D8F-C86E-44C6-897A-148451A5DA4D","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":"Q6541147$02846962-43E5-4C34-8F79-81531D1AD42C","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":"Q6541147$C7DC2A12-B111-410E-9C1D-DBD5299E9F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bd726de9a21b6586c26041230682c0d737e5be","datavalue":{"value":{"entity-type":"item","numeric-id":6041350,"id":"Q6041350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$4744C8E1-66CC-4662-8002-B664B0B39024","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":"Q6541147$4A00EA95-8718-4F58-A40F-3F2530B7607D","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":"Q6541147$E73FABAE-0517-46A1-91CD-A6A070E9ED8A","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":"Q6541147$4372D3C3-8976-4DE1-AA8A-64968C8C1CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6476cf8aba19133d5b11a12e0d95dfeddc80f98b","datavalue":{"value":{"entity-type":"item","numeric-id":2142067,"id":"Q2142067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$38BB746B-0122-4690-94FE-BE6BD6F29CC2","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":"Q6541147$0E1BC1CB-44CC-4E9F-A5AE-10E0892B72EB","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":"Q6541147$9354545D-B8D8-458F-B88B-2676AD7A3009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65bc0b28c9fff471bd4913b0f82c7d00976d2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3382811,"id":"Q3382811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$6286F69D-6A9D-43F2-83AF-0B7FE2E6C8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$6293B07E-8979-4F2F-8701-40FBA13D7431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abdd8c24a1c7acecdc3641430005a658dbe3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5582317,"id":"Q5582317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$FA98201E-B986-463B-AEE7-91F3EE0D4312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$89686ABD-3B89-48B4-8DD2-4F3297B082DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bcc4f4a531d2901707f28dbf4f33b0fe9362d9","datavalue":{"value":{"entity-type":"item","numeric-id":1484786,"id":"Q1484786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541147$24426762-00FD-4484-977B-4B3E00CF10BA","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":"Q6541147$5C5E5987-1F94-40D5-A3A2-8F18A7CD5CC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541147"}}}}}