{"entities":{"Q4906882":{"pageid":6936461,"ns":120,"title":"Item:Q4906882","lastrevid":41556319,"modified":"2025-05-05T20:14:02Z","type":"item","id":"Q4906882","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6139984"}},"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":"Q4906882$6DF2F916-3290-4699-A53F-75F904EC25F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8739cea1beccb0d4c390102d9519ad3049bc059b","datavalue":{"value":"1259.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906882$4CC58300-B1EE-484B-9E2E-126395089E20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906882$6585B7AA-9524-4C1E-B971-5D43797F5D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45fd10a81a4d6977f0e6032ed561f1efc305a6d4","datavalue":{"value":{"entity-type":"item","numeric-id":899442,"id":"Q899442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906882$8618CC99-590B-45C6-B1FD-C592399530F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96170c51c71d2249359c83919bdc82c0413ccbf2","datavalue":{"value":{"entity-type":"item","numeric-id":543598,"id":"Q543598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906882$3016D825-34A7-4BB7-8D47-1F4B3DCF5CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc3cea1023443facf31c491cea41a57c32f9817","datavalue":{"value":{"entity-type":"item","numeric-id":814505,"id":"Q814505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906882$707C8CEE-CA64-4A76-B344-D5976224D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906882$48D02096-021E-4FB6-B5BD-78688402A16B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca3bfe5cd95186174c3d2c7f7508105e7e4c0ae","datavalue":{"value":{"time":"+2013-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4906882$4AF28983-F31F-4AA0-84E8-47357FCE3F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906882$98D8B3E8-83FC-44D9-837E-1BA12F2B5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906882$5C95F7DB-2FD3-416C-BF0F-6CFE02B0160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906882$412C86D0-D065-41C8-BC18-C393023E7EF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c6238778ad0ccb2a85c2238eb43592827c4c8cb","datavalue":{"value":"6139984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906882$BAF1D9FC-622F-4F70-8EEC-6B5BDD157747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$D3FEA688-7282-4816-AE9E-A82487C6C621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc81f244b4359d4042cb8e34ee2337197b2d61e","datavalue":{"value":"uninterpreted function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$04AA033C-EC16-4AE4-A6AA-6EC72E68E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562c063f7d0152a3c5a5eeb5c5648d0eaceaf64c","datavalue":{"value":"recursive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$A2D91CAE-A3BE-4815-8B29-4B661075B217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36804589dc58d652d95d11f4bbe9832bd766159f","datavalue":{"value":"ASP programs with functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$C696F496-5A75-40F8-BC23-49E3442AFDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a139bef97b124a912c442621bc1af0f4f9bdd4","datavalue":{"value":"programs with decidable reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$35B10CE9-CAA1-43EB-8FF0-A303B697859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab690f25c6d5ea99e31d830af9b14123e81a58a","datavalue":{"value":"finite bottom-up evaluations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$EAE5A5F0-0753-481C-899A-253CD8E95FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c791777540a27f7acde498d7a4e626da191f3916","datavalue":{"value":"finite top-down evaluations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$5CA6E046-DD41-4D67-89B0-20A41859D19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21862d515f842955d7b3e65f9db579607f24183a","datavalue":{"value":"finite representations of stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$88FEF11E-E70A-47A4-BBB0-29BA893E89AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea22259fa6e58a41033bb97b94734c23c79160f","datavalue":{"value":"decidability of coherence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$E1C5E509-C245-470E-B08E-D26C22D87D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5bc7534f4f30d3fdbd32d50e7e026914e0b758b","datavalue":{"value":"decidability of class membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$ADB06304-23C4-4043-85D8-9B0E013B2CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906882$6C6F5666-4C7B-4AB0-8653-E2AD91FC6554","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906882$238AADF5-4604-49C6-A11F-108415E76472","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":"Q4906882$9E2E6FFB-5421-4C36-8E0B-A8865160DB69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b28ec84a424abc7e71d685a5f62f66b16083cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5504670,"id":"Q5504670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a431b462c5f4fa1cd2f3e8fef3133b7fc497b86","datavalue":{"value":{"amount":"+0.828377","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":"Q4906882$D5D9D309-AD5F-417E-B358-129FDB67FB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68600db7ca4e0b17632ef9356088a60bbeab772f","datavalue":{"value":{"entity-type":"item","numeric-id":5398294,"id":"Q5398294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8613ed7eaaee389e4bebd017a488648feb545e","datavalue":{"value":{"amount":"+0.76460636","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":"Q4906882$9AE25880-42B9-4F70-AEF5-7ACA2921529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920efd12d21ffcdb0d815360a45efed980f008d2","datavalue":{"value":{"entity-type":"item","numeric-id":3146078,"id":"Q3146078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03384e7c791bcc0361a37f583eaf87f73659744d","datavalue":{"value":{"amount":"+0.7413926","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":"Q4906882$49909699-FADE-40A8-9DF1-8AFE96471D7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4906882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4906882"}}}}}