{"entities":{"Q5313191":{"pageid":7342765,"ns":120,"title":"Item:Q5313191","lastrevid":100774847,"modified":"2026-06-05T23:04:50Z","type":"item","id":"Q5313191","labels":{"en":{"language":"en","value":"Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199547"}},"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":"Q5313191$BEEFDAE6-30D4-494F-B0F1-A09490B442E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbfb669dfd4837754a088eb054019a38c1e6d0ff","datavalue":{"value":{"text":"Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5313191$9ACC83AB-AAC1-4E07-8FF0-BD515E60F4DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4919df644bb66690deecd2a6f17f3a725c037ce","datavalue":{"value":"1104.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313191$6CB00575-AB9F-4B31-B55E-BB6C183517A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b316bc18a1e9fec02a6e4e372d7de29417e17a9","datavalue":{"value":{"entity-type":"item","numeric-id":839830,"id":"Q839830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313191$FC2D67A1-1C38-4653-928B-E32F0E17525F","rank":"normal"},{"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":"Q5313191$A5835D7B-F840-45FB-A7F2-821B185FC550","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313191$A45E533C-C2FB-4AE2-9361-D32EC2BA574F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c5d1ffb2def631a09e942dbd14f300ea10835d","datavalue":{"value":{"time":"+2005-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5313191$9715A898-A4C7-4AE2-A06A-E237C7F43F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313191$46F5787F-6A59-4887-A94E-8E88A98E725B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313191$AE8FFF07-B369-4CA5-A073-EAC808F238E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"609f1f8278743feab52f70224043e7f39261bf6c","datavalue":{"value":"2199547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313191$DABB9C2A-80E9-4684-8DCA-68C08D8AA517","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97b98cba64f51b0c4ac0f8124cb77f017b8c5c0","datavalue":{"value":"Constructive Negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313191$D6C399A2-93F0-4AC4-8C6F-CFB85EA875D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25d288fc40fa4de331abeadec15681fa3c3678c","datavalue":{"value":"Negation in Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313191$C9B57099-0709-45CC-BC6D-7127B7CD0A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b8c4ed9c52451cc092c8fac52223138d7a1eff","datavalue":{"value":"Constraint Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313191$EAF8667F-CD91-4237-9C32-CE6BEE780360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc13c13b6c67b23b92a64effc3c401a96c64a3b","datavalue":{"value":"Implementations of Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313191$712F0827-9E78-4C4E-A9A1-8B46657EAC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c5035cdd1e2aedef7ae96e7bbc6faf3622049b","datavalue":{"value":"Optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313191$A2E1609B-3510-4188-8A9D-4D8242D97FDF","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":"Q5313191$1FB4EAD3-19CF-4F0A-ABC3-3992B13B4A8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a07440491a067eefb52b4a59f17ffff4a597403","datavalue":{"value":"https://doi.org/10.1007/b99475","type":"string"},"datatype":"url"},"type":"statement","id":"Q5313191$02071131-22AF-41A8-A44D-83C85251B18F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"838d8508f8aae8e0c470847c088d5946aff6307b","datavalue":{"value":"W2523427404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313191$68B90229-FB4A-4CAF-8DD0-68E84D31BE09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cbbf7e97f605638fb2b713c309ed7ef4df40fb7","datavalue":{"value":"10.1007/B99475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313191$69A71822-39B3-444E-9D2A-11E827C52DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76dba1d78882a067afd99a9907571c78262758f","datavalue":{"value":{"entity-type":"item","numeric-id":839831,"id":"Q839831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f5c5c6cb0b74e1b2f70c81c5a9269c9d774c97","datavalue":{"value":{"amount":"+0.811561107635498","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":"Q5313191$AF66650F-6F59-4FD2-B477-8418F9CDDEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7360cb6ed54a49b3607821cd0a17585f2100d94e","datavalue":{"value":{"entity-type":"item","numeric-id":3759964,"id":"Q3759964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f246ebcd1a4c504a03b335d29d81a5126f10f211","datavalue":{"value":{"amount":"+0.807699978351593","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":"Q5313191$BBCE04D3-9E60-409C-9925-F62D6AAF641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9f37167b4734c102eb32e707d6687b869182ee","datavalue":{"value":{"entity-type":"item","numeric-id":4982631,"id":"Q4982631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ace8241b63a674c6a21696186477464df09e0dd","datavalue":{"value":{"amount":"+0.8027830719947815","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":"Q5313191$104078D1-67E9-4626-B986-5C7AB75321AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa18c8c1eca89fae46551d2c1a737f6912fcc10","datavalue":{"value":{"entity-type":"item","numeric-id":5308011,"id":"Q5308011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7e6d987ab4bfcbe88cc424edf2564b6015e0b6","datavalue":{"value":{"amount":"+0.7919771671295166","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":"Q5313191$9D219FC3-33B1-4CA7-BEED-4B7D666878DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43484d755525f5f4f487ce7eaa88960dd1ae1cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebd1bc1d414aca11634acf351a0b30ff5b3eefd","datavalue":{"value":{"amount":"+0.787045419216156","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":"Q5313191$66903E95-7EF5-43BD-9935-27719ABEECB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic Programming (scientific article; zbMATH DE number 2199547)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_Programming_(scientific_article;_zbMATH_DE_number_2199547)"}}}}}