{"entities":{"Q4465165":{"pageid":6494764,"ns":120,"title":"Item:Q4465165","lastrevid":48276919,"modified":"2026-01-04T05:12:16Z","type":"item","id":"Q4465165","labels":{"en":{"language":"en","value":"Kripke Completeness of First-Order Constructive Logics with Strong Negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2068672"}},"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":"Q4465165$02B13B04-2274-4466-BE56-A7A0ABB3A2C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d75635d2458bbc1620df15ba132041b1b619776b","datavalue":{"value":{"text":"Kripke Completeness of First-Order Constructive Logics with Strong Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4465165$7D422201-45D2-42A5-A984-1E4216130A76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fa182044abe8f4ed828fcbe3619aef72d763007","datavalue":{"value":"1048.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$528F41B1-7574-4FF7-B394-C3A8974F2159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4465165$79E29C7A-709D-47FB-AE29-02F5518E469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4465165$0D5A0FBB-BEDA-45E5-8711-4C5E0F65CD70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4465165$6085776E-8775-4EF9-8F1D-8BB41AA11BF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a65c7138506c57d680c6563ec3b7be10e513eb","datavalue":{"value":"https://semanticscholar.org/paper/39bb5cb7d707ca2121f6c8313d5846dc09847be8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4465165$0AAE4B92-F6DF-490A-BFF2-D0A5ABDC4009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$55F5E253-A80E-48A9-82EE-823A7B36956E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$CF90E418-8B71-44B9-857F-FD575034B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$889349FA-87F0-447A-9D72-EBBD182968B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$306CD0A8-0454-4639-ADD8-2028291F1DA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51541016daef875265561dd25b4fc44a59d0d92e","datavalue":{"value":"2068672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$8536591F-43C0-4092-AFEC-7E88357D4B25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4465165$CE0F2CDB-4302-4417-909E-7F4E5825CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55dac3b56f434cdc8f76c0e82244b31273392142","datavalue":{"value":"quantified constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4465165$1B22244D-964E-4676-BDC3-17BBF950D06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4465165$8E430422-3B62-406D-B5B9-50374F80E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4465165$D4A70A65-1D04-4F87-9B28-51FAEC511F92","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":"Q4465165$23880948-6825-4CC8-B837-2515F623F1DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3101e6c0c31f3dbc2dbc970946f165bce584169","datavalue":{"value":"W2115753177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$174E02E2-E04E-4083-B2AA-88AA385A0A83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9cddd8b68a9e7c09782b6da0b8e04c5b324ec47","datavalue":{"value":"10.1093/JIGPAL/11.6.615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4465165$AC55661E-D3E5-4F51-A6D0-B181C1BE5A78","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":"Q4465165$F00E20C6-5A36-439D-8509-6BF73D30C7FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed974c8cee2b204e56d027b784cb5372e86e51b","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08adbc1460f742d8e6026a8421db829a040db3a","datavalue":{"value":{"amount":"+0.8104453086853027","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":"Q4465165$17317AAC-BBDD-4CD5-A176-F91335A7305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f18198ece92fa70dd263ef8d237ba05912b31a","datavalue":{"value":{"entity-type":"item","numeric-id":3549311,"id":"Q3549311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10651866a9c5b56522aa01b911c4c6e31c7ead5","datavalue":{"value":{"amount":"+0.7887486219406128","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":"Q4465165$7C4EAC27-5676-402E-85F2-4535815EB446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64408bfea1cd18dcf9bb9f5a0e7291d7d4c801a7","datavalue":{"value":{"entity-type":"item","numeric-id":3149172,"id":"Q3149172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88084bfc837eaf8889921065d7beaf364ff404f9","datavalue":{"value":{"amount":"+0.7859249114990234","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":"Q4465165$BCC231E3-7057-4082-B04C-31EB954DB4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a9e916093923c1ab582cec6a5ba1479d0cfa69","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbc7a3650bfe0c26d1b6fe028dbc53d8e21e62b","datavalue":{"value":{"amount":"+0.7844453454017639","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":"Q4465165$F1337EBA-494F-4E4E-9BAA-7E8EDF3F69E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d395f5561c70edcafcdea8231721b8acc135bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4807689,"id":"Q4807689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaf88faca7cc243c8affe28df9876794cf282c6","datavalue":{"value":{"amount":"+0.7827576398849487","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":"Q4465165$1B51CB09-BDCE-47A3-A1EB-089B48A13056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4465165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4465165"}}}}}