{"entities":{"Q1835666":{"pageid":1846408,"ns":120,"title":"Item:Q1835666","lastrevid":71407770,"modified":"2026-04-13T22:04:41Z","type":"item","id":"Q1835666","labels":{"en":{"language":"en","value":"Semantical analysis of constructive PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3794045"}},"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":"Q1835666$9D2AC6D3-4061-41A8-ABC5-129CF6D8AFAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab058aa18d1a86654a34e0a4001bd1f58b06c699","datavalue":{"value":{"text":"Semantical analysis of constructive PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1835666$D56286E9-3319-40C1-BEDE-BADF48FBA1C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e03faee81f73f36b6182f9267d253132b0d15f6","datavalue":{"value":"0504.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835666$5C781439-7C66-42FE-B378-84A1A3533E95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835666$744C33E8-20B6-4310-BB5A-68237710B0F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835666$3F88FD7B-A02B-4EAE-B32C-405CB0662DD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1835666$75863A8C-1B52-42E4-973F-DBEAEBB46BC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835666$16159096-7D3E-4C90-99AE-E5810DF97827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835666$CF0A53E0-091A-4560-B1DD-22F5239F544B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"809ca4b0c0799a5de865f08a43876f3f45315350","datavalue":{"value":"3794045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835666$BA9C400E-270F-478E-8F0F-A02EE7413937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835666$DEAC7C91-587D-42E2-9479-614EA71FE1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835666$029B683F-EBB4-4AA3-8D33-C6A4C2280DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835666$3C711AA5-4F39-4DD3-8CE3-041E8879DE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ee85eb224230f090f98a2ab9d9cf722b5a8cb1","datavalue":{"value":"Kripkian semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835666$DE0CC975-25F4-4A15-B4B9-B4D1B67FEF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc4c149d8ddc2ada423d838a1926592f474ee99","datavalue":{"value":"Gentzen-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835666$31F54B19-4B48-426D-88AF-346557410E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af827abfe18f6bc04fe9727b61d57ba0f9ea78ca","datavalue":{"value":"test program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835666$FE32EC00-0305-475D-A2A8-8A755A3D455E","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":"Q1835666$EA544979-4BD5-40B1-AE77-7BD4CD464249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69e171e52a460b2f494cf9cca44cc7f0b4cfa257","datavalue":{"value":"https://doi.org/10.2977/prims/1195183579","type":"string"},"datatype":"url"},"type":"statement","id":"Q1835666$A741DB52-E328-42C4-B8C1-A9BD821147EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a0d0ec32f8eb1d0cdccc6bd48706bb2e8514a65","datavalue":{"value":"W2028591267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835666$403F2DC5-7032-4555-B2C2-28DDEBDE2972","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835666$29B1C1C9-DA7C-42BC-BF12-BA6F87822F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835666$366D155F-2853-4A54-96D2-02D6A995612C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2cf2a0dbdd01a7a4261488e61c1139b1e8ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":3919674,"id":"Q3919674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835666$F32FC0A6-8539-422E-ADDB-0539DA8A74F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eccfbbbede2a21c5d645307bcefa275e190922","datavalue":{"value":{"entity-type":"item","numeric-id":1254991,"id":"Q1254991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835666$D98B7717-6F53-49F2-8D3D-5DD3AE29538D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"184a212928047e68947dbc8a07b6d01cd4cecbfb","datavalue":{"value":"10.2977/PRIMS/1195183579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835666$24401C91-09F8-4B1B-927D-D715CF8C64F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical analysis of constructive PDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantical_analysis_of_constructive_PDL"}}}}}