{"entities":{"Q3742689":{"pageid":5772595,"ns":120,"title":"Item:Q3742689","lastrevid":50956001,"modified":"2026-01-15T22:28:28Z","type":"item","id":"Q3742689","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3978351"}},"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":"Q3742689$4AD3C3A5-53F8-4487-A2EF-09A8CCD9BEFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f2a21ca4844c790e93d9705a17df080f4f94341","datavalue":{"value":"0605.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742689$DEA8A065-75E2-4AB0-9B3D-5E324308117C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdad2aaffd22bc224d58c1785de205bb2c128d89","datavalue":{"value":{"entity-type":"item","numeric-id":933427,"id":"Q933427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3742689$D84AAB49-D391-4908-AD1E-43C08689E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415b7f5bc29de2fcf717212c932e9d2a2c60d241","datavalue":{"value":{"entity-type":"item","numeric-id":1170621,"id":"Q1170621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3742689$30EA687F-3BF9-46F3-B076-CD42170655EC","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":"Q3742689$BDDB9594-75F2-430E-A031-1CA20AE55D65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742689$1632A48B-C8CD-40EF-B900-6DEC8858135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742689$1679596C-D6CA-4CF1-AF82-964C0A214AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742689$1B35F9CA-5CDD-401A-95ED-7F622A852495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742689$9281FCC5-FE4F-4F17-87DD-EFF3F83D4C5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d640e52e4db54814c1c191021365aa3949286d41","datavalue":{"value":"3978351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742689$771C9C00-6B42-47FF-A7E8-16C7678C8BDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$48987B3F-F88F-41EB-8AF2-BBF29FA9255E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a772a185dda20e89145460d9567ee92c13d88a","datavalue":{"value":"automatic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$086A9EF9-EF08-4442-9D94-71E97F5B73DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$83A6147B-C13E-4DAB-B516-57D7AC5FE72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acae7ed1f9dc19a5dcffbc1183420661683d4edd","datavalue":{"value":"Prolog programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$34F0A780-30B6-47D2-BA88-4A7B22828096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc3f9db6931068b8bb9ccb66b4407871bba715d","datavalue":{"value":"logical deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$E6972F41-3D14-4FA1-B025-9F3AB2EC3018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aab5c54aaec05be29fceb916ef026faad12b93e9","datavalue":{"value":"database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$C086D277-F65F-40FA-97CE-89B66648785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b4120e79dfb69bc84405e9d9dee0ad7bc6deff","datavalue":{"value":"recursive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$753EDFE9-A6FF-4013-8762-11E302659FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$DA90C5C6-961C-424E-BBE2-46AEAAD72757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$8FF82D04-620D-4D15-A691-26C680E8B051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$C358FB35-4553-4E31-876D-6F692DA5A5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dfd6b2bba912d6bbab0b77011c2dd4bcefdab2","datavalue":{"value":"search trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$F856FE77-39BA-4634-8165-7365C37C929C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$CCF79882-3046-4D01-BD13-24F131EB17F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ebe0af7ef849ce110c3ead44bfaf24fbf40ece","datavalue":{"value":"non-deterministic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$EF207C5E-B0A6-42EE-AE6F-2CCB6020CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60f83a95cf9232681324efc6d2281ea5d748b43","datavalue":{"value":"incomplete data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$0A9DCE91-D31E-4977-891C-842FACF984B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0c7bb0ecf32b900347362cf461885c46f832ca","datavalue":{"value":"parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$53005E10-5488-4024-91DE-496A79D30000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"065090cc1e1959f97117bbc6a260ed732ad52daa","datavalue":{"value":"definite clause grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$D6513E62-F96C-437D-ADEC-22964C7A0452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f85f566d15a6a5bf4f6adced708b4634d7a9ae","datavalue":{"value":"second-order programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$C77DD75B-F0B2-44D4-B8D3-2C35E2F9E060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58e2bb7e351913a27a64ce3a5ad1564980ea3426","datavalue":{"value":"search techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$A25489A6-94CD-40F2-AFC1-A03B6D61B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bca5e550d66962e84efe12434604d500e97a9b9","datavalue":{"value":"meta-interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$3D4E91FE-D965-4565-A9B3-DD9DD199CCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61357657bf874e08c6639092dc1d7f3a7701446b","datavalue":{"value":"expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$C43A2AD3-C327-47FE-8CA1-587ECA3BE940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$ECB2521B-F0D8-4732-8133-70A96357088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"056414b1fedcc5e970a1129b04852a567782b567","datavalue":{"value":"game-playing programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$FD3C70A4-E886-496E-904D-E63D0303BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde4424da27c00f5468c5f9295e506a1b2887cfe","datavalue":{"value":"equation solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$52C1C7D1-511C-4382-8C0A-D6B8EC0C38E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f6434c29428c6c1ebb6eb8961454599901e0b3","datavalue":{"value":"Edinburg Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$6C417ABE-84A7-4DD9-B774-E9D7A4F1F287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab17fc0652e2cb6856efb3419758a7ef507df03a","datavalue":{"value":"Wisdom Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742689$B8B0BA71-5A0E-4F58-AF00-79172319722E","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":"Q3742689$0012FB4A-40FA-4E4F-A084-4BD4878268E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f00abc687893f07a6c24d972d68859afc512e9","datavalue":{"value":{"entity-type":"item","numeric-id":3997338,"id":"Q3997338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f521a744f2f466b96c4babaeafba114bc598fc","datavalue":{"value":{"amount":"+0.8811728358268738","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":"Q3742689$6640107E-622F-413C-8DE2-78237A4D9881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b51a1e4c45350288eb19da4d755c625535e47d","datavalue":{"value":{"entity-type":"item","numeric-id":3998191,"id":"Q3998191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db8f14f899462ccc5c9911ac21fb0809f23fc55","datavalue":{"value":{"amount":"+0.8807756304740906","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":"Q3742689$EF3F0B74-E045-4D79-A5C0-9432F81EB36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957dd00e3b76b88d0fa5c827955f1688c22f56f8","datavalue":{"value":{"entity-type":"item","numeric-id":3678638,"id":"Q3678638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cdeaaadcf099e9e7341ea5a037a24549c42c82","datavalue":{"value":{"amount":"+0.8710097670555115","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":"Q3742689$3363309A-0A20-441A-A14F-93C640B02F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3dc1abba343650c0189a609cb541cb9f53e71","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24addadd8fc40fec4986e127edf55a0de3389014","datavalue":{"value":{"amount":"+0.87071692943573","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":"Q3742689$4F152980-E291-4BC3-94EF-DF85A33A6E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01de59a4d818a7d17fe4d7e1b67577fd4abe510","datavalue":{"value":{"entity-type":"item","numeric-id":4715509,"id":"Q4715509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d106030ce8fb1181c75d932db17af69c571fc98c","datavalue":{"value":{"amount":"+0.8645647168159485","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":"Q3742689$6145289D-CDAA-49FC-A6A2-A313A8021EAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3742689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3742689"}}}}}