{"entities":{"Q3455187":{"pageid":5234587,"ns":120,"title":"Item:Q3455187","lastrevid":52407065,"modified":"2026-01-22T14:09:37Z","type":"item","id":"Q3455187","labels":{"en":{"language":"en","value":"Positive formulas in intuitionistic and minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516037"}},"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":"Q3455187$55F8A310-0D7E-4F76-BA63-B8D8AD8E2031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2a017efc66ad833fcaf8782cb613ea3722e7b52","datavalue":{"value":{"text":"Positive Formulas in Intuitionistic and Minimal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455187$51F92712-F0CB-49C7-8F79-92DAA36538D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88b2c1b3db9aba2efd4d5744a402135e7f38ceac","datavalue":{"value":"1326.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455187$5FCD4034-C344-4463-90F3-E3F5D82569F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a26f9b836d452e1d4f747995efc19f16e6ef34ab","datavalue":{"value":"10.1007/978-3-662-46906-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455187$AC3677C5-6562-4A97-AD67-6D31E998E86B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b629150dc8389cc517dc534e1d95ac83fa4185","datavalue":{"value":{"entity-type":"item","numeric-id":1685914,"id":"Q1685914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$CE89826F-5FA9-4ED5-B6F4-21C35AA951DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$F4D6BAC1-4E8F-4FB2-B418-60A8342B8CFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$4F932723-9231-463C-94CF-12D903B75789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455187$5F5D75BB-0F24-4E1A-9DA9-1B303F50D73E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04246b1d1c5d9e7bc86a3ee3427293eea301ff7d","datavalue":{"value":"http://dare.uva.nl/personal/pure/en/publications/positive-formulas-in-intuitionistic-and-minimal-logic(a86cc779-3bfb-4091-879a-b2b4d7ec13d1).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455187$432AF8F0-9CF4-4029-9092-0C65ACE915BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455187$7BC81926-5BAF-44DE-B45B-C49735F8D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455187$A6F9609B-0FFC-41D4-A509-E918FA05FD20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"100fb2a5a292aca083fa7d2f625371a7f524c800","datavalue":{"value":"6516037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455187$1662A426-3A60-4D82-8B0C-FAB06A95E627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$F6DB1D32-1082-4ACD-BDCD-502520F98FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$3A8F6390-41D8-4803-9B06-98D826263BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60472f1ae133305baf4ab168bb28a3d4a0a90752","datavalue":{"value":"Jankov's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$1272236F-EDAF-4E88-ADB4-29DDF9D6A303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$2A5F896E-195B-413A-9CD9-43EB8084CC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469631f72b1ba559d11af9c7ce9e7ddc9be107e0","datavalue":{"value":"positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$5850DE6B-3E81-4E35-B38E-3410B03F6E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$59066D9A-A29A-42D2-B5B5-3856F42A82FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455187$278CD3DE-0264-48E6-BCD8-68F559BA8AD4","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":"Q3455187$4BB50D72-A79C-4C5E-B643-CDFE7463F4DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca1636967e3e58521100c7db890e6b4da343fd30","datavalue":{"value":"W1197526948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455187$9CA2BE4D-28C0-4283-BF7B-05ECBC40D20D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$6BC21227-1D8B-4DEA-BE78-07BA4B8BE830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d95e7df95ccc0405a4eec4819449e6ad472b05","datavalue":{"value":{"entity-type":"item","numeric-id":3019970,"id":"Q3019970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$E773024D-6932-4F1E-AAE7-02F345E91347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$D5BE22EC-EDB9-42FB-AC1F-6C1A5D8B36C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$5B91016E-8AC3-4B1C-AEF9-737DB51E6B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$47E79A76-C66C-4AEB-BE78-4AED4EB43F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$338B16D0-9A01-41F0-B63E-79D0A2B649B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$86141F79-A221-4C03-B396-12D77B3E6AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9f500dc91aa72b2199175da5b1d6d4edb9ea80","datavalue":{"value":{"entity-type":"item","numeric-id":5549788,"id":"Q5549788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$982F6587-AD56-45B8-A58F-DFAD51A070A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$90D22F94-ABDD-4399-AB5C-EC9963E5BA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$33A92730-0E12-43A8-9720-549EDA72A9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09242c66e9de738abf006bc653cd2c2ed81531b9","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$D359ADFA-98C8-472E-83EF-47277CA95F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$A98C98C7-6AB5-4CA7-8F98-F7047D607881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$5F3CFA2E-3A49-4CBC-A494-8FDAE1E87932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455187$B0880AA2-8351-4145-A3F1-F8EBDE08BD96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed6149a0f9c7c14c335eec46afa3c88a4afe051","datavalue":{"value":{"entity-type":"item","numeric-id":2284497,"id":"Q2284497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1de14a69f3d560933ebf9d51fd6bd031c415bf2","datavalue":{"value":{"amount":"+0.7759401798248291","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":"Q3455187$04167C96-D381-4E1D-B481-18613C1A4E7C","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":"0695fff4d9d611333c0e93e276545a6e311e0829","datavalue":{"value":{"amount":"+0.7725006937980652","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":"Q3455187$8523A070-1679-4056-811F-A968A9F7FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0709167926b75a8d8715be1ea5a5045878a4c52c","datavalue":{"value":{"amount":"+0.7512929439544678","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":"Q3455187$3D1DE026-74F0-4C7D-B553-F271BB6C39EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc063b64b6b10f1dd97008f90f791ea6cea8c441","datavalue":{"value":{"entity-type":"item","numeric-id":3986138,"id":"Q3986138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368168a0799caba007fb16c6b5a4a375c5193aff","datavalue":{"value":{"amount":"+0.7492019534111023","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":"Q3455187$E30F3A5D-0150-407F-9CB7-A705B159E0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975271918cc45843c338aa279e7e8dd254fdb0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4424650,"id":"Q4424650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be2f6f917de173d738afc5517eba70c606a1e70","datavalue":{"value":{"amount":"+0.7457959055900574","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":"Q3455187$8B212948-49B1-40D5-BDDF-065DA4B99A14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455187"}}}}}