{"entities":{"Q2679577":{"pageid":2690320,"ns":120,"title":"Item:Q2679577","lastrevid":57526266,"modified":"2026-03-31T06:51:23Z","type":"item","id":"Q2679577","labels":{"en":{"language":"en","value":"Metainferential reasoning on strong Kleene models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7644281"}},"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":"Q2679577$C17C91DC-2D6D-4AA5-83A5-58F351EAFB3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48c5829ea2b90eab49f8aa06da45263b511078b3","datavalue":{"value":{"text":"Metainferential reasoning on strong Kleene models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2679577$2437A70B-CC2C-41E2-AC42-757B29013403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6d7202a795b5638cab7f961b9f9135faccef26","datavalue":{"value":{"entity-type":"item","numeric-id":263085,"id":"Q263085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679577$3EFBD57A-65D9-4B97-9B92-19DFCF9B1B64","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":"Q2679577$E2DE734A-0A5A-4E57-A07B-71B817B95D38","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":"Q2679577$21AA3187-099A-46B0-AED5-ACF6EABEA4A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679577$4CE1B9D1-95AB-4317-906E-CB225494A4E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54a5a20044992a3cd82ef8290242b592fba515d5","datavalue":{"value":"7644281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679577$42585B7A-A473-43D6-BB48-2774BE5E2528","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f86eddc40af55f611934e9c8404ebf9c4237c9","datavalue":{"value":"non-transitive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679577$2245621D-3266-4846-9069-100F77156D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae68aa5b02fe102ac1328be6036f60ca176c422e","datavalue":{"value":"metainferential hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679577$581BA746-F270-42CD-B78F-E69F4D73786F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679577$6BF2D133-8C39-49B0-9843-B4FB25C28E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa21b7722071f438d421329044f350a6a5befc7","datavalue":{"value":"nested sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679577$052E8C85-802D-4CDA-94A8-77EEF1286F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f071eb9737c6b40badb46740595a76a7e4042c5","datavalue":{"value":"strict-tolerant metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679577$3F404C0D-4F2E-4F20-AC96-7662709132F6","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":"Q2679577$D1B6392E-6143-44A2-8AD4-BE83B946027B","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":"Q2679577$2C446E8F-7DF6-43B0-A64E-3A20FD15616E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d675a9a3df3f496c10ad78b3ade609b24255f7a","datavalue":{"value":"https://doi.org/10.1007/s10992-021-09627-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2679577$16B2416D-BB99-4F70-B4C8-705FB72E41C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a90b1c20e6f8adef165740384e9baea281c0d66a","datavalue":{"value":"W3188036807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679577$13E45EBB-6C64-4256-875D-B150318A8761","rank":"normal"}],"P223":[{"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":"Q2679577$7B85D01D-F790-4A4C-9E4F-A42BA94C7159","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":"Q2679577$91DA3223-73A5-4025-870D-40B21780F3B4","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":"Q2679577$9594F038-75A0-4F1A-8780-16241DD3E37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27733ec2c2f7fc26856cb55b2429e5576d599689","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679577$2C081725-AFDA-49E5-8773-581F3D3597AE","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":"Q2679577$789CB7DA-FC9B-4604-BC71-59EEC6FFC673","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":"Q2679577$7DA524A6-025B-41AC-A8F5-4F5F32ECD4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679577$05440F9C-6307-47FD-97CE-E149C9B0AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679577$76E24C7A-DCA8-40E5-BBD4-0739110DD24C","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":"Q2679577$1000155B-E3BE-48AE-BD8D-23E9645BE567","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":"Q2679577$0E64B26B-FB48-476D-AA7D-322C951D46A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc34940e100fd598d9a2101e397fa2092c68f8b2","datavalue":{"value":"10.1007/S10992-021-09627-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679577$2584C9D0-8A7D-4B3A-8E6A-B46FF1F57E45","rank":"normal"}],"P1643":[{"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":"4dbba1503a6220c04591c1dce983739a1ea8d391","datavalue":{"value":{"amount":"+0.8827811","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":"Q2679577$D7344249-901E-4E02-AF7E-3A94070C22D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b578dd4060c4e04a2895d69d7d83e2f1311b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5742701,"id":"Q5742701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3be245350555ef82287f428039381188b394f3","datavalue":{"value":{"amount":"+0.8814576","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":"Q2679577$92222F6D-134D-4E5C-B839-B7B69371D012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17832999266fc8cc52e9444b8def2ddc0899ed9e","datavalue":{"value":{"entity-type":"item","numeric-id":2679583,"id":"Q2679583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029e3a06a43238a90f06b77549411aa45361ecc3","datavalue":{"value":{"amount":"+0.877751","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":"Q2679577$CB1977DF-C4BC-458E-9C9A-0FF141AD86BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25defd90c158e742b11109d9a7d783c3a4d1e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3061276,"id":"Q3061276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3161724244ac6cd0c39d3474be8eb98c277ae7ba","datavalue":{"value":{"amount":"+0.8718579","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":"Q2679577$5F53612B-BE97-4276-AFB5-DBB2C3236F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5094ae04adfda4afabc07317ef0f953efceec64b","datavalue":{"value":{"entity-type":"item","numeric-id":830390,"id":"Q830390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d95d46e0763504ea3e7f6c3d0d1d6e836f26b16","datavalue":{"value":{"amount":"+0.86938804","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":"Q2679577$DB3F5B7C-3346-4E21-AEB0-C9470AFF67F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2d7c51355f1b24d69820d8e77dc8f566aed18","datavalue":{"value":{"entity-type":"item","numeric-id":5477654,"id":"Q5477654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317fc97f0ca5ce87e35732a595ede1887380fbe5","datavalue":{"value":{"amount":"+0.8693618","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":"Q2679577$A58D2CC8-EC31-4588-9D48-6FFF12F0AA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb2801a8cf455a1822c7fc9546fad036556d778","datavalue":{"value":{"entity-type":"item","numeric-id":4707768,"id":"Q4707768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9313d39ce9158abff1a174fa37cad74f382daaf1","datavalue":{"value":{"amount":"+0.8630959","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":"Q2679577$F33BD60C-2400-48DC-B6A8-0521B60C1694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6069596235a77af4a0ce188dbd6c4aa338ad0602","datavalue":{"value":{"entity-type":"item","numeric-id":3789525,"id":"Q3789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f08ab09f666e9444799a3eb8bb684b871f2af76","datavalue":{"value":{"amount":"+0.86134464","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":"Q2679577$2AFFCEA4-82CF-442B-90FB-B2CCAE9285ED","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":"691019f15d7dec8f72b4d30319ae47e6a0b879ab","datavalue":{"value":{"amount":"+0.8571627","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":"Q2679577$56E7444E-D587-4033-B7A4-ADAEBF1A377D","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":"Q2679577$7A7FCB0E-C028-48FC-A028-1CA72B19412C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2679577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2679577"}}}}}