{"entities":{"Q3363754":{"pageid":3374459,"ns":120,"title":"Item:Q3363754","lastrevid":49762270,"modified":"2026-01-10T11:59:57Z","type":"item","id":"Q3363754","labels":{"en":{"language":"en","value":"On modal logics which are conservative over the intuitionistic predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4216553"}},"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":"Q3363754$3CB4610D-601F-4F6A-9738-1C48487B1D95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6bc8d8702422be8ad7fb957ed39e68b3361ab4f","datavalue":{"value":"0746.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363754$21C9C029-9BFD-40B1-B2E8-A69987B68D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871cefcb8948ab703a5bab71322354559a823f68","datavalue":{"value":{"entity-type":"item","numeric-id":306823,"id":"Q306823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3363754$9B2F3A43-76EE-42BB-B94A-3D092859B7C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3363754$261EFB27-A7AE-43EF-9B50-718C456BDE69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363754$C4165BF4-F09D-40A5-956A-ABDF2EB76F79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feec65fff05d7f5d2260a8cb53c57c8f1407ea5c","datavalue":{"value":"4216553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363754$85AF7F3B-C879-4A99-9AAA-201F5CCBA360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$0F27341E-FD38-4CA6-A3EA-D13CB8366043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614f7df00dc9401473457ee3ac60d7dc50fe2c82","datavalue":{"value":"intuitionistic logic INT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$FD063CF1-FD1B-43A6-B57F-1763DF0F8DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2f0ad7cb1faf88e2db8550f4b947b35c22f93b6","datavalue":{"value":"quantificational extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$61B13DB4-5A68-400E-8C54-DAFB1BC4A609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5bc8052391ba9c555f1d265cea7f5ca36b366c","datavalue":{"value":"QS4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$2C8E7B9E-7712-48F3-BA2E-A674C1797873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148df35405f637873956fc3bffea9678eaaa515d","datavalue":{"value":"QINT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$51206B87-9DF8-4D35-AFF0-7994749F3A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$0F14CD6B-BC42-4B6C-8C60-20FA4A8633E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5840c535c9fc9ee931b23e6698402dcb91151f39","datavalue":{"value":"QGrz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363754$18BA19C1-E6EA-4BAB-B9D5-A879D3481C09","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":"Q3363754$3B03AB2E-261A-401B-BB12-C50E3C19FA21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c359f5f21afd848cf5e35d9cb30b54b9a1cee59","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07b5de5490a678aa78ea9ae76f85b2c5136124f","datavalue":{"value":{"amount":"+0.7875782251358032","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":"Q3363754$DE5B1930-796B-4735-8EE9-2EFD446B2054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4918dcc0852802501c8da716cb79c534700ae418","datavalue":{"value":{"entity-type":"item","numeric-id":3509053,"id":"Q3509053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51f3cbd3f35e6411d3e42af0316df154e713496","datavalue":{"value":{"amount":"+0.7871776819229126","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":"Q3363754$4756303B-4D5E-4D22-8814-6B4FEC7FF714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960b41933b781022281f309fec70cdf1f03e7080","datavalue":{"value":{"entity-type":"item","numeric-id":3760512,"id":"Q3760512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e26aadb8da475b3084bd5875141626603e88de0","datavalue":{"value":{"amount":"+0.7863286733627319","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":"Q3363754$F5EDD603-801E-448E-A701-66F8EE170B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a135242f929dc9ad5e4a89aeb79fb46c5b735508","datavalue":{"value":{"entity-type":"item","numeric-id":1378428,"id":"Q1378428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196025ee3254db68c98a9ceba68b7bd98d860043","datavalue":{"value":{"amount":"+0.7688318490982056","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":"Q3363754$1DF31423-676B-487D-8F99-C7A77A7C9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fe0f0edf74f364ac416c7ac725146fa24ff09e","datavalue":{"value":{"entity-type":"item","numeric-id":284219,"id":"Q284219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4fed13b6241a7e0744d2b3b8874a4982b9d27b","datavalue":{"value":{"amount":"+0.7666130065917969","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":"Q3363754$971F0114-A9E9-4519-B92F-7CED0F29A3DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3363754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3363754"}}}}}