{"entities":{"Q393092":{"pageid":394859,"ns":120,"title":"Item:Q393092","lastrevid":51904556,"modified":"2026-01-20T12:33:13Z","type":"item","id":"Q393092","labels":{"en":{"language":"en","value":"Specification patterns for reasoning about recursion through the store"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6246025"}},"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":"Q393092$EC6C9E1F-47D8-4A5A-999E-7C1871D134D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fbb7e643f4d583a2bedb40436e214f47866dd1b","datavalue":{"value":{"text":"Specification patterns for reasoning about recursion through the store","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393092$C89271F1-0AD9-4D45-9011-C81EA9688FAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9828d1c8c4c3b9fca26305bb741edc04eb042764","datavalue":{"value":"1358.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$D1C74A63-4D5D-4FC2-9B54-6A1A701E8FAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$DD4DA762-62FC-4C10-A104-5692097A4E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$C28ECA7A-21AE-423C-AEF2-EBC39F5A866B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$B8653120-CAAC-48BE-BFE7-25B804EEEF75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9094b62160fbbb09066d67269c0f1a577ec33a61","datavalue":{"value":{"time":"+2014-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393092$FCF3B146-A6C3-4CE0-9264-C047BEF41F77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$A120D2EB-5444-43CA-BF48-4AA6577C7391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$E2A3C419-6CB9-4E95-895A-60278201C9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$B64BEB8D-857F-4E76-B1AF-95A9612896DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cceea1e60964846e35bdd09210af1f3a1f35cb93","datavalue":{"value":"6246025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$42B6833A-9914-4C77-B90F-70FEB6582F31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393092$240788F1-8F61-4B3E-9CDF-46D570A318C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4e448ea1371d66daba30c4600aa040e4e43e9a","datavalue":{"value":"higher-order store","type":"string"},"datatype":"string"},"type":"statement","id":"Q393092$AB16894B-8CA0-447A-8991-2FAA7A25B4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393092$17649EFA-3A50-499B-827A-2A6BB5AFFFCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$3AFA51F3-6876-4E11-A1CA-8F498D12AF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$BEAA9F3D-11D6-452E-8522-0579D7078DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$148841D2-7BB1-40D0-B570-5A19F3F290E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e8f4bc80749df08a77abd16a1aae1cd89506eb7","datavalue":{"value":{"entity-type":"item","numeric-id":19723,"id":"Q19723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$9AF34149-C62F-489A-8386-3C8AD17C72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$87D6415D-BA4E-455F-A5E6-28A0E7638E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$4DF83C92-6217-4442-B8BF-5FA7C7149BFA","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":"Q393092$EAC4F59F-8118-4BB9-8296-D6A9200C38A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27089878bdd9fbe847f3dc07ee924530c63fb582","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.08.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q393092$4AE0376C-35B3-4F0F-A539-F3FBE96A144F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79cb1df2fbd033d0488eaef678f718a65026bb69","datavalue":{"value":"W2062653699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$3990F96A-9F67-40EF-AB9B-8D1DD4C045D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54359d6eff91436c14adcd7f017908697aefbb74","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$1D37B002-1982-4B39-AA8B-74038F560A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$E2B131D9-99EA-4546-9F69-2E12CB1B69AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$AFDE111A-31E7-4191-BAD0-B317F120B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b932bbc17022c0bef22624b0dd558efeeb4b761","datavalue":{"value":{"entity-type":"item","numeric-id":3519513,"id":"Q3519513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$A6FECCE2-ED38-46AA-8CA1-C37F5C25E470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd4567de865d75ecbc281a71056a7cdb652c9b9","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$71B4E968-2D70-414A-BFA1-0DC41923A50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742400e769c7ae8734fb2d95afc2ff4bb74d9e08","datavalue":{"value":{"entity-type":"item","numeric-id":2891407,"id":"Q2891407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$D50FFB3B-82E6-496A-8C2E-7A6F3CA5E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b5b6e8d4a0291e50d24f28bc658af862985da9","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$62425386-CE76-49DB-A9F8-1D76F5DA24E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44746fc6fa640058cc0d21d8fd2890a63f3a9527","datavalue":{"value":{"entity-type":"item","numeric-id":3088293,"id":"Q3088293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$C008D39D-378A-4F3C-86C9-BDCADD9A6E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$64E70110-E18D-4604-B8AB-C08E59DB1B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a0635f68b43d9390371e8ee87b6f66f21e0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$0BD4388E-F0A7-480C-AA40-420598C8E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cbfeceb159ddcc8072c7be622a29c89ba80036","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$A44AFEBC-C026-4734-85A7-018654118F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$6FFAD3AA-F365-40C6-AEBA-3062A979DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$F0399865-61B6-4004-9901-BAE9A1EBCF1B","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":"Q393092$B7467123-61FA-441A-A2F7-F54D71CBD1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec3fab40cc2d2e106280bcaa4a13109b0361ac","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$CDF57345-1594-4849-9140-20635CCEACA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4abdec551b3aac3670e5b25a7a3b50d9f3b50","datavalue":{"value":{"entity-type":"item","numeric-id":5408537,"id":"Q5408537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$984032B7-324E-46F1-A361-9F3C418FDDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859e822ac88b8f6bd1718d92f9419d0785605e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$A00CF3AD-D849-4501-A8D9-8FB8B3893EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e2fc685a53fdda40b2e5d5b4cf8b0a0f46b05d4","datavalue":{"value":{"entity-type":"item","numeric-id":3613337,"id":"Q3613337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$DD8D3991-74AF-4764-8342-026D2D0B7526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$46CDB03C-71D8-4292-88C9-19A8069B1302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$D63A38B1-85F6-4424-90E4-077E12568D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae00c8b64dee152c2a634a511b72a1ade6ad1221","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$DF37EEE8-7257-49B7-A600-A64E0B83C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fac7fae7f3ee4ff2db74dc04090924e9c5d5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3557840,"id":"Q3557840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393092$7E0C3AA2-1709-442E-9349-B853E20A126D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ebb4dac0b3317b5eeae48f0b6b51d849c5bb33","datavalue":{"value":"10.1016/J.IC.2013.08.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393092$C0CA2FF7-6406-4657-BB72-576640AC35BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fff909cff464cea6c10d971acb3066525e29e7","datavalue":{"value":{"entity-type":"item","numeric-id":3088293,"id":"Q3088293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a589e61e8a1f773446846b45647f5e547237972","datavalue":{"value":{"amount":"+0.9917200803756714","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":"Q393092$5AC82538-2F75-418B-8096-3CF090991567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbadbeb64a59cbfb4d837b77a48f2b5dbee1dd5","datavalue":{"value":{"amount":"+0.7737828493118286","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":"Q393092$79F2C9DF-0358-416D-BEB6-03807FD11B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c852901a9bd117add63b5c013fa4c931aa0fc090","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540bcdb16e4fb6bfc7b8b0c65328d2ac9cb11df6","datavalue":{"value":{"amount":"+0.7695784568786621","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":"Q393092$14BDCBEA-D48C-4AEB-AC37-39F3E8964FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe8948a2efa99f04ff097351e554f04c02771d0","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6207f4b2a258c647b3559a4057a6ac31c81686a6","datavalue":{"value":{"amount":"+0.7691361308097839","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":"Q393092$BCE63219-5529-4EAE-A26F-08A919A4CB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966dd83ee9507825c7b8bd93b7eec4e7e6b4dec6","datavalue":{"value":{"amount":"+0.767256498336792","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":"Q393092$FC00E674-E27D-40F9-9223-F24AFCC8D78F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:393092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:393092"}}}}}