{"entities":{"Q1740611":{"pageid":1751353,"ns":120,"title":"Item:Q1740611","lastrevid":68938923,"modified":"2026-04-13T03:14:29Z","type":"item","id":"Q1740611","labels":{"en":{"language":"en","value":"The Skolemization of prenex formulas in intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7049868"}},"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":"Q1740611$209A2242-DE0B-4FA7-B3BA-13C7EB5CC8AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a83f866e0704ecb1a29d265b0c5845b228cc27b","datavalue":{"value":{"text":"The Skolemization of prenex formulas in intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1740611$0B92A32D-0E43-4F68-8C37-058FC8221CBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$713DE98D-E737-4892-844D-A98E1281F732","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$C04CE6E7-CD21-48D8-A3CF-A56B420B83B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe967a6646fb6ad4126028ed66c1cfc1a0b6f1a6","datavalue":{"value":{"time":"+2019-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1740611$5D9823EB-A14D-481B-A2F8-A4A980D49F46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740611$71AA7072-99B5-4ED9-BEC7-88521C371695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740611$5EE86153-788A-4280-945F-CFC65F208BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebdb9f6b1649cd0ac79b7d3c84d050d10d62978c","datavalue":{"value":"7049868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740611$A0A406A1-2CD4-4ACC-826E-E5C0B610B7FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740611$16A6AFF5-CC60-414A-97DC-50999CA89CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb8e031f2b28fbaa8c262e3b135d8604858dd9a","datavalue":{"value":"prenex formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740611$E23197E5-64D0-4476-9F3C-C96EC838F7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740611$1C5A92EB-BA98-48B7-AE39-89E2C1CC35C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740611$20AA3D8C-7278-4D35-B4F2-244D63A30D40","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":"Q1740611$0BBA875D-FF5A-4FCD-AB1E-5CB4EBEA38B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98301e17a7a06fdce1484a5258fbeb1a2ae073a9","datavalue":{"value":"https://doi.org/10.1016/j.indag.2019.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1740611$31F0F694-E0C2-4BDC-A103-06D374FF6094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81f4918905bdf5862334e70eb619e60a29caf846","datavalue":{"value":"W2909198689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740611$E18615BC-27DF-43FE-9C7A-A93DA33F6DCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7673fd4d4c6d7fdaf102dcb205eec0b3433a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":2996163,"id":"Q2996163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$0D9EE319-4313-454E-AC8D-C2FCDBDCA21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5022617428ef26e116124ed59330ee04428a997","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$5EA0E033-C154-4DE4-9A0C-3129C10A7A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"209d8d2485df8b67eb0995cf9c6b04554f60cd92","datavalue":{"value":{"entity-type":"item","numeric-id":3617374,"id":"Q3617374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$D691E753-F441-4110-8FDE-F2A83CE927D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7245d26375ef0b2292857c208701bd3bc17970d","datavalue":{"value":{"entity-type":"item","numeric-id":3094144,"id":"Q3094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$60800CBC-D849-42D6-A7D2-FFC860E1D559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f078122d2d4bc169a881aa22af015c213259e21","datavalue":{"value":{"entity-type":"item","numeric-id":3507415,"id":"Q3507415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$FB5A76AE-72A0-4312-B60D-7F7FBBAAB63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eceab85592a141b79054bba3c46b77a70076fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$C6CD8862-3132-454E-AF8E-9182D70A17C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efb96bfde8b762e137f880295bd8eb971905b16","datavalue":{"value":{"entity-type":"item","numeric-id":2870155,"id":"Q2870155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$27A88950-2DC1-44E9-825D-AABAF019DAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$ACEB7233-FF27-4D74-9D1B-ACC838AE5F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$441563B5-8D23-4FE3-8C95-7195B2412891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e96724ecdaf3b10ad794bdc9c339c51e07df37","datavalue":{"value":{"entity-type":"item","numeric-id":5579476,"id":"Q5579476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$DA9FADF0-43AA-4269-A1B7-85F7F2BF753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee8fe1191b9d814a579183f943d97319419e687","datavalue":{"value":{"entity-type":"item","numeric-id":1845874,"id":"Q1845874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$00F21124-99FA-4F8A-87A9-A21DF5F14087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982a2048dbca32b998faaf02f17ebd6cf97a7911","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$5E8D6DBD-0D21-4E64-B580-ED215656CFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$69F157D9-52F5-4143-AE4F-E77BF551714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740611$5D43D583-4DBC-45F5-84FA-E707D971151C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f65f0e97ea2ee5cd090109ab44c455486428532","datavalue":{"value":"10.1016/J.INDAG.2019.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740611$290B04CF-9F80-41B0-A961-83922812CCFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0a0ed4675ffa4d7d5b41b3419efa25f310b62d","datavalue":{"value":{"entity-type":"item","numeric-id":4644539,"id":"Q4644539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1de0870d5a2a83bf9c1b9491acb3442f2e0c125","datavalue":{"value":{"amount":"+0.8380659222602844","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":"Q1740611$CF9637DF-29BE-4339-BB74-3D2BCF63B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ec75e220191ce9be193662d16c95db9d8a74a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316b85e99b4e6a0da8bc9633b91c97532e87d9f4","datavalue":{"value":{"amount":"+0.7953707575798035","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":"Q1740611$565A21A6-B4FC-4136-B6CC-DA6AB93437CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0cff0bfff5d4a3548f3f865ccec65cc935486a","datavalue":{"value":{"entity-type":"item","numeric-id":3173799,"id":"Q3173799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762036fd27e75155b823aa8f8d0bb25f07cfae1c","datavalue":{"value":{"amount":"+0.7925023436546326","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":"Q1740611$10F3F51A-1B33-42C0-8351-7CBAF6E99E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e802f897a1490f5dd1713c187dddeba16cac801","datavalue":{"value":{"entity-type":"item","numeric-id":3460036,"id":"Q3460036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf10dbb4add9b3ce9727cf60e497d0231f3977c","datavalue":{"value":{"amount":"+0.775959849357605","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":"Q1740611$CF3D1C53-3995-4917-A40D-A8535575F199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cadeb0cbdbcea2206210b92406402fcf304fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c6d0d93358151e5b9a7d06df70f9d0cf221d23","datavalue":{"value":{"amount":"+0.7643355131149292","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":"Q1740611$FC7C8D18-25E0-4272-92D8-45D8E46AE5E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Skolemization of prenex formulas in intermediate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Skolemization_of_prenex_formulas_in_intermediate_logics"}}}}}