{"entities":{"Q1377325":{"pageid":1388065,"ns":120,"title":"Item:Q1377325","lastrevid":46999122,"modified":"2025-12-26T00:44:35Z","type":"item","id":"Q1377325","labels":{"en":{"language":"en","value":"Running programs backwards: The logical inversion of imperative computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1112406"}},"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":"Q1377325$723D6A6E-9D2F-4868-805D-831E151F0F33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c51d1b52d150090c0d11cc6e4bb5079ad6b2cfe2","datavalue":{"value":{"text":"Running programs backwards: The logical inversion of imperative computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377325$AC2AB591-A51B-40E7-A1A1-13CC64314044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7287c16f0e83cbed63698d64c1c6750fdf237d5c","datavalue":{"value":"0887.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377325$F0011302-98F7-494B-ACB4-3E3FDCBD844A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ba08ac141a5be7b976a1ac00c1d9b26597b42bc","datavalue":{"value":"10.1007/BF01211087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377325$3BEBA833-F1FC-4455-8115-05E1048E4BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"353b2ce396346b4c37a316e782b6ec28a34bd0b9","datavalue":{"value":{"entity-type":"item","numeric-id":222871,"id":"Q222871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$B0591740-78C0-4DDB-AC3C-2F6C82E69FB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$D70EFAF8-4187-44CF-A546-A2120C9BC340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dac4da21f0f275ab533dea6355d55966bb2f8eda","datavalue":{"value":{"time":"+1998-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377325$58B8071F-E4D0-4C76-9132-58ED43264433","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377325$7A827A74-EC34-420E-92C9-4D8008C140EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8b7abb41a0e42c01b6306cf3628ee80ac47b23c","datavalue":{"value":"1112406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377325$039ABF5A-DC6B-428E-8ADF-649F6DF2AEAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377325$CF690BED-FE29-4A6B-9826-FC6F0B51583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d627948941a38d1fe1abd2b507fb1fc849f4eb6c","datavalue":{"value":"logical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377325$C58D092B-ABFC-441D-9550-B69CE1353408","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$C389CE31-F7D6-4EE0-A6BB-C4A116DA0415","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":"Q1377325$F16C863E-F66A-4CE2-BADB-E92A2D19E716","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$0781A885-6870-426C-BB21-7A5C1A9ECD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86763923b342f2c735b8d7a8a7485260838e858d","datavalue":{"value":{"entity-type":"item","numeric-id":756406,"id":"Q756406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$E9499434-16AF-47EC-B1EE-C59FDF9A27DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863a127586276e0c1d71b3d8d3303d158e919653","datavalue":{"value":{"entity-type":"item","numeric-id":3922137,"id":"Q3922137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$0F3FF92E-4E38-40DC-8C10-DD070984D228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08130d16cf93d7348bec4b002f7a4d864735e3","datavalue":{"value":{"entity-type":"item","numeric-id":4720771,"id":"Q4720771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$A8344A80-D106-4A39-9726-E7A08DB6060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f487d72e20f46184f24ea08ccef11f48872058","datavalue":{"value":{"entity-type":"item","numeric-id":751841,"id":"Q751841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$BC444B4A-AF4E-4BB9-9402-30589E7AD85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$B61292EA-4ACF-443A-A7C6-B5A9CFA97EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f9977a4647e19c95bf7a154827838fc31f0019","datavalue":{"value":{"entity-type":"item","numeric-id":1205183,"id":"Q1205183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$298FA58D-8E46-4EEF-A98B-03D0A1192202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$C76902D4-7BE2-4694-AEC5-D20FBC9BA6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea654bc22fd768a84384007d026f03e8c9c72b5","datavalue":{"value":{"entity-type":"item","numeric-id":3999307,"id":"Q3999307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$85A92B21-56ED-49BE-A47F-52B9ECF3AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$30D4A67D-E681-436C-B186-34D7336208BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$5778B184-D5A8-476F-A3AC-394612CF81F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a806e63f26ee5765551ad98ff03131e0c2e1384f","datavalue":{"value":{"entity-type":"item","numeric-id":3721785,"id":"Q3721785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$E2E22E42-9FB6-4B4E-958A-B2644B67D56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$E5A1624C-B722-46F9-8E27-32F70D1092F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03f0d58636ba080342733786a2e2395ad4e7bde","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$73E40895-885A-46D0-AE17-B196EE23C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad0b8896a4bdd3d3911334f596beaf96f4ff23b","datavalue":{"value":{"entity-type":"item","numeric-id":3703280,"id":"Q3703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$72E1DB9B-DDD4-4B2C-A00F-4E5C26604DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61a9ff7a8d57a2f17de475279ece94c8f91db2a","datavalue":{"value":{"entity-type":"item","numeric-id":807058,"id":"Q807058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$7FCF2EB0-FD73-441F-9FF4-EEF97EB3DE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1661e278d4b3115deddc8fd22a4bfcf611c20cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4282659,"id":"Q4282659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$7742869A-69F9-4F1C-88AC-46EC41790769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb99899e941418bc7ec1458d31482340c419d2ff","datavalue":{"value":{"entity-type":"item","numeric-id":805302,"id":"Q805302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$97FC05D8-39B7-4F4F-8B39-D14074A4F621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c955b3f13f24b054e0acb09188f8a7b8c2dba457","datavalue":{"value":{"entity-type":"item","numeric-id":750160,"id":"Q750160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377325$72E60AA6-104E-4C5F-9A2B-5002BED5B807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099caba8843c49e9177f54c00b70a1fa2e851fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5014800,"id":"Q5014800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d033254d84268a4fbc92f7c960bba8702d6ae17d","datavalue":{"value":{"amount":"+0.7897642254829407","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":"Q1377325$A97664A7-5507-46E3-8BC9-51598CCEAE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f38aaaa2acd1f635e028659db475b2b17d31e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3558241,"id":"Q3558241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12acef63d4625ab9bc493adad51f55dfeccfe79","datavalue":{"value":{"amount":"+0.7370380759239197","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":"Q1377325$5FA3860A-CEBF-4617-8A71-E153109CCC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128ca5ce5a10cbdb98b9b0e0d7f3661cf3c89b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5308028,"id":"Q5308028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28971b562a8d9ecf201400aa1724ddb4e578304d","datavalue":{"value":{"amount":"+0.7345290184020996","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":"Q1377325$6B57344F-6C2E-4F71-85C0-C77254F618E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355f6fc5ed66559ac2d6ed082c05055f29297668","datavalue":{"value":{"entity-type":"item","numeric-id":3453736,"id":"Q3453736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3bd197a5339139e6d8a81ceb945a5da1565732","datavalue":{"value":{"amount":"+0.7260894775390625","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":"Q1377325$30B71CE7-1254-4A17-842D-AF25D03435A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d3265114649982ac2a7d4692aac9f6b0559c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2770741,"id":"Q2770741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94289a97ceb0be211e5253ce0a5601fb2884f781","datavalue":{"value":{"amount":"+0.7250842452049255","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":"Q1377325$5EBE21B2-2EED-4E9F-98DA-FDA01E95EDED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1377325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1377325"}}}}}