{"entities":{"Q3410685":{"pageid":3421388,"ns":120,"title":"Item:Q3410685","lastrevid":49976899,"modified":"2026-01-12T10:18:08Z","type":"item","id":"Q3410685","labels":{"en":{"language":"en","value":"A polynomial translation of <i>S</i>4 into intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076728"}},"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":"Q3410685$6612BCE9-F5BE-4765-9BC5-22567715C5FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de9d3a6ddf75a11643e018567f20f4f85b88461c","datavalue":{"value":{"text":"A polynomial translation of <i>S</i>4 into intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3410685$D009CBAB-D3B0-414C-8023-C56DA53C58D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22cdf1d615ab1723fb4df77bf32b97e324aa07a1","datavalue":{"value":"1122.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410685$4C0DB6BF-78BE-4CCE-8B8E-C6CABA1BB755","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410685$6DE483B0-922A-4ED3-A5A2-7C1D525E7562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5aa3717a7a4c351354df3352e5de09dd32741586","datavalue":{"value":{"time":"+2006-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3410685$C95191F0-9DA5-4F46-ADEE-F9DE4CF75512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410685$40A2F4C2-8B45-4C63-80BF-ACDFD9FB3A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410685$11AF9BB3-A81F-4578-B86E-DFD1A889AF36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05f362712669f8e82b12afbfe90102e933f1f77d","datavalue":{"value":"5076728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410685$FCAC63E0-9E6D-4525-8394-65FF3D78FF7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410685$C7198296-FE48-4C4B-A074-A0F8BD27485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410685$239882EB-BC75-4FCB-8072-A30EE469AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7506ba56548fe79d149f888c23ef4a7339ddfdf1","datavalue":{"value":"polynomial translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410685$745A1C1C-C17B-486F-9DFD-E2F7028A85D0","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":"Q3410685$882F3EFE-8919-4D00-B22D-A8ADE056B04A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec424ffdd3c27cd43621933b3eb06dd42003aec2","datavalue":{"value":"https://doi.org/10.2178/jsl/1154698587","type":"string"},"datatype":"url"},"type":"statement","id":"Q3410685$4C339333-1C2D-4610-87DE-E442FE5E03C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e04b0a6e6c4078ee84b5ec3a3ec7dee58bf9dbc","datavalue":{"value":"W1996541842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410685$7E030816-22C1-4881-B5DE-56675D246A70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410685$9A42D521-DADD-453E-B77A-E8179ED6121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410685$1F57E0EE-19B2-426A-8649-C3081735B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9fa29d85b0fa6bb92ccad434bdf75276ac6ee7","datavalue":{"value":{"entity-type":"item","numeric-id":580343,"id":"Q580343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410685$842D766E-A526-4F7B-8DBA-D052400379A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"686863a1d788c740cc6040ef056aa1e37c20b61a","datavalue":{"value":"10.2178/JSL/1154698587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410685$6A28FA8F-3DD6-4290-9C66-765373F899C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939896e1966f98dc573a79af75b2c9c07c9ca83d","datavalue":{"value":{"entity-type":"item","numeric-id":5222518,"id":"Q5222518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b54cb226950634ac496af1dc6a4e69ef079ac5","datavalue":{"value":{"amount":"+0.8838399052619934","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":"Q3410685$A5F88576-AE43-4BC1-BC10-6EEF6347C24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8218e59ae286c562334b203388247726e58e9477","datavalue":{"value":{"entity-type":"item","numeric-id":4299137,"id":"Q4299137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01d99842b554d077bbaa0c6b668aab2c34c3c77","datavalue":{"value":{"amount":"+0.8703370690345764","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":"Q3410685$4FB7A44F-40D1-4B3E-9BEC-DA84BD700CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b869950d91456924619b1b05bc52754b41b8bae","datavalue":{"value":{"amount":"+0.8393773436546326","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":"Q3410685$49112976-9618-4DCD-B0F2-4C9BDB45D1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66302990f4dbc0e4358a7134686423094526928","datavalue":{"value":{"entity-type":"item","numeric-id":2900543,"id":"Q2900543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33827e9aaff2ae52030941582f3430bc83cdb8c0","datavalue":{"value":{"amount":"+0.8242962956428528","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":"Q3410685$A348AC0B-A733-4632-AB81-13CF234E98C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12544eef24ecd19384b8297dd6bc08eefeeff385","datavalue":{"value":{"entity-type":"item","numeric-id":4295254,"id":"Q4295254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d106618b7f5a051eb9ef8f496a29863e77daf4f","datavalue":{"value":{"amount":"+0.7924078702926636","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":"Q3410685$61863B3B-759A-4869-9944-1B643A195863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3410685","badges":[]}}}}}