{"entities":{"Q3454121":{"pageid":5233521,"ns":120,"title":"Item:Q3454121","lastrevid":88240802,"modified":"2026-06-04T14:00:24Z","type":"item","id":"Q3454121","labels":{"en":{"language":"en","value":"Tableaux methods for propositional dynamic logics with separating parallel composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515531"}},"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":"Q3454121$5A259AF0-22FD-44A3-B889-2E1EA2A36310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d64652f6e9d0f3554851d9962fced46cac512f1b","datavalue":{"value":{"text":"Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454121$0F47C1CC-FB84-4286-B9F7-FE5F6D6746D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e64ced2cf97602fb2259580f405eb0709d3564","datavalue":{"value":"1465.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454121$97F8DD34-EDD6-4231-8DDC-0B2545FD452A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a78c5eed331e7b7013283b2b3c7d459216c06132","datavalue":{"value":"10.1007/978-3-319-21401-6_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454121$AC0426BA-2DBD-42F6-803C-621BBE4961B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$14B3B5C8-8091-478D-AAB4-0CC82D2B04A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04281bfa65bfb883608bfa6d50149ba149b9639b","datavalue":{"value":{"entity-type":"item","numeric-id":777892,"id":"Q777892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$221BDD50-A494-4F71-BBEF-A2DAC31BA4DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$51B6186B-890F-4D50-9FB2-C655524C8425","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454121$BD56A38D-6205-4F29-8D22-5F98D90E807D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454121$E0DB24F6-8ACD-4F60-9E4E-38818F2D6D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454121$1D12EBE2-E67F-4FAD-9E30-59BE00A0E049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b421cd0d9ab9d99011ddc024c76dcdca5e781a67","datavalue":{"value":"6515531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454121$E538162E-B60D-45A3-9E8B-AC048461C069","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":"Q3454121$C02A408B-0F4E-4DAF-BC49-543CF7B2AAB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e55a9c57e933b54e3023d0063b92df5d02e7ec1d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454121$25393A04-0AE6-4407-A737-381D995D8629","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d9934c8202e7fe18cbf83ea1aa0893ec60fdcce","datavalue":{"value":"W1478819493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454121$7641BD8F-3F26-4AA9-8F36-1AD40AE7FE29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36197f8fd279b619e4ed6eeb98e09a53a656e7","datavalue":{"value":{"entity-type":"item","numeric-id":4187288,"id":"Q4187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$89E13B04-26B1-49D8-BB01-B37F39985732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccb604df3550de9a89050205f7959dd5aa4c540","datavalue":{"value":{"entity-type":"item","numeric-id":4612423,"id":"Q4612423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$139EDF77-AE9B-4318-AA3D-094024C1F0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47ceef8e8bb43610a5dfada2037aa033f217016","datavalue":{"value":{"entity-type":"item","numeric-id":4636282,"id":"Q4636282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$87A2BA6F-673B-4DF5-9A76-24D2D49B934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fef62756f22d1a965f4c48fbc4545a69d3f2cd","datavalue":{"value":{"entity-type":"item","numeric-id":5179014,"id":"Q5179014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$9BAD882B-1A06-426F-847C-212AF6C8D42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3706f355b7be1279f6153af52c17e52e3c7851cb","datavalue":{"value":{"entity-type":"item","numeric-id":636268,"id":"Q636268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$8BD75A56-DE4C-4EA9-BB0A-E4BEA81727FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33514feb38aec616e587a10c9b74569bbb6bad07","datavalue":{"value":{"entity-type":"item","numeric-id":3643362,"id":"Q3643362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$8308F6F5-EB6D-4608-ACE4-995C133AE152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f583f3fd345c27b49b204b50e2f3db6a761535","datavalue":{"value":{"entity-type":"item","numeric-id":3455841,"id":"Q3455841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$C405F835-906D-40DE-9229-5832E511C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58e3c5a8bd0e8e00a61441b3d285e2b49d20a3","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$497C292B-DAC7-4BCE-AC98-522284E7E980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dbf5771994548b20fda96ec562836af82729f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$15E09BD2-4BE4-47B5-8153-B4A82E0969DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17a6db7dd3ad38c36f1c757ce2636fc2318bf66","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$B50E54EE-4C4D-4246-B0B6-94FBE537C7CE","rank":"normal"},{"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":"Q3454121$A0491180-F722-4948-9348-F2C45C87019E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b69a52d70fff5a2cc8b737e571d9ff57ab726","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$A469B634-E176-4DF0-9F0D-D45D96728B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$A516E508-66EF-449B-A537-C40A7C0E36CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3a0b8f3c0319a385e9c7d08af68e1581017d40","datavalue":{"value":{"entity-type":"item","numeric-id":1909606,"id":"Q1909606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$B0394395-62BA-438B-9969-6465E78FD28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddbd2a7ea6e9afc570c6eeca1bc2a0f096c448c","datavalue":{"value":{"entity-type":"item","numeric-id":5394592,"id":"Q5394592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$39992C16-6547-4F6A-A077-AAE8B88EC1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$6C5F1D4B-80CC-465C-9533-3C07A90B85EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$55DC9961-790B-4D1F-B2FB-F34C607FAB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454121$C4FBD8A8-04B4-458B-9929-2AF2AB6A85F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb3937da41f1bf8c9cb00b7c85ca58d6bd4f960","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df45a3cebc622e0bec24fa1652e70ec8e719ae82","datavalue":{"value":{"amount":"+0.8078832030296326","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":"Q3454121$0964828D-3097-4554-AE1C-5E327433C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3835672983f8530d2df7bce018160814d5657b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2817938,"id":"Q2817938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae42f7ee19466a3c63e7418faf69c7eabbae839","datavalue":{"value":{"amount":"+0.805311918258667","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":"Q3454121$2F1F6FA0-DCB3-469A-837A-5235E4BE1EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a788f250a459d6da4a74842a0f4d4eb1a004b5e","datavalue":{"value":{"entity-type":"item","numeric-id":5179014,"id":"Q5179014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bd55951aa5e81a8b09b831bd71caa3fa22cb8c","datavalue":{"value":{"amount":"+0.8028553128242493","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":"Q3454121$DB78C4DD-616C-4C1A-BB03-8B4120581CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079684752b1943f1aee76a1343d5eb0e709eae7a","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6853580144a059c2eb0e2dccbf5063985fd64608","datavalue":{"value":{"amount":"+0.799957275390625","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":"Q3454121$06FFB325-AD89-4BEE-8BF3-51AC3277C43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789edbfedc483f4f27be291a26ad57f2645a94f9","datavalue":{"value":{"entity-type":"item","numeric-id":3801527,"id":"Q3801527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454ccee7e5e7f6e954a87359afcdc519f5b0991c","datavalue":{"value":{"amount":"+0.797455906867981","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":"Q3454121$A8B5D206-EC9F-4598-B9E4-85D5675ED7EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableaux methods for propositional dynamic logics with separating parallel composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableaux_methods_for_propositional_dynamic_logics_with_separating_parallel_composition"}}}}}