{"entities":{"Q3061277":{"pageid":3071993,"ns":120,"title":"Item:Q3061277","lastrevid":51146951,"modified":"2026-01-16T22:31:39Z","type":"item","id":"Q3061277","labels":{"en":{"language":"en","value":"Intuitionistic propositional logic with Galois connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5826754"}},"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":"Q3061277$74C5AACE-F5FC-4D8E-B035-C1FB632BF8B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2eac2a3f6c1348500e9506d596193674dbda6dd","datavalue":{"value":{"text":"Intuitionistic propositional logic with Galois connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3061277$43825DB0-F2B5-40C4-9FE0-ADF02564FEED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8206e93f620ab6e6a3aaff05136711e70ce9ff47","datavalue":{"value":"1221.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061277$6B2BEABF-1854-40DD-BB56-4201468893C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f668f2383b58b17274633b11cd18bd67cd78bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":278760,"id":"Q278760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061277$86D65013-6F22-4925-A29F-2750133EB2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7660f0dbdb2a9b1e9eeb0a11c2d293e1a86be0","datavalue":{"value":{"entity-type":"item","numeric-id":383568,"id":"Q383568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061277$5024FB60-1735-4A19-BAFD-B261E9F4724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061277$29464163-8EA6-48E5-8ADE-06B7D59EE42B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c7b9f0403915176fcd67af3fc6912389edbd89","datavalue":{"value":{"time":"+2010-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3061277$F3B7CB0B-047E-4582-8820-728EB220E13F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061277$0CD5F984-B343-4EA7-BE8C-7EC8F56058AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061277$737719E7-5BDC-42A4-8990-27BEF30D71D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91add41ce0b19de5f696b8455f7503d3270fa761","datavalue":{"value":"5826754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061277$722BAFED-C949-4B1A-B3CA-1117D0D26614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061277$884F1D9D-8A63-4ABD-86C7-5F86E8906E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061277$D6D99ED0-CF63-4451-BC16-7B889C60F7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061277$E1648606-0E3C-4508-A7E4-E35959EB6BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061277$35739362-E089-49C8-B6E1-73C96C22DC8C","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":"Q3061277$4B79063E-2A2B-4387-AA0E-01330FA64DE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b57ec9be94eb8009d2c9ee5fe36f6c6d9915d78","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp057","type":"string"},"datatype":"url"},"type":"statement","id":"Q3061277$6FA3332B-4774-4C48-B1D8-2345B5AD8B4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f019196ea309a79788ab270ce32078cb8c87f1cb","datavalue":{"value":"W2065560305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061277$BB34AA62-45A3-4F56-9D46-EAB597629DBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b106deafbf29d841f85970ac8ae1af875eb95826","datavalue":{"value":"10.1093/JIGPAL/JZP057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061277$FFF16AE4-B81E-48A5-A3A8-85307CFE97B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061277$33DAC349-B385-42F9-A149-3D961B4D098F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9d886dcffa14903d86bab97febeea6f3268c90","datavalue":{"value":{"entity-type":"item","numeric-id":4925167,"id":"Q4925167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f6cc2dd5d341539e78ce167ed9777293c40ac2","datavalue":{"value":{"amount":"+0.8611500263214111","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":"Q3061277$B0C48859-1AFC-4D01-834C-FF718F296523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1510c2cbdaa0dce7c7aea0638c341b5d4ed6f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2379337,"id":"Q2379337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7270455e63cb1579ef0a353eba3f45d0eff97fb6","datavalue":{"value":{"amount":"+0.8271706104278564","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":"Q3061277$B07D5F0A-6179-42F0-8E7A-23FD3FF7FD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75076c47b7792f3b596e8665c5f623c66dea725c","datavalue":{"value":{"entity-type":"item","numeric-id":4899177,"id":"Q4899177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3944cd1417796a73d2c93f55b9c3b6c15f41f154","datavalue":{"value":{"amount":"+0.7715725302696228","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":"Q3061277$1B71D71F-FF94-4B5D-977D-159EA2C8E571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e178bedd556c9b9c26441abbdd2247ba054f09","datavalue":{"value":{"entity-type":"item","numeric-id":4644502,"id":"Q4644502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42b977d18f31ca00d4a03e37da45f4c87b91d62","datavalue":{"value":{"amount":"+0.765933096408844","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":"Q3061277$A81BC22B-6CE6-4AD8-886D-DA77B821048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8eef91c582e10b0ff06cbfcbc0182e8b97c397","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb9f3c37f9b448dc4e83594abd6664754eaed20","datavalue":{"value":{"amount":"+0.7637052536010742","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":"Q3061277$B1D37B6E-C037-48D9-9960-44A061495368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3061277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3061277"}}}}}