{"entities":{"Q1290801":{"pageid":1301551,"ns":120,"title":"Item:Q1290801","lastrevid":46776498,"modified":"2025-12-25T13:59:33Z","type":"item","id":"Q1290801","labels":{"en":{"language":"en","value":"Separability of normalizable superintuitionistic propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1294962"}},"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":"Q1290801$ED40B5C2-E4B7-43DD-8F03-EFF39D4F0A5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dd83f018ac6282a65901dd392d806d64fdc0e4d","datavalue":{"value":{"text":"Separability of normalizable superintuitionistic propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1290801$C8076BB5-DDD7-407C-A9ED-C65C4972512B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c9c808c1d2da857ebcdcc6e155b35fc48c65e1a","datavalue":{"value":"0973.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290801$D85BF921-D75D-4D58-9875-ADEE8296BD90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca66100381f89c05963971a60a5cb6a2c416a430","datavalue":{"value":"10.1007/BF02314635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290801$CD1A65D2-3953-4C1B-8D44-96975F681038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5df8375cc2bf497b2ffa047003ccf9d911b940","datavalue":{"value":{"entity-type":"item","numeric-id":542291,"id":"Q542291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$2F333940-6F62-4535-BB53-F105BA283614","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$C9EF8B4C-F89E-4867-8883-144E6587D0E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818c8da732f8e84e40ec58932e1237ded2f4a717","datavalue":{"value":{"time":"+1999-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1290801$38B506A0-AAAB-407B-9166-2CD235D40972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290801$A702BCCB-B16B-415D-B947-1AFA53112A7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dac9bc5bbf987fa6084546175f39ae8b287137e1","datavalue":{"value":"1294962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290801$9FA4D4F6-1573-4EE4-9D05-9CF50F8BB578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844982ebebe88ce0efe8b7fb70d507804d83e99f","datavalue":{"value":"intermediate propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290801$19B80331-54B6-4614-A476-8E38917F0CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb5950b6fe203d0eac0cbadc64d9e65fe1a0e16","datavalue":{"value":"normalizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290801$AF08A4C3-FF42-464B-822D-53CFD6DC3E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290801$3758F433-47C1-4268-9DB2-84CB5880349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290801$A80EC0D3-7ECA-4270-97A0-C1B28E37A93E","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":"Q1290801$3BF32853-2F06-48D7-8B9A-6C1FF0191596","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$7FC6B790-134D-4416-A68A-0A6584D5D9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff633573d911989f40043ab69e08e7f7f35ea2a6","datavalue":{"value":{"entity-type":"item","numeric-id":4079585,"id":"Q4079585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$0E6CF3CF-0782-45A1-BC03-23453EB3357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb1ac68bacb40e69c0c6bba80ea19c5630fa5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5772797,"id":"Q5772797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$DB96844D-179E-4AFA-B48E-C26FD96CD5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$E00A6DC4-45EF-44CA-9FBF-B468BF829AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$9762C0E7-3E18-42B0-A1A7-982989642ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce8ac980c7cc46b8e87203de4cd8bf41677e945","datavalue":{"value":{"entity-type":"item","numeric-id":5553255,"id":"Q5553255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$F7011B0F-76A7-4FE4-92C7-91C149E8B1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a8f7ac0c7dc3fbbce585d80e632c942b975663","datavalue":{"value":{"entity-type":"item","numeric-id":5553256,"id":"Q5553256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$C4B2CD4A-617E-45C9-9D24-98B2682A8210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3b4869227cdbc81b6e0203aaf50d85719351ad","datavalue":{"value":{"entity-type":"item","numeric-id":5537357,"id":"Q5537357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$9615F329-85FD-4A3D-A7F7-2CA55C1DECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff94a5abfe942f4c3a569fa9ec2ad49bb864c123","datavalue":{"value":{"entity-type":"item","numeric-id":5554948,"id":"Q5554948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$CEEAD109-C49A-44EC-BFC7-1D6FE145390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c7203dc0565b0fccfdc0c28557dd6846e456d1","datavalue":{"value":{"entity-type":"item","numeric-id":5565080,"id":"Q5565080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$70041505-AD0C-485D-BB06-5683C254F921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8baa2f8fd3aa16e61f83255376b39afd5bbb2d","datavalue":{"value":{"entity-type":"item","numeric-id":3914962,"id":"Q3914962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$FB3BFE16-0DBF-4974-B020-945F95A4BE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641142a7c655d7f1bbb3aea169cf9138183e12b0","datavalue":{"value":{"entity-type":"item","numeric-id":5903376,"id":"Q5903376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$DF4C1298-BB1B-4A48-9AFF-C8BE8D8B0081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dc214c0602f820fa9fdf0ca78386b0275375f0","datavalue":{"value":{"entity-type":"item","numeric-id":1814378,"id":"Q1814378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$29DE1616-895C-42F3-A3BE-44DE307E91A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8450bfac5094a57e6e7c6d98cc15fbf307582292","datavalue":{"value":{"entity-type":"item","numeric-id":2555486,"id":"Q2555486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$3A6A90C1-4130-4F34-85AA-A1631E08D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7ebc6150a33fced2c281945461b73c4c98aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":5523672,"id":"Q5523672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$47EC0B71-70C5-4BD9-95AA-90E9B031A873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$2FAE81C1-5A59-4945-9AAD-38604C71AEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290801$E3D919B2-EB0A-425F-979C-344A3D45EA81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e35ffb7ed90d12ae41aae6c6adfe2a53a63f01","datavalue":{"value":{"entity-type":"item","numeric-id":3063990,"id":"Q3063990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9ee88ab6a2985daced5e88709a37c43891b189","datavalue":{"value":{"amount":"+0.8448666930198669","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":"Q1290801$ACCD2AB2-BBBB-45C9-8A01-5EE7873C66F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a4d17f72c22682be6dd12cd28d6fbb276efbd1","datavalue":{"value":{"entity-type":"item","numeric-id":5903376,"id":"Q5903376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a027ddd42f9294df70ecaf72dca4be8544c67da","datavalue":{"value":{"amount":"+0.8110151290893555","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":"Q1290801$B4582F04-BE05-4AE0-A1B7-98211A97FE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f47b3fb63445eeda0ed82efdbe18470b37f957d","datavalue":{"value":{"entity-type":"item","numeric-id":1814378,"id":"Q1814378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b1aba605992910150f076150256a4325dd7354","datavalue":{"value":{"amount":"+0.8059284687042236","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":"Q1290801$EE0D3BAC-032B-4275-B6DE-78D59EC9AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63c8ad7353bfc88dc20f236957e336bbd63e8b2","datavalue":{"value":{"entity-type":"item","numeric-id":4639905,"id":"Q4639905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7254586321e2e5da0ddbe3b4eb6b10258893dc59","datavalue":{"value":{"amount":"+0.7744128704071045","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":"Q1290801$4E06BCAF-7D7A-461C-962F-8CBD31441A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4350a44fa4eb3e1264e625127ecc99be84ff0c57","datavalue":{"value":{"entity-type":"item","numeric-id":1432372,"id":"Q1432372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082cb31f1486e0e2ac7baa4910de04041c8a01af","datavalue":{"value":{"amount":"+0.7478451728820801","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":"Q1290801$E3236BFE-83B4-4695-88D2-5934F886BDAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1290801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1290801"}}}}}