{"entities":{"Q6889863":{"pageid":20835712,"ns":120,"title":"Item:Q6889863","lastrevid":84198173,"modified":"2026-05-13T11:57:19Z","type":"item","id":"Q6889863","labels":{"en":{"language":"en","value":"Propositional dynamic logic formula synthesis and some applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8131411"}},"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":"Q6889863$0DFDA208-389F-4F37-B372-A7C8314D8CD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0905cfc7d95b4198f592627bd3f0d7e761996c2","datavalue":{"value":{"text":"Propositional dynamic logic formula synthesis and some applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6889863$1F1A7313-95F5-45D5-8DD1-BDC6F2F45C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aaef641e8c811da5e920129204567e3dbbccd92","datavalue":{"value":"10.1007/978-3-031-89610-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889863$3AEDED75-D9F6-4B25-AAC8-AC4A4002900E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$FDAEB2F7-2E2A-4060-9080-302D043CFEF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fcb6b1f2d2c7e392377c9a4c2df3e14c0322b86","datavalue":{"value":{"time":"+2025-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6889863$BD578C10-1DFD-401A-9595-315D8E828B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889863$D25A350C-1DB3-4003-91F5-26D15AAE76F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9805eebbc32bd7896003359bba39df4b53504a65","datavalue":{"value":"8131411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889863$A9E50599-23D3-4E9C-9FC4-0AECA44BFA0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"228425e2218a57fae0fe666fee733c194fa8998c","datavalue":{"value":"formula synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889863$F2F81580-FB44-40B7-A6AE-24605357D7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889863$35A027B3-DAED-47D3-9B20-5E1037336BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889863$3E7E88F1-315A-47C1-8D80-6016D41B4277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9871393b44a6ba76908b52355e24c65a60af33f","datavalue":{"value":"tree grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889863$E023F8C8-F287-489B-8DA3-1EB20A9F7C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ab09b7352014193f0d4b55d90b122dd4ba746e","datavalue":{"value":"attack tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889863$11C4164C-1886-4487-9664-F339F415990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdfdd2ad170af928395a2002904a552029eebea","datavalue":{"value":"hierarchical planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889863$C67B3E9C-4BB7-48FD-B174-1F1AE7B34265","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":"Q6889863$DF13664C-900F-42C3-88B0-4C9C440A5892","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$72C81047-D0A0-4713-84F5-A1A111C050AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$EB9C63D0-5EF1-4C96-BD55-8B5AAF5E117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e6d0609cce69940b798b3405c86af048ed63c5","datavalue":{"value":{"entity-type":"item","numeric-id":1380419,"id":"Q1380419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$185D0FA7-BAC8-42BC-A746-331E55790FC4","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":"Q6889863$BB26324D-FBCE-4767-8B19-0A0C9B358337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa9976b685119bd61116dfe5c866a58d46b4d32","datavalue":{"value":{"entity-type":"item","numeric-id":5313998,"id":"Q5313998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$4CDAB087-613A-4951-A401-05828FC400F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0051e92d227a8410eaa95f75fa124cc199fca","datavalue":{"value":{"entity-type":"item","numeric-id":3393869,"id":"Q3393869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$A60457C7-E126-4A0C-B416-8E47AC9A2AC5","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":"Q6889863$F8E8FD9E-1B85-4E5D-BFE3-31B715DFFA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$C98444F0-9736-4961-9752-2CF87CCA197B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9057fcaa4e05234e037758b6feb3e1b302e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":4907855,"id":"Q4907855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889863$77948F94-2E02-4809-BB76-F0F06E0839DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic formula synthesis and some applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_dynamic_logic_formula_synthesis_and_some_applications"}}}}}