{"entities":{"Q2798046":{"pageid":2808784,"ns":120,"title":"Item:Q2798046","lastrevid":79392578,"modified":"2026-05-06T13:48:06Z","type":"item","id":"Q2798046","labels":{"en":{"language":"en","value":"Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6562137"}},"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":"Q2798046$3F4567E5-27DC-4D31-B8E0-A51B4515E624","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ca9bdf61b42409f1816b7588415322bc1b7f54e","datavalue":{"value":{"text":"Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2798046$EED364A2-7702-49DB-887A-386193A858F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c14e80b76fee86545e9eff2fa40d3ff8b65e1ba","datavalue":{"value":"1335.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$A6090D8A-9292-4B47-8550-A5088210246C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d42562d78dd67a37373210e871f8a20befcf5d0","datavalue":{"value":"10.1007/978-3-319-29473-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$86365CCE-241C-47E0-A186-018FEE441D81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"071cd415babb9a434cbc5fdeb0bebd88c881b91e","datavalue":{"value":{"entity-type":"item","numeric-id":2798045,"id":"Q2798045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798046$8B0891DD-ABCC-4C9A-A6A6-10838918008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798046$C4E2F8D7-03F7-4A68-8FE7-3E8F4228B156","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798046$E20FBBAE-23C1-4B42-8424-49313FBA54D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016d40ec0ad7082f724ffc91cfd4611759c1ca20","datavalue":{"value":{"time":"+2016-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2798046$EB7972FD-4D9F-4659-BD83-1E0A171B7629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$FEF1A6C1-8DAC-498F-A0D8-EF138F5878AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$53F5A532-83A9-481B-96DB-D74A08DA2E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$71982B2D-D150-47DD-9F0F-05F2F391ACBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38aaa0d3a9e2721a153e06c4f05f989e2a1e6997","datavalue":{"value":"6562137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$A47867D3-F7EF-4B33-A748-3C86184DBCB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc4ca1f0251ce41d51aab35917b52c65e3758b69","datavalue":{"value":{"entity-type":"item","numeric-id":26975,"id":"Q26975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798046$21A9ABB7-DC41-4D08-B06D-189B314D4DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798046$7C4D251A-C8D7-4BE9-A9B1-41B0574E9BF5","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":"Q2798046$EC4C4A0E-4756-4F05-8E61-2058C36E1629","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"230e00688690f27197442f4153d93a5a522a2f77","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29473-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2798046$D250231A-7A32-46B0-98BA-5ED9153CC56B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53482c9635d5511f0398a0d03cbddee8d94ab1de","datavalue":{"value":"W2408297390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798046$A2A1F2BD-5482-4249-91D4-D964CDAFF517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9196921b2f767400fd8e135a2d1aa1284207a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4644609,"id":"Q4644609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413f5d07528705bef3784b80481f1703ab42d092","datavalue":{"value":{"amount":"+0.7949555516242981","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":"Q2798046$9D5549B5-27BE-40FC-BFF8-2F945DCE09CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1929f5785aebf2d97a012f7b4238ba5c0c4598cd","datavalue":{"value":{"entity-type":"item","numeric-id":530854,"id":"Q530854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9419917052889801b2a6e228e47b3d669491eceb","datavalue":{"value":{"amount":"+0.7610020637512207","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":"Q2798046$21E0733F-3FF0-4AE2-A892-9520B07E0DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855e1b494e2774dfb64132dfd52837c9100b87ce","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8c9c54c34da80772b66395b9fa971f28706678","datavalue":{"value":{"amount":"+0.7452974915504456","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":"Q2798046$17BE71AF-0140-4C23-8D61-B0EBA360D544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6a4f837fe677b1512f0a548a42f3f878d78b2","datavalue":{"value":{"entity-type":"item","numeric-id":3090877,"id":"Q3090877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e6e978ec5471cf60c5c5058a205c41511e90d7","datavalue":{"value":{"amount":"+0.7299326062202454","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":"Q2798046$9823333D-0F88-4461-9DAB-AD8D1055CFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9ea80679e044562499fd04606c455ca135080","datavalue":{"value":{"entity-type":"item","numeric-id":1786561,"id":"Q1786561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7084c024b06328bc0aa05bb5046509b320727a0c","datavalue":{"value":{"amount":"+0.7296678423881531","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":"Q2798046$9D36A91D-32D3-450D-AC1C-1F2D41143B4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_reasoning_in_dynamic_logics_with_rewriting_logic:_the_Petri-PDL_case"}}}}}