{"entities":{"Q1115643":{"pageid":1126392,"ns":120,"title":"Item:Q1115643","lastrevid":49246366,"modified":"2026-01-06T20:28:50Z","type":"item","id":"Q1115643","labels":{"en":{"language":"en","value":"Existential continuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087074"}},"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":"Q1115643$C27E120B-B961-4739-BBF8-057C53B5D880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cec5ff52bf2adbebf9ea6e56bbb625129737de3c","datavalue":{"value":{"text":"Existential continuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115643$50139CE7-8E70-4713-A0D2-CD9A3D11958A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fa61bdc819ba7266db9d0d94d592c98134d4b94","datavalue":{"value":"0664.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$8B5055F9-4F2C-4F93-9509-8D980FDB620F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d58c13df108aa1628a1f5bb8a621b3ea97f574f2","datavalue":{"value":"10.1007/BF03037449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$4AB3B943-9132-4BA5-A3F8-4016A1FBCE21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e797d21326216ad55a231168906c9c452687c51","datavalue":{"value":{"entity-type":"item","numeric-id":209152,"id":"Q209152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$17C2998A-1075-4571-83EE-E78BB2F94F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daed725bd67311ea1169330a2e84cea207141141","datavalue":{"value":{"entity-type":"item","numeric-id":284333,"id":"Q284333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$289BC794-B30E-4501-8581-A08B9491DD00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$11FEE547-DE4D-4A83-8764-39669D4562E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1115643$A36D7681-3990-45BB-8E9A-247AC3D9393A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8851a3674b0f5c8d0a64250f6c5e1c2d789c7ed6","datavalue":{"value":"This paper introduces a notion of existential continuation and provides a theoretical basis for continuation passing style (CPS) programming in logic programming. We present an algorithm, called CPS conversion, which converts a definite clause program into a CPS program, correspondingly to a predicate partition, an analogue of mode pattern specifying input and output for each predicate. Depending on the choice of a predicate partition, the resulting program can have various execution modes from bottom-up to top-down computations. We then give a proof, on the basis of a meaning preserving logic program transformation system, that the CPS conversion preserves the meaning of programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$EA4F9F9A-7B0F-4F2D-95E6-541BDFF9288A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$C3D3B3D0-EB29-4301-B9DA-19A907AEB317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$44EA9C86-BC01-4CFA-94B7-BBD257D481B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$96115FF3-3AD3-4569-9913-F9F4B5C52ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"440528443d3d87e1dd02dcd77fcdff4d45a03120","datavalue":{"value":"4087074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$879E0BD4-B530-4108-BBFF-91986F2BA1DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$0C068EF8-BD2B-49DD-851E-882140287EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$1C4E888D-4151-46A9-B4A6-455F2C4B68AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f548bbbc2536b04dc35843cfc7c5b34bbc1b9e1","datavalue":{"value":"existential continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$AC72A532-3B4C-443A-A9F1-14EC99030A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$093B57EB-1F1A-48AF-A5C4-F893DFC2835D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c89cc893504168f7a52dbf1e3110ebeae1ea82","datavalue":{"value":"predicate partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$60F7A028-21E9-4731-BAC8-87FBBB0B16E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115643$A4800125-B790-4889-B309-4D5070975A7B","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":"Q1115643$14ECD800-3801-4B8D-B153-8E91EDCEC1BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$559E7862-8C15-4240-BD46-37C3E3625E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$88B7BB53-01E3-4AEE-AE60-CAD1FA428F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3383c48f5a92254ab8920243a51a1acc0b6a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3830520,"id":"Q3830520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$D7AF9440-D49F-4030-9715-01CD42D26AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde38236a7d4802aeea34926c65af7fc6bd7548","datavalue":{"value":{"entity-type":"item","numeric-id":1348532,"id":"Q1348532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$99726C38-F993-441A-A7F5-29BA75734B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316d931d2a8121e888fa126bd4d1245756431ab1","datavalue":{"value":{"entity-type":"item","numeric-id":1094889,"id":"Q1094889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$25745248-7A98-4337-9077-BE1FB0F6FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce18fdb6050f22c7442e84a757c8a261022bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3867165,"id":"Q3867165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115643$E53D1B87-2D29-43CA-8412-185DE5E8CCC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03cfb2830b80c52982b8a30266e225185fb82e13","datavalue":{"value":"https://doi.org/10.1007/bf03037449","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115643$E0E3AF4B-A1B0-474F-830D-CCE65B23F976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec9dacfd83cc8136270a5732476992e705ce19f7","datavalue":{"value":"W2911927583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115643$16446659-59D8-422C-B7A5-E1DE65DE628B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87250282b926672d5901936250c0b29e64d5dc2b","datavalue":{"value":{"amount":"+0.756589412689209","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":"Q1115643$E0E52E93-86AC-42D8-A253-8A714F934894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d61635dd058d3f99fee963c1a7474d96b2389b7","datavalue":{"value":{"entity-type":"item","numeric-id":2778811,"id":"Q2778811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104f159a5d68bcbbddc7d2e88694e467ed093bea","datavalue":{"value":{"amount":"+0.7506729960441589","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":"Q1115643$8731C5C3-DCB9-4667-8403-1A0E2A61F528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2b157fff60771115137bbc3bad6b3c77f1ad1a","datavalue":{"value":{"entity-type":"item","numeric-id":1870491,"id":"Q1870491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104f159a5d68bcbbddc7d2e88694e467ed093bea","datavalue":{"value":{"amount":"+0.7506729960441589","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":"Q1115643$33547849-E817-4AD9-94E9-EB8965A09765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673ce79055a0731e794fdcc730f374a87024b12e","datavalue":{"value":{"entity-type":"item","numeric-id":1330460,"id":"Q1330460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723b4c56e0566f391f0ad359f56840fdae9fbc3b","datavalue":{"value":{"amount":"+0.7436485290527344","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":"Q1115643$803D428B-3011-4491-90E7-30C15D86DB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552329f3ba4cacc370f53630f4cac0d4c32495d1","datavalue":{"value":{"entity-type":"item","numeric-id":4709846,"id":"Q4709846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6a9ddf0562b0fc8fbc3aaa3daa3d506f7b7c45","datavalue":{"value":{"amount":"+0.7353524565696716","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":"Q1115643$9ED74B45-844E-46BF-B6C7-EF1981780836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1115643","badges":[]}}}}}