{"entities":{"Q2864516":{"pageid":2875236,"ns":120,"title":"Item:Q2864516","lastrevid":42327327,"modified":"2025-06-08T22:35:16Z","type":"item","id":"Q2864516","labels":{"en":{"language":"en","value":"Rule-based operational semantics for an imperative language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236511"}},"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":"Q2864516$16147063-6776-4D78-B836-7CC9A63CEEEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c2aa77538f2a592d81765515400102e56947999","datavalue":{"value":"1277.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$26994963-A5B1-471E-8C60-ADCBC16CFC66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb1ce8737d9425fd00bcb77ee0cdc83ba4590219","datavalue":{"value":{"entity-type":"item","numeric-id":974135,"id":"Q974135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$6FFDE364-B873-4BAF-8B9C-7F06266083B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf8d941be5ca4a678f2961090bfedbfaf5c027a3","datavalue":{"value":{"entity-type":"item","numeric-id":1778106,"id":"Q1778106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$DD6FA293-B9AC-408C-8405-1C79B209C1FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$CE61ACDC-87ED-420F-B2D2-2E5E7AF9E3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864516$9AE68605-1C4A-4CCF-9A10-6AF7784CABBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$3D8DAED9-7A0A-49C9-90F7-7EB181847E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$97304178-0E27-48E3-9861-B93FC699FCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$7D4B3813-92F0-4B13-B803-D3A0E52BA7E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df969573f5e95e4ee88fa18db9a8883bbcd3d784","datavalue":{"value":"6236511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$3396183E-0561-4825-95F6-2390ED9BC78C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864516$66E4FB35-D425-4FFF-A690-2B0FA3B1E3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864516$1FF89A3B-D5F7-4B71-9C3D-71398EB12F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864516$A59068D2-3ADC-4C49-9B4C-1E5D83DC04EF","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":"Q2864516$21D6ACF8-9D43-4C4F-B86E-3A3D7CF554CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14cdf7f0df45d44a5a70930241e42d386a39eb44","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864516$A8831CB0-F998-4940-8613-97C1E23078B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"513a56cfa32e3d2fffd9e33db832d9a1fb1c71c6","datavalue":{"value":"W2013028647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$95322744-FEAF-4A4D-8CEE-E1DBD48AD392","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfbab9b6b2b56b3d76218a652c8db6ed9fcac68","datavalue":{"value":{"entity-type":"item","numeric-id":5458806,"id":"Q5458806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$D7798AF8-6A9E-47B3-9F9C-06E37712ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae8e0b69fc9d0950d46df897230bb1653222693","datavalue":{"value":{"entity-type":"item","numeric-id":2754040,"id":"Q2754040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$221C3FAD-D42E-44B2-A614-4AABF0B40A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9decf1b2a1c84b14b9a8e43e91864b533cf418","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$815ECD11-E52C-4FAB-8677-99AF9491B28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$6BE75E26-49AD-4EE7-8405-F35EA8195302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$B0BE9D23-6A84-455C-B40F-2E20A1965563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$18487591-BE8F-49F0-96AC-661854A065BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$19D448FE-84CE-4078-A30D-90816C57D9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83fe5d8b2d48a05c01f44d3f5b751b50da51fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5704023,"id":"Q5704023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$7931095A-C4FC-4A55-904B-7CF7E8450FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b5e5289b796e9e2eaee9f5d231efa5b17575c","datavalue":{"value":{"entity-type":"item","numeric-id":2851714,"id":"Q2851714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$C4347442-E172-473A-ACFC-C80E883A2A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864516$39DD18CC-5D55-43DC-92AA-37122BDE4C35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"466ce1e5e8660912ac82a3abbdf6f92fc1135e08","datavalue":{"value":"10.1016/J.ENTCS.2006.10.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864516$C68DB8A7-9587-4281-B484-75756985F785","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7e023712e043930d846a27b23e585155ef44a6","datavalue":{"value":{"entity-type":"item","numeric-id":6487698,"id":"Q6487698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14673b4fa452bc29c451a069334cce723e6b46a9","datavalue":{"value":{"amount":"+0.8902689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$115AB6FE-B7BF-4285-8015-7997E50CAC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16fb06f9be42f560c25b2c7545fb26d2f8f197c","datavalue":{"value":{"entity-type":"item","numeric-id":3787446,"id":"Q3787446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b90091ac467a09b12294a4518cc7ccb758a1e4","datavalue":{"value":{"amount":"+0.878677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$A5D27CA1-8394-481F-8260-A8B4AFD04684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afda306064912b8e0673f7fb556910ea2f6fb04","datavalue":{"value":{"entity-type":"item","numeric-id":5313213,"id":"Q5313213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616564c541393b7936fe4940df5fe58876e9eb3c","datavalue":{"value":{"amount":"+0.87492985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$E567927A-DED4-42DC-AA5A-6CE90F757208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e8c0f07ebd6b2dfe513ab26ff0c193fa6d1cba","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee24381e9509846eb53e9fe9269990c6f6b80baa","datavalue":{"value":{"amount":"+0.8741367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$33CC65B7-B857-4BAE-A781-E6644FCF222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4000d6652962ecd3c14064baeac402216cafacc","datavalue":{"value":{"entity-type":"item","numeric-id":1370633,"id":"Q1370633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69aaf8a19089cc754ecc4eeca2dea5c4da6b6ae5","datavalue":{"value":{"amount":"+0.8675851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$0D2A834D-7257-4B14-BF60-AFCAE075AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3e7d50f8c032eabc3d414b9282bb4b11d4a90b","datavalue":{"value":{"entity-type":"item","numeric-id":2843603,"id":"Q2843603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d02852c13ac60bca397ef013edf78de2919153","datavalue":{"value":{"amount":"+0.86535805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$5BC6C032-082A-4372-9703-41325B63E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcc7220636820bbf5e281645c4f3848d2aa24fb","datavalue":{"value":{"entity-type":"item","numeric-id":4945216,"id":"Q4945216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55220e2e1b4226584feed54743d9e20e649e9bd","datavalue":{"value":{"amount":"+0.8651887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$98E576AD-B9E9-4DFE-9AAF-B13B9EF97172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80619d36bab39f3016d3bbe85d1275dd6455ae93","datavalue":{"value":{"entity-type":"item","numeric-id":4553627,"id":"Q4553627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d253e5594703b63bb9f5ada8ac03f8270a24f29","datavalue":{"value":{"amount":"+0.86273766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$68033DD5-8FD1-4B83-901D-19B503DE5356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6f7092b762b4d9df8fe34248aead737a835cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189775,"id":"Q3189775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ee3daaa00a4146ad9a1a3352c8b332ea6d9de7","datavalue":{"value":{"amount":"+0.86159265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$83D413AB-CD9D-4982-8434-A0948F57A417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faac5e2de8853e214738d5a1c21cbbc0fc6c5d2e","datavalue":{"value":{"entity-type":"item","numeric-id":1426872,"id":"Q1426872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b883d4586d0d82b041623227959420bf93a417","datavalue":{"value":{"amount":"+0.8604565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864516$A14E4F5D-8FA2-4E5C-8038-B893D1001C05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b418500a89d0491f19adcbab31cfe6a3cb4efa4","datavalue":{"value":{"text":"Rule-based operational semantics for an imperative language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864516$8DF034FA-DF57-4593-A054-940D54DC3933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864516"}}}}}