{"entities":{"Q5179014":{"pageid":7208586,"ns":120,"title":"Item:Q5179014","lastrevid":100424405,"modified":"2026-06-05T22:06:06Z","type":"item","id":"Q5179014","labels":{"en":{"language":"en","value":"Propositional dynamic logic with storing, recovering and parallel composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416659"}},"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":"Q5179014$210D0A8B-28A6-4213-872A-D4A40A7D40C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b27dd377f2e3b9a16511709464aadbb4a5aae94","datavalue":{"value":{"text":"Propositional Dynamic Logic with Storing, Recovering and Parallel Composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179014$CEE27FA0-529E-4FE1-8E46-BB85993DEDEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7757e31a36bb9963923d7816fc41d5f1b64890b","datavalue":{"value":"1347.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$686996B2-28A1-4E39-8192-A99E8A8CDB53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$37F1FFD3-5780-4DBC-8C95-45AF307AD538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"337befcbdcc1420124fb5b3a97a122ba6e237448","datavalue":{"value":{"entity-type":"item","numeric-id":465284,"id":"Q465284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$C281BEE9-2775-4A15-ACC2-A8FC2F9F6D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a17bdbb0640d7f1c82e898f6fb082f96c3604d","datavalue":{"value":{"entity-type":"item","numeric-id":1402580,"id":"Q1402580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$2995A753-4E3F-4C84-94BB-165F7125DAB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$F454F0C3-401B-4664-A16A-B068D99C5E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179014$077D8DA2-6DDC-4882-A39A-1546DFE84F87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$BB4FBD62-A357-46E9-9D38-40C1069A0A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$B2B46081-7BE7-4115-B2A3-036B8F75EEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$00BEA3DC-781F-4706-820C-B70483A25210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$111A6E0B-B8D6-4B79-B29F-4EF947A8BCDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa74679eb45cc1ebbebdc599f89cf1e852297cdd","datavalue":{"value":"6416659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$52200E25-61A0-43B9-A16F-31C4B8F54AF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179014$D7BE4FD9-BC00-41F4-9C68-0CBF442A4491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179014$1AFDB0DE-D84B-439A-AF70-A9DE6C00AB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a035c02d72e448eab12ea5a604ac6e0c00d57f","datavalue":{"value":"modal logic for program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179014$EE83DD48-ED18-4285-BAB0-C54BD9A3DF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179014$653B40BB-7818-47A4-820D-89B1BA7F1D04","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":"Q5179014$A453E86A-160F-4495-A0B2-08A862C76ADA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eeebb75ef52719df03a7c3248012c330f7fd6e9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.03.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179014$0E66F0CD-48C4-4EF0-839A-04632F1AE0B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1ab671a782c5321cc487d52ffe5799a20e0ba12","datavalue":{"value":"W1965702335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$CE1D2F07-3230-4686-BF67-B20C0D1F26A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e45c84807bfc94d658bcce1e5873da42a3d4c1b5","datavalue":{"value":"Q113318275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$B892D66E-7E80-457A-9255-0B7AC34B58AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b78e5cb84485f9815bc0326cef83c61d97bce1","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$69F4EF1F-DB50-4286-A19F-54BCB050CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2033996e3d7b727f51924caccb1f303a0afe21","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$D42D1123-FEF5-4283-9B61-640136958684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ad8c5d8a6c505967a784ef4706b3ee0bb1efef","datavalue":{"value":{"entity-type":"item","numeric-id":4501137,"id":"Q4501137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$CEA22729-ACF9-4CAD-BE54-85FDC96B0FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$73E3A340-AD78-4C08-AB33-68BAA3CB12DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fcd533f0caf72f18c7086319c7c2f111df4921","datavalue":{"value":{"entity-type":"item","numeric-id":1402582,"id":"Q1402582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$17B85513-BAAF-4DA8-962D-55352DB6A981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a376769def06304f0cb20c57d4c2836807ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":3146903,"id":"Q3146903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$92495777-1357-407C-91B0-A03B84CBAEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$8A454DF4-E5C5-47A0-B902-072F30A7926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$CCD80089-1BA5-46F1-B61E-83988ADD759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe16d465cfd46b2f8174b1759f08ec39a85db07","datavalue":{"value":{"entity-type":"item","numeric-id":4362877,"id":"Q4362877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$00E9EACA-874E-4B7A-8EE4-5CD52368EB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$F9CBF9A8-7B96-4614-BDD3-03BA7B363AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddda77465f82760794ce0b96b4ef336c19f8a70","datavalue":{"value":{"entity-type":"item","numeric-id":5415605,"id":"Q5415605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$CB7A6FB1-622D-4B93-B249-FF48AB3EC8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31a99c51d80b38cc137e146f5a044e1bcc0c548","datavalue":{"value":{"entity-type":"item","numeric-id":1351943,"id":"Q1351943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$2329ACC3-24A8-4D40-ABF4-5AF67C697819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$777F997C-B5BE-431D-B127-046A36519142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$3B1453DB-7E71-462A-ADF0-BCCA51B14FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$B60062D8-84CB-43AD-82DF-0A8561A62340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ccc3fc4d7d2e777be55a5a3577e5fd8948ae50","datavalue":{"value":{"entity-type":"item","numeric-id":2454871,"id":"Q2454871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179014$EF8399F6-C747-4F09-BCE3-6222C002F6E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"019a5067e14cda7702b96af74bc126ec2c8be301","datavalue":{"value":"10.1016/J.ENTCS.2011.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179014$325AEC70-A3A2-40C5-95CE-420CAAC4F2A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fef0e5e7504f0d5f0b78312cc450ca3dc487bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3454121,"id":"Q3454121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bd55951aa5e81a8b09b831bd71caa3fa22cb8c","datavalue":{"value":{"amount":"+0.8028553128242493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179014$3FC4F7F0-D425-4223-AA15-D90030342530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221b6228fcb40f77ad44ac5049596d4b67452221","datavalue":{"value":{"entity-type":"item","numeric-id":4612423,"id":"Q4612423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c865a514b55bc88cdede63090de56775ad511064","datavalue":{"value":{"amount":"+0.8018991351127625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179014$3A968610-2D35-4B67-86A6-63CAB9BC69FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec64d63f62695a0025dad284173f5ddc02e42cff","datavalue":{"value":{"entity-type":"item","numeric-id":3475251,"id":"Q3475251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f6bb53c90d35304c78522efbdd2b7b21f5872d","datavalue":{"value":{"amount":"+0.7974460124969482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179014$41E2C6F9-9A30-4CA5-8299-F644408EDA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a084e595d6cb5a9c599458f8b31e267ce26dd733","datavalue":{"value":{"amount":"+0.7960281372070312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179014$DA4692D6-4C4E-410A-8B31-043F8DB5DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d531c02f82886d5e4ab19894c6cf343ed46385b","datavalue":{"value":{"entity-type":"item","numeric-id":4644610,"id":"Q4644610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843290495ff66e9f6547aa646901d69a23ce4675","datavalue":{"value":{"amount":"+0.7949194312095642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179014$F3A9D375-6747-4AA8-AB68-A4DBD482A848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic with storing, recovering and parallel composition","badges":[]}}}}}