{"entities":{"Q5213390":{"pageid":7242960,"ns":120,"title":"Item:Q5213390","lastrevid":94555850,"modified":"2026-06-05T07:07:08Z","type":"item","id":"Q5213390","labels":{"en":{"language":"en","value":"A bilateral Hilbert-style investigation of 2-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161964"}},"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":"Q5213390$8E17B24D-2F83-4D30-9D11-3AD9CAF2E968","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eed278ebc53320640e7527d69164cc92d8c07c92","datavalue":{"value":{"text":"A bilateral Hilbert-style investigation of 2-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213390$1D07AB77-9C9E-45E9-8BE6-5AC6773530F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8267495fa5535a1ba281e1b0f64f7f87c794c1e0","datavalue":{"value":"1444.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$40CE0993-4D6F-42CE-9991-A4C586A2C4B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213390$F63817E1-68A6-4FFB-AE77-BC38B0BF3EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$C4FA8E77-B970-4C47-AAF8-500C43D9CBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$CEF17E55-DE7E-4BC1-A1BC-F0CC648DB6A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf8f6153534352bedeba0d2763621f4d3e8b224","datavalue":{"value":"7161964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$A3FBDD8C-0D8A-46A4-994D-DAC0EC1D5BE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3551baad59b57d47270d5e034981e27b93ddc0","datavalue":{"value":"2-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213390$50D9F971-FB80-4A0D-A4AE-C89ADCFCF500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db77221c7ff5a859ef26fb737badc122d015856","datavalue":{"value":"Hilbert-style calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213390$27C01DB2-6ED5-4F0D-B2FA-FD334714964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea625adf7f9d3cb56ff12bb76622dc89dbd1952","datavalue":{"value":"rejection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213390$83BEE0CF-D5BC-4DF4-824F-62FA5513E5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213390$C46B2736-F630-4894-B595-3E833D790ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb69f783e85fbc42e5d9316045b6ef66d0845934","datavalue":{"value":"definitional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213390$ABDE99AE-9BB1-41BB-8454-80DB13A083B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42725b6caae2a3feb9ea758e05be801e94cac95a","datavalue":{"value":{"entity-type":"item","numeric-id":2027213,"id":"Q2027213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213390$E4B41999-BD46-4161-A9A2-7E5232AC1D61","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":"Q5213390$10E2F37F-F7AD-49D9-8BE7-8C00B1BBECEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d39ca5d75adc68f00cc8c740c943343a563e6ac0","datavalue":{"value":"https://doi.org/10.1093/logcom/exz010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213390$0AEDF4E5-3E4C-4D3E-B2BA-C14AE91A5020","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7260fd8a1c8189f1fe4296665c65d9eca5b12f4c","datavalue":{"value":"W2947239929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$249D507B-AB24-41D2-977E-FD7B5B3B2159","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"519dbf42f5e9f7907cad9875122a2a8dc5d19eb1","datavalue":{"value":"Q127993921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$D3C20189-57E2-414C-8F57-BEE6552C4E7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cb36bd1fea6e65e547b7011deed45e6dafc8617","datavalue":{"value":"10.1093/LOGCOM/EXZ010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213390$D5D89FAF-B270-4E78-B68E-2E8CFA173A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213390$AF0D561E-F150-4AD0-A38F-25C4401AD8DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1751c23be45486b0b1cec1596b176c67b96af","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42b494c25078f2fb6c320fa654d1a7e6f8c4886","datavalue":{"value":{"amount":"+0.7565084099769592","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":"Q5213390$8646776F-4E75-48AE-8AD2-F12B589366DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465fc7ae39fe449b08161c2a14c6cac3e531f124","datavalue":{"value":{"entity-type":"item","numeric-id":813087,"id":"Q813087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7bca207a26f3a667bed1f247f5c1b014d125c5a","datavalue":{"value":{"amount":"+0.7309525609016418","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":"Q5213390$80398A5B-3177-495D-BB45-2E85321A16A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d21c614cc94d0d0d892fb24d308ba018459e569","datavalue":{"value":{"entity-type":"item","numeric-id":2410887,"id":"Q2410887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77684dea9e98c907766aef9584e4f076c6ef44e","datavalue":{"value":{"amount":"+0.7271633148193359","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":"Q5213390$D6BA5C37-EBA7-4FBE-B09B-C38C4CEE6F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f6dbc3cff1a713ad514cf6343ce87b657f5f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2904071,"id":"Q2904071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a607150455bdf4efaf9ecac52554444f8cc8e7","datavalue":{"value":{"amount":"+0.7211149334907532","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":"Q5213390$AB9CB298-9361-4B7E-BBAD-66C46A48DA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9634c736540c96b457b40990b58526809297c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":346768,"id":"Q346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bcd3b6c7085670b54cfd4c5116b161b40dca0c","datavalue":{"value":{"amount":"+0.7162987589836121","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":"Q5213390$8276A84C-2678-463F-AA90-526C8AB6FE62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bilateral Hilbert-style investigation of 2-intuitionistic logic","badges":[]}}}}}