{"entities":{"Q6350369":{"pageid":13484973,"ns":120,"title":"Item:Q6350369","lastrevid":99451316,"modified":"2026-06-05T19:59:31Z","type":"item","id":"Q6350369","labels":{"en":{"language":"en","value":"Public Announcement Logic in HOL"}},"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":"Q6350369$9AB4728A-17C9-459A-B00A-DE85BA012EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5081527b72a0ed3a06d32e1e791fb6a87f329626","datavalue":{"value":{"time":"+2020-10-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":"Q6350369$38F7A3EB-EE29-4506-A937-5E1DF55237E6","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"369d46391b1e27e2f27348ed9479e40c1de714a3","datavalue":{"value":"2010.00810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350369$76A61D37-8EDA-4CE6-9126-D754BC4500C2","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"614924768b75c995c88a0e54bf3be36427e60707","datavalue":{"value":"cs.AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350369$01275222-48EC-4EDC-933F-68EB7335C838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350369$60EA8883-8E25-43D8-B1AD-583C2AA57929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"04bf3f370651f799af2ce521496354e463332f86","datavalue":{"value":"cs.MA","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350369$AEA922B9-7293-4614-B3A3-84FE725AE581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350369$0C661C7E-0A13-48D0-BCFC-BE7C77A42262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4b9b259f0c8a49e18d97afa54612ca3867ca702","datavalue":{"value":{"entity-type":"item","numeric-id":2055767,"id":"Q2055767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6350369$F9E41BD2-30A1-4C55-9587-5FFEBE005329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6350369$9B7D0498-D2B5-47C7-A733-DCF63396F122","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350369$CBB5C217-322F-49BE-B998-268216C49B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350369$24810C72-F313-4F14-ACC4-1D0B06EC4498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350369$1731FF46-4DF4-4BA9-ACC8-F32A87603ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350369$9A4943DA-2A82-4F19-A2D3-47D09891D9E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b93a655a9cb0542e6de97c5f9b28ccf67663c069","datavalue":{"value":"10.1007/978-3-030-65840-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350369$2D409240-1517-44D9-94E2-A86187B32EB1","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":"Q6350369$88CAFBFE-1A3D-46A9-B9A4-228F00BB1166","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"99d933487c846ad85d413fe4ec53318b3d093ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2055768,"id":"Q2055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6350369$3ED41875-344D-42FB-8A86-45E7331C71DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Public Announcement Logic in HOL","badges":[]}}}}}