{"entities":{"Q4928449":{"pageid":6958031,"ns":120,"title":"Item:Q4928449","lastrevid":51744734,"modified":"2026-01-19T19:37:26Z","type":"item","id":"Q4928449","labels":{"en":{"language":"en","value":"Dynamic logic with trace semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176218"}},"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":"Q4928449$539A7673-BA10-47BD-B752-731437508276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e193220392e54d1bf17d1a4f865fed6dd698dbd","datavalue":{"value":{"text":"Dynamic Logic with Trace Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928449$87B88A95-9550-47B4-8F07-5FBA0ED9077C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e5c273482caefb447f5dfae07f97841450f93b","datavalue":{"value":"1381.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$BB0D78BD-079F-4A1F-91B0-8DB2258A8769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdde3ae5c81698309b7de271e9a9b9eee2df731e","datavalue":{"value":"10.1007/978-3-642-38574-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$8F795278-CAE9-4A53-9F6F-55275E680AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928449$42103342-7E7E-47D1-BE19-21D49A32F623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a356785bb6cfe2b4b65ec7a8ce5272a5c28efbf3","datavalue":{"value":{"entity-type":"item","numeric-id":3067534,"id":"Q3067534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928449$507531FA-4DEC-45B6-93C2-63D4B8506220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928449$8A35D68C-34B0-42DD-B3AD-D40CB4587117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928449$BE8ADE0D-CBBB-412A-BBCB-866B720965B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fe2d939646ff2e338672807b50fb964d9a5ec82","datavalue":{"value":"https://publikationen.bibliothek.kit.edu/1000034593/2609060","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928449$519225B8-5F5A-4FD9-BB7F-36FCFD0FB1F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$617DBC57-A0AF-4C64-B514-8D838F081133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$F824D8EF-F863-41AF-AF7E-836423C1C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$75C616A7-EA57-491C-8556-BE66C70FA51F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2fa98c1abb8abc31a8d5c251fea639f3db49285","datavalue":{"value":"6176218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$72E29156-AD1B-45D4-89C6-0B77AACF319B","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":"Q4928449$F14A595A-DC50-461E-A764-9C1F59A6C009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59b0acb6ecfeb895693429af4f918cb64e8fa9ed","datavalue":{"value":"W96249932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928449$E8CD1713-7B66-4EC4-A61F-193E7ECACFB2","rank":"normal"}],"P1643":[{"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":"2b0e744958672cde8c06f400d9b20573f965f3a0","datavalue":{"value":{"amount":"+0.8444614410400391","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":"Q4928449$9F30C5BB-3ECB-47F7-9F52-4EAF87493F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9d67900e92f820c440ee7e4f10bccd44f8422e","datavalue":{"value":{"entity-type":"item","numeric-id":3455778,"id":"Q3455778"},"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":"Q4928449$81564132-8C16-47A0-98C5-BF7B26C96188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82517d9b3fcae9b79ca486d70d127b6b06bf2733","datavalue":{"value":{"amount":"+0.82174152135849","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":"Q4928449$58F523B3-DC2F-44A1-AD08-1AFE03578089","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":"eb113ef211f06c83bcc70c2cdc03d6352893ccbf","datavalue":{"value":{"amount":"+0.8171464800834656","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":"Q4928449$BC0375CC-DC71-4B3F-9686-8A2BFFFE3C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6080dc9da277d953235f4e2c1536f41ee545322c","datavalue":{"value":{"amount":"+0.8115638494491577","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":"Q4928449$540E0F59-64D0-48AD-AFC3-DAF98E2AA7A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928449"}}}}}