{"entities":{"Q799098":{"pageid":800946,"ns":120,"title":"Item:Q799098","lastrevid":64458501,"modified":"2026-04-11T20:00:35Z","type":"item","id":"Q799098","labels":{"en":{"language":"en","value":"Closures and fairness in the semantics of programming logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872669"}},"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":"Q799098$6000FFDE-FECD-4318-8DE8-3A8630200050","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a42ed4fa97e8ae7c48affdbcb2ff314c551f8ff","datavalue":{"value":{"text":"Closures and fairness in the semantics of programming logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799098$0E4F234D-0584-463C-B2D9-8DF005528D64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81a1720054e4c3834203521fdb8b2f26f368dc35","datavalue":{"value":"0547.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$42C75C53-AF0C-4CB9-B6E1-74FA10E52990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dddc80c3d3c6bfe1fe1373bf569a39bc363cab9","datavalue":{"value":"10.1016/0304-3975(84)90017-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$1C322596-A236-4F11-B347-80DD1B82952D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$B4D0723F-0EA1-4E86-A763-243C7E697680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q799098$55C35B16-A782-4D25-9E92-1240A704C45A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"617c51709d1a8ab8e3a8f37de99a18a596d15429","datavalue":{"value":"Using the techniques of closures and chaotic iterations of P. Cousot and R. Cousot, the authors give a semantics to logic programs and then study some fixed point theorems, denotational semantics and the like. The final section is devoted to an extension of the characterization of SLD finite failure given by \\textit{K. R. Apt} and \\textit{M. H. van Emden} [J. Assoc. Comput. Mach. 29, 841-862 (1982; Zbl 0483.68004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q799098$C19BB22D-13C1-4DE1-9BD8-5319F4BA5BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$1AEFB4A8-3B23-4831-A1B6-DEFD6F9FEF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$AB7249F3-9A1D-4867-9488-D40597BE7FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$ABF3F0D2-5672-4B07-B976-DA0CAFC3A459","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f76456ec38985a81717170c526dffe95a2b3dc25","datavalue":{"value":"3872669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$59E89437-2E2F-4A6F-92D2-C7C2C91E10CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df87906b02eb78cee139c2547f0cbf5413af1e9","datavalue":{"value":"SLD resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q799098$4AF92D7C-0000-4D9D-AC08-5A58F3977094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q799098$1CC66CA5-9A00-424E-A7AC-7E42E999F3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e3313b7fd57e978a7b934a45697dd9416fa643","datavalue":{"value":"fixed point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q799098$96FBFE8C-FC4A-4C48-867C-DA907E00195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q799098$607D86FA-433F-400D-B414-DC50FB3FC497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eb63b20d64c32d1c242efa8869e2c9d8345679","datavalue":{"value":{"entity-type":"item","numeric-id":688573,"id":"Q688573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$9C5DB5FF-ADE3-4EB8-A42C-83165811E9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc887fe48915953c46a830e1bd31614664eea0f","datavalue":{"value":{"entity-type":"item","numeric-id":688574,"id":"Q688574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$52D38064-F05F-49AA-9087-01B41B7F8D3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$6B83D46C-B045-4396-A610-955E02DECAE6","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":"Q799098$D6D6C8DC-87F5-4953-B736-E14F56923CC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25223b82eaacaba6108bd1d8ad60c52e8e01722b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90017-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q799098$CE384401-C038-43BF-85CF-86497C0E9457","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca7b9833d749554e4a7c8dce01e604c24e7c94c8","datavalue":{"value":"W2092054572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$64F597DA-212C-45D2-A2B7-3F8A0880CC6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$02E4A5B9-D89F-45C9-8F80-9C5AE3B3F891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$C8A991BC-4B90-4314-8B51-0AF96BB6BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$2CB20873-6FFB-4FBB-B747-188EB2C71D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$7F133DA8-65B5-4644-B887-AF9320A47C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$C96E4D2B-9137-4CEB-92B7-892E9427C372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$2F083FBA-E211-4A6A-8F98-55525ED3ED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$8088EA97-4EFD-4E3B-9573-57A257B1BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$3EF7BDD0-05B9-47C3-8C3A-1B40593AC1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$6DCA6FFB-B477-4992-9B7B-24D219F97732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$4CD494B7-5827-4C82-B85C-6F7B5C8AD45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$3A455D39-145A-461E-88A8-0815E9DABF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f32f04e00e542f620002f68c4a452e6a1aeb65","datavalue":{"value":{"entity-type":"item","numeric-id":3914393,"id":"Q3914393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799098$D2152089-5ED8-49B2-9517-22228F72CC63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"186eb2137ce66063a5f62ed2f0ac918de1a39a36","datavalue":{"value":"Q127526099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799098$A356F065-2DA8-433E-AE7D-C07B78CA1D29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75703213a5e6b1ffbe2a13631cdcfbae534fc6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4938429,"id":"Q4938429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125a8d3b32effac6ba22949056e97a24b067243f","datavalue":{"value":{"amount":"+0.793729841709137","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":"Q799098$D1B9099B-8DE3-4D1F-A987-3B11B51FB8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354d05825352792ae679c0af367eabfcdab7edef","datavalue":{"value":{"amount":"+0.7712207436561584","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":"Q799098$ED4018A0-F399-44BF-B0C7-52FD95C5BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42585510f374d8818326c3f472fbaa5b0baaeff8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb79b0bf2e38dd4ca68450c06fe543813a55026b","datavalue":{"value":{"amount":"+0.7666379809379578","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":"Q799098$D61B5BFC-08F9-4045-8CFA-79F5B5535464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cbd6e3e39b95bc5d8c94a1829254788392d6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3721791,"id":"Q3721791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f7f1a9c4b4e61859a135d413d6f2f795021ea3","datavalue":{"value":{"amount":"+0.7658997774124146","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":"Q799098$D1D67382-0F30-4C23-ACF4-CFBE2570DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de4da299437f702528f1f2d9f54c4a913c4f20f","datavalue":{"value":{"entity-type":"item","numeric-id":3079915,"id":"Q3079915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be476012987511f0ceeb1c0b489736c6c800fb6d","datavalue":{"value":{"amount":"+0.7598304748535156","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":"Q799098$BB21682B-13C0-4782-B575-8FE028561FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closures and fairness in the semantics of programming logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closures_and_fairness_in_the_semantics_of_programming_logic"}}}}}