{"entities":{"Q1280369":{"pageid":1291119,"ns":120,"title":"Item:Q1280369","lastrevid":46571109,"modified":"2025-12-25T01:33:10Z","type":"item","id":"Q1280369","labels":{"en":{"language":"en","value":"Continuality of the family of complete Novikov logics with new monadic connective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1261652"}},"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":"Q1280369$6F71C0F6-1DFD-41C9-8810-71425D26858F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6be8fda834306015c087820e046ac359f8e62e9","datavalue":{"value":{"text":"Continuality of the family of complete Novikov logics with new monadic connective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280369$8A3F0CE1-660C-4DB5-B276-A3C4D3644804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2641414f060fe2e6e8c0096a5759a033458e88a0","datavalue":{"value":"0910.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280369$A497673E-12CD-46E8-A92C-085EEAF22C78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280369$3842C57A-77A3-4213-9583-309A7FA6F615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c49490b9eb82b325d6a42cfb743cb09fb4d14c","datavalue":{"value":{"time":"+1999-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280369$4303BDCD-8FA9-4772-A171-D169D0D63098","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14209c6c68db016294498b27b152ccf89e92d282","datavalue":{"value":"The author investigates general problems of intuitionistic propositional logic. It is proved that the family of \\(L_1\\)-logics which are complete in the sense of Novikov and each of which determines a new monadic connective, has the cardinality of the continuum.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280369$F1D81631-E376-4473-9042-ECDD44CAD8A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280369$C628E75E-189E-409C-B241-ACF7FAE24B24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ac8de613a2cbe52c255c75d18f8221f763fe8d","datavalue":{"value":"1261652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280369$865D335F-7862-485C-A938-1BD13EB327F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280369$32146931-6E68-49FA-97B7-62FB1A39B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7278d8ae7488e52a83450150cdbc5278c9785a8d","datavalue":{"value":"Novikov complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280369$AEF8BCF2-848A-4209-AC67-FA1F0AAB2473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef1084b19d814a136bdcbd0f611059e781671f2","datavalue":{"value":"additional monadic connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280369$F966A001-EA72-4688-AC05-FE08C94BDBE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280369$43DFB8D2-3BD0-4334-9A7A-1F66D2A2E556","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c8642b90facb009fac3e5d2aeec487d0b254cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":593066,"id":"Q593066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280369$E0266B39-98D6-4C3D-AEBD-EBE5D85D95A6","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":"Q1280369$A36C35C6-F0D0-4A28-B1CC-D526C444032A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc5b1b96f957566f39de7740b8a40aca1a405c0","datavalue":{"value":{"entity-type":"item","numeric-id":1280312,"id":"Q1280312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf1f348b2a59e93d64a7e7daa808187273a38b8","datavalue":{"value":{"amount":"+0.8144863247871399","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":"Q1280369$2860F0E5-6473-4556-A0EB-7AA6233D9455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0a259f54c7ddb7a951a396f4df338060227c11","datavalue":{"value":{"entity-type":"item","numeric-id":4451643,"id":"Q4451643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a73e8371054ac0be4fcae953cc12578364fd61","datavalue":{"value":{"amount":"+0.8029651641845703","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":"Q1280369$03885E05-F4B5-4F0E-8381-9270D5FBBC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bffa11bea8802b8c7cd2c882634e7772eee3ae5","datavalue":{"value":{"amount":"+0.791979193687439","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":"Q1280369$189C7746-41CE-4E88-8BE2-A218CEB67F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa68a38b10acf819b3ca115082c88080f4d682","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19842be96890e20f48b1d12d2cd2d1d5ee1d156","datavalue":{"value":{"amount":"+0.7861400246620178","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":"Q1280369$5A759DC2-D5B8-40BB-8917-DF123E963CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e232892af5972c0dc34975a1ee3c00455f9154","datavalue":{"value":{"entity-type":"item","numeric-id":1387337,"id":"Q1387337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb760530c29a8f94f1f6ff8434ce77925605d74","datavalue":{"value":{"amount":"+0.7746773958206177","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":"Q1280369$FAC8CEAF-EF77-491A-B71B-F0087644D5A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1280369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1280369"}}}}}