{"entities":{"Q6831479":{"pageid":15518271,"ns":120,"title":"Item:Q6831479","lastrevid":84297044,"modified":"2026-05-14T19:24:29Z","type":"item","id":"Q6831479","labels":{"en":{"language":"en","value":"A denotationally-based program logic for higher-order store"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183011"}},"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":"Q6831479$04B1CBD4-3913-403B-8E0F-A88AF7164EE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e4b971234fd06af35894363c1f57b0d7f5577b","datavalue":{"value":{"text":"A denotationally-based program logic for higher-order store","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831479$B69E96E2-C3FC-41BA-8BB0-7B450E3596C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e821378c6db7bf598b41a9b6c308bf49accbffe","datavalue":{"value":"10.46298/ENTICS.12232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831479$F6254BDA-5075-47F2-A1A5-B6E7697E1597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beeceecfe25ec104d3c584451f047aabe93e32d9","datavalue":{"value":{"entity-type":"item","numeric-id":6831478,"id":"Q6831478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$A0B3783B-CCAB-4E3F-8684-FD09AF45707A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$4FCA2ABD-744C-46E9-A1FE-A64E5C027776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$A03643E7-9035-44A6-9A2D-9526E4C98956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831479$37CBFF3F-191F-40BB-84D9-FA1BDD835FE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831479$5C09532A-5907-4D42-8652-02A7248725A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831479$ADCBFE86-AC9C-4A29-A9CA-37BC430E4F72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3d880f622a023f1c0a642517111a568e272207e","datavalue":{"value":"8183011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831479$1B9BD7C5-6270-4724-9AD7-2146BA0A82C7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$9D6E01A7-A81C-41BE-9382-C08683B52268","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$0A066038-8CD7-4AE5-B5E6-A7A22C2E428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4783730e8641ec3f02be754c2ba10025c49e998","datavalue":{"value":"higher-order separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$2E912058-5C41-464D-8A28-F4392CA2C0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4e448ea1371d66daba30c4600aa040e4e43e9a","datavalue":{"value":"higher-order store","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$74646E20-1B06-44D4-B53F-B7D9DF73C4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"799f24a8b398ee89dd8c49b13ad67986f3cb3f2e","datavalue":{"value":"general references","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$1C59885D-A0F3-4782-AF96-F2C171D17AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$6A38132F-6947-4951-8003-B7F7314E3FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0725c83241892231c6ae05f34ea2997a712e39","datavalue":{"value":"synthetic guarded domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$72E9A473-F879-47A4-B3EE-CD4F8CA577C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a8bdb79e5ca21517f5243c28dc87d35df9bff7","datavalue":{"value":"BI-hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$847D3D9D-5AE6-46A5-9469-286367D5C9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ccafee9fd33437c4f6f3160e8be56aed527318","datavalue":{"value":"impredicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$0BA526B6-72F5-431A-8ABF-D77CCA3B6C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831479$5B78AFB0-BF0D-4F15-9146-E2D2242DEB80","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":"Q6831479$19EA9A99-86F8-4C25-B566-C09B19B04CAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$D7D1A0B0-FA19-4119-8820-24A47CA71088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$D17717ED-520E-4388-B26B-B541F5C42F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$689A9C72-BB1E-4F6A-898C-C5060F35EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a157c6008e1078e6aee81b87ac973c583334e","datavalue":{"value":{"entity-type":"item","numeric-id":5145279,"id":"Q5145279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$3446C59C-0189-4E04-8BF6-32EB9E39D5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c116516ecd0d94e751e535d829183a84da376957","datavalue":{"value":{"entity-type":"item","numeric-id":5271058,"id":"Q5271058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$5892FAD6-4CE0-4B6C-AF32-435F2A51BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$0291CFDA-956C-48E3-AF83-CA22FD3DFAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c295600ea1f8d0da9510a70a5580ad44a2f70c4","datavalue":{"value":{"entity-type":"item","numeric-id":2130583,"id":"Q2130583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$E833C105-4C8B-4974-A05E-B9A37C00C63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$67F7FA44-B4B6-4FFC-A0E6-FFF74637F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbea6ef5c196448a789a19d7e0b09f88dfb32d20","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$FFE8A277-5124-49C3-B26C-BA9DBF73F67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc5c3566a77f2e2cbe667bf41460bad96c45d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4124990,"id":"Q4124990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$F8BEE74A-3F7A-4260-8AA4-924AC9CA7356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b55fe80b836bdbacc3e30271106de59dfc5a01","datavalue":{"value":{"entity-type":"item","numeric-id":5255072,"id":"Q5255072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$30429FB7-30C2-41D9-A902-E4703554540B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$EACFCA07-4491-4EA7-8D0A-191D653FCCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$BD9750D7-C383-44D1-BE3C-765477ED57E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$66C2E85E-E1EF-40E8-A598-FF8B5187F915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$42C51719-BE37-483F-9A13-4E43E0CB0D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$06DC2E0B-1882-4387-B9BF-18C44FF6AB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$C83DE629-7907-4997-802B-8D0335FA334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$0C00374F-6E0B-4739-928B-11603C543BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfb7487ef23f2f34a48f0792754eac4c28f7829","datavalue":{"value":{"entity-type":"item","numeric-id":4411826,"id":"Q4411826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$019D2A6F-DD54-4EC4-8778-ED84601BEBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$96200C5E-F3DA-4027-9089-4E4B8C6F63D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$28CF6F90-0138-40CF-834E-53EC320FC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$6B557449-CDA5-4FC5-9ACC-EF7B0A7C89D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1db2d402ff5c6f889baeb52606e979869a2ee1d","datavalue":{"value":{"entity-type":"item","numeric-id":3719794,"id":"Q3719794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$4F137F41-2FC8-4781-BFD6-255353424E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$CD4B360E-A1A8-418B-B2D5-C897CED80FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df4665af2f8c56e5500784941d01b7088d3b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$A118BB1E-E131-4024-BC74-F876771DDFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$E96A6615-7512-4108-A1B3-0316005862BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$10A5C4FF-29E2-4FA2-B6B5-8A07D8C17A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f1f4989fbb6c49f60105d4639c0a7c9b82c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2200846,"id":"Q2200846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$DB0F05C2-C3BA-4B2F-83DC-25C2049DA7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$A473D684-EE2D-4702-BC1E-F1965B3E6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f94cdc0c5d088c3e3e62eaf01c126cfc825c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":3557843,"id":"Q3557843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831479$CC13B08D-7895-4F88-AE2B-2C8710EBFDD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A denotationally-based program logic for higher-order store","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_denotationally-based_program_logic_for_higher-order_store"}}}}}