{"entities":{"Q299186":{"pageid":300953,"ns":120,"title":"Item:Q299186","lastrevid":60755142,"modified":"2026-04-10T18:56:23Z","type":"item","id":"Q299186","labels":{"en":{"language":"en","value":"A bi-intuitionistic modal logic: foundations and automation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596344"}},"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":"Q299186$FE31B884-EDC8-4CD8-BFAB-C3A366591270","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2749fb45515525cd48af67af994e2383a348570e","datavalue":{"value":{"text":"A bi-intuitionistic modal logic: foundations and automation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q299186$9C5345DB-DF79-4BD3-A30E-E16ED36C0D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a32bd5520d8d46d25893df0f588df2fe0c05d410","datavalue":{"value":"1359.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$F69FA156-DE0C-4E5D-AC1D-B7D8F6D0DBA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b903ecdf3c2b7d448fc3eb4629903e943b1e5e5d","datavalue":{"value":{"entity-type":"item","numeric-id":299183,"id":"Q299183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$8E0C53DE-3148-4701-8F8F-8B9A4C755AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$2776A0B4-9B8F-4361-B13B-C73DEF3FD2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d426517d35f74127ac2700eb0061f4b10ecaa56c","datavalue":{"value":{"entity-type":"item","numeric-id":684394,"id":"Q684394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$896F50EA-3D7F-4DC4-926E-F0C0728DFA4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$5EAF5F0C-5B32-4AEB-901B-81463E1AB92E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q299186$CFC56F0B-2A9C-46D9-98E2-C851341D47E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee4b5cfa240600d33f984cbde652d9a172208c5a","datavalue":{"value":"In the paper, a bi-intuitionistic logic BISKT with modal tense operators is constructed. This logic finds its foundations in a general algebraic framework of pre-orders and relations on downward-closed sets as well as on graphs. Then, BISKT can be defined as a bi-intuitionistic stable tense logic with a semantics in which formulas are interpreted as downward-closed sets, including subgraphs as a special case. The language of BISKT includes two adjoint pairs of modal tense operators: \\(\\square\\), \\(\\blacklozenge\\), \\(\\lozenge\\), \\(\\blacksquare\\). These operators obtain their interpretation on subgraphs by taking the nodes to be time points, the edges to be open intervals, and \\(R\\) to relate each open interval to all instants that either end the interval or end some later interval. As the authors explain, the times when, e.g., \\(\\lozenge p\\) holds are then the open intervals for which \\(p\\) holds at some later instant, together with both endpoints of those intervals, and the times when \\(\\blacksquare q\\) holds are all the closed intervals where \\(q\\) holds at all times and has always held. Remarkably, an alternative semantics for BISKT can be obtained by its embedding into the traditional propositional tense logic \\(Kt(H,R)\\) defined over two accessibility relations \\(H\\) and \\(R\\) and their converse relations. Since it is well-known that \\(Kt(H,R)\\) is decidable and has the effective finite model property, it follows that BISKT has the effective finite model property and is decidable as well. Moreover, it can be shown that satisfiability in BISKT is PSPACE-complete. The paper also presents a terminating labeled tableau calculus for BISKT, which is shown to be sound and complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q299186$B02E1D46-7721-4A88-9809-9C6482126C9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$2F09BBA4-15C5-4984-B03B-DFFA12A2E33C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$300A9535-DCDC-422C-BE20-4A89E559D97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$4B5C2BD3-3DCA-47B6-B52B-5B367CF575A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$92E1A911-2F92-4B51-B987-B4236BD14612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$237DD864-CB82-406C-B2A5-986E09651D94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be9e0faed956273c18c471e41ab1cf8d564f5a25","datavalue":{"value":"6596344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$A3B42926-B135-4903-872E-0FE7EFB71B1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q299186$CDDA004A-D2E5-412E-AA4C-896FB2DE9C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q299186$6D4B3D7B-C982-44DF-BDF8-AF6F617E8382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q299186$EE2AF3E2-926E-4190-B02E-844AC6868548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q299186$195B2BF3-B8D0-47D1-A8BD-1C77648DCA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d72fe12d9db18c3f8d9a1d043f614cfa14ed8d9","datavalue":{"value":"correspondence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q299186$D813A94E-157D-495C-96F0-5A2E41F5CF8C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"845de12f1ba0b8e878f9409d29704522476f9462","datavalue":{"value":"Q57949639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$C18E6865-502B-46A4-A16D-7BDE52437D3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a2e99bf2d721f734420e941cd08910602eca6fc","datavalue":{"value":{"entity-type":"item","numeric-id":23924,"id":"Q23924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$35ADC306-D6E3-4924-8DAE-CA3261362EB7","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":"Q299186$A881028C-6411-4072-A860-480D5263A107","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"933755f2ca2821f02697117b7e1760cee275eb25","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q299186$48A36048-70B6-477D-898B-2DB7A1DDC4D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4361c5fc6c79667c0bdd9d3fb4e4b20addf94ef","datavalue":{"value":"W2224519702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$9496027A-5DF7-4794-BC94-D8126A41C142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6a4103af3982909ff937c178dac955348fa630","datavalue":{"value":{"entity-type":"item","numeric-id":3647299,"id":"Q3647299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$CCB9D07F-D3D1-4DD0-8D2D-477C27CE5667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$1F8DBC95-3EE5-4CAB-845C-941FEDE1446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70cc4453f5a873a7b64997b7df88ef8b7cf7b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613405,"id":"Q3613405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$E62BB1F2-8D23-4784-9FD9-7021F8B0D85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$248E5D93-0534-4F82-B878-991BEF8CAD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36851703bdd7ede020ffb627c1e3c57f1cae3930","datavalue":{"value":{"entity-type":"item","numeric-id":3647301,"id":"Q3647301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$14305E5F-94AE-47FD-9F35-AB096A4FE6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$04C0559A-4E76-4BC9-8A2B-A9D3F2F8DD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db234714bbb44a1db6368a975e1798b9488c9e15","datavalue":{"value":{"entity-type":"item","numeric-id":960511,"id":"Q960511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$C5E023D8-DBD8-45E6-949C-3668719F5F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$EE74796A-37B1-4667-8EE5-65915B728182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414e397cfd2690845f821ca2f2999c855a048639","datavalue":{"value":{"entity-type":"item","numeric-id":4929939,"id":"Q4929939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$BA8FC773-52AC-4160-8A80-F8222FCAD413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$8F933C0B-59FE-4BF1-9DF5-8E1D15F0A6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27b322e2e4b126fd97a6e3a188b712236890fc9","datavalue":{"value":{"entity-type":"item","numeric-id":1914371,"id":"Q1914371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$F7A2DA65-442C-4752-807C-AB816AA9D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$9EAF66BD-7148-43C6-8AE9-71BBD333FD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dade27511e89249ddf1dc288e1390c3b726b93f3","datavalue":{"value":{"entity-type":"item","numeric-id":4636309,"id":"Q4636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$2FF36004-300C-4A75-B8DC-DC6689BC2B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ce04b9cd2287eadad31499bc1179a15eeae372","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$97969F5D-F9F8-4684-AAEF-040BB3A76362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6858b0b56c13460d0127feb6a167897ec5eb0b6","datavalue":{"value":{"entity-type":"item","numeric-id":5892517,"id":"Q5892517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$DDBB3AE1-FB90-4E30-A6C6-5CE9DAA643CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ed882b3979db3c64d5bf182ed038c035ede3c3","datavalue":{"value":{"entity-type":"item","numeric-id":5410334,"id":"Q5410334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$3CFA8289-1406-4E9C-8979-4AA3147E40A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbf405dfc7af64a8b212aa0dd2cfc54ec1d2c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3680652,"id":"Q3680652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$B3626132-9B0F-4D4D-AB0D-2F96ACE85B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebf45ef86011fd36e2fd01370481f490632015a","datavalue":{"value":{"entity-type":"item","numeric-id":2915153,"id":"Q2915153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$86F98C56-23EF-4990-AE6F-00EF401FE3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319d7bc5a3339e48fcfda0627e1e84f0cd63462","datavalue":{"value":{"entity-type":"item","numeric-id":2347914,"id":"Q2347914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$36A3BE08-D6F2-4DF8-9C9F-FD88BD68BC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90b14006522509129d31f0cd522d98218fa2222","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$0EBA38F6-D3D7-4138-8D81-21303FBCA195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$CCDE2A99-8825-4A16-9D64-DDD60ED17138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a32d52e309ee4fa1494106810c7ddb8ecf42a26","datavalue":{"value":"10.1016/J.JLAMP.2015.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299186$75B50669-E37E-41C5-BC67-F2CD90B9E3B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f199ecf525e72531db3d0336ca95aabb0b6cade4","datavalue":{"value":{"entity-type":"item","numeric-id":5410499,"id":"Q5410499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8a21681d72d012feeb8861765aaf6459326e4d","datavalue":{"value":{"amount":"+0.8672413229942322","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":"Q299186$4DAA5906-54E4-4D9A-86AB-5AD3C7E99F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd57c93f952a24c410aac3b206b7290e22049fe","datavalue":{"value":{"entity-type":"item","numeric-id":2908501,"id":"Q2908501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851538402ab1560ca9c0c0d25f912295588e1a8d","datavalue":{"value":{"amount":"+0.7798057794570923","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":"Q299186$990E4829-0F52-4109-B727-6C9E367F2BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee71b9090ea73b7d9699f84230da8bf7ebd17b9","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc7061b9808e67b9c125ac7da0a712a471f1a5a","datavalue":{"value":{"amount":"+0.7686665058135986","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":"Q299186$9AE577D9-52D6-4347-88DF-E9592F45B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0c5afa3f6f01f4ce5de6c8a5a8939b50548d09","datavalue":{"value":{"amount":"+0.7627149820327759","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":"Q299186$7DA0B49A-316B-4E5C-93AD-E5760CCDD4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697faedd0596f26144624d3922a5bd7f96c088d4","datavalue":{"value":{"entity-type":"item","numeric-id":332084,"id":"Q332084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c782136848982ebce5715eb8041b450ea5876a31","datavalue":{"value":{"amount":"+0.7392204403877258","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":"Q299186$DB1CB7C5-8A2C-42F0-A2A4-202D3443D56A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299186$28CB6331-BB73-4EC0-9B19-E63020C4D980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bi-intuitionistic modal logic: foundations and automation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bi-intuitionistic_modal_logic:_foundations_and_automation"}}}}}