{"entities":{"Q845832":{"pageid":847680,"ns":120,"title":"Item:Q845832","lastrevid":42726086,"modified":"2025-07-09T14:40:12Z","type":"item","id":"Q845832","labels":{"en":{"language":"en","value":"Propositional dynamic logic of context-free programs and fixpoint logic with chop"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664695"}},"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":"Q845832$08B5D114-D091-4A70-93E0-5000592ACD68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a14ca48cd31689cf31b0f79b1f5d3b989695ed2f","datavalue":{"value":{"text":"Propositional dynamic logic of context-free programs and fixpoint logic with chop","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845832$C041E113-E15D-48E2-BEAD-4BA010C7C097","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e3e3e98a95adbcfec055d337b19c527e25af549","datavalue":{"value":"1185.68391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845832$F8E2ED83-E550-43F0-A7E3-FC3672607AD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$E6D7FBF9-8296-447D-AFF8-22063776B30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64196bdc65a09b3d74d11c2e65787bb34c001866","datavalue":{"value":{"entity-type":"item","numeric-id":845831,"id":"Q845831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$56FD5AB8-686C-405D-8235-5293E36A3557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$A8D3E024-041B-4978-92EC-D8CE7F4DA98B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845832$F8E73B35-8AE7-49E2-8514-68597F5942C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845832$8943A8D2-6D74-42FE-8354-8275B6D3CCC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"553f2fa7a80cb6763602c57986d56259004d8062","datavalue":{"value":"5664695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845832$82C27DF4-FDD9-49DB-94A6-A4A944BA6ABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q845832$58217D93-9ED3-40FC-9705-422AAB5B6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845832$E25C7404-5386-400B-92A7-6EA7AFBA7257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q845832$B0D9F560-BB0E-4E19-A373-02E33C8F10E2","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":"Q845832$EC443782-BB02-4DE7-BBAE-2B7518AF0536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c98ea79f03c1b342760293435cfc8e86eca259fb","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.04.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q845832$4E11D0C1-0BF7-4916-AFF1-9545A6B3834E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39d4ddc352e0eece8379f2d9a3e104ba5bfe8f00","datavalue":{"value":"W2121147545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845832$2830EFEC-5EFE-4708-A58D-A5415BD69CF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$413E96AD-94C0-47FA-BB1E-96DEA5FFCC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$0EFB3C85-8418-45BA-9DBB-C167C6203CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f96912f1fe7817ee6e5f251a66dfe32ca750ad","datavalue":{"value":{"entity-type":"item","numeric-id":1923105,"id":"Q1923105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$10D75C78-BFBE-481A-BD17-EB7DACDAC657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37c9255332d22e7b15af86fb9a96ef9cff53122","datavalue":{"value":{"entity-type":"item","numeric-id":3330494,"id":"Q3330494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$76DC9B63-3112-452E-8577-73C4CA33AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$A933EB1B-717F-41D3-850E-0226530B1A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$46C6006A-C629-4425-81BD-6424E651C9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42e239a4191201e22e9900a9d3c9fcc6bdb180d","datavalue":{"value":{"entity-type":"item","numeric-id":5441546,"id":"Q5441546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$B8C107B1-ABA0-4349-821D-60BA162C7FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa364678443b05b6b0ee1f7cc61fbddb8d88198d","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$09709C9D-DDA6-4D09-9704-6F81B23FBB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$AF44B2FE-1800-4783-BA02-ED8DC8A912CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845832$EE82B587-4C7F-422A-8D75-59D211E3729B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a04d98820c99fef3b12c00f8e9ffd857aae4ae20","datavalue":{"value":"10.1016/J.IPL.2006.04.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845832$34C0391B-7EE8-4F2F-BB4C-1AE5CC8B38A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dbdc6b2dd7f7e68ffa1d8a7764bb4216224b8af","datavalue":{"value":{"entity-type":"item","numeric-id":5395097,"id":"Q5395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d424739426e00b3c889a580074903ef16a996890","datavalue":{"value":{"amount":"+0.9168136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$46FF22B4-A239-45C8-AB6E-C5EA59B05D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feaf3e934550e5c5d086c51179bfdf0cde50c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910bed5c5cb3aeaa1166181c5d042c0344800f9b","datavalue":{"value":{"amount":"+0.91036534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$710601C3-4117-446C-9105-1973C247A180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb575946d6e713a86103d6b3612aa8aaba6c0b6e","datavalue":{"value":{"amount":"+0.9048189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$9578E77C-95E9-474A-B496-175F77B3AD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c22294d538e2388c0213b75cc731120f7089144","datavalue":{"value":{"amount":"+0.9001771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$E2FC883D-19C4-4006-AC86-5BF2FE847E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d9a58c497af1d5501be956a98d0d4f6147c68d","datavalue":{"value":{"amount":"+0.8972389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$5C48A38C-6331-492D-97A8-468A8926CD73","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":"01d9a58c497af1d5501be956a98d0d4f6147c68d","datavalue":{"value":{"amount":"+0.8972389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$0F677F2F-7797-40DD-ABA3-54B0E40D0312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d9a58c497af1d5501be956a98d0d4f6147c68d","datavalue":{"value":{"amount":"+0.8972389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$5FAE5851-FC8D-4F33-A38F-8D5F340B7AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10db818ff18a6150c04846117ce8f684387ed0","datavalue":{"value":{"entity-type":"item","numeric-id":6045000,"id":"Q6045000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56063aeb339be95bab3d75635feef7f53e7a898a","datavalue":{"value":{"amount":"+0.8890568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$622EB7DA-4673-477A-BBBB-BDC40A588A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fd430ef4c027ec617df7d79e7a88a5abbce362","datavalue":{"value":{"entity-type":"item","numeric-id":4964729,"id":"Q4964729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1261a4d5154319e00f546d135bf7c160e48c3d8f","datavalue":{"value":{"amount":"+0.88874805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$F5EE4DBC-D6C1-4D1F-A208-F2C98BCA65BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aafcd072d1fe51dbf9b591c8429d960365ac339","datavalue":{"value":{"entity-type":"item","numeric-id":4738230,"id":"Q4738230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b2cd862e60be514281d6c0994191f97084c91e","datavalue":{"value":{"amount":"+0.8886284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845832$F95E88CF-B1E7-4219-83E9-A8DF7B485817","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:845832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:845832"}}}}}