{"entities":{"Q1085598":{"pageid":1096350,"ns":120,"title":"Item:Q1085598","lastrevid":66413721,"modified":"2026-04-12T09:55:16Z","type":"item","id":"Q1085598","labels":{"en":{"language":"en","value":"Stack method in program semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3982489"}},"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":"Q1085598$016B42EF-E1C4-4A02-86C5-C44C04F1C3EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47f19ad94ca034c841a07e4a416de3167f9a9c92","datavalue":{"value":{"text":"Stack method in program semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085598$7E1E000D-B30B-43FF-9EBF-24D196B6B21A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f7adcbac5fc933fb3cbb13ab53da86b5733dc0d","datavalue":{"value":"0607.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085598$783459D1-3295-4851-82AE-02E39CFC9C2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d2309dea3bd827cae7cd20a833193139e71c97b","datavalue":{"value":"10.1007/BF02943317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085598$15A5CA48-682B-45B1-A9CE-884B2C57FCD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9901a94abaf53d71e16cada2c6c7facdecfa41","datavalue":{"value":{"entity-type":"item","numeric-id":1085597,"id":"Q1085597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085598$88345D3F-B8C5-423C-8B24-64CE01690D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acad781715ce669706a7cb1cbd5808444dc582a6","datavalue":{"value":{"entity-type":"item","numeric-id":1181722,"id":"Q1181722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085598$07C8A519-40EF-4EF2-BD3D-32F49B62A170","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085598$60D01664-E83B-4A0B-90A5-B729DB195955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1085598$697F12CA-E3A3-4803-B775-8FB59195130B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f100fd7b21b873a5e568bd89e5400c37fbabba74","datavalue":{"value":"In this paper, we describe firstly a formal concept of stack and introduce some operational rules on it. Then we extend the denotational semantics to ''the denotational semantics with stacks'', by which we make a formal semantics for a real PASCAL (subset) which can run on a computer. By an example of program with procedures it will be seen that our method can be used to describe the basic principles of compiling. Finally, we have succeeded in building a formal semantics model of a PROLOG (subset).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085598$9993D1D2-D91E-4BCE-A7AB-01F766FE64ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085598$D0DD9C1A-E683-47A5-840B-3609CFB9B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085598$5D5D0E23-60B2-42C6-9591-66503D83E5BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e01016dfc1b84b526195157450be806d135847b","datavalue":{"value":"3982489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085598$75935470-F130-4967-B3A2-C88BCDC1FCCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89563c3a5795bf7ab73371dc100de171133e46b3","datavalue":{"value":"denotational semantics with stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085598$9BBA5CF7-319C-4C60-B104-E9F486C15032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cd6f82c94f708c09d8bba35dd5e8213ea371f2","datavalue":{"value":"PASCAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085598$A685754D-B72B-4F00-83D1-B33C1529212B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085598$231AEE67-C0AB-4B31-B0BD-A170AFD7F934","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":"Q1085598$AAFCEED7-3B82-47C0-AEB5-166FDC71D6F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f32f04e00e542f620002f68c4a452e6a1aeb65","datavalue":{"value":{"entity-type":"item","numeric-id":3914393,"id":"Q3914393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085598$61691895-61BB-4838-B714-122AC5553987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b255a5f37d87177a8a8536878d533ce7d6830bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3659174,"id":"Q3659174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085598$86E3608B-6E33-4B22-B192-61A70FF2FA7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cb180f3cf8cfcf743dd76f2034f298378850beb","datavalue":{"value":"https://doi.org/10.1007/bf02943317","type":"string"},"datatype":"url"},"type":"statement","id":"Q1085598$6A59EACF-F8E5-48B3-B40B-13FBB92A1A2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8468c5c1c72b28581c3ed7b1182d77196aa2f9d1","datavalue":{"value":"W2005524845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085598$AC98ED6B-9B1D-42A1-992D-BF3B031FB97A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efac5f92616a993598950babf59f95f7bdc4fce8","datavalue":{"value":{"entity-type":"item","numeric-id":3678648,"id":"Q3678648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a6e92b46d2af4fcf75a13838669954a29f54c7","datavalue":{"value":{"amount":"+0.7327517867088318","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":"Q1085598$95C23897-A556-4842-B731-21F4D76BF25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63dddbdeea3a2f5673cb052928e7f76b730c5a49","datavalue":{"value":{"entity-type":"item","numeric-id":3731016,"id":"Q3731016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3799449c8ae19d7a9785ed1403ce76d9c891915c","datavalue":{"value":{"amount":"+0.7266150116920471","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":"Q1085598$C7A8FE5E-74D5-4C50-B24B-A9C266CA5FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6916df50d965e6c4ba243dd4157e30a2ba1ab8","datavalue":{"value":{"entity-type":"item","numeric-id":3759933,"id":"Q3759933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240edaf2d41169c244382e2b544b63360a44e079","datavalue":{"value":{"amount":"+0.7254931330680847","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":"Q1085598$57E4B2D5-B109-4B2E-9017-6834C997C1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ef178d2e5ff5721088d140512ce06e0451a75","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b5a7be5ea038dafb9d44a44dd6713aa191c152","datavalue":{"value":{"amount":"+0.7155373692512512","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":"Q1085598$F3AAC4B7-4BD5-4A6C-82A9-371650B930FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdf9caba0f2d2da9a4c36e84e007e3c12ec21cd","datavalue":{"value":{"amount":"+0.7128784656524658","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":"Q1085598$90D85BC2-64FB-4CE0-9BAF-571154206312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stack method in program semantics","badges":[]}}}}}