{"entities":{"Q6200465":{"pageid":13335353,"ns":120,"title":"Item:Q6200465","lastrevid":58763979,"modified":"2026-04-06T15:32:02Z","type":"item","id":"Q6200465","labels":{"en":{"language":"en","value":"Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811414"}},"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":"Q6200465$433F30A9-9229-4B1B-863C-F6A6ECA6C8FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2723774d7d980c38d40645aa6cfbdadb27f4ac70","datavalue":{"value":{"text":"Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200465$D0A32E01-5C2E-4643-BB6E-9B9D8C85C555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b19ba8400f97882ee9950aa63954d439e43c5b85","datavalue":{"value":"10.18778/0138-0680.2023.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200465$51485779-B932-4E9C-A89E-089AEB539E06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf73034ddc405d2340cf47605ed143bce407b8c","datavalue":{"value":{"entity-type":"item","numeric-id":6115848,"id":"Q6115848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$CD5EE78B-DED9-45DF-8375-C2288FF7B841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$48A32D87-1B1B-417F-9263-6E21DDAE0A95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$BF40D93E-6712-41BB-99ED-CD96C1D46361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b970591b68566c443b1d8071359abaf71557caa3","datavalue":{"value":{"time":"+2024-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200465$949CE982-204B-4DC0-B678-F83EEDB52DE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aefce10dc96b83b063d77a7e4c59e06c584a091b","datavalue":{"value":"https://arxiv.org/abs/2210.05336","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200465$2921BE2A-7969-440F-8520-3A497D57EA09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200465$5F26766B-DC6A-4BDC-90F5-A970400411E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c0d7821bb9e369864e406fbafa20a2a5c8f1ada","datavalue":{"value":"7811414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200465$66E00CAE-2075-424E-9B24-A929FA3714E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200465$D93A08BA-395C-44BB-9AD0-9BB60936B812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200465$DF4E9F71-FF1E-4274-89DF-5E819F046F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200465$F96E1522-F980-4AF7-8BFD-1B66F7D45C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05037599df3a57724aa2b17e36b7b88fed1b6a7c","datavalue":{"value":"negation-as-failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200465$AC8C35A0-E2A0-4D1F-9A3F-543FF29DC668","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":"Q6200465$025F81D8-638A-49B2-B2D1-CC005AFC5690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$F351A2A9-C603-42C8-81B6-16F4A9B676BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89663f9c0541a2bd1dd53ee356aa8b8c199119cf","datavalue":{"value":{"entity-type":"item","numeric-id":484102,"id":"Q484102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$84BFF82D-9F09-4E52-86B2-BCD2A030F746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$BBFF0925-9CE1-41A1-8BE7-949A26A88478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$5EBDE3AD-744C-41F0-9E76-3386E0AC9BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67768604a4726b8d613643c7e82d83a8b6eca3","datavalue":{"value":{"entity-type":"item","numeric-id":4272507,"id":"Q4272507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$3D04EB88-668B-4A5F-8201-970971EE4783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$2AFD5AE9-CA68-4EB4-A7D6-0746899C269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$38A95F62-F01F-4B4C-9E38-C128AFB829AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f020a14ff51e6f45156702b06b1d25bdf6a82e55","datavalue":{"value":{"entity-type":"item","numeric-id":2698284,"id":"Q2698284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$C5A11D37-4D07-43C6-87DE-1A464A9E4492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$360B177C-FEA1-4015-BBC0-6D148B6F262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990d866d8f3a33db0f897f8205d5a0bf2dbf2379","datavalue":{"value":{"entity-type":"item","numeric-id":5172129,"id":"Q5172129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$57B78FCF-FE97-4D75-BA1D-A63026E1E058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$6405398D-E0DA-4328-A7BE-43EAFD064EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$C1527054-2360-4A51-9627-2F7258D0D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f4af3cbe2b187fb3793274479c7d9fc1caabe7","datavalue":{"value":{"entity-type":"item","numeric-id":5224891,"id":"Q5224891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$9299E608-617F-49A1-BDF2-5C40B5F02F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d020d9cacb718bc76ea953077420460e0299d","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$C831747E-EAC6-423B-B2F7-BEC3C313722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719d8326283b4d2b8b03782fd1f321d045f4802f","datavalue":{"value":{"entity-type":"item","numeric-id":4648470,"id":"Q4648470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$CC8A7EE3-9EBF-46EF-BBEE-06AB883AC785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5782a4dad3a4c5379b29251e4868675364c15da","datavalue":{"value":{"entity-type":"item","numeric-id":4644597,"id":"Q4644597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$E198D26C-CC1F-4EA0-9AA0-82A032130BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127201fbf302215c7fd11497f456c9a22fe7a41f","datavalue":{"value":{"entity-type":"item","numeric-id":4497444,"id":"Q4497444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$BE7BB65C-5CEB-4278-AA75-46774D3D2E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$8764A9AD-386D-47D6-865F-B7C8D64ACE54","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":"Q6200465$153F0741-A713-4110-A825-6BB7F9C33274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$22FC81B4-08A7-4EDB-A06C-EB3DBF2E83C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426768d3d5594345361285607e01ab3b49279bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$93BC06D5-F7E9-4FD0-8FB6-43BB4F85C3E3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200465$1EA7C86B-ACA6-4232-9A9A-FFFEBD36AE1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6200465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6200465"}}}}}