{"entities":{"Q3546097":{"pageid":5576001,"ns":120,"title":"Item:Q3546097","lastrevid":50525954,"modified":"2026-01-14T07:19:03Z","type":"item","id":"Q3546097","labels":{"en":{"language":"en","value":"A method of proving interpolation in paraconsistent extensions of the minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5383394"}},"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":"Q3546097$D5096BE3-F7E9-4FFA-8C01-8E340336E113","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b12fdf24abec317a49765c55c340d03cb3b793ea","datavalue":{"value":{"text":"A method of proving interpolation in paraconsistent extensions of the minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546097$DBE9DDE3-041B-4F8A-9F8C-FEB1EDC5AE7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aae311f827265651e5d9e8d2a7a58009ce94743d","datavalue":{"value":"1164.03312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546097$57176435-E23A-4A07-8B90-0253E2F5DD19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546097$EC3D05E1-B3E2-4880-B67D-9FB20CB79DD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1663d3617535929b278b9313fbf9b2d4c917782e","datavalue":{"value":{"time":"+2008-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546097$2EE35127-B987-48B9-8C92-70884A80800E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546097$F9241065-82F2-49C0-84EC-CEEB33C9A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546097$FBC2B50F-8842-4854-AE5E-926AF6D2AF27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c7a11934430537a06cb4b0de51e7cd0f9dc31c","datavalue":{"value":"5383394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546097$2A497E0F-6965-4B3B-BF7B-86B092748BCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546097$84FB21D8-8AEE-437E-8BC6-F49783CC3155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c684205a701c090734c99216264e3f3e7d7beb72","datavalue":{"value":"paraconsistent extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546097$0770E229-72FE-416E-A2F8-A3918B62B58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1eab48eb867da0756132811032a920ba2fa3ee","datavalue":{"value":"Johansson's minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546097$DDC3BD9C-FBCA-4DF5-B784-6BE588C14E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546097$BD7DDD79-9D83-412D-BD59-72BC4408F6EF","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":"Q3546097$5DF75BA2-4649-480B-8CB5-08A35A13DF74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c83488cfa006ef0447d916196bd3c4d409a127c6","datavalue":{"value":"https://doi.org/10.1007/s10469-007-0034-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546097$CC797B0C-4047-42E3-9228-67DE9DC98D78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9657cb69361594f1191bc4c7976a5702c6eb9dce","datavalue":{"value":"W2029248266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546097$3A89649B-1C03-49E7-A77F-78EBB64D2758","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f166561dbc89d758d2eae4116ac6680775a00764","datavalue":{"value":"10.1007/S10469-007-0034-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546097$96EBC796-4F9C-4327-90A2-FE4DC175BBF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c564bc2333d3630d0340b756b823b3d74b00e0e","datavalue":{"value":{"entity-type":"item","numeric-id":4917992,"id":"Q4917992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2644e70ab89f914a868b9d949922cb17d221e282","datavalue":{"value":{"amount":"+0.9116994142532348","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":"Q3546097$D3129036-7A74-4C15-BAA0-1588C2A1BF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ea8145d77dfcc92fe87ad499b7b507bbf38d90","datavalue":{"value":{"amount":"+0.8733486533164978","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":"Q3546097$87A8B821-A8A6-4CF0-AA33-F062571E1932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89c22e8aed7c5832bfa0d2faf7d1a0814aee1e0","datavalue":{"value":{"amount":"+0.8468155860900879","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":"Q3546097$0E1F2062-E94D-4DBE-BC89-43159F56D4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e10b07f6081dab72d46ad69d739f1c278f361f3","datavalue":{"value":{"entity-type":"item","numeric-id":3001102,"id":"Q3001102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ae26ac5ae84e260aa441123996b3d650a7cf5e","datavalue":{"value":{"amount":"+0.8407357931137085","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":"Q3546097$F2C02276-68F9-4DCA-B543-B35780104E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e01bfd266a2094df0dacb664d9364cc8db85395","datavalue":{"value":{"entity-type":"item","numeric-id":4440575,"id":"Q4440575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6cd97f55f602a995844f38895c59e868a3e1b7","datavalue":{"value":{"amount":"+0.8349697589874268","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":"Q3546097$AD380C2B-7A3D-4D5D-BBDD-006570C1DDFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546097"}}}}}