{"entities":{"Q3694683":{"pageid":5724589,"ns":120,"title":"Item:Q3694683","lastrevid":50296418,"modified":"2026-01-13T18:53:34Z","type":"item","id":"Q3694683","labels":{"en":{"language":"en","value":"Propositional dynamic logic of flowcharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919810"}},"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":"Q3694683$7F4BBA38-39FC-47E0-B119-947BB97F4B9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48f723378eab7834817c17c1d97bece2ae689f57","datavalue":{"value":{"text":"Propositional dynamic logic of flowcharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3694683$75F88D1E-7D8D-439F-B0DD-675A7D5F4167","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dc22d8bde353077b871c7a0c78eb569f901d918","datavalue":{"value":"0575.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$4DC38BA3-FA18-4B67-9826-D3338C9D222F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b05d3e2c903af59c995bda47f9d8e826168634f","datavalue":{"value":"10.1016/S0019-9958(85)80047-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$59EB022C-CBBF-43A8-B4F9-DD0A8B8923DC","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":"Q3694683$246A61B7-7D9B-445E-AE95-B6FA2B54F6DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3694683$792CE018-549E-423E-8631-B78EEE61EF11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$A0589191-5317-4E9A-9F64-09E45D1CA5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$3DE04ED9-6F58-4072-9015-DC030DD87796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$1E60C935-ED4F-485C-B7C6-7DEC111A3B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$7D7D6456-E08E-4E26-B82C-8413E835159B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f65e98ac5da96881d71822ff9480db10814587f7","datavalue":{"value":"3919810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$0277CD03-F51C-4F9D-9099-1100CAA3BE48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694683$61C98D7A-F823-4B33-A63F-0F6C0DE307DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694683$E52E1E18-B19C-4AF3-8C09-E74528781C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694683$23E1A8FB-20B4-4D26-9D09-E8545ED84126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694683$EA3A0949-9A79-4958-B5D6-C4EF5EC3B96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694683$85917BD7-7DA8-4BE7-87F3-AF004BD22639","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":"Q3694683$C64D07A0-273B-4C13-BABB-AC44A61FE8D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c989352f87ea680a1d7e3fe0c21ac3dff01a765","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(85)80047-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3694683$6F6E4339-E00E-47AA-9017-35D24D5F8154","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49b5e1a7c6393b9fa38a68992efbe18a3431af75","datavalue":{"value":"W2001388124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694683$3B3D8BCE-C09D-4AB9-A805-C88103DB2BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3694683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3694683"}}}}}