{"entities":{"Q1258296":{"pageid":1269046,"ns":120,"title":"Item:Q1258296","lastrevid":70016757,"modified":"2026-04-13T11:51:49Z","type":"item","id":"Q1258296","labels":{"en":{"language":"en","value":"Propositional dynamic logic of regular programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3634222"}},"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":"Q1258296$5AAF98EA-CDC7-42B2-842B-447E0A23E76A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5047e94a2803a942fabac5bde548f9fc0d5d087b","datavalue":{"value":{"text":"Propositional dynamic logic of regular programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1258296$FE55BC8E-D6A0-44E2-9DB8-4F2498AE6811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b602a81500573c2c13e63cbc76477af9aa87438","datavalue":{"value":"0408.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$D03168F7-92A8-47C7-856D-E4F9AE4B3374","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"454cdc02b169f798fb42ea9540cde1d14f793ffa","datavalue":{"value":"10.1016/0022-0000(79)90046-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$C00EE62F-85D8-4E66-A31C-5CDE51ED387C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9733af42aa0dabaad4ed03856f62da6a21001b10","datavalue":{"value":{"entity-type":"item","numeric-id":800080,"id":"Q800080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$70A52720-DB3C-4E1B-BEA9-90B691F93EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13aae512d1f898f78a3907f4ad74a1b77302989","datavalue":{"value":{"entity-type":"item","numeric-id":930896,"id":"Q930896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$0784C16B-51FD-4E3D-AB19-071D39BF6C52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$437E2C5B-E110-4E1F-853B-9BF8FEB1762F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1258296$F9A1B6DA-DD9A-404B-90AB-C9B6ADE451E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$E9C7391F-3E81-4DEF-BECB-61513B9327C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$63FB70AB-4AD0-40DB-9CB3-ADB743797B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$2B58A7F1-3A7B-43A0-A35D-6F633ABA6DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$8D3DCFA5-141B-45DC-B06D-7906947EE8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$C2272E09-BE25-47FC-8021-468242693D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$C31BF07A-E5B0-49BC-8518-5FBE3AFC66EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$1BBF97B7-C111-40A5-8F63-9B2DA3AAA673","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0afe62424d4e343891abacde729c5b4c15fa28a","datavalue":{"value":"3634222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$A6F86A4D-F239-4B87-B357-70F88787338B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b916ad8edf95cafff2b6c2f83794798029aebdf","datavalue":{"value":"Propositional Dynamic Logic of Regular Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1258296$B4B3965A-5129-4639-BC77-C6A31FBE681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be040312537d7b46de6dd98789afef1b59ae9b4c","datavalue":{"value":"Turing Machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1258296$6246A42B-D2AD-43F2-B01B-FBB692FFA7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1258296$CA17F005-D264-4DF3-9837-193E4913735A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d706c221ae3cdcba81916cb6d282a894f0386b","datavalue":{"value":"Simple One-Tape Turing Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1258296$388F4B99-48B5-4952-BD40-ED2021D1188D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8d6b7991ecff7c7b41a071c24b3df9da6f9bb8","datavalue":{"value":"Equivalence of Regular Expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1258296$7FC3558A-ED0D-4ADB-A211-6E6453C23B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f4edfad1707c096513090186b7cfe332a1d303","datavalue":{"value":"Propositional Modal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1258296$20B8B187-C1BE-4C7F-BCD6-9DA79D869471","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":"Q1258296$C9BF3F1A-D1A9-41C1-8AE5-F456B334632E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6efcddf6729700a515d1aa5e7ebd546f7fb9c5b9","datavalue":{"value":"https://doi.org/10.1016/0022-0000(79)90046-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1258296$99B3B906-5667-44F3-BF4B-EC9BED15802B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50bb283ba3b454d800b0f3d1ddf40177f45e95a0","datavalue":{"value":"W2069709605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1258296$8EA4F237-3CB4-4BEA-A9C6-B8221C339E3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$719165C8-C005-4474-ADFF-6D694CE24C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$B8329E35-A0E3-4280-A528-2CEE4DA075B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46522e4fba2913fbfce618ec550ae0397d19c411","datavalue":{"value":{"entity-type":"item","numeric-id":3718149,"id":"Q3718149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$CCF8773C-AD76-41E4-9CD7-22E5C80B575A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$9A54F1B1-AA72-4B4F-92E2-861C8BBE6FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$625ABD0C-35B0-4D43-905F-1CE212A1061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085e394381768fe836746f16ed890b8fe336e396","datavalue":{"value":{"entity-type":"item","numeric-id":4047108,"id":"Q4047108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$80ED0DF8-7009-4114-BA2E-3C7DE55357D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$7A7433DD-7AEC-4B1E-B48B-65EE980E11D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085c05aaa57ddfc3bb4a6f1a1d4544fab76f2fb6","datavalue":{"value":{"entity-type":"item","numeric-id":4136521,"id":"Q4136521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$DA4DB76A-89A0-4E31-8E9C-783F53D29143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$D763E3AB-9EA0-4A2E-AC5F-1B2046116357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$DD3E5FA6-D956-45D0-8EB3-84BC3A504BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f04d227d017ee54522e8cce8e2208429a67d048","datavalue":{"value":{"entity-type":"item","numeric-id":5581604,"id":"Q5581604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$5A00FAD2-A51C-461C-852A-67CB85581370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$2AAF5272-A520-4FC3-92C8-58A2144EB855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1258296$3A5C62FA-C59F-4704-9910-3D8D0C3A243C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic of regular programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_dynamic_logic_of_regular_programs"}}}}}