{"entities":{"Q6993383":{"pageid":21463290,"ns":120,"title":"Item:Q6993383","lastrevid":83966066,"modified":"2026-05-07T15:21:41Z","type":"item","id":"Q6993383","labels":{"en":{"language":"en","value":"Normalisation for negative free logics without and with definite descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030942"}},"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":"Q6993383$33363D3D-DE80-4698-A800-90216CFB3F79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f556d66f767cb90cf86f8493c6234ac5251005ac","datavalue":{"value":{"text":"Normalisation for negative free logics without and with definite descriptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993383$2D1D9777-E239-4923-B6F9-C786241C9D4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3179e9d42279050a5c03b2a678d9d9048f373d15","datavalue":{"value":"10.1017/S1755020324000157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993383$350E1EB3-8A09-49CF-B307-9BC9748D7C00","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":"Q6993383$9B530122-99C7-465F-BF22-B3F88BD2DC83","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":"Q6993383$B2506304-50D5-40E2-8695-C24A4F9513DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-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":"Q6993383$F1D31BB8-05B9-4304-B235-3FC7C99E9A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993383$9DC8052E-3BA8-44CA-868B-499B92E1F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993383$6D96E127-FD94-48D0-824D-CEA66BEF6E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993383$7D3202AB-63AC-4949-B6D3-AC4E4C6BBF39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddd687a223b126a024a01fffc860d970cea9e7be","datavalue":{"value":"8030942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993383$B9B2A403-8CFF-4B34-8445-334A26F5F8F1","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":"Q6993383$9E2F49AB-9044-45DE-9BDC-D67B199A284A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835e36b6e26fc29987e6f2fe1e3e361a340884f7","datavalue":{"value":"negative free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993383$5866B34A-EB2B-4409-AE07-C7B4380671A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993383$223B1781-36EA-4813-A6B9-087D1F98B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993383$8CDFF77F-EC14-47BA-A0FF-EA255C7FB10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993383$728F2E76-B2DF-4065-934C-7016E9FBCFEC","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":"Q6993383$B95DF6A9-85DC-44D6-85A3-A09A63CA4CA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cadbbe9dbc04b1a29d3c16afd66252c0bbc9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$7AC7E114-9A25-4774-88D3-514D5374EFB9","rank":"normal"},{"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":"Q6993383$1EF8D1FF-3ECD-4E4A-9EEC-8BB7DD4C5C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba37178f4849a6f9f33cd6f635de99808396dd40","datavalue":{"value":{"entity-type":"item","numeric-id":583184,"id":"Q583184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$A38F496E-DAFB-49FB-92B6-031AC9D3B117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$8626A149-67AD-465B-8D10-DE568846F829","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":"Q6993383$74D4832F-1A51-4AB6-8F0D-D89FB32F0118","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":"Q6993383$39300D2E-0321-4276-B04E-2A32A099A10C","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":"Q6993383$A13DF1FF-1EDC-4D35-9CFB-EADBE3C0E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6eb3efcd3908cda7bf272b113ad359eceee9ad","datavalue":{"value":{"entity-type":"item","numeric-id":6142508,"id":"Q6142508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$602D3BF0-D55D-4724-9389-977AE36FE60C","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":"Q6993383$D0981251-A17F-4151-8330-F9960F323CD4","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":"Q6993383$2D86FF77-EA92-4B57-B868-4C59BE3AD87D","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":"Q6993383$A4996542-D477-4F68-94C2-DD1B02C3E14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed771e19c5d6e7c02f2a40bb9af635f1e93f11e","datavalue":{"value":{"entity-type":"item","numeric-id":6180164,"id":"Q6180164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$EE62846A-2CE9-45D1-9A50-F4E9C15DA701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eeeccbb1225a74c9c9ca133dd92d9e905ab28f4","datavalue":{"value":{"entity-type":"item","numeric-id":2118171,"id":"Q2118171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$0F95A291-0EDA-4D28-A905-5D4339772B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6700608ed8e559fac8d9f93f118b25da3ceb0fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5010232,"id":"Q5010232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$008FF656-CB91-46EB-B6E1-18CAA974CB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e681b0f6ffb77836256373a6a59e314d0d998b67","datavalue":{"value":{"entity-type":"item","numeric-id":3577741,"id":"Q3577741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$8B7D74CF-7E67-4C4E-BA31-AE47352980EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f263d4c85701f41b586e5bc6925bb81c2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5213611,"id":"Q5213611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$F5BCCA81-99D7-4C69-937A-26FBF68DC195","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":"Q6993383$B2AA1BC9-A643-4B6D-A1F6-FC92BF1051CE","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":"Q6993383$ECCE7017-026F-49DC-803B-C941EB7C1227","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":"Q6993383$A1A0051E-68BE-4049-AF67-749DBDE908BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8994a595605a5cc343dd7dd387b59c6ac088e19","datavalue":{"value":{"entity-type":"item","numeric-id":1462829,"id":"Q1462829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$A76AFA96-4CC5-4C16-AEFD-87F1F5386F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$8EC9304C-2AD8-489A-AAD4-DB42A21E174B","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":"Q6993383$4D509C4C-991E-48A5-A7C7-3FC53921A8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1902321315e109cf6574b19d4ca0ece764adb8","datavalue":{"value":{"entity-type":"item","numeric-id":5366876,"id":"Q5366876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$48E5648C-45CE-4372-9EBC-693E56374044","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":"Q6993383$C98FF095-52CE-4027-8FAB-B52017436BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d736c0732078a9d7eac3c1589404b797c3bb93f","datavalue":{"value":{"entity-type":"item","numeric-id":530609,"id":"Q530609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$C122A11C-5B67-4678-9630-52E92F06F898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$7E800EF1-5B63-4E31-A475-BCB551371CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad7d6be8d828e741320b3d4554a289565a066f6","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993383$A33A035C-096B-4808-95E1-2261E7FCBA52","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":"Q6993383$E00C2135-8BFC-4428-8879-8306437A6543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalisation for negative free logics without and with definite descriptions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalisation_for_negative_free_logics_without_and_with_definite_descriptions"}}}}}