{"entities":{"Q4843185":{"pageid":6872765,"ns":120,"title":"Item:Q4843185","lastrevid":47339110,"modified":"2026-01-01T10:34:44Z","type":"item","id":"Q4843185","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 783780"}},"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":"Q4843185$6FA88EA7-ACF1-4AA1-8E7E-EFDF0767E845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77a60678acc705927fb5c8c3a7db988b4f29c323","datavalue":{"value":"0889.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$0F8AF1F2-650B-4C1C-812C-39E83E954158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"715720f561aea0eab4b625798722468837096427","datavalue":{"value":{"time":"+1995-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4843185$8FA7FEB0-8845-455F-A669-A2B87F63E372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$33F1ACF5-5C29-4CEA-A942-97D677BF4B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$1DDEA160-F4F4-4D51-9E7C-271BC7C880C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$DC7781C8-8EB6-4F76-A015-0190C351472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$16A9483C-9D48-4B9C-9DF4-14248D3FD49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$4357E556-68F3-42A0-ABD9-9EF81B8BCFD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a506b9cf8ccf6813b1261d38658d312615d53c9e","datavalue":{"value":"783780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4843185$4E756174-CD8E-4287-8323-A88AB1FBCC8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3440fcc5fe2144885df1e5d08f619a5504691daf","datavalue":{"value":"Handbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$04A4D31D-C417-44DE-977F-E58391D77602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$78406211-445E-4A3A-9AE7-8C3367B8A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716036f9c770a47ec609d1e6cd7b18b459df64f5","datavalue":{"value":"Artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$11D2E26D-0770-4AEA-883F-2DCAACD0DEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed89ef274f4564cf53df5630125d11a8a341200","datavalue":{"value":"Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$182545EB-4A3B-4E6C-93AD-821424AE977C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d4754dde33136c6dcef3804383b3174531b0a2","datavalue":{"value":"handbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$B045A22A-0F28-4A50-8AA4-68DA09F141FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$0E67DB90-8AC1-4E85-BAF0-8E6FAE9923F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$A94EB562-1795-4304-9B17-3480EB4454F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$19510C14-6713-4B5C-BA8A-5544951EB3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$1F3A49F1-66FC-4D90-A7BB-85DB1C8F0CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b3f9dcb0a8d8b3ea5dd6b3af0347a2e291dca6e","datavalue":{"value":"rules and strategies approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$75854793-A12E-4F86-ADC8-2842D326CB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$B49E00B8-853D-469C-AF4B-02B15DD0BBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$946FD341-BA33-4F79-A8F9-465D261BF8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc71abbb0eb29d287fae2ef615d24c8d5b85163","datavalue":{"value":"higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$2B3C6C1D-E61E-4F9B-B43E-BD8F615D4697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$28D16875-93FC-4816-8A95-A3A1D1274133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$FAF6276D-8034-42EB-928D-118AB7037432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$97E3CF1D-10E8-44FC-9166-24C405279D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0455910bd255bbb8b513238c1f3706fe3d365ad7","datavalue":{"value":"disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$EBF089F3-54A1-4714-8BDF-BF73B8A6032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$E5C7523D-A41C-4E2D-BFD3-7A2D524AEB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05037599df3a57724aa2b17e36b7b88fed1b6a7c","datavalue":{"value":"negation-as-failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$CFCC10A2-45E5-4C48-8C19-1F28439C048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4843185$D3BE2138-94FB-4791-9203-B82AAB616B95","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":"Q4843185$F0F7C3A6-8F13-4F60-9D0A-38BF2D035941","rank":"normal"}],"P1643":[{"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":"62059ca7991e1f572afc6d272c992b6497f45a9f","datavalue":{"value":{"amount":"+0.8183440566062927","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":"Q4843185$FB630659-08F6-4FC2-A910-FC9ABA01C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4aabe6407428c20a427dc824eb1cd7d0610ec9","datavalue":{"value":{"entity-type":"item","numeric-id":3125201,"id":"Q3125201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8dd79c22e291374efac83d5b0e10d3e86a8907","datavalue":{"value":{"amount":"+0.7941040992736816","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":"Q4843185$08A69090-894C-490F-A10A-36CDD228C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1263048b49fb17b0d13866395fe9dd64bd423cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3134502,"id":"Q3134502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdee698c21ff7818eaf2539566f2c433d623c299","datavalue":{"value":{"amount":"+0.7940517067909241","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":"Q4843185$7FC46941-D55A-4E2D-BDEB-6C4A7191B194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430c2e4ba5d48dd6379297c895898a248d488d53","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2eebd8fa1708ce8708c69364c9ecf8facd44417","datavalue":{"value":{"amount":"+0.7939650416374207","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":"Q4843185$54534A0F-A6DC-4BA6-AFEE-E39497583A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2bf4984c82c2655d04b6c5dbe8bc0fcf949f4ed","datavalue":{"value":{"amount":"+0.7924677133560181","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":"Q4843185$D90F5DA6-A408-45FF-9516-8606C02E15B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4843185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4843185"}}}}}