{"entities":{"Q3190168":{"pageid":3200876,"ns":120,"title":"Item:Q3190168","lastrevid":86630384,"modified":"2026-06-04T03:12:47Z","type":"item","id":"Q3190168","labels":{"en":{"language":"en","value":"Strong completeness for iteration-free coalgebraic dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344709"}},"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":"Q3190168$01EC660A-9F26-457D-92A2-15A9A059A957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e79ed4c750c531e0000ac486eb96c62c41bf2e00","datavalue":{"value":{"text":"Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190168$8B1173D4-073C-434B-B0B1-7AEEE625435A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81c011ef5609644fec50f0c915da5c0d77c48ef4","datavalue":{"value":"1418.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$3724729B-8962-49A9-BB30-3000C01204AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3c3f609e7ad01f85fb1b5e8e3b84ec309261852","datavalue":{"value":"10.1007/978-3-662-44602-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$AA2B1D9D-4299-4AED-8CE2-BBAAB769B491","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf07cf23f23c4637da7244b309b4bbc43d128e9","datavalue":{"value":{"entity-type":"item","numeric-id":618166,"id":"Q618166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190168$657991BA-8BA6-41CB-949E-C2BA5AE47FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190168$68FF54D2-0D6A-4AAE-A1DC-66919BABF360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afb35b709ca1ea95e7f84778f438b2a0268b04a","datavalue":{"value":{"entity-type":"item","numeric-id":418819,"id":"Q418819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190168$A6F2BFDE-7991-4355-9263-4B21488678A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190168$0F1B30F8-B965-4B1B-ABA8-53C437C48142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190168$A873DBF3-3D06-4E5D-B11B-E6A802B6C480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$EDB617A4-772A-42E5-A85D-20B47E02D2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$5369ABE8-1098-421C-B940-64928D88FB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$0FB41A9F-B81E-435C-A91E-45F27FB59E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a4ecfd5f4e6a936877ff9a13a102221edd127d8","datavalue":{"value":"6344709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$BA01B137-9A61-4EDD-8B57-68C915B0410A","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":"Q3190168$CAFB0B43-529A-4827-B0F3-D087C1F3EEF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c54a9a098e9ab1ea4ada601b59f24d7ec5aa9cd","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44602-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190168$AD742A55-838C-4BAD-A682-B3F38264482E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"399da256165db761280c92027703af702898c33b","datavalue":{"value":"W2137116245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190168$EDA81FC6-0C7F-41ED-8B96-16C05707CB65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f01af9a681a95bfd22818fdbcd9656b6b3f6751","datavalue":{"value":{"entity-type":"item","numeric-id":5014445,"id":"Q5014445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4c67139698c54a0ead342dee5a9d5f47c0600b","datavalue":{"value":{"amount":"+0.9311136603355408","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":"Q3190168$8768C888-1EEC-4196-86A6-E4301325CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca6bdd75bffa48d6296b7a7064943325a86d22e","datavalue":{"value":{"entity-type":"item","numeric-id":2711323,"id":"Q2711323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1fa4843643fd342bcd64c6a1d832d3d58b4651","datavalue":{"value":{"amount":"+0.7763580083847046","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":"Q3190168$5501AD11-8F66-4CC0-B680-4518BBD937A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e86eb019fc332cd78dd00901a4ac57259ae542","datavalue":{"value":{"entity-type":"item","numeric-id":4029612,"id":"Q4029612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd4c22c53621aebdba301789116c80af721b695","datavalue":{"value":{"amount":"+0.776183009147644","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":"Q3190168$94830D13-AA6A-42B3-A2E4-46CBF08064EF","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":"d40b02fffd587c5328b756ec36826ef8a48a0e82","datavalue":{"value":{"amount":"+0.7611507177352905","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":"Q3190168$E85F0756-953F-4162-BF89-3A23CC5AC594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f20932a2e709032caec1b3a98e2a10523a1a94","datavalue":{"value":{"entity-type":"item","numeric-id":5015273,"id":"Q5015273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19fa6810256dc858760093a61f06e68704b2953","datavalue":{"value":{"amount":"+0.761082649230957","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":"Q3190168$339DE33A-CEE3-4DDC-97C6-32EB9D6B5233","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong completeness for iteration-free coalgebraic dynamic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_completeness_for_iteration-free_coalgebraic_dynamic_logics"}}}}}