{"entities":{"Q5044543":{"pageid":7074120,"ns":120,"title":"Item:Q5044543","lastrevid":57186510,"modified":"2026-03-27T10:15:41Z","type":"item","id":"Q5044543","labels":{"en":{"language":"en","value":"Extending dynamic logic with refinements of abstract actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7610420"}},"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":"Q5044543$F8F7A5D8-A463-4521-9FBD-737ED787CAB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"740618242fa4de7ad528eeae9abc8699e460bd05","datavalue":{"value":{"text":"Extending dynamic logic with refinements of abstract actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044543$FDD82E3C-77F7-453D-8251-D78BAE12FC7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e835631be01d884731110f85fd9e1600f961b88c","datavalue":{"value":{"entity-type":"item","numeric-id":1128614,"id":"Q1128614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044543$BC230CC9-1FCD-4D40-9DEA-8432A8FAE1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd0918e03e055908469ece282e362771896c475c","datavalue":{"value":{"time":"+2022-11-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":"Q5044543$C80785F2-C495-480E-9625-F6E65C61F05A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044543$DBB8BE73-FE51-4DDE-B7BB-A1C952182F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044543$AFF470A1-1E08-417C-AF91-24F2E56C2FAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04d7b3994f2d7e8d575c9adaa7acea2b586d724","datavalue":{"value":"7610420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044543$350A33BC-08C1-4E91-B8B5-E277BC28C7F8","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":"Q5044543$F5BF193C-543D-4D4A-BF70-515CB76D8A2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7b548f24c9c300e81c4d7b651724c35e9fd0e7e","datavalue":{"value":"https://doi.org/10.1093/logcom/exac003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044543$707FCEFF-F9C2-406D-A842-44347061C91B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d6941e8428634531ccca309226b187dc6de35e7","datavalue":{"value":"W4210351385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044543$1624C5B9-0BFC-4CA9-9773-FB17E64BE975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20430a1adf15ef084d94fbcba3d9d40df641f193","datavalue":{"value":"10.1093/LOGCOM/EXAC003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044543$AF8F1A52-5E6E-4728-8A74-CF99B85FEDC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044543$7145D63C-6E55-4AF0-8F82-FE551DFE397C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187217a4a8ca9471361536ccf66dec0a2cb82f6d","datavalue":{"value":{"entity-type":"item","numeric-id":2734941,"id":"Q2734941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf5fdf7a955152d6a3d2ee45bd8e3608eec59ef","datavalue":{"value":{"amount":"+0.7423421740531921","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":"Q5044543$CCCEB03F-A59A-4CB6-81FE-CF33DE75AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb285dc9733865fb855da07e18cf1f4f6083f223","datavalue":{"value":{"entity-type":"item","numeric-id":1337608,"id":"Q1337608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c892352d1939e70389de889feb5196e496ae608","datavalue":{"value":{"amount":"+0.7272401452064514","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":"Q5044543$97A0ED2E-039E-448F-8F18-18255344E115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe23ad1c14048083499c63efcc02f8a35334a54","datavalue":{"value":{"entity-type":"item","numeric-id":2716929,"id":"Q2716929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683e8a75667c55370e50ec8e37a2998bc4eb0345","datavalue":{"value":{"amount":"+0.7077796459197998","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":"Q5044543$81A8D49E-E6B0-46C8-B505-396D8B009F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e66d6e2257b79993e749de85a59b035f4dd0370","datavalue":{"value":{"entity-type":"item","numeric-id":4448379,"id":"Q4448379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7fa62cd710f4c8385ccdcdad76c4f8ceac64d0","datavalue":{"value":{"amount":"+0.7073704600334167","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":"Q5044543$B5CC796E-C26C-482F-AF84-FBC0E9F04750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f56b7dd22a99bdb2ce2a4e84d32fedb60b3ce6d","datavalue":{"value":{"entity-type":"item","numeric-id":3006113,"id":"Q3006113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfa09ed2548cce1bdd6434c79c5b4c303bac872","datavalue":{"value":{"amount":"+0.7044217586517334","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":"Q5044543$2007C9D0-773C-4CFD-966A-D9BC5ADF4138","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044543$7BC5B22E-F63F-4591-8B57-736E275E4848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044543"}}}}}