{"entities":{"Q5249252":{"pageid":7278820,"ns":120,"title":"Item:Q5249252","lastrevid":52253591,"modified":"2026-01-21T06:40:12Z","type":"item","id":"Q5249252","labels":{"en":{"language":"en","value":"Prolog's control constructs in a functional setting -- axioms and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432480"}},"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":"Q5249252$0E215C10-8C38-4C8D-B0E3-FA1DC2F14ECF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"174e753379b9f253c96de0940a15fe342e98fa95","datavalue":{"value":{"text":"PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING \u2014 AXIOMS AND IMPLEMENTATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249252$DD298CDB-96F2-44C8-8AF0-61A952B1D3C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f67743871af5ab5d4ccd956032f5814107e8366c","datavalue":{"value":"1319.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$65173988-82BF-4B76-846C-AEDDADC7AEC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b43811b270a2093c84fa7f15d17cc7a39db8b3","datavalue":{"value":"10.1142/S0129054101000436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$58471E42-E175-4929-A0D1-F2B75D7CA67B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7203456c922c316414817a6a8a5b99d0449fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":700973,"id":"Q700973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$C94D3AB7-BA48-41D2-BB11-F7A994291E1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$6BF84173-B314-4EF4-955C-D5A4311502A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22703aaabf2a7c3eda53a43e7dac0317268998e3","datavalue":{"value":{"time":"+2015-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249252$678511A3-7F80-4008-BDC5-4EBB98A7E97B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$7E2FCA93-5ADF-41AB-828C-5831CEA531D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$F414F0D0-5F37-4FB9-8E6A-07A0137745D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c07980e52450f94d85015b4ab4411049d17f67b","datavalue":{"value":"6432480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$141C2A12-3107-4965-85E9-40D016AC232F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249252$7B7299E6-2EF5-4159-81F5-93DEEE46CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249252$8F7CB2AA-04DD-4546-83FC-63FE7D7FF580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249252$04FF931C-D099-4E5C-A7A3-46716CB11F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249252$632F96CA-D9FF-438B-B6EA-88B9BEA91C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdcb55012e33eb7692d98d8f91054bea9adc798","datavalue":{"value":"monad transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249252$AEF0DB3F-4333-41D0-A63B-B1C5FF14FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249252$C374CBA6-E0BA-4122-8365-3B17E883963E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6ccbe94e4baa2c4479deaca19df60837bdc3ec5","datavalue":{"value":"Q114614889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$931F5757-8A00-43DF-A4FB-E79B94955409","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$E1981F64-8877-4A2C-A110-2D1EA379C7C9","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":"Q5249252$DCCAF635-359A-400E-9C56-1AD6DE76FAD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b2cdb408e129191380bf97864d34919350425e","datavalue":{"value":{"entity-type":"item","numeric-id":3768369,"id":"Q3768369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$8C571748-0451-4A8F-8596-D405EE711529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$94351BBA-6EA1-4661-8130-6009CA666C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde7f40e5a1f7e9dca73d242f651e960f1419fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3330483,"id":"Q3330483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$7DB6689B-EC31-40B1-8921-427CF23169F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80536a6c4d7f535a1dcfc23142b1431bdf463243","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$E741F7D3-BED0-421F-9763-F8EDCB816716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb10b2d0dc49c441c3a076bc96fb28fb02c90c","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$D0E21F00-EAC7-4996-86BB-F3E709901420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$DD2CE1C8-6CAC-4489-9C14-58D9F4ED3A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c600288080fc4749c16c8dec5cc02e544ec2a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4236886,"id":"Q4236886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$EEF5EF99-F781-47DD-A89F-285ACFD7C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dd09744bceacc46524879d1cbd94b42bce5864","datavalue":{"value":{"entity-type":"item","numeric-id":4836019,"id":"Q4836019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249252$A20451B7-31F7-48C5-9CA9-0946322FA1D1","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":"Q5249252$EE1CB3FB-BCE6-4FB1-B712-D88CCDACAA8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"651b7c4e44fada7fe29cb85314e531c55d7526cb","datavalue":{"value":"https://doi.org/10.1142/s0129054101000436","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249252$4B900582-0FBD-4B77-9942-5B82652A9B13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"751a086ebba6baff3f23321798c71ad43ee07108","datavalue":{"value":"W2155187121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249252$FBD796C6-EC88-4F3A-B0F9-77B217AFC048","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3738f2c5fd5a0059a5d098fe5548eebabbd2c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4520831,"id":"Q4520831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e915c081de82adfd98e041d68dcb1611442efb","datavalue":{"value":{"amount":"+0.7712820768356323","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":"Q5249252$6924307D-6CFF-49BD-B8F9-2E6C40B17576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07abbb2b671eae2d93266b9c8cefddaf580be53","datavalue":{"value":{"entity-type":"item","numeric-id":3490934,"id":"Q3490934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367a47918e606f1cca4b5d44027d36a868ee78af","datavalue":{"value":{"amount":"+0.7554296255111694","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":"Q5249252$5E05CC53-EE71-44E4-BC2D-91FCE39D77FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc56a5515ff11670e1e6f8a8acf4ca09fefde4b","datavalue":{"value":{"entity-type":"item","numeric-id":2936782,"id":"Q2936782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b754351eca209da7e0b1ad1a586b12f4960f3d37","datavalue":{"value":{"amount":"+0.7492008209228516","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":"Q5249252$62F0C4D1-0B47-4699-993C-820793AB6AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295d836d4e479dfc5d7d71cae19eef575560cbb3","datavalue":{"value":{"entity-type":"item","numeric-id":4513579,"id":"Q4513579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696229d598e2882a55278f01dfad1d5474f4031a","datavalue":{"value":{"amount":"+0.7450440526008606","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":"Q5249252$218EBB7F-D6E2-4BBC-BAB5-954C907935AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b42e8c5eb0a4cc53d1d07fe7cb4598de16ad50b","datavalue":{"value":{"entity-type":"item","numeric-id":5398293,"id":"Q5398293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e7fe7349a3722165a02246ae9b0bb53d9618ec","datavalue":{"value":{"amount":"+0.7431995868682861","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":"Q5249252$005F6A26-2840-470A-8894-A8B6EB1BE026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249252"}}}}}