{"entities":{"Q3761667":{"pageid":5791573,"ns":120,"title":"Item:Q3761667","lastrevid":51786809,"modified":"2026-01-20T01:04:27Z","type":"item","id":"Q3761667","labels":{"en":{"language":"en","value":"Extended unification algorithms for the integration of functional programming into logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011897"}},"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":"Q3761667$1C1236CF-9D3C-46F6-BDA3-CD54378F9454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc619ac1cce3119f8d1637e60ec49720838f52d","datavalue":{"value":{"text":"Extended unification algorithms for the integration of functional programming into logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3761667$3EFECBA0-F00D-4321-A719-5B071148D5E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fbcdfd8b5f881a543b1369cd47550b9bde93f8c","datavalue":{"value":"0623.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761667$8F8A9B6D-D836-47F8-ACA7-F7A1BA5A0797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"925c079fc09edd3904758c84f56fcb9b8741fc83","datavalue":{"value":"10.1016/0743-1066(87)90002-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761667$E6C66388-F7A1-43E0-A6BB-73E775D16917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5071eb176464eae3490ca51468eb4e98281e6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":262449,"id":"Q262449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761667$F7319B0C-294C-47B7-9019-F0676A9915E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d24ccff48af2d3087c9fac63d8de199292cef3a","datavalue":{"value":{"entity-type":"item","numeric-id":1969730,"id":"Q1969730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761667$BE0664B2-1C21-4E23-9843-011E2F17C873","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761667$3AE2C86F-CFD6-4B77-8208-0AF8CCF72AF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3761667$BF970CD8-7222-4800-8091-3A52969DEE15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761667$5EE23B44-A667-45F6-9C0E-BF9A65C990B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89088645aeaf23374cc77922cef0b3904a9191d6","datavalue":{"value":"4011897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761667$16C09DCF-B1FA-414C-B0FC-2CCD34AEEC31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$CA8CE9E2-8361-4AC0-8975-0D55CCEAFABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf24d89f4f0821f90ed933db7d403c989feed0ad","datavalue":{"value":"evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$3AE4895B-0D0F-487A-AAFA-E1B9BBE198D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f9ae491a7cdfb4635773c8f8fa21311eb65296","datavalue":{"value":"derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$AE409DB3-DD32-47A0-A5D9-53C45BD4A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b49059eb634942422af25bce3b126027e102272","datavalue":{"value":"surderivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$716AEE21-4D3A-47FA-8913-B1C751B910A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$8AEACE08-26CF-488B-A937-804C845A3E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$361FCFF3-754A-446C-A8B4-BF728839D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$78505F38-9B9F-4F54-9B8B-D72ADC0887C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9b5646dfd14bd37cbf3b239abbcf735c886fa1","datavalue":{"value":"coroutining","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$15607CF6-8279-4F19-A2DE-6F83E52FBE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23eab029388e0ce3e25d8d2a5f537ae6bfec2e83","datavalue":{"value":"handling of infinite data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761667$F79D4EC0-B199-4C42-A6E0-0995DFDA6311","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":"Q3761667$BE976F4E-8E99-4AAA-ADA5-C849BCF06BD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b3832ba4aab9b2508c87ae720257f240edb74c5","datavalue":{"value":"https://doi.org/10.1016/0743-1066(87)90002-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3761667$64F1D08D-B8E5-4BB7-A8A0-C1B45071A13E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a399f4db49d46b1b2fb4ffb6c7b50f1caac56135","datavalue":{"value":"W1981269662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761667$821D2DFF-E613-4092-A7B9-A956009DB56B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903bcee0b22629fffddc28b33ee6ebcfd661dd36","datavalue":{"value":{"entity-type":"item","numeric-id":3498436,"id":"Q3498436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437e35c9daf28cffb8444db2053818e731b265b6","datavalue":{"value":{"amount":"+0.93176454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$71A158D2-0BFE-4106-B76A-01D49D230526","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":"78daf9470571f152ea292f3acec6cadc9b074e55","datavalue":{"value":{"amount":"+0.92028224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$F9901519-77C1-4CEE-925A-4FF686540E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b7761e53489b7c8fd78b7eac0279009b6b2082","datavalue":{"value":{"entity-type":"item","numeric-id":3691055,"id":"Q3691055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b99ccd5a8dd77b97b647418234838d292c0f6b4","datavalue":{"value":{"amount":"+0.915518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$DBAC35F0-1264-45B5-A50F-8535AE19CE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593e19dcc92847cc1d2cd3b1565875cc17b63932","datavalue":{"value":{"entity-type":"item","numeric-id":4505639,"id":"Q4505639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fab565b32d745f735a0bc47958b089483640fd2","datavalue":{"value":{"amount":"+0.9111511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$9F141BA0-45F5-410C-AA06-344A997346ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6435aa5bcaddac50de157598e4e8650bc89251d9","datavalue":{"value":{"entity-type":"item","numeric-id":5688913,"id":"Q5688913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d379a1a59b302a79074d3141c2c429b4f7a8b6","datavalue":{"value":{"amount":"+0.9097864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$01C3A17B-3896-4336-8121-806C8918BF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ef3ad1d0535a3df8a266c09545f25732b9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503cc225810efa0bdc063cd7c7ae61e57024cbeb","datavalue":{"value":{"amount":"+0.9029555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$5D541241-90C6-4268-A701-953A58E686C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893d1c72a530eb02d90b63d27f336b6eac18ea4e","datavalue":{"value":{"entity-type":"item","numeric-id":1186105,"id":"Q1186105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b539ba2d43094a447eaaa5f4804039bd1f7f98e6","datavalue":{"value":{"amount":"+0.89555275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$51C7988C-CF94-4C41-AE8F-F783A959C5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56c4e590f49052b0af72b0d9368c7754ee67d4e","datavalue":{"value":{"entity-type":"item","numeric-id":6061677,"id":"Q6061677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95400ef0a232d90e4ea66d81d92ebdb7ce63041d","datavalue":{"value":{"amount":"+0.89520895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3761667$11892A4C-E0B7-473C-893D-A57D5E2790D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3761667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3761667"}}}}}