{"entities":{"Q3395329":{"pageid":3406032,"ns":120,"title":"Item:Q3395329","lastrevid":50751938,"modified":"2026-01-15T01:12:38Z","type":"item","id":"Q3395329","labels":{"en":{"language":"en","value":"CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598267"}},"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":"Q3395329$67D32381-38B1-4B88-8B8D-0CCFEEB6E33C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2ee77e8ba13ec8d8954fd3a5e91bdfaabc0edff","datavalue":{"value":{"text":"CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395329$D4CB61EE-5A30-4E96-96DD-CCF952B948F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4885f16ad226d19ddaf3d2d2f02bf5564fd3bb72","datavalue":{"value":"1170.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395329$7A124BDA-2744-4362-BDD8-D99F4FC6535D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f860ebe296679e110d13dd6c9d3cbede49f7f00","datavalue":{"value":"10.1017/S1755020309090194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395329$F3C51D3A-E094-4FF2-B098-C2FEF00AE19C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$41E069C8-C34F-4995-8EA4-19917DB28D25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$35DFC6AC-D97C-478C-898B-49A13E92A19C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaf07d6a0e7392346327108ef19dd63d8e333b8d","datavalue":{"value":{"time":"+2009-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395329$04945D92-D30B-4259-B71E-2AB410788D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395329$03D384CE-A939-4338-84C8-28BA85C3E40C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6826f093a6891409b17d9380787b6602d4a04d1","datavalue":{"value":"5598267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395329$BCDEC7FA-91AE-453C-91AF-C973181B5FA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58434bc564d7a7339102e464dba28768f76d39ce","datavalue":{"value":"first-order relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395329$B11296E1-64DC-4595-9CE4-DFA5EA2D6967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bcf5bb82ef02209fb3a0a3ec2ec1709c087edce","datavalue":{"value":"strong identity axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395329$3C1402CB-5E3A-4096-ACD2-4F142D109ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16092c175bd7ffdb4b69cb35c392eb36f041dac3","datavalue":{"value":"Heyting implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395329$42214DE9-9C90-4266-AC6D-B311DBD3237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395329$FC5510F7-C71F-47CB-9B2E-0DEA96EC3C38","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":"Q3395329$0797A024-59A8-4F54-B01F-888F33327DE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1647cb3113e31824a69694c102dc4518c93e257","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$DAF899F3-8BBC-4A17-9133-18946E45C0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3b9d9374ecff65be0665f52110e6a0d6d024f5","datavalue":{"value":{"entity-type":"item","numeric-id":1194104,"id":"Q1194104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$E04F1901-D721-4E71-A4B1-1B8D58016418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$1E0AC684-4415-4332-A8BC-D1367994FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$F0D81D6E-DE71-4152-B659-328F0FF6B189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$BD307C5A-41B4-4BF4-8161-51F8432D8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03f53fffddc3c55154e05a164d56e78df9669c9","datavalue":{"value":{"entity-type":"item","numeric-id":1103606,"id":"Q1103606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395329$40837A49-7B03-40B7-A3EC-53F55E8AFE7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71bd5ea963d37c7f69b3de2249d5aa895750b0e6","datavalue":{"value":"https://doi.org/10.1017/s1755020309090194","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395329$B1F64BD7-ACF3-428F-B6A4-AD81E25F1B6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80d08965b522d48109e79cad7f54d0f54c7135e4","datavalue":{"value":"W2138989193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395329$166D76B8-69FC-4AC9-91D2-23D8184772A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c9846eee64cb628824bcd64e2f902606158308","datavalue":{"value":{"entity-type":"item","numeric-id":5250318,"id":"Q5250318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74446ee1455e4fef66e400ec9a3ed83f177bafc","datavalue":{"value":{"amount":"+0.7531682252883911","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":"Q3395329$CA9419F2-1844-40F5-A4C2-2881ADA07D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc369d36c08637e7da0edd6a2f46a28004b708c","datavalue":{"value":{"entity-type":"item","numeric-id":908897,"id":"Q908897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceed1452d2b2e9ca4c64ee05f1e68065bf96ba3b","datavalue":{"value":{"amount":"+0.7136411666870117","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":"Q3395329$AFF88C38-438B-4A2E-A612-47A99503B3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ebe57fa31abb5df29e3e2abce9f2445a8ce207","datavalue":{"value":{"entity-type":"item","numeric-id":3734362,"id":"Q3734362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c7a09d512472758a55ed74a54b505c6504fb1c","datavalue":{"value":{"amount":"+0.7073348760604858","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":"Q3395329$C0367536-D226-48D0-AE66-4C9A66C22461","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":"37c2533e4887ba37ee17bdab373e31f64c69a4f0","datavalue":{"value":{"amount":"+0.7056365013122559","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":"Q3395329$471A896E-77AB-43D1-ABF2-F4186C11FBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0309aca9bf6ca0aed3b29ef8a8e0c68548e03f22","datavalue":{"value":{"entity-type":"item","numeric-id":3081251,"id":"Q3081251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbc96b0869a6ffaf91bf3eecc2545a7f9504491","datavalue":{"value":{"amount":"+0.6999901533126831","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":"Q3395329$C311E8E7-3E47-43C5-8F1E-32398F89D9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395329"}}}}}