{"entities":{"Q4635816":{"pageid":6665397,"ns":120,"title":"Item:Q4635816","lastrevid":89906351,"modified":"2026-06-04T18:35:03Z","type":"item","id":"Q4635816","labels":{"en":{"language":"en","value":"PDL is the bisimulation-invariant fragment of weak chain logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863401"}},"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":"Q4635816$FD6FCA15-6F8A-406E-92A2-74DC342818AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba843df9d20c8b281aae95fcc4f672e22befa8e","datavalue":{"value":{"text":"PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635816$4EB67908-644D-46DE-A268-E2BD09042E75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"648610a808a6923fb174b2c3178fcbca12741bb2","datavalue":{"value":"1395.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$B3D5C70A-5020-4B38-BE4E-903FBF718147","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"815bbb16ee3576ce6295b6f3bd607f62d36e3a4c","datavalue":{"value":"10.1109/LICS.2015.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$DD482B3E-BEB0-443D-9E8A-549A3F9C8483","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd88ceba5292e7abf782f33d903980d096982277","datavalue":{"value":{"entity-type":"item","numeric-id":2144616,"id":"Q2144616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635816$32A62656-E28D-41C2-9F61-33FCCE082B76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635816$83F1FCC2-8EAF-4EDA-93C3-C9B905AFA859","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635816$23431F61-8E62-4067-8BB7-AC1806D84B2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$615056B0-0F4B-4881-9D8F-F4B6C2534775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$C93E03BC-5555-42AE-92DD-6298A67D5803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$8489BA95-1372-4A4B-8464-009F43DC5CD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1ce8018bae7009cf68663b32b35747879a3588","datavalue":{"value":"6863401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$77368603-45F1-45F0-9163-0069F819A621","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":"Q4635816$98876EF2-DFF3-4F5A-9DF5-43B86AC521E9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c96c841896d92cf4ef94ca04c5a770c2d02e8e06","datavalue":{"value":"Q130863288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635816$71D5CFAF-6963-4E45-AB6B-1C4C4AFEA3CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0059bcadef95a312d8e55a6a7be031c21a8095a8","datavalue":{"value":{"entity-type":"item","numeric-id":4636286,"id":"Q4636286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6bde7e3e93fc97d067ca866093d379b0b4fd20","datavalue":{"value":{"amount":"+0.7573896050453186","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":"Q4635816$68EE2E94-E76A-47FF-A077-291F953735C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c02e3ec25316e3da92f1e7db6f8e1529478a367","datavalue":{"value":{"entity-type":"item","numeric-id":4635611,"id":"Q4635611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da80837619a95e993a4054a5daef6088d7906a6","datavalue":{"value":{"amount":"+0.7394407987594604","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":"Q4635816$E933F112-54E0-44D9-BBD7-B7721568F68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59fc791cb8aa2e6b55bee786b69b56494756338","datavalue":{"value":{"entity-type":"item","numeric-id":281144,"id":"Q281144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedb4a8ff3f05c0b150b40d617a54608135ac620","datavalue":{"value":{"amount":"+0.733711838722229","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":"Q4635816$2CBA4103-EFAE-4130-9046-FD4697EEC168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4b00b144cf9d247cb78cc4e04f683384c83852","datavalue":{"value":{"entity-type":"item","numeric-id":4376070,"id":"Q4376070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b04f4aa6944003e86377efd27518b52583da0f","datavalue":{"value":{"amount":"+0.7305750250816345","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":"Q4635816$DD5B82D1-8EF0-4BCD-A9DB-301CDE342A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d92570f05c97105fa272fc7a51637620aab246c","datavalue":{"value":{"amount":"+0.7292338013648987","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":"Q4635816$84545F06-9422-4525-8D03-04B98A4D5712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PDL is the bisimulation-invariant fragment of weak chain logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PDL_is_the_bisimulation-invariant_fragment_of_weak_chain_logic"}}}}}