{"entities":{"Q5404158":{"pageid":7433732,"ns":120,"title":"Item:Q5404158","lastrevid":75593929,"modified":"2026-04-19T14:18:43Z","type":"item","id":"Q5404158","labels":{"en":{"language":"en","value":"Completeness of intermediate logics with doubly negated axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272249"}},"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":"Q5404158$E70B710C-7F1B-4CD1-BC52-9C4C2C807B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f994ac2df2e8a2b4d0f438296c3288de479aec2c","datavalue":{"value":{"text":"Completeness of intermediate logics with doubly negated axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404158$28D2DE12-4B29-4839-9666-5BB303B3096C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fbd47a3c350254783f7ed6cfb8cb2615fca1e76","datavalue":{"value":"1320.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404158$C87F6E9E-605B-49CA-91C4-FD9403074C4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$662D06D5-92C5-4613-BF45-AFBE78140500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19313e0c467e1ce4e38f875e2fd208b41b083bfd","datavalue":{"value":{"entity-type":"item","numeric-id":481875,"id":"Q481875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$DDC8B9EE-448B-4E92-8907-878CF45F1918","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$50C0DF1B-8CDA-4735-A08E-016C82F58757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d90e7ba9218161af565114c8c946a60a85d1807","datavalue":{"value":{"time":"+2014-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404158$C3C08962-8AE1-4532-87A0-0FBD9BC8F3F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404158$29510C00-FD01-4C33-ACBB-E1C110A61FE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c2d2ee18dec980548f4b1851022a2f38d0b1e81","datavalue":{"value":"6272249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404158$E29ABCC6-36BA-4737-80D8-99928901EDB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845a8a93f6dddedb2593cde73e52f12d4f23ce9c","datavalue":{"value":"intermediate first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404158$12BCA191-1FFE-4A2A-96D4-839CD2C95697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efb19add3c97f493b70fb556769e52a7541a36ba","datavalue":{"value":"doubly negated axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404158$AD246D1D-1679-45F7-BCC5-61363F79E058","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":"Q5404158$919984AA-C2F1-49BE-BB2F-C0C98E6C2C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c666125c3f88566773cbae29602a5badd72b031","datavalue":{"value":"https://doi.org/10.1002/malq.201200083","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404158$6DC886F2-242A-4CA9-91E4-B6408A17BC17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c881674b94469b8d3ce9889f984113e7bece8783","datavalue":{"value":"W1639353267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404158$EEB348FA-B81F-4CF5-948F-7CA9A92C7DD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2bf3b328279d384958e4408f744bc7664e832e","datavalue":{"value":{"entity-type":"item","numeric-id":1412839,"id":"Q1412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$23B4F35A-F37C-4F72-BEF3-82377DF4D5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$33890F58-4281-4DBA-89FA-5BC9F4B96467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$2ADD5489-3D75-4993-9FFC-16D5E8E73DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$A128C942-2AEE-4B11-A810-091C2C1D54B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$BB9CB286-572F-4E1E-9502-EAA46D4778D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$4AC9DA4A-6E98-427C-89F1-15DAD52F51A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$DE3AF5EB-96BD-448F-BAF3-4EC75602BC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404158$54B4F9FC-D5B7-4F66-80AB-DF91D8C2EC64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"106be2eaec1827405b254e89c2aad8e46ee8af62","datavalue":{"value":"10.1002/MALQ.201200083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404158$55381B7A-0179-44A4-8E7B-0772EFDB69EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc0d3defdf4688b61f02b8a131384e87cf9d289","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2b4f58bb79e1fe942049cd8479ef938511c107","datavalue":{"value":{"amount":"+0.7907527685165405","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":"Q5404158$B66B755B-18BE-407F-8D60-597541E39E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fdd2cc1e2190759cc08b86787bff348034ba76","datavalue":{"value":{"entity-type":"item","numeric-id":4443213,"id":"Q4443213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d29920f9bcf35f8335650415095cb897181c98e","datavalue":{"value":{"amount":"+0.7907347679138184","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":"Q5404158$7F47FB9A-633B-410F-9EA5-5A5365E52C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7c1973bcff90f91dd9f036fca74c5b9ea86a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7139baa7530c9eb25f67165a78249fbe4a0ef54","datavalue":{"value":{"amount":"+0.7874228358268738","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":"Q5404158$C9D20CF9-404C-455B-A184-E36E8EDF21B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9ca293fe7587d572b1e14487c1d8f2ac549ad4","datavalue":{"value":{"entity-type":"item","numeric-id":3032233,"id":"Q3032233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ef13acdb9d35be925ae3773a7eb760e7d8ea64","datavalue":{"value":{"amount":"+0.7828966975212097","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":"Q5404158$37E96387-3555-4BD7-B77C-133F1622147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d562113eb6c9ca4c316827a41726b8c191dbb14c","datavalue":{"value":{"amount":"+0.7798503637313843","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":"Q5404158$9222BEFD-0798-41AF-B448-6F9C64BF69A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of intermediate logics with doubly negated axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_intermediate_logics_with_doubly_negated_axioms"}}}}}