{"entities":{"Q1361246":{"pageid":1371985,"ns":120,"title":"Item:Q1361246","lastrevid":43055025,"modified":"2025-07-17T07:11:57Z","type":"item","id":"Q1361246","labels":{"en":{"language":"en","value":"Constructive canonicity in non-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038662"}},"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":"Q1361246$CC4F0B15-0859-419F-969F-39041182661E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5126c27c5cb61ba012ff04fe2a18671066234ed0","datavalue":{"value":{"text":"Constructive canonicity in non-classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361246$40BB9C6F-1274-4631-8C02-805B8E56CB5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12bc6f4c9dae8aae0e430dc31ef1b4c0706b2ddd","datavalue":{"value":"0949.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$D5741A6D-EEEC-43FD-95F6-4075D1BC0669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"498c17dc678fad67a3034a9dbe9b5dcec90a2937","datavalue":{"value":"10.1016/S0168-0072(96)00048-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$3B54291F-DA33-4D83-89A6-64C162663236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$062DDEDD-3073-4B04-A677-7A180596BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5bcbbe1fe9e5c4428cf5c852d22bc97b7fee39","datavalue":{"value":{"entity-type":"item","numeric-id":1361245,"id":"Q1361245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$0BF002B9-44BD-44F2-B4FF-D6325C8C7362","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$6F2706BA-5AE3-4E11-AB2A-5155DF215E69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"990752c320d29232b9e0b8025fa1f119d1be577c","datavalue":{"value":{"time":"+2000-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361246$29E9E67B-145C-441F-95DB-A6FB059C5754","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$7C65900B-212D-48A1-8E89-1901C25C270A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$767C783C-A46C-458C-B160-A0051596F89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$20913650-04A1-495A-A8F4-9EDA849902ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2839e037b417de5787a9a344d715939f71765529","datavalue":{"value":"1038662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$7944F8CA-7EDA-4D57-A904-8DB9F474A797","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$F09B43BF-9121-4690-B6B0-32D30F306023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$6F649419-0B92-4C79-A0EA-18F75F116246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749aa416ad1c15cb4534102e4cb75cc6bf9478aa","datavalue":{"value":"Sahlqvist theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$D7C2CC51-4986-4DE8-BC8F-D2FEF9F20A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$15254442-DA83-4BD7-9256-35AFEA5AC99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df3018178036b9736bd61c32cc1dbe7f18e7fca","datavalue":{"value":"difference connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$545289EB-3067-4286-AC83-C667BA92EA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aed3ad19224f6ea6ead8e945ea7cf9fe00ee120","datavalue":{"value":"intuitionistic modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$E2793577-FB59-462C-BA23-C46FD28B80D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5fb8726ec96b092c83928e6b689c3d68853ef9","datavalue":{"value":"constructive analogue of Stone's representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361246$D049017A-767C-4B71-87AC-1F67344517A5","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":"Q1361246$6FDE77E5-94D8-48EC-94B4-02E5798FDD26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$F69FA024-A087-4C93-B64F-F5B01A3B76CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$836AE385-74F3-40EC-97F3-87EB9DDEA060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab429d266e2d51f089e5a8b4415e282948df59c","datavalue":{"value":{"entity-type":"item","numeric-id":3731600,"id":"Q3731600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$8F35D107-51F4-4E93-A569-D56866A737B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d20630b0bd7dc58b969242e7c24eca5d6be14","datavalue":{"value":{"entity-type":"item","numeric-id":3984429,"id":"Q3984429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$CEB02E72-C613-42FA-B547-E6E9B1BB5D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a01b3208af6f17286d85442e72396625edb27f","datavalue":{"value":{"entity-type":"item","numeric-id":4124833,"id":"Q4124833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$81288EED-6B4B-40A0-A235-B9952CB84ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$67444BC5-7FAC-4C3B-B334-624E59A670C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$47DFF6BB-CFDD-4D0C-BDF3-5460C1E93EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$4CEEAB80-9B9C-4702-9584-79FCDE98E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361246$5837E9B5-C8A4-41C6-ACEA-62EACD07B50D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd97364ad2979a8b8d685954880e8e89e5e6789c","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00048-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1361246$F04F81B1-2B3D-427D-8D50-F6EF29B80EDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0392dcb5986dde078a0af1db851b1ca7874c0727","datavalue":{"value":"W2017093277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361246$4BD6CBBE-2799-40E7-85CC-DA541A26A31B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f60d349e7264062831756919647402d1017105f","datavalue":{"value":{"entity-type":"item","numeric-id":1368753,"id":"Q1368753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4d0eab7cc5ab815b952f881cdf7316b5d371c2","datavalue":{"value":{"amount":"+0.91040295","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":"Q1361246$54F771CB-ECCF-416E-B96A-5E43BA05FEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f6f9d47eee1402d6f0bb52e6e25345caeecee4","datavalue":{"value":{"amount":"+0.90530074","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":"Q1361246$3F3FCEA8-66DE-4BDC-8243-FDDBB56D79B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356da67ff07214b46c7b6b40aad8dd4c255ef701","datavalue":{"value":{"entity-type":"item","numeric-id":3222190,"id":"Q3222190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd130b7f8a16a98d7a6af9146f6e34f5cb3722c","datavalue":{"value":{"amount":"+0.90345776","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":"Q1361246$95D7DF49-488A-4A97-A568-2AF90882F045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51240574c5d1d09d139fd2918380b9deb541aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4661993,"id":"Q4661993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4467d87113247fe7dd8889cb527a160f75088f","datavalue":{"value":{"amount":"+0.8983276","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":"Q1361246$A4F3B1A7-3600-4DB3-B0B0-F5D80C586951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cceab7d865111d748ffc4333c18adecfc5c16f","datavalue":{"value":{"entity-type":"item","numeric-id":2758075,"id":"Q2758075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1973505c276b996e765566cd43aa5ad663fec6e","datavalue":{"value":{"amount":"+0.8980616","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":"Q1361246$AB1E40EC-0DCC-4811-9A6A-1086738D70B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa18b6f77bebf480d3dd284a7d6cec4cc3afda6","datavalue":{"value":{"entity-type":"item","numeric-id":4649546,"id":"Q4649546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2164cc2ae694727610cea72604deee3ff43d28","datavalue":{"value":{"amount":"+0.8966427","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":"Q1361246$E9F53B21-B756-4DF8-BFD0-588DDB42285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bcc0d3f344dd6f3f59ef5264168f525d1d0583","datavalue":{"value":{"entity-type":"item","numeric-id":5892418,"id":"Q5892418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81df464a363ebe48161b19bf60ead51f020a75af","datavalue":{"value":{"amount":"+0.8964811","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":"Q1361246$4744D15A-5FDF-461B-9CAE-006C6EF1011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6267970283cc4823c1227f9d4100400aa8b664","datavalue":{"value":{"entity-type":"item","numeric-id":1685915,"id":"Q1685915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0000d901c06b52a54a184f696402c6b7f4db48e9","datavalue":{"value":{"amount":"+0.8947746","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":"Q1361246$17A69D4A-150A-4E05-BEB3-139DC478894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76a4115cd60a2be72db49ad07f3250a45e7287","datavalue":{"value":{"entity-type":"item","numeric-id":4247298,"id":"Q4247298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fe192da0c719a22110db4cfd7a82b31efc11da","datavalue":{"value":{"amount":"+0.8893428","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":"Q1361246$7D5ACF1F-69F0-4750-8759-A8D26C5942AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d1a9277dfb738fc9db76565150cb370a9a235d","datavalue":{"value":{"entity-type":"item","numeric-id":5448614,"id":"Q5448614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b90f61abf0cabba810aedff5ab2ae49b93baec","datavalue":{"value":{"amount":"+0.8861757","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":"Q1361246$751CC52C-3CF8-46EE-81D0-EB311A2EB3D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1361246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1361246"}}}}}