{"entities":{"Q6334647":{"pageid":13469824,"ns":120,"title":"Item:Q6334647","lastrevid":95013929,"modified":"2026-06-05T08:10:26Z","type":"item","id":"Q6334647","labels":{"en":{"language":"en","value":"Labelled calculi for quantified modal logics with definite descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6334647$0F7BC764-8B0A-4161-8311-29D3A93B9315","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a36486df564d867c154d8f98800bf9cd4a85e2e","datavalue":{"value":{"time":"+2020-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6334647$BE78E389-2B96-45CD-A042-F9CDB64C1C35","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"c0e5ba9fe0f6efba3ec0fcb1d4f94dd238c34b29","datavalue":{"value":"2002.04855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6334647$1D7C04DC-0F50-465B-A444-F2C3563B06C7","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6334647$162390C4-55C8-4766-A03A-2B85E3FBAD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6334647$17ED4163-D2CB-4F27-BC04-5FFDFAED6B3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6334647$75FFF860-BD00-47D6-B886-01AA5EC216C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6334647$DD02DEAC-EFB8-4BAD-93D9-6878C2B1B2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6334647$C7E4C8FA-9B5D-4552-B684-1F12521EA283","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":"Q6334647$88FD6368-2CB8-45B4-8FD4-C645030B7CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f51cd0458ec41ca7b96f36f0562e387660b09f","datavalue":{"value":"10.1093/LOGCOM/EXAB018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6334647$00680DF9-12AC-4A78-91FD-680D2C60A085","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"ed1e3ae8ffc7bddfc9f1d7c47e924186b40edb74","datavalue":{"value":{"entity-type":"item","numeric-id":3382811,"id":"Q3382811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6334647$DB13B414-004A-4E3C-9184-1A6D8FAAAF23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled calculi for quantified modal logics with definite descriptions","badges":[]}}}}}