{"entities":{"Q3662639":{"pageid":5692545,"ns":120,"title":"Item:Q3662639","lastrevid":49904662,"modified":"2026-01-11T22:05:51Z","type":"item","id":"Q3662639","labels":{"en":{"language":"en","value":"Propositional dynamic logic of looping and converse is elementarily decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3814994"}},"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":"Q3662639$76069F8E-413E-4EB0-B018-A2D3FE2ED8B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"796ca156570b83c6110b5eeec19e304f420d05b9","datavalue":{"value":{"text":"Propositional dynamic logic of looping and converse is elementarily decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3662639$8A9A388F-6676-45DB-AEAF-74350FE40D7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c1ea6dc505bcfcd595997df5c99d38603f6ff82","datavalue":{"value":"0515.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3662639$04DD2CC2-0456-4081-8620-98BB98D9E2A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f5e95c95f5b2be07e2bef2d779fc7b9f3b438e","datavalue":{"value":"10.1016/S0019-9958(82)91258-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3662639$F499A7E4-3648-470F-9A52-5FEA53C4DE6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc3c605b9b59bdb12f73165661ba40779746f0ae","datavalue":{"value":{"entity-type":"item","numeric-id":1119629,"id":"Q1119629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3662639$875A0335-AED8-4F0E-866F-96F82D021262","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3662639$453F3AE5-C907-4A3E-A538-36E0BB97291F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3662639$509EE169-7537-461A-861F-416C01BE538F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3662639$44A86F02-27DF-4EAB-A8F4-EE502945544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3662639$99297DF4-06F0-47F3-9E07-89971080D415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e17010a7ee9d74818dbe960b7cc4738fecba8d5e","datavalue":{"value":"3814994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3662639$FCA73F67-D1EA-42B0-B420-1966FF0C8CBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3662639$E83958B9-716A-4BE5-8B37-2271571B416B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3662639$1729EFB2-27D1-46D0-BD5B-222BB11000F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6d74356335c7692cc4d8f01df058acf065b31a","datavalue":{"value":"elementarily decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3662639$611ACBCC-D95F-455D-A75E-C7FD6694AF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3662639$59107DF0-0B77-4EF6-B813-A9BC30DEBAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7711b58f2681b083bc46ced63da13278486c0be","datavalue":{"value":"deterministic two-way automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3662639$5380C880-7D4D-4981-853C-998AEFAD4F19","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":"Q3662639$4516A3AF-EBF7-43DF-8236-7AE981B67C2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3662639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3662639"}}}}}