{"entities":{"Q4644539":{"pageid":6674120,"ns":120,"title":"Item:Q4644539","lastrevid":89970377,"modified":"2026-06-04T18:45:12Z","type":"item","id":"Q4644539","labels":{"en":{"language":"en","value":"Skolemization in intermediate logics with the finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997952"}},"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":"Q4644539$027CA634-5247-4FCF-A5F5-B92F01477F4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e3c95b1d819dd9713a0ec8ba8862b863ce7602","datavalue":{"value":{"text":"Skolemization in intermediate logics with the finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644539$D525C602-04EC-4CFC-A2C8-79846E597BE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb3b81a618793695e392d5ac8e8f2340894a80e3","datavalue":{"value":"1405.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644539$C98A655B-91B2-477C-9113-DBEE98DA1E3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644539$7C1E153C-7BF5-4852-94A6-187F9327EA72","rank":"normal"},{"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":"Q4644539$AD9166F2-2C2D-46BF-BEBD-518E395A7E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644539$37373866-5B48-4741-A3CA-5C37FEF55FC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba82b6214a7380c6844020f4c9e7178b456e4704","datavalue":{"value":"https://semanticscholar.org/paper/e1decd71f7ca2f5b848abff3175e9ec8ba01180a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644539$F8DF9564-B9A9-43B6-AFD0-C7A00208F37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644539$4A84F1DA-E947-4FF6-AC78-077C822B524E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644539$48CBBB89-D928-497A-8308-198A65B898A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b996a61f87472c4a636e701cc587f4f7b331a6","datavalue":{"value":"6997952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644539$055D17AE-89A4-45B9-9C06-22D845409BE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644539$CE9D7B93-1925-45E1-9C12-2B59CE0FB7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644539$16345706-8B16-43A6-AD2D-9A5446A7469E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644539$1E17EE28-8D76-4D41-832D-202068273EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644539$0FBC425E-3F17-401E-AC5F-4947AAE688C4","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":"Q4644539$7FDFD2F2-685B-4F52-A4F8-ADB255B4997B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02183c88432e3a381578f923d9ea824b9e44d4a6","datavalue":{"value":"W2398347860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644539$D830CB6A-B253-4266-A2CD-A74EFB603647","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec5a3ecfc2165f8a6b125ad51febdd04fefa8400","datavalue":{"value":"10.1093/JIGPAL/JZW010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644539$1548D7D4-C897-4A5F-B9ED-BB37F4866155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644539$BCB43375-6358-49D0-840B-3E8B3E424730","rank":"normal"}],"P1643":[{"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":"cd4ed5aeda3275df6e5cac8eb2e80b03946d47d3","datavalue":{"value":{"amount":"+0.8196680545806885","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":"Q4644539$4822EAF1-88FF-4567-9822-1DBD0AC70FF3","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":"ebc2fbecb09ff072d8e37f815d7f7578f641bd9c","datavalue":{"value":{"amount":"+0.8174678087234497","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":"Q4644539$AC847F75-415A-4785-8300-307D0F89D9A8","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":"12f889effe25dfd3294b4ce3dd2502be8d898bb5","datavalue":{"value":{"amount":"+0.7923206686973572","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":"Q4644539$5F2A0C83-3510-40CB-B085-0208523DF943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412df037011f4adba356fedd08fedbd9939fa313","datavalue":{"value":{"entity-type":"item","numeric-id":638487,"id":"Q638487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788ffca27e8f149f56b55c6e2f45a2be54d7961b","datavalue":{"value":{"amount":"+0.7801594734191895","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":"Q4644539$166299BC-E124-47B0-A407-C55E4EA18F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09eb6fe776137945b23aba0da07e6ea93d9b24c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617374,"id":"Q3617374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76919d417d2e148e6e203ae79531f1734393cb54","datavalue":{"value":{"amount":"+0.7683416604995728","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":"Q4644539$134FBB25-5165-4CF2-8B6A-675D59F69100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skolemization in intermediate logics with the finite model property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skolemization_in_intermediate_logics_with_the_finite_model_property"}}}}}