{"entities":{"Q3992229":{"pageid":6022069,"ns":120,"title":"Item:Q3992229","lastrevid":47065267,"modified":"2025-12-31T13:45:28Z","type":"item","id":"Q3992229","labels":{"en":{"language":"en","value":"Logic programming with functions and predicates: The language Babel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39275"}},"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":"Q3992229$6CA925B3-DBD5-4698-8164-292F52968294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45190347522284d39830c1a398af90bdc501aa96","datavalue":{"value":{"text":"Logic programming with functions and predicates: The language Babel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3992229$EE411BDF-B462-4338-A08C-DD19E0F40FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f6d0f6f2e77a9ec0d087ce42f8f46e662c8e890","datavalue":{"value":"0754.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$4FFE307C-FF14-4DAC-BAF6-321F30AEC3E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc2527d63dab40fe6e23208e6c6ab29542a51563","datavalue":{"value":"10.1016/0743-1066(92)90024-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$785C79BD-C4D3-4A10-8D79-AB4F68D2A04D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d76d605d3ef7bb9dafefb7d516526d4be12b65ab","datavalue":{"value":{"entity-type":"item","numeric-id":839829,"id":"Q839829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3992229$3DD3E3F0-AA08-4672-8F74-8BA2B4D5BF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5029835993a287b73cbda73f8b85671562e336","datavalue":{"value":{"entity-type":"item","numeric-id":236466,"id":"Q236466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3992229$81852498-EBB2-481C-965B-7993D6E4F8C4","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":"Q3992229$33F927B7-2061-406C-9EF6-8DBC1EA29F27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca50ef95d1c0114d462b29b2a7069fa309fbe2aa","datavalue":{"value":{"time":"+1992-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3992229$CBF1D227-D020-4F08-BE4D-AFBEC491C87E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$46F07A23-C2EA-489A-B77C-529D38D7471E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$1B0B68D6-B8B7-46ED-8572-0AC7393A22EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$C1279C25-AD0C-4483-A344-DAA43AF663FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e101ccb31a2f5137e8ce79e45f8260f22b63885","datavalue":{"value":"39275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$2B45DE68-49F7-47B4-B690-04AF634098DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b47c69d38b4d4e168c01f974ab3920319f4bd6a","datavalue":{"value":"programming language BABEL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$1478AA15-34B5-4762-9830-67E5D7295DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$E9F47C61-EDDC-43C6-BCD4-91EE15C055C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$4557A1DE-F76A-4054-BEF6-79A46F1A5D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$DBBFD4D7-6B81-4806-8172-84636A92C569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e96f6a0084273c1e213df0e4b9ac421929f21f","datavalue":{"value":"lazy reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$01939390-F7CD-4AFA-9B92-446563523668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$01D9E554-58D3-4D8D-9D0C-5B6FCF685A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$0EBA835C-9F7E-4BA1-9A9D-55FC5E53C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3760fe679ea5c39273b469524ef822f4314e8255","datavalue":{"value":"least Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$EC546C69-E898-4EA0-A98A-783C0C134B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992229$DDB3E2FB-CD0E-4A8D-95DB-DDC119E453C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3992229$7EFB6248-F42B-401C-A3BD-9338FF3513D6","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":"Q3992229$30F474F6-5393-4E0A-B77A-E84487C9912E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c447b86fa39350baddedde208eba9b2711de59a","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90024-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q3992229$8D4F558E-B1CE-4CAF-BF02-61EAC1AC1BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4d83ad658928357fcc74c89a18e5fb6fe7d1919","datavalue":{"value":"W2053719172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992229$88738991-DCCE-41F5-AE80-4E631BCF3533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e044dd921f674b7ad4b337c1e2cec285fe30c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3490935,"id":"Q3490935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0847e274f7e204d79dea1e29aeb776a4741b2a05","datavalue":{"value":{"amount":"+0.8464917540550232","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":"Q3992229$8BE6CD40-574C-4469-822B-D4C2B1DDC0F9","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":"cfae4c6e93264b5f1fc6e441b00d66592ae310c4","datavalue":{"value":{"amount":"+0.8148971199989319","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":"Q3992229$EBE647B0-C31A-4CC0-A0E8-32A6635B3A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875d0f756dc742aa0524a917a366dad846632fec","datavalue":{"value":{"entity-type":"item","numeric-id":3200534,"id":"Q3200534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfae4c6e93264b5f1fc6e441b00d66592ae310c4","datavalue":{"value":{"amount":"+0.8148971199989319","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":"Q3992229$00B4B789-1E2B-4871-97DF-BAB869F28CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fed8689510679ad736710d56a1a78c731182c78","datavalue":{"value":{"amount":"+0.7683352828025818","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":"Q3992229$27ECF330-BD99-4690-9F6D-7C20184AE4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bfcdcac34e254348a59c1ac16e67ea176cbabb","datavalue":{"value":{"entity-type":"item","numeric-id":5881284,"id":"Q5881284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b96a5cdc5734f30acfd65700583d776523e89c","datavalue":{"value":{"amount":"+0.755287766456604","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":"Q3992229$E0FF8DCF-69DC-46EA-A1B0-9AD3D2B27998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3992229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3992229"}}}}}