{"entities":{"Q3455778":{"pageid":5235178,"ns":120,"title":"Item:Q3455778","lastrevid":80691341,"modified":"2026-05-06T16:46:54Z","type":"item","id":"Q3455778","labels":{"en":{"language":"en","value":"A dynamic logic with traces and coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519950"}},"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":"Q3455778$4AAE0CEC-9829-4332-9D52-95E7C83F6773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"937fba429ce669958d497e9680325a0c11356b3d","datavalue":{"value":{"text":"A Dynamic Logic with Traces and Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455778$613F755F-0FE7-4F87-9D28-D0EFA3E1FF9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"861d664457a53f5ae75c288ad1ed562b8cba76f1","datavalue":{"value":"1471.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455778$CF9F88D5-D854-45CE-9B97-7A6D5B3B0D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3fabb9944e023a99a30a0a1a0cfefaf6d2d5f85","datavalue":{"value":"10.1007/978-3-319-24312-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455778$59EA5DF0-3C25-4C92-A6ED-E26C1CA90CAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$2701A695-E770-40ED-A583-2759A32F2C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dabcf3605c699f76a9aba8bae944975d978d716","datavalue":{"value":{"entity-type":"item","numeric-id":444462,"id":"Q444462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$FD35565B-7947-4088-9F0F-6EF4F601A611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$7207B6A4-8B0F-4F66-8338-BEE2F193CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab4c81bbdf8e8ab11509c3fd87907e1c5ae9221","datavalue":{"value":{"entity-type":"item","numeric-id":1929335,"id":"Q1929335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$F51FAA04-0FB8-4063-AB9A-9DF186B77743","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":"Q3455778$9E547274-629B-4357-8418-0F8B5C26D4CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455778$7A8ACF19-5238-482B-94DA-AC5007F56FD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455778$65BEAC23-E961-43FA-8507-B111931A368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455778$B77F4732-6970-4510-82AD-361AF59FDCAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dfc8706f3546825103a965bd68327fad8636314","datavalue":{"value":"6519950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455778$E1B3B050-41B8-4418-970F-73D665473823","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1c88f57554c102f423c2ad68a719deb724470","datavalue":{"value":{"entity-type":"item","numeric-id":55218,"id":"Q55218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$6544DF07-1F2A-4A69-A73A-0F51DB6A9C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$AF38B30F-3C86-4A28-B1AF-2DE934B772A6","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":"Q3455778$467B1036-16BB-4AC3-AA81-CBA6EEB55B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fee4ccd48c10bc546f69a950b342b5f1168bfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4417836,"id":"Q4417836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$01E8270D-B3A1-49F2-8745-AE87BF56646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aefb3970900ca33f87e28fc4b2f25c29e5586c23","datavalue":{"value":{"entity-type":"item","numeric-id":4539645,"id":"Q4539645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$C8F78F15-2474-43BE-A4F7-0A81B11C6C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55695e5ab4b64253cf0ec789d97490a922433bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$F1862F3D-52B4-4B85-BF39-C1D4087F91B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611f868d3613e8a6aad50c6f06c522a1343e7fee","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$65E4721E-A659-4120-8858-89C77BCBC4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251a5f7985125591a1eaf13172311f0e5f6fe6a","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$859DAE86-26F5-4457-B8CF-4701765FA7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7fab1c5bbb3860dfe6bd928da2a78291fb34b4","datavalue":{"value":{"entity-type":"item","numeric-id":5174911,"id":"Q5174911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$E448B0F1-5A1C-4934-B410-D82C147E57A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff1d4928c9402bbd24cc1598ff8570d7ee88637","datavalue":{"value":{"entity-type":"item","numeric-id":3454119,"id":"Q3454119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$45F52910-C9DE-41EE-9552-99A9BD7A0E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6bedea1cffabec2896430aabcdd08d9b551a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387908,"id":"Q5387908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$551CFCDE-10D6-41B0-8640-2C181C070A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0143bb17c3271918d22cb266df388a036cbf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5316580,"id":"Q5316580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$F1ABF67C-2C00-4AE4-8C0E-70A087871720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8aee0e3237ac8682e95dbf267359a986989ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5458816,"id":"Q5458816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$79488730-BE4D-4560-B48F-8D7A3A7FBAC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69bc4a47afcc3fc394b4263303c4e2bec12bda14","datavalue":{"value":{"entity-type":"item","numeric-id":55218,"id":"Q55218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$726BBB97-5A3B-4BE9-8E55-17DAD6F06A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0340d818b88d76c419264bcc31bf928307f3975d","datavalue":{"value":{"entity-type":"item","numeric-id":33022,"id":"Q33022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455778$A087E070-D95A-4A61-BCBD-968CC00EFB22","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":"Q3455778$EE495CE6-C47C-4576-821C-72F1650F3183","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13f59c70c5114e9b4c8c39e499870307f03f8e3a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24312-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455778$DA5E27C9-FF02-4BD3-9BB0-8B76BFB1214B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64b2b3d494d7342ed04a0a8902ee43307413219f","datavalue":{"value":"W2296215010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455778$E5F6FEB3-A460-4067-9BC8-B635DFC1E88D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787cb163c4cd7300d8ad26f8ccf3a222dde22631","datavalue":{"value":{"amount":"+0.8392466306686401","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":"Q3455778$1EAC6BDD-1922-4F06-B103-5D04CA1250DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2803f3d0a8826125f9a26f4ed10a461be14324bf","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7eff775eac3625a2899ed010edc6255cb63694b","datavalue":{"value":{"amount":"+0.7936222553253174","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":"Q3455778$FDE43B8B-7D5F-4724-9F14-558879FFBA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1936756300fa99c8474907786210ea30b8e136","datavalue":{"value":{"entity-type":"item","numeric-id":5174911,"id":"Q5174911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d8ebf3aa4c3dd39e79f55543654b31249714bf","datavalue":{"value":{"amount":"+0.7918159365653992","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":"Q3455778$9988936A-D416-4B43-8E2F-DF41504C636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b07cd02df71af02910942109d7eb853cbd498","datavalue":{"value":{"entity-type":"item","numeric-id":4539645,"id":"Q4539645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c352d14b08b2f25a07330c159c262baa530bea88","datavalue":{"value":{"amount":"+0.7909162640571594","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":"Q3455778$E4636FC9-72C1-4296-BC05-5BB18056F425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf40d0dcbd4fc8238b4ebdbc58e4053831cd4e75","datavalue":{"value":{"amount":"+0.7629749178886414","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":"Q3455778$01FE71AA-D234-443A-9A2B-B0D15541E8EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dynamic logic with traces and coinduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dynamic_logic_with_traces_and_coinduction"}}}}}