{"entities":{"Q6764665":{"pageid":14483353,"ns":120,"title":"Item:Q6764665","lastrevid":106084346,"modified":"2026-10-22T08:59:50Z","type":"item","id":"Q6764665","labels":{"en":{"language":"en","value":"Skolemization In Intermediate Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6764665$36AAB39D-C07C-4E97-9B72-0F28B18CE858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1533ef58fe3b6ac0b6e76c86b8ed9a818696c893","datavalue":{"value":{"time":"+2025-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6764665$97DAFA3E-FD26-4C20-85B2-0AC18ED6B754","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"f0db48e7a7f747960251fc3b4a19530390eedef5","datavalue":{"value":"2501.15507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6764665$1AE3A8B0-6D41-46B8-A65E-932E82B9409E","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":"Q6764665$407AACDA-7B14-4614-B05A-9082B169C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60da671ce70d3cb07ac80296063517f189947ac6","datavalue":{"value":{"entity-type":"item","numeric-id":6852321,"id":"Q6852321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6764665$90E6970B-39E8-4696-91D0-A39FE64AA29C","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":"Q6764665$78593D63-DE65-4688-9E4B-2918D15B7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6764665$7D7DBA48-2D97-441C-8B74-A92BF9869E34","rank":"normal"}],"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":"Q6764665$857E035D-BFBF-428F-8E75-C7C4E503CD21","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":"Q6764665$FBAA9796-BF01-4253-99DF-C126AA40E6FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skolemization In Intermediate Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skolemization_In_Intermediate_Logics"}}}}}