{"entities":{"Q2679583":{"pageid":2690326,"ns":120,"title":"Item:Q2679583","lastrevid":57526275,"modified":"2026-03-31T06:51:25Z","type":"item","id":"Q2679583","labels":{"en":{"language":"en","value":"Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7644285"}},"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":"Q2679583$E51AA5E3-3D75-465C-9668-061D7A193BFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d72df003f6a6f31faad2d820fbae921cb68624f","datavalue":{"value":{"text":"Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2679583$ED399E98-8A70-474F-9DDB-26E001FA3EA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6574bbfd705b20bbec5c6518dab9d5aaba1928","datavalue":{"value":{"entity-type":"item","numeric-id":408333,"id":"Q408333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$E4240412-72BB-4896-9FAA-F54EB173AD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a3d0a791e7e0890b54c059b74b1c839297ae89b","datavalue":{"value":{"entity-type":"item","numeric-id":2679582,"id":"Q2679582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$0078AC10-890C-4947-9B81-C68B8C8A4467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$FB41AC75-ED09-48D6-B8FE-C4FD8BFCE489","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$8A523EF7-9637-47F6-8609-47EE932AE6B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b55eb1439ef3a3c6707cb36786e753a67d9d02e","datavalue":{"value":{"time":"+2023-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2679583$35CFF9B7-DAC9-4552-A87F-C7D2BE0469BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679583$39FC0AA1-A237-4014-BA43-7563D9012C30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"179795bed368e96c999bc7257b7ed256eba18af4","datavalue":{"value":"7644285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679583$C4D752D6-3EC4-4EB5-9056-9B6A2AF718EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4ad426cd8acfe766c6e134e39842b5b04f3a73","datavalue":{"value":"higher-level rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679583$F13903E6-D627-4812-8C5D-FA10F7196221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679583$EF4AC009-A9D5-4FB4-A60C-2A1A63BE1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679583$CF230781-444E-451B-BAEB-97D730CEF2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de8fc998fa060f2ef876f44b39912158b0f37ee","datavalue":{"value":"meta-inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679583$36EADC98-9E02-4F89-8658-8652CF143757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679583$49E803F0-73E9-42D3-A816-ED3E4782DBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05532252bc3036fe2b7817b303cffc1e5142a9f8","datavalue":{"value":"paracompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679583$997515DC-492D-468E-93CD-C4BEA1D5F651","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$35BAC9ED-2AF5-4225-83D1-3D7E84D071CB","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":"Q2679583$19B176BC-4975-4987-89D8-01C9D4109E4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67183a5a8195daeb468c82f812495bfd7b16cad5","datavalue":{"value":"https://doi.org/10.1007/s10992-021-09639-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2679583$CB6945BA-5FBB-4FD8-86DF-93D3F6CFB5F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"853befefa88dba4798c76127506f8def0c4b61fd","datavalue":{"value":"W3215699654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679583$3F8FAC6F-1CC8-4826-80D0-619464BDCC76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d77008bb7be7465adb1ce5e2296a0e5b4d9385","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$7567FE21-3E74-4DB9-9D88-E1536AD1531D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2c3dd38fb4f31cc6ff0171b4a235ac9803e7c7","datavalue":{"value":{"entity-type":"item","numeric-id":253131,"id":"Q253131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$8491E8DC-CF68-4A3E-BC69-9842E7AAD96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c8cd0806db217588f65fbab734959000b650dc","datavalue":{"value":{"entity-type":"item","numeric-id":2301322,"id":"Q2301322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$C9351FA3-2A92-48A1-B6EA-347DDA041655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$24B8CAE0-D073-4C6A-866D-D963DF0C069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ec2e39ab7c755a6f83ace0300c417a903402e4","datavalue":{"value":{"entity-type":"item","numeric-id":2973404,"id":"Q2973404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$C0C3B5B4-665E-4836-83BC-2FD7F8B2E8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$CC37A1C5-23D2-47C6-99DE-4DD7FF498F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcb5174ae9cc61fd3cdfbdf5cb0bdbc76374617","datavalue":{"value":{"entity-type":"item","numeric-id":2679587,"id":"Q2679587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$81D2E417-30A8-419A-A28E-CDB1DC8CCBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c22a356f17b07a03b045b4350b5b9278dd2217","datavalue":{"value":{"entity-type":"item","numeric-id":3305673,"id":"Q3305673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$2A496158-9477-411A-B7E5-20445E8DA939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$85196D97-E704-471F-BCAE-6125FFB3ACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$31C453CA-160A-4C73-9215-76476DD13848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$4E78F466-A46D-476F-B04F-FE7E150D8416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0b04d6b53c335a89b8c5619c7c0a7e32d63444","datavalue":{"value":{"entity-type":"item","numeric-id":5742701,"id":"Q5742701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$3E3C8767-DF8A-4426-A515-EAFF2FC75C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9490748247c1c7e32bb459e34bafcf8de93434","datavalue":{"value":{"entity-type":"item","numeric-id":5107533,"id":"Q5107533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$9400C752-9965-4E58-8460-0B2ADD5AA0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$BF880BC1-7017-4EC7-9C68-4275CACE6613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$96A92913-A98F-46DC-A777-DCDB3413FEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5777ceefdcbff13af8c170a6b9cebc37296c9181","datavalue":{"value":{"entity-type":"item","numeric-id":4647557,"id":"Q4647557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$19304A67-BE70-4557-A3AF-9748D81240CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7649a464defc954d84f8361fde25be61b415a1ef","datavalue":{"value":{"entity-type":"item","numeric-id":1986084,"id":"Q1986084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$92496853-06E7-4B68-BBDC-B7A276571719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d13ee376b1e9f7356f21de99efa1b8d7a32c4","datavalue":{"value":{"entity-type":"item","numeric-id":830392,"id":"Q830392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$6878F6AD-F723-4213-BD20-5AA3D071BDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$95C73358-AC2D-4F21-A281-AA75FF2F4716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c59f24245bd23fc74e4844865db68ccee29c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":3226747,"id":"Q3226747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679583$645D111E-E111-447C-B058-93B78963F0DF","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":"Q2679583$FBE31049-FF55-4741-84D3-235705E6CCE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"149675026836940b368512d8292c073f954caf61","datavalue":{"value":"10.1007/S10992-021-09639-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679583$6277BE16-D769-4410-9E90-7C2A90DED714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e17bcfc0c271c84cbdbdce25e8405e232652e8","datavalue":{"value":{"entity-type":"item","numeric-id":295922,"id":"Q295922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8467d32d70b1267da1a30e2e9029e3915e1583","datavalue":{"value":{"amount":"+0.7702168226242065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2679583$8528A148-EA2B-4909-86A8-4FFDBA19D094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52830eafde0dd204437affc777de916917fcb66","datavalue":{"value":{"entity-type":"item","numeric-id":2679577,"id":"Q2679577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004f4064462ea8ce2688b08ae6cfd7daa752fbfd","datavalue":{"value":{"amount":"+0.7285557985305786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2679583$A71F94AF-A826-456C-949B-D812860BE1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ffb0122775a78b10a5c673931ce40e7acdafe6","datavalue":{"value":{"entity-type":"item","numeric-id":2118968,"id":"Q2118968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7e05fb9ca0499354f610e7c6381bc43bc78480","datavalue":{"value":{"amount":"+0.6989090442657471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2679583$DCEFACD3-ACAD-4A95-8C8D-812C943D6E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b871ab9ed02b0ef7f745d43d1a4ca474e2a34cf","datavalue":{"value":{"entity-type":"item","numeric-id":2679576,"id":"Q2679576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ef87ed5a35d4dc28aa7180478148714c3eac8c","datavalue":{"value":{"amount":"+0.6895838379859924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2679583$BE9C9F83-69B4-4ADB-A3AB-DEC32198256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a83310f87d19dfa277d4c85c0605a013100a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2679574,"id":"Q2679574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee2c70f048bb9bfb9656188f95393094da49222","datavalue":{"value":{"amount":"+0.6861957907676697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2679583$E55113AA-F89D-41A3-BFBE-CBD0917A6F20","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":"Q2679583$275197C0-2E1E-48B8-B41B-603D5CE9A3FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2679583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2679583"}}}}}