{"entities":{"Q3835003":{"pageid":5864909,"ns":120,"title":"Item:Q3835003","lastrevid":54487313,"modified":"2026-01-27T07:21:36Z","type":"item","id":"Q3835003","labels":{"en":{"language":"en","value":"Some open questions in the theory of program schemes and dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4111980"}},"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":"Q3835003$F1776564-D2C4-42D1-8B34-7DA1BBD9C56D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4694e3d0c65ea5b763ff5f46719136e48ed133c6","datavalue":{"value":{"text":"Some open questions in the theory of program schemes and dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3835003$4497A7C1-1CAE-4277-8BD0-499E9618CCA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"702041e656ab286da95ba13387daa51fb3a9539f","datavalue":{"value":"0678.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835003$578E8BCD-000B-4126-A8B6-C85E3AA6CB1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3835003$EB427062-90BB-4ED1-91D3-A2F7F48D9D8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3835003$BDB36F18-964C-4FAF-9A3A-68DE670A67E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835003$31534E42-FC69-4C1F-8577-2348B4293152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835003$F2BA4050-015B-4B1E-B07F-85E26EB0C39D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7546ef3f983380104914c8d0fad9658bb7aed878","datavalue":{"value":"4111980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835003$8C224ADD-8252-4CA2-8E34-03B0305A22EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835003$B2BB103E-1DEB-4085-AC40-CB8254754D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835003$8BB096C1-5E59-4B5F-9F31-ECE10642ED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835003$36C5BF25-66EC-40F9-96E6-8383D3B6A1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835003$324FD4E9-8F13-48A6-89DB-89B78A035260","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":"Q3835003$BBF3C848-1BDD-4455-B6D2-7B095AAB6F52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"678ce318a1a6af523e0f944f49300628ef1cdf66","datavalue":{"value":"https://doi.org/10.1070/rm1989v044n01abeh002007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3835003$8B04EB4E-40EC-40B5-B091-D0EE1F1D2EAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c2400346277b48203439baf7f0e5e52b967946","datavalue":{"value":"W1997113833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835003$BA1736A7-51EA-4CC4-B087-1075617C3B40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ba2e8f32de850fef1a404d91f4d83d67118e87e","datavalue":{"value":"10.1070/RM1989V044N01ABEH002007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835003$33080F15-BE87-4A2E-9593-C65556439A11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3c9bd0ee2893a55af34a624f65f4cc9b88948f","datavalue":{"value":{"entity-type":"item","numeric-id":791517,"id":"Q791517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfb67772e8c71516177d1ee9a4f065e0902a231","datavalue":{"value":{"amount":"+0.8045886158943176","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":"Q3835003$DC9438AE-F6F4-4B34-8E2C-02F88AFC8CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bb6fefcac0eaabd0f6ba44252a942cfdc60bdd","datavalue":{"value":{"amount":"+0.7965945601463318","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":"Q3835003$AAEF2902-DD40-4A49-9099-0CD0F3C34D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef39f79dc1be7cedf1c0b6ebff71b27b4f503292","datavalue":{"value":{"amount":"+0.7892709374427795","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":"Q3835003$A9C083E5-3089-41D0-ABE4-F0BF00F0ADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06aebd6284d938969549290351f8a51a6620cba","datavalue":{"value":{"entity-type":"item","numeric-id":3483264,"id":"Q3483264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef39f79dc1be7cedf1c0b6ebff71b27b4f503292","datavalue":{"value":{"amount":"+0.7892709374427795","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":"Q3835003$37E58F45-88BF-486F-A3B2-D98A8F15AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3111c21350a43b5c22e3e56f8290b7e667c1ec7c","datavalue":{"value":{"amount":"+0.7819002270698547","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":"Q3835003$8B47DBE5-419A-4D9F-9F70-52E803321996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3835003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3835003"}}}}}