{"entities":{"Q5222518":{"pageid":7252088,"ns":120,"title":"Item:Q5222518","lastrevid":53702879,"modified":"2026-01-25T14:10:55Z","type":"item","id":"Q5222518","labels":{"en":{"language":"en","value":"A correct polynomial translation of S4 into intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7186292"}},"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":"Q5222518$D3280955-7D2C-43C2-A0DA-7DFF208357B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75ce2c422b61b18eee7a12be94ed3c6c3b4fe89a","datavalue":{"value":{"text":"A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222518$73259507-87DF-419C-8A7A-9CE4AC262DB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9bc7b173e2501076bad1fb269d784479f1d501d","datavalue":{"value":"1457.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$C99863E5-3EEA-4067-A25C-7455F41E47D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222518$ECA44361-AE09-49F8-8C96-91B4F1408F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d62bf655cda2978b8793a93b841c891db2b4777","datavalue":{"value":{"entity-type":"item","numeric-id":2908500,"id":"Q2908500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222518$86D76E1D-BDA9-4C60-8380-208A97F5D870","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f453ac7acd4a2f23133adfec3cca035076417f0","datavalue":{"value":{"time":"+2020-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222518$C9106903-D018-4439-A29D-719A42EFBD19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ff5ab33512f4cf60893b68504dce47fd6c024e5","datavalue":{"value":"https://semanticscholar.org/paper/8c0c5df8bf82e67a77c5851921f0f017e0a520dd","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222518$189C979C-22FE-4AEC-809F-98F2962501C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$D1A59025-EE88-4A42-9333-5A9A491F7627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$C5DBC9C1-57DE-46AC-94FD-EA439362D62B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82a2ef1182a9725c5211c77dde5e4a1d134a92ea","datavalue":{"value":"7186292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$EB0BD292-34E1-40A8-AB3D-D9E1B231AA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222518$E81EED13-68FC-4730-93C1-995C78ECB769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222518$8FEA75AD-1A07-4865-B331-2A75966190AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99d29a78f8477b0789bef91e25163e379662bb3","datavalue":{"value":"polynomial translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222518$EB0D8E7F-7A8C-41AD-BCC7-8302451EE434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222518$30FD19BC-C2B2-443B-AD0F-6B92403780D1","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":"Q5222518$BC53E011-761C-46E0-BA4F-2E87A61AC6F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cccbb018961d30899de1ec8e6ae940238b48904","datavalue":{"value":"W2951297772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$6022DE53-8E7F-49B3-AB51-A8DE9B948E04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb8e50ff8b56f24d10728f311e9f4c1123bab59","datavalue":{"value":{"entity-type":"item","numeric-id":3410685,"id":"Q3410685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222518$EAE28B8A-DAD3-478C-98D2-F8BC272F6DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe5f4cde658e0562132d9b2eaacad8acd88115c","datavalue":{"value":{"entity-type":"item","numeric-id":3720554,"id":"Q3720554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222518$4323914D-A6FF-41E2-AC94-92D871D1110D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3fb4e38266b7a05438f2fc0ab067a5fe9bdce092","datavalue":{"value":"Q127732555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$AD980D21-55A0-4547-9B62-9750FB49DF77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d39f7edd308467b1e4a02ea6627d6ffb539334b","datavalue":{"value":"10.1017/JSL.2017.66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222518$A12DA468-C686-43B8-9CDA-06103744DAD6","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":"Q5222518$7058425F-6E47-4E1D-9463-6BBB62AD6148","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66188545c731d6eb53620fd9b47a463e4cb48148","datavalue":{"value":{"entity-type":"item","numeric-id":3410685,"id":"Q3410685"},"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":"Q5222518$775D2034-0673-445C-AB0C-0F6B5BA557B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c5f16066f600409ef43b7ef2bf3e168436d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3126407,"id":"Q3126407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa68303cbb4dc574c0a2b0cff901b7d504127377","datavalue":{"value":{"amount":"+0.8130448460578918","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":"Q5222518$11698A86-FEA4-4965-9898-7F97BF04E63C","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":"eb7fedece357bde8e7a66f1694305a34a997d2c8","datavalue":{"value":{"amount":"+0.8053615689277649","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":"Q5222518$9CC5AA98-6F67-4D67-B568-90ADA0E64CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2670fba71f0b788a66d7b3517c95bff3abb2c88","datavalue":{"value":{"entity-type":"item","numeric-id":5741613,"id":"Q5741613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f08fe46004013a9e7997a22b77902b304e7ddc","datavalue":{"value":{"amount":"+0.7862526178359985","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":"Q5222518$F67154A3-94F4-40DE-974D-44A633B90FD9","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":"91eac138e3cceecb34c173c9b5806877697390b5","datavalue":{"value":{"amount":"+0.7844354510307312","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":"Q5222518$98888362-4A37-40DF-B1EA-CE5047BD09E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222518"}}}}}