{"entities":{"Q1837178":{"pageid":1847920,"ns":120,"title":"Item:Q1837178","lastrevid":43361847,"modified":"2025-07-25T02:57:02Z","type":"item","id":"Q1837178","labels":{"en":{"language":"en","value":"Propositional dynamic logic for concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3799617"}},"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":"Q1837178$978A8294-B31F-4819-90E0-9932A3E81527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355e2eb235f9445a32510a487c5691f9a5138b22","datavalue":{"value":{"text":"Propositional dynamic logic for concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1837178$22E4DCA3-9AB0-4DFF-81C2-0112481EA5CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"807e66fcfe89980e3998811b4647a2886e7de893","datavalue":{"value":"0507.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$3C301D2B-FC69-4825-B79F-B07BE890A91C","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":"Q1837178$3C030062-C4AA-4AD9-8D99-D77F99C79116","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":"Q1837178$ADA37612-3562-4B09-AE7A-A51CE004CB85","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":"Q1837178$78727987-ED68-4424-9A5E-39CC7E0D9CE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$B28D097D-B485-4E85-A15E-3EF3A9AB4A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$6A972B47-B5D7-4B3C-A5E0-32B29B0F3152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$00FA1345-AEE9-4FEF-ABCC-41A4E2B67E14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a6ffadd1d7b21c60683602d130cbebbdaa87d6e","datavalue":{"value":"3799617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$7ADE3870-B0A6-49B6-A45B-75A5D34EFA9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837178$5C9AC598-EB82-4210-AF3E-9BE012C7F760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837178$954ED2A1-AA11-4DE7-B856-02F2CC00CB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3189a9f5177ae7d24952985ad62a840ad5251569","datavalue":{"value":"Gentzen-type axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837178$1A58152E-DF4E-4D92-8CDE-325537BD357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837178$F6F2C4D7-5D05-4A82-9443-EE3763F0CA72","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":"Q1837178$DC8A1057-A835-41D1-8D5D-EF93810879D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a68c95dc0668510c848df96796628f801c89d0ae","datavalue":{"value":"https://doi.org/10.2977/prims/1195184022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1837178$AAC325E5-C4D6-4E75-81A1-E1BA78A08D0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44f91d3b3a822c495ba7bad344fbba0a133462e5","datavalue":{"value":"W2012712964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$DEB739CA-42E2-4456-9F8A-7B1638D77369","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36197f8fd279b619e4ed6eeb98e09a53a656e7","datavalue":{"value":{"entity-type":"item","numeric-id":4187288,"id":"Q4187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837178$3F060EFE-6C16-44CD-A99E-C40203818B80","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":"Q1837178$87F86325-F0C4-4309-96B0-CA7F2CF6D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1235aa2b8995c7873b7217a80941542799336eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1134512,"id":"Q1134512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837178$08568CDD-96FE-4940-AE48-1B5BBCA6053E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97cb90e7403baad17edd244465d8cb79b4bdde9","datavalue":{"value":{"entity-type":"item","numeric-id":1155351,"id":"Q1155351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837178$A6797399-2FC4-4186-958A-3B942D29294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837178$AA74C250-7AEB-457C-AE36-CF247BD7F7D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b112222ebe33e35bed99999d23be5ff745fee98","datavalue":{"value":"10.2977/PRIMS/1195184022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837178$AF1FC633-9EB1-4287-A5EB-0846F5EC2B2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1837178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1837178"}}}}}