{"entities":{"Q1079941":{"pageid":1090693,"ns":120,"title":"Item:Q1079941","lastrevid":66823509,"modified":"2026-04-12T13:06:20Z","type":"item","id":"Q1079941","labels":{"en":{"language":"en","value":"Modelling the combination of functional and logic programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965410"}},"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":"Q1079941$3FD6E786-29DA-4BB6-B752-3E83B6A100AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d51c5c04574f78794a429c46e712ddaf754abe","datavalue":{"value":{"text":"Modelling the combination of functional and logic programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079941$D8031187-1D22-4819-A3C0-202C5D6D9FDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b27f2447bc8ef64398b2d8722eb69d30870a2a49","datavalue":{"value":"0598.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079941$C8E52896-1688-4935-9798-48413FBCD656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f524b9d2e20fb748adffe50c3fde0fe04f0134dd","datavalue":{"value":"10.1016/S0747-7171(86)80018-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079941$469BCA3A-40E0-4154-892D-099D6901EF7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079941$B5A9B07B-F4CA-439D-B374-58D714F4C528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079941$DB35C135-BBED-4EFF-9D20-B206111A4366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079941$F2EB18C3-929F-43C1-ABE2-ED0EA20CC2C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1079941$802CEC90-8834-42F2-A5A6-391D983D9569","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d296116896a170fcc4a063a6eac943c07d631e41","datavalue":{"value":"The combination of functional and pure Horn clause logic languages is formally introduced. To give a framework for the investigation of implementations we define a complete and consistent model, which retains full invertibility and allows separation of logic and control. Some existing implementations are discussed from this viewpoint. An extended unification algorithm is suggested, which incorporates the features demanded by our model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079941$F71028E4-4C61-4130-AD95-68613322E454","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079941$2B68665B-8355-468C-92D8-5A10B71D7A8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd05724121fd2a02f0ee70f17937a08bdfdaaa5d","datavalue":{"value":"3965410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079941$E06F8FFE-B905-4F6E-9CB7-2393B21D211A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c8b3f8a4e2510d6fc9ad692e006a536b7e1d45","datavalue":{"value":"functional and pure Horn clause logic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079941$4F9DBF65-5B04-44A1-98FB-ED2589E4A236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079941$F5061C88-AF1B-44E4-9075-205A1DC4AC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f850d79447265470b2fdce735adebf553be4e743","datavalue":{"value":"invertibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079941$2F88A022-77FA-453C-A151-10164D34BD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079941$F5BE99D3-ABBD-4053-B6C8-ED6819D3CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079941$EA9C0B36-4F45-4633-853B-BCBF07577163","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":"Q1079941$91C328BB-1FE7-49D9-960C-E598686F09B5","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":"Q1079941$61980CD3-7AC0-4C62-94B9-302AC6C79EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079941$7A4DFA9E-53CC-4F2C-BDF3-43513E0AE797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079941$A154DD75-EE55-431A-BA87-A8B2B3B4EFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b55d8f43ca125643590f04b775951f5864389","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079941$7C7009B9-2C47-4192-9177-C52A3F3A92EA","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":"Q1079941$7D3665E5-B729-419C-8C94-54A27948527D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85601adcb60ba537636d43957bdbb34dea46b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3999759,"id":"Q3999759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cd1cf0324740604e8325d24190d4f356a89c11","datavalue":{"value":{"amount":"+0.8159953355789185","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":"Q1079941$51AF9645-CA1F-48F1-9E41-C061BCD40BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd77f0e0eed0334c292eae5acbefe4bb0f9dedb","datavalue":{"value":{"entity-type":"item","numeric-id":5053012,"id":"Q5053012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6b259e1d9e5662335178abde148db86ac4b693","datavalue":{"value":{"amount":"+0.7962175011634827","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":"Q1079941$A88AF3D6-3183-4430-A76A-A50A1DBFE880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ede6ba0c0e8d28e91c6e9c4c3425c22e4a23511","datavalue":{"value":{"entity-type":"item","numeric-id":3339249,"id":"Q3339249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321b75dea4464ac038a064dfbd88bcfe9ec5982e","datavalue":{"value":{"amount":"+0.7832561731338501","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":"Q1079941$679063D7-A492-4F82-881E-8107A1A2CF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01455848708a281133daf319d529abcc7265d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3122663,"id":"Q3122663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8116b0f78247f3c665a58ad4113fa67333fa89","datavalue":{"value":{"amount":"+0.7831096053123474","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":"Q1079941$354FAA50-CD66-4ECC-9357-C7403613036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27101cbebd1eb92ea8415aa406c2e80bb69927a6","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8116b0f78247f3c665a58ad4113fa67333fa89","datavalue":{"value":{"amount":"+0.7831096053123474","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":"Q1079941$5C09F19F-7B26-4B9D-A35F-2AF4F15A1B19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling the combination of functional and logic programming languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_the_combination_of_functional_and_logic_programming_languages"}}}}}