{"entities":{"Q830398":{"pageid":832246,"ns":120,"title":"Item:Q830398","lastrevid":64693224,"modified":"2026-04-11T21:36:17Z","type":"item","id":"Q830398","labels":{"en":{"language":"en","value":"Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7345793"}},"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":"Q830398$355ABD9B-0DF0-4DD6-9183-5CE825DD5684","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d06d1fb29cabde7e1dea689fb5331eea4c88777b","datavalue":{"value":{"text":"Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q830398$59D96D33-CD5C-4024-9011-414BCAF86439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39d38fa9f2c90a1bb62cd75c4b5b7469af8b7b4e","datavalue":{"value":"1485.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$95C1ED4D-437C-4347-9868-48A70E489374","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$B4F2E838-7AE7-4321-9EEF-0C6D023DE368","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$F619CB10-A015-4278-9BA4-352637988791","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71a771a3d158620bcdf51ca72f1073f70b1e3fc9","datavalue":{"value":{"time":"+2021-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q830398$341146D1-D582-4AFA-8B86-412C6C9DB626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$D5A991B0-48AF-460A-9AFF-C4D71378BF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$0DD1A943-1EA6-4DA8-9FE1-2368D0AB8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$6C35F087-C46F-4096-B135-5815CBED2D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$A66BA7E4-D373-4C5B-9F6F-81EDF541FAEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f6eb36f59edd13f15b5a2a232444fec53c22da4","datavalue":{"value":"7345793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$557B7A13-0AB9-4BE9-8C8E-0A05E6D31AF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc1a5397525bb599cd6d60a40fd6268aa54ea325","datavalue":{"value":"Nelson's paraconsistent four-valued logic N4","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$61839177-B521-4130-9012-420DF1A9E4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c4c493a66be051ee00445d4e9851934a63ddce","datavalue":{"value":"Wansing's basic constructive connexive logic C","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$780E9DFC-ACAA-4FCC-B82F-A106CC5CE9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c3aaf6369e8c5809a7928dd0c57511d82e290d","datavalue":{"value":"Arieli","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$9071B104-18D4-4F8B-8A0E-B62F1C01EEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faad728c38bf41654e6efb5ed1b9294a02c89b2b","datavalue":{"value":"Avron","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$855390B4-5BA9-4B91-819D-A5FF5FAE6C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aac5de93845afa5b1fa90e935f14fb43bb9cd8a","datavalue":{"value":"and Zamansky's ideal paraconistent four-valued logic 4CC","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$4F7FE8BC-472F-4C35-826C-F3FF9D5EC506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670c5175676e87760ccef05fba1ac7d6350a3879","datavalue":{"value":"Kripke-completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$D7A5C6F6-2E31-41DB-874D-832A6E966C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q830398$EBEA672B-F320-43E2-9EE7-7F1CB16207B9","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":"Q830398$371EA366-94FB-486A-A78D-929606207F49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0f5ccc6c2964445db5b81c9de0405b2a30f8440","datavalue":{"value":"https://doi.org/10.1007/s10992-020-09553-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q830398$829A27F5-290F-4245-84F1-AB4F129B8AA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d4b433b21d97f14c53388eac770c2847be3bb9c","datavalue":{"value":"W3017308489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$DD1BCE47-A2D5-452C-B0FD-C2E4EF9A8474","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$9212EA43-E7BF-44B0-B14E-FFA9769339DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a032271e3fb319dd940bf1010af3fe80451330","datavalue":{"value":{"entity-type":"item","numeric-id":5731766,"id":"Q5731766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$48CD0716-8571-434A-BCB3-6B2283AB869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$F939E90B-6853-46BC-A8DF-D9857E88B60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$22002DE5-D8CB-4676-A00E-4C1C1D8A1259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72d26f08aecde771e93329bb8cfd619a57680a9","datavalue":{"value":{"entity-type":"item","numeric-id":5369472,"id":"Q5369472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$57EC7DFD-1A85-4CD5-AC3C-6C0100D1525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62d5eaac685da8416a99d6c8462f0242adfaf20","datavalue":{"value":{"entity-type":"item","numeric-id":1685565,"id":"Q1685565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$20A823B4-BFE1-4403-9F83-3A1A02806B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad044e07b2112e9d30b47a40c2230f35ce416d","datavalue":{"value":{"entity-type":"item","numeric-id":647409,"id":"Q647409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$C5F27A34-0B96-4318-AD1E-37E1F98154FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0059a364345d8252e8e43992c5c89947bc034129","datavalue":{"value":{"entity-type":"item","numeric-id":4686539,"id":"Q4686539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$B99A01FB-E198-430D-9902-B28BFEC678A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$2F1AE801-24A7-46B4-B32E-0A2EBEFBE389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4322322a80ac3adcd4cc988e3c7c59595bfc91e","datavalue":{"value":{"entity-type":"item","numeric-id":3086715,"id":"Q3086715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$2D4544C9-ED81-4CAD-B3CD-92C8DD7763E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad84b4474fca5b043ce03d2ddf90ba3963ff9c65","datavalue":{"value":{"entity-type":"item","numeric-id":495842,"id":"Q495842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$ED1C0846-9B3B-4FFA-8086-B520CB8226AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$38769258-0145-4C50-BE70-781CC3D8D109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b219d7c7a936f563b4aeddfeffaeae1456f445de","datavalue":{"value":{"entity-type":"item","numeric-id":1594817,"id":"Q1594817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$0D236AC9-5F98-4E8B-B5F3-72D54E996BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$752870AA-5629-46B8-A25A-EAAD8AB122B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$7FCE59EB-2B1B-4510-B54A-4F3B0E6205A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1bce604a85bfec1fad22a2d6b29f904c514a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5262476,"id":"Q5262476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$57DDFD7F-FBEE-494D-BA45-9C879F8C87C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ed94cb396f74e71967e56fcea52b4f6251c79","datavalue":{"value":{"entity-type":"item","numeric-id":3133174,"id":"Q3133174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$A064E4F5-C848-46D7-8288-588EA6C39996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e9e1d18538a056cdf8780264c2c8e00f6d132","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$E445DF0A-0D8F-4964-AA8E-28771D3E8F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d5fd92f1ca04342fdad39d66fe038125cb05d6","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$43430202-7C87-4C65-B2B3-19EE38B77434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b104e0cfb7d493d4ba8a1b5b0f58d6152fa9dcbb","datavalue":{"value":{"entity-type":"item","numeric-id":5241918,"id":"Q5241918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$63138CE1-885A-4B9A-AC69-0EC07CF7AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bd0c5b86b80994533fe181244fe3712b0f17c5","datavalue":{"value":{"entity-type":"item","numeric-id":5545509,"id":"Q5545509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$353BC4ED-07CA-4472-B751-84D62363C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$B1E351D2-23E7-4ED9-9BEA-EA133B8D4B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$0CC9E714-D85F-4244-9E8D-5C345547DAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$5145D867-8C70-4EEE-8C2B-695FB71D8650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a33b2bd44721a4b2c01554ea95ef4144f14590a","datavalue":{"value":{"entity-type":"item","numeric-id":3305427,"id":"Q3305427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$13E76FC4-FCC7-4065-9B97-46975284093C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$F17C15A8-99C7-4507-9045-C6E0E4DCB251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d83d5414c4b398d1e707c31aba87dc6f4fe424","datavalue":{"value":{"entity-type":"item","numeric-id":5813184,"id":"Q5813184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$8EF5DB2E-D869-47A1-B985-05BA1BE21814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$459DEF66-9A7E-4E5B-9F1B-6EBA628D5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1f580424b5630333db701f9ec131434a539379","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$46AF46FC-821A-4FAA-864E-8F1C1FCAD129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4280bc66cf36dd19d12cd3a23e00ee4c8798c","datavalue":{"value":{"entity-type":"item","numeric-id":5213765,"id":"Q5213765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830398$73520827-9460-406F-BB5D-DB2C8F8D1F56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b349e7dd731e72b4295eaba2f66118fe595684de","datavalue":{"value":"10.1007/S10992-020-09553-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830398$D610579D-A552-46A5-864F-E8C3B655F80C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2aab23015e15b469241a7c96508c160fded34d7","datavalue":{"value":{"entity-type":"item","numeric-id":5241918,"id":"Q5241918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889661c2f01f582e685939674dfa944dc0bd6373","datavalue":{"value":{"amount":"+0.793437659740448","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":"Q830398$4128C2ED-D6F1-42AE-8BBB-9F467A910C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c16bc98d10521f1891cab4288d7fa65252522b","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a866af3f6891bb17356e7b233154ada40a45e05b","datavalue":{"value":{"amount":"+0.7865451574325562","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":"Q830398$F9B6FAE7-F4DC-4673-96BD-7A52CFF1B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f516c9d12d33137f341c89a5a2dcb26c2d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21b96f7e6e2ea8f044aa97950c109f995ddc057","datavalue":{"value":{"amount":"+0.7802504897117615","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":"Q830398$F57B8FDB-803E-4511-8453-3830A2A6FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48c17b2ac32f27635b7e44dcdbeef02fafc1534","datavalue":{"value":{"entity-type":"item","numeric-id":4294471,"id":"Q4294471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6751a6b0ce929669cfa74cb423ddff83a800117b","datavalue":{"value":{"amount":"+0.7710962295532227","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":"Q830398$0F32C441-2E17-4DF2-A22E-D3969FA990C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3adaf011c430987a2d0f0da7d217637b83e7d05","datavalue":{"value":{"entity-type":"item","numeric-id":2186695,"id":"Q2186695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa8db0d21f635481d29bddb5a02901bddc400d2","datavalue":{"value":{"amount":"+0.7580485939979553","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":"Q830398$75A89967-CE4E-4B21-A2B1-0A4B3A979A1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke-completeness_and_cut-elimination_theorems_for_intuitionistic_paradefinite_logics_with_and_without_quasi-explosion"}}}}}