{"entities":{"Q4636286":{"pageid":6665867,"ns":120,"title":"Item:Q4636286","lastrevid":53071709,"modified":"2026-01-24T04:11:48Z","type":"item","id":"Q4636286","labels":{"en":{"language":"en","value":"PDL inside the \\(\\mu\\)-calculus: a syntactic and an automata-theoretic characterization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863853"}},"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":"Q4636286$6078D7E8-3A6D-4908-9A67-AB50F53545DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac461c5490d838c5e97e423a64d43fbb4c883a78","datavalue":{"value":"1385.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636286$D57FDE42-EA25-485B-B393-075ABD5FE28C","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":"Q4636286$602F1635-2A2E-4801-8131-E5E2F417C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636286$C2917A78-42D5-4707-9AC8-77E14B65359B","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":"Q4636286$65D6BC98-48A6-4ADF-8849-B0A7373CEF51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636286$8EF884DF-A4D0-403B-8899-012680C22EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636286$34E92942-C79B-4BE3-ABDB-364F92EF4CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636286$835A91DA-4B4A-4796-B749-1A3E1B3E66EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b2f9680ebd614442e9bf2b2da0574d1fa88809","datavalue":{"value":"6863853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636286$440EC839-228C-4A55-BBF1-159E1891778E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636286$DB7CF321-1C7B-433A-84AB-7676FB8B1C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636286$4514396B-9C32-49D9-B855-4F9A58E9C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636286$E1F61AE6-3441-45E0-B461-D76372E4706E","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":"Q4636286$0DF91F23-B7B4-4051-8052-7DB38EE425A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75cd8848e6717583ce733ef2a09eb5130560417","datavalue":{"value":{"amount":"+0.8094330430030823","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":"Q4636286$C4ECD9CC-1077-4F75-A2CE-D463BDC05D99","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":"b220737a7b753ccef32bac37f7a96977f7192444","datavalue":{"value":{"amount":"+0.7876712083816528","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":"Q4636286$B5C3E05E-7BFF-4C74-81EF-39D8BF532FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0ec35fde07850013c2199da53d79810adcb3b7","datavalue":{"value":{"amount":"+0.7816746234893799","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":"Q4636286$24F4A9AA-2474-4123-80A7-4A603D498F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bf8fa01ffd3ac0621fdf09963a19379b27827d","datavalue":{"value":{"entity-type":"item","numeric-id":4376075,"id":"Q4376075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250f3155848ce7cd81f5e3227534d9172c89192f","datavalue":{"value":{"amount":"+0.7808477878570557","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":"Q4636286$DFE70437-5DDF-42E9-A1CA-64BF48839809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1581c3aee1fea28af8775d52e33abcb4340c5637","datavalue":{"value":{"amount":"+0.7806949019432068","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":"Q4636286$E774206D-9245-4E34-9C62-84EAEA27E0CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636286"}}}}}